Is Hintikka's logic first-order?
Synthese 131 (3):371 - 388 (2002)
| Abstract | 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRichard Heck & Jason Stanley (1993). Reply to Hintikka and Sandu: Frege and Second-Order Logic. Journal of Philosophy 90 (8):416 - 424.
G. Aldo Antonelli & Richmond H. Thomason (2002). Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic 67 (3):1039-1054.
Nina Gierasimczuk & Jakub Szymanik (2007). Hintikka's Thesis Revisited. The Bulletin of Symbolic Logic 13:273.
Jaakko Hintikka & Esa Saarinen (1979). Information-Seeking Dialogues: Some of Their Logical Properties. Studia Logica 38 (4):355 - 363.
Alexander Paseau (2010). Pure Second-Order Logic with Second-Order Identity. Notre Dame Journal of Formal Logic 51 (3):351-360.
Jaakko Hintikka (1973). Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. Oxford,Clarendon Press.
J. Väänänen (2007). Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press.
Jaakko Hintikka (1996). The Principles of Mathematics Revisited. Cambridge University Press.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads23 ( #53,739 of 548,974 )Recent downloads (6 months)1 ( #63,511 of 548,974 )How can I increase my downloads? |
My notes
Discussion
