David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Frege proved an important result, concerning the relation of arithmetic to second-order logic, that bears on several issues in linguistics. Frege’s Theorem illustrates the logic of relations like PRECEDES(x, y) and TALLER(x, y), while raising doubts about the idea that we understand sentences like ‘Carl is taller than Al’ in terms of abstracta like heights and numbers. Abstract paraphrase can be useful—as when we say that Carl’s height exceeds Al’s—without reflecting semantic structure. Related points apply to causal relations, and even grammatical relations like DOMINATES(x, y). Perhaps surprisingly, Frege provides the resources needed to recursively characterize labelled expressions without characterizing them as sets. His theorem may also bear on questions about the meaning and acquisition of number words.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
Paul Pietroski, Jeffrey Lidz, Tim Hunter & Justin Halberda (2009). The Meaning of 'Most': Semantics, Numerosity and Psychology. Mind and Language 24 (5):554-585.
Similar books and articles
John MacFarlane (2002). Frege, Kant, and the Logic in Logicism. Philosophical Review 111 (1):25-65.
Richard G. Heck Jr (1997). Finitude and Hume's Principle. Journal of Philosophical Logic 26 (6):589 - 617.
Richard Heck (1995). Definition by Induction in Frege's Grundgesetze der Arithmetik. In W. Demopoulos (ed.), Frege's Philosophy of Mathematics. OUP.
Edward N. Zalta, Frege's Logic, Theorem, and Foundations for Arithmetic. Stanford Encyclopedia of Philosophy.
Randall R. Dipert (1984). Peirce, Frege, the Logic of Relations, and Church's Theorem. History and Philosophy of Logic 5 (1):49-66.
Richard Heck (1999). Frege's Theorem: An Introduction. The Harvard Review of Philosophy 7 (1):56-73.
William Demopoulos (1994). The Contemporary Interest of an Old Doctrine. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:209 - 216.
Uwe Dathe (1995). Gottlob Frege Und Rudolf Eucken—Gesprächspartner in der Herausbildungsphase der Modernen Logik. History and Philosophy of Logic 16 (2):245-255.
Øystein Linnebo (2004). Predicative Fragments of Frege Arithmetic. Bulletin of Symbolic Logic 10 (2):153-174.
Added to index2009-01-28
Total downloads4 ( #368,438 of 1,696,507 )
Recent downloads (6 months)2 ( #246,076 of 1,696,507 )
How can I increase my downloads?