Interpreting Frege's Grundgesetze in an Adaptation of Quine's New Foundations
Author | : Ryan Beaton |
Publisher | : |
Total Pages | : 220 |
Release | : 2004 |
ISBN-10 | : OCLC:61742920 |
ISBN-13 | : |
Rating | : 4/5 (20 Downloads) |
Download or read book Interpreting Frege's Grundgesetze in an Adaptation of Quine's New Foundations written by Ryan Beaton and published by . This book was released on 2004 with total page 220 pages. Available in PDF, EPUB and Kindle. Book excerpt: "We first give a modern presentation of the formal language of Frege's Grundgesetze. There follows a comparison of the motivations for Frege's "Cumulative Type Theory" and for Russell's Type Theory and of the basic arithmetical definitions in each. Quine's New Foundations and, in particular, extensions of Jensen's modification, NFU, are introduced and consistency results are discussed. Finally, an interpretation is given in an NFU framework of a modified form of the Grundgesetze theory. It is shown that an "Axiom of Counting" necessary for arithmetic in NFU is needed in an analogous way for arithmetic in our interpretation; it is further demonstrated that from the statement of this axiom in NFU, the appropriate analogue is provable for our interpretation. The development of arithmetic in an NFU framework is seen essentially to be that intended by Frege in the Grundgesetze." --