David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 131 (3):371 - 388 (2002)
Jaakko Hintikka has argued that ordinary first-order logic should be replaced byindependence-friendly first-order logic, where essentially branching quantificationcan be represented. One recurring criticism of Hintikka has been that Hintikka''ssupposedly new logic is equivalent to a system of second-order logic, and henceis neither novel nor first-order. A standard reply to this criticism by Hintikka andhis defenders has been to show that given game-theoretic semantics, Hintikka''sbranching quantifiers receive the exact same treatment as the regular first-orderones. We develop a different reply, based around considerations concerning thenature of logic. In particular, we argue that Hintikka''s logic is the logic that bestrepresents the language fragment standard first-order logic is meantto represent. Therefore it earns its keep, and is also properly regarded as first-order.
|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
Daniel Kolak (2008). Room for a View: On the Metaphysical Subject of Personal Identity. Synthese 162 (3):341 - 372.
Livio Robaldo (2010). Independent Set Readings and Generalized Quantifiers. Journal of Philosophical Logic 39 (1):23-58.
Similar books and articles
Richard Heck & Jason Stanley (1993). Reply to Hintikka and Sandu: Frege and Second-Order Logic. Journal of Philosophy 90 (8):416 - 424.
Jaakko Hintikka (1996). The Principles of Mathematics Revisited. Cambridge University Press.
J. Väänänen (2007). Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press.
Jaakko Hintikka (1973). Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. Oxford,Clarendon Press.
Jaakko Hintikka (2009). A Proof of Nominalism: An Exercise in Successful Reduction in Logic. In A. Hieke & H. Leitgeb (eds.), Reduction - Abstraction - Analysis. Ontos.
Alexander Paseau (2010). Pure Second-Order Logic with Second-Order Identity. Notre Dame Journal of Formal Logic 51 (3):351-360.
Jaakko Hintikka & Esa Saarinen (1979). Information-Seeking Dialogues: Some of Their Logical Properties. [REVIEW] Studia Logica 38 (4):355 - 363.
Nina Gierasimczuk & Jakub Szymanik (2007). Hintikka's Thesis Revisited. Bulletin of Symbolic Logic 13:273.
G. Aldo Antonelli & Richmond H. Thomason (2002). Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic 67 (3):1039-1054.
Added to index2009-01-28
Total downloads27 ( #67,697 of 1,099,868 )
Recent downloads (6 months)4 ( #90,276 of 1,099,868 )
How can I increase my downloads?