Site Overlay


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.

Author: Gosho Mikashakar
Country: Belgium
Language: English (Spanish)
Genre: Relationship
Published (Last): 19 October 2014
Pages: 219
PDF File Size: 11.60 Mb
ePub File Size: 8.29 Mb
ISBN: 439-8-75974-572-2
Downloads: 94367
Price: Free* [*Free Regsitration Required]
Uploader: Akisho

Essays in Honour of Michael DummettOxford: 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.

But it has been obscure why he wants to do grundfesetze and how he intends to do it. Definition by Induction in Frege’s Grundgesetze der Arithmetik.

The Foundations of Arithmetic – Wikipedia

Frege’s “conceptual notation” however can represent such inferences. Title page of the original edition. Boolos suggests grubdgesetze defense for Frege with respect to this particular aspect of his logic, namely, to reinterpret by paraphrasing the second-order quantifiers so as to avoid commitment to concepts.

In this subsection, we discuss only the basic elements of the problem. Frege, too, had primitive identity statements; for him, identity is a binary function that xer a pair of objects to The True whenever those objects are the same object.


However, the left-to-right direction of Basic Law V i. It seems that Frege never actually identified this fact explicitly in Gl or labeled this fact as a numbered Theorem in Gg I. The green colour we freg to each single leaf, but not the number The Journal of Bertrand Russell Studies 26 2. Theorem 5 now follows from the Lemma on Successors and the fact that successors of natural numbers are natural numbers.

However, as we saw in the grindgesetze paragraph, Vb requires that there be at least as many extensions as there are concepts. Sign in Create an account.

Frege’s Theorem and Foundations for Arithmetic

His teacher Gustav Adolf Leo Sachse 5 November — 1 Septemberwho was a poet, played the most important role in determining Frege’s future scientific career, encouraging him to continue his studies at the University of Jena. Die Grundlagen der Arithmetik. Hintikka, Synthese Library, D. Gg ITheorem Frege matriculated at the University of Jena in the spring of as a citizen of the North German Confederation. It makes no sense to ask whether any objects fall under 4. Moreover, precedes is a witness to Fact 2: But this fact went unnoticed for many years.

Cornell University Press, pp.

The latter are statements true of numbers just as well as the former. This principle asserts that if two extensions raithmetik the same members, they are identical. Grundgestze Logic and Mathematics. The former signifies a concept which maps any object that is happy to The True and all other objects to The False; the latter signifies a concept that maps any object that is greater than 5 to The True and all other objects to The False.


Note that it seems natural to identify these two extensions given that all and only the objects that fall under the first concept fall under the second.

Frege realized that though we may identify this sequence of numbers with the natural numbers, such a sequence is simply a list: Before we turn to the last section of this entry, it is worth mentioning the mathematical significance of this theorem. Though Geach claimed such a derivation was possible, C. If we assemble these truths into a conjunction and apply existential generalization in grundgedetze appropriate places, the result is the definiens of the definition of predecessor instantiated to the numbers 1 and 2.

A reason must be given as to why the claim:. In the end, we may need some other way of justifying our knowledge of principles like Basic Law V, that imply the existence of abstract objects — the justification discussed so far seems to contain a gap.

Mirror Sites View this site from another server: In other words, grundgexetze proof relies on a kind of higher-order version of the Law of Extensions described abovethe ordinary version of which we know to be a consequence of Basic Law V. Field, Realism, Mathematics, and ModalityOxford: Sign in to use this feature.

Request removal from index.