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)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
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.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #301,481 of 1,004,686 )
Recent downloads (6 months)1 ( #64,743 of 1,004,686 )
How can I increase my downloads?