Is Hintikka's Logic First-Order?
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
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.
- Barwise, J. (1979) On Branching Quantifiers in English. Journal of Philosophical Logic 8: pp. 47-80
- Boolos, G. (1984) To Be is to Be a Value of a Variable (or to Be Some Values of Some Variables. Journal of Philosophy 81: pp. 430-449
- Boolos, G. (1985) Nominalist Platonism. Philosophical Review 94: pp. 327-344
- Enderton, H. B. (1970) Finite Partially-Ordered Quantifiers. Zeitschrift fur mathematisehe Logik und Grundlagen der Mathematik 16: pp. 393-397
- Fauconnier, G. (1975) Do Quantifiers Branch?. Linguistic Inquiry 6: pp. 555-567
- Hand, M. (1993) A Defense of Branching Quantification. Synthese 95: pp. 115-129
- Hintikka, J. (1974) Quantifiers vs. Quantification Theory. Linguistics and Philosophy 5: pp. 153-177
- Hintikka, J. Quantifiers in Natural Language: Some Logical Problems. In: Saarinen, E. eds. (1979) Game-Theoretical Semantics. Reidel, Dordrecht, pp. 81-117
- Hintikka, J. (1996) The Principles of Mathematics Revisited. Cambridge University Press, Cambridge
- Hintikka, J. (1997) No Scope for Scope?. Linguistics and Philosophy 20: pp. 515-544
- Hintikka, J. (2000) Game-Theoretical Semantics as a Challenge to Proof Theory. Nordic Journal of Philosophical Logic 4: pp. 127-141
- Hintikka, J.: forthcoming, 'Independence-Friendly Logic of Which Order?'.
- Kolak, D. (2001) On Hintikka. Wadsworth, Belmont
- Quine, W. v. O. (1960) Variables Explained Away. Proceedings of the American Philosophical Society 104: pp. 343-347
- Rayo, A., Yablo, S. (2001) Nominalism Through De-Nominalization. Noûs 35: pp. 74-92
- Restall, G., Beall, J. C. (2000) Logical Pluralism. Australasian Journal of Philosophy 78: pp. 475-493
- Varzi, A.: forthcoming, 'Words and Objects', in A. Bottani, M. Carrara and D. Giaretta (eds), Individuals, Essence and Identity: Themes of Analytic Metaphysics, Kluwer Academic Publishers, Dordrecht, Boston and London.
- Velleman, J. D. (1999) Review of Jaakko Hintikka, The Principles of Mathematics Revisited. Mind 108: pp. 170-179
- Walkoe, W (1970) Finite Partially-Ordered Quantification. Journal of Symbolic Logic 35: pp. 535-555
- Is Hintikka's Logic First-Order?
Volume 131, Issue 3 , pp 371-388
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- Industry Sectors