Fiche du document
1 juin 2019
- handle: 10670/1.qzfkqx
- hal: hal-04390286
- doi: 10.1007/s11787-018-0197-4
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/doi/10.1007/s11787-018-0197-4
info:eu-repo/semantics/OpenAccess
Mots-clés
Modality World Lines Identity Existential Generalization Singular Terms Modality World Lines Identity Existential Generalization Singular TermsCiter ce document
Matthieu Fontaine, « Hintikka, Free Logician », HAL-SHS : philosophie, ID : 10.1007/s11787-018-0197-4
Métriques
Partage / Export
Résumé
The combination of quantifiers with a semantics for epistemic operators in a modal framework is one of the major contributions of Hintikka in intensional logic. Hintikka's starting point is his diagnosis of the failure of existential generalization and the substitution of identicals in terms of referential multiplicity. In this paper, I introduce Hintikka as a free logician. Indeed, Hintikka's first-order epistemic logic is grounded on a logic free of ontological presuppositions with respect to singular terms. It is also a logic free of presuppositions of uniqueness of reference. After having focused on the use of quantifiers and singular terms in Hintikka's epistemic logic, I discuss some consequences from a semanticological perspective, but also from a philosophical one. By arguing against the so-called contingent a priori truths defended by Kripke, I conclude with a proposal in favour of Hintikka's non-rigid interpretation of proper names.