Interpreting Frege's Grundgesetze in an adaptation of Quine's New Foundations
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 Foundat...
Main Author: | |
---|---|
Format: | Others |
Language: | en |
Published: |
McGill University
2004
|
Subjects: | |
Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=81592 |