Frege saw the formulae of mathematics as the paradigm of clear, unambiguous writing. Although frege doesnt use \\lambda\notation, the use of such notation seems to be the most logically perspicuous way of. Although frege wouldnt quite put it this way, our reconstruction suggests that frege treats open formulas with free object variables as if they denoted concepts. Freges grundgesetze was one of the 19th century forerunners to contemporary. Gottlob frege 18481925 in general, then, the principle of identity substitution seems to take the following form, where s is a sentence, n and m are names, and s n differs from s m only by the fact that at least one occurrence of m replaces n. Frege funktion begriff pdf function and concept german. Juliet floyd, the fregewittgenstein correspondence. Frege essentially reconceived the discipline of logic by constructing a formal system which, in effect, constituted the first predicate calculus.
Grundgesetze frege pdf grundgesetze, as mentioned, was to be frege s magnum opus. It was to provide rigorous, gapless proofs that arithmetic was just logic further. This system is, except for minor differences, secondorder logic together with an abstraction operator governed by freges axiom v. Freges theorem and foundations for arithmetic stanford.
Pdf on a consistent subsystem of freges grundgesetze. Anhand dieses grundbegriffs skizziert frege sein logizistisches programm. Pdf frege s intention in section 31 of grundgesetze is to show that every wellformed expression in his formal system denotes. Free kindle book and epub digitized and proofread by project gutenberg. Freges logicism is the thesis that arithmetic by which frege means the usual theories of. Friedrich ludwig gottlob frege was a german philosopher, logician, and mathematician.
866 583 709 1387 757 1198 928 290 67 1364 1089 337 734 1078 827 1333 1095 443 734 545 1151 1404 1528 930 550 151 1247 1225 785 222 1315 1038 615 516 558 1205