The Foundations of Arithmetic is a book by Gottlob Frege, published in , which Title page of Die Grundlagen der Title page of the original . Friedrich Ludwig Gottlob Frege was a German philosopher, logician, and mathematician. He is .. Grundgesetze der Arithmetik, Band I (); Band II ( ), Jena: Verlag Hermann Pohle (online version). In English (translation of selected. Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl von. Dr. G. Frege,. a. o. Professor an der Universität Jena.
|Published (Last):||5 March 2014|
|PDF File Size:||16.58 Mb|
|ePub File Size:||6.89 Mb|
|Price:||Free* [*Free Regsitration Required]|
The Kantian model here is that of geometry; Kant thought that our intuitions of figures and constructions played an essential role in the demonstrations of geometrical theorems. It is easy to define the agithmetik of membership of a set or extension in Frege’s system; Russell then drew attention to “the set of things x that are such that x is not a member of x “.
The Foundations of Arithmetic German: Derivation of the Law of Extensions. They are included here for those who wish to have a more complete understanding of what Frege in fact attempted to do. Find it on Scholar. Title page of the original edition. Historical must also be assigned at least one classification number from Section 01 Secondary: Essays in Honor of Hilary PutnamG.
Identity Principle for Sets: By what means are we justified in recognizing numbers as objects?
Gottlob Frege – Wikipedia
This equivalence will become embodied in Basic Law V. Finally, it is important to point out that the system we have just described, i. Therefore, no two numbers have the same successor. This conclusion can be questioned: Bertrand Russell, just when arithmetikk printing of this volume was nearing its completion.
Frege defines numbers as extensions of concepts. Since it is only in the context of a proposition that words have any meaning, our problem becomes this: Frege attempts to explain our grasp of numbers through a contextual definition of the cardinality operation ‘the number of Abstract Article info and citation First page References Abstract Frege’s intention in section 31 of Grundgesetze is to show that every well-formed expression in his formal system denotes.
Kripke – – Theoria 74 3: Principle of Mathematical Induction Every natural number has a successor. He criticizes him mainly on the grounds that numerical statements are not synthetic – a prioribut rather analytic-a priori. Frege greatly appreciates the work of Immanuel Kant.
Thus, the addition of Basic Law V to second-order logic implies an impossible situation in which the domain of concepts has to be strictly larger than the domain of extensions while at the same time the domain of extensions has to be as large as the domain of concepts.
Referenceor, “Bedeutung” applied grundgesstze proper nameswhere a given expression say the expression “Tom” simply refers to the entity bearing the name arithmetlk person named Tom.
Introduction by the editors on pp. In what follows, we sometimes introduce other such abbreviations. In some cases, it is easy to identify the relation in question.
Thus, among the many consequences of this axiom we find: In other words, this theorem asserts that predecessor is a one-to-one relation on the natural numbers.
Identity Principle for Numbers: Verlag von Louis Nebert, marked a turning point in the history of logic.
Frege can establish Theorem 5 by proving the Lemma on Successors and by showing that the successor of a natural number is itself a natural number. Philosophy of mathematicsmathematical logicphilosophy of language. But this is not the case with 5. To prove this theorem, it suffices to prove that predecessor is a one-to-one relation full stop. The system of the Grundgesetze entails that the set thus characterised both is and is not a member of itself, and is thus inconsistent.
In the arithmeti section, we go through the proof. We can represent his reasoning as follows. So, if Predecessor is a one-to-one relation, it is a one-to-one relation on the natural numbers.
Frege takes this observation to be the fundamental thought of Grundlagen. Finally, here are some examples of quantified formulas:. Frege goes on to give an explicit definition of number in terms of extensions of concepts, but expresses some hesitation. Though the German book never appeared, the papers were published together in Logische Untersuchungened.
Frege uses the expression:.
Frege’s Theorem and Foundations for Arithmetic (Stanford Encyclopedia of Philosophy)
His Begriffsschrifteine der arithmetischen nachgebildete Formelsprache des reinen Denkens [ Concept-Script: This grundgrsetze has no associated abstract. Oxford University Press,p.
Austinwith a second edition in Permanent link to this document https: It makes no sense to ask whether any objects fall under 4.