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)|
References found in this work BETA
No references found.
Citations of this work BETA
The Meaning of 'Most': Semantics, Numerosity and Psychology.Paul Pietroski, Jeffrey Lidz, Tim Hunter & Justin Halberda - 2009 - Mind and Language 24 (5):554-585.
Similar books and articles
Finitude and Hume's Principle.Richard G. Heck Jr - 1997 - Journal of Philosophical Logic 26 (6):589 - 617.
Definition by Induction in Frege's Grundgesetze der Arithmetik.Richard Heck - 1995 - In W. Demopoulos (ed.), Frege's Philosophy of Mathematics. Oxford University Press.
Frege's Logic, Theorem, and Foundations for Arithmetic.Edward N. Zalta - 2008 - Stanford Encyclopedia of Philosophy.
Peirce, Frege, the Logic of Relations, and Church's Theorem.Randall R. Dipert - 1984 - History and Philosophy of Logic 5 (1):49-66.
Frege's Theorem: An Introduction.Richard Heck - 1999 - The Harvard Review of Philosophy 7 (1):56-73.
The Contemporary Interest of an Old Doctrine.William Demopoulos - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:209 - 216.
Gottlob Frege Und Rudolf Eucken—Gesprächspartner in der Herausbildungsphase der Modernen Logik.Uwe Dathe - 1995 - History and Philosophy of Logic 16 (2):245-255.
Added to index2009-01-28
Total downloads16 ( #285,060 of 2,132,269 )
Recent downloads (6 months)1 ( #391,728 of 2,132,269 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.