Properties and the Interpretation of Second-Order Logic
Philosophia Mathematica (forthcoming)
| Abstract | This paper defends a deflationary conception of properties, according to which a property exists if and only if there could be a predicate with appropriate satisfaction conditions. I argue that purely general properties and relations necessarily exist and discuss the bearing of this conception of properties on the interpretation of higher-order logic and on Quine's charge that higher-order logic is ‘set theory in sheep's clothing’. On my approach, the usual semantics involves a false assimilation of the logic to set theory. I conclude with remarks about implications for the programme of founding mathematical theories in higher-order logic plus abstraction principles | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGeorge Bealer (1983). Completeness in the Theory of Properties, Relations, and Propositions. Journal of Symbolic Logic 48 (2):415-426.
Peter Koellner (2010). Strong Logics of First and Second Order. Bulletin of Symbolic Logic 16 (1):1-36.
S. Shapiro (2012). Higher-Order Logic or Set Theory: A False Dilemma. Philosophia Mathematica 20 (3):305-323.
Nino B. Cocchiarella (1992). Conceptual Realism Versus Quine on Classes and Higher-Order Logic. Synthese 90 (3):379 - 436.
Jouko Vaananen (2001). Second-Order Logic and Foundations of Mathematics. Bulletin of Symbolic Logic 7 (4):504-520.
Matt Kaufmann (1984). Filter Logics on Ω. Journal of Symbolic Logic 49 (1):241-256.
Ignacio Jané (1993). A Critical Appraisal of Second-Order Logic. History and Philosophy of Logic 14 (1):67-86.
Raphael Riel (2012). Pains, Pills and Properties – Functionalism and the First‐Order/Second‐Order Distinction. Dialectica 66 (4):543-562.
George Bealer (1979). Theories of Properties, Relations, and Propositions. Journal of Philosophy 76 (11):634-648.
Steve Awodey & Erich H. Reck (2002). Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-First-Century Semantics. History and Philosophy of Logic 23 (2):77-94.
Richard Heck & Jason Stanley (1993). Reply to Hintikka and Sandu: Frege and Second-Order Logic. Journal of Philosophy 90 (8):416 - 424.
Analytics
Monthly downloads |
Added to index2012-08-04Total downloads46 ( #23,860 of 549,117 )Recent downloads (6 months)1 ( #63,361 of 549,117 )How can I increase my downloads? |
My notes
Discussion
