Is Hintikka's Logic First-Order?

Synthese 131 (3):371-388 (2002)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
82 (#206,042)

6 months
8 (#370,917)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Matti Eklund
Uppsala University
Daniel Kolak
William Paterson University of New Jersey

Citations of this work

Independent Set Readings and Generalized Quantifiers.Livio Robaldo - 2010 - Journal of Philosophical Logic 39 (1):23-58.
The elusive scope of descriptions.Daniel Rothschild - 2007 - Philosophy Compass 2 (6):910–927.

Add more citations

References found in this work

To Be is to be a Value of a Variable.George Boolos - 1984 - Journal of Symbolic Logic 54 (2):616-617.
Quantifiers vs. Quantification Theory.Jaakko Hintikka - 1973 - Dialectica 27 (3‐4):329-358.
No scope for scope?Jaakko Hintikka - 1997 - Linguistics and Philosophy 20 (5):515-544.
Words and Objects.Achille C. Varzi - 2002 - In Andrea Bottani, Massimiliano Carrara & Daniele Giaretta (eds.), Individuals, Essence, and Identity. Themes of Analytic Metaphysics. Kluwer Academic Publishers. pp. 49–75.
Game-Theoretical Semantics as a challenge to proof theory.Jaakko Hintikka - 1999 - Nordic Journal of Philosophical Logic 4:127-142.

View all 7 references / Add more references