Induction and comparison
| Abstract | 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 | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesJohn 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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
