Abstract
This paper contains a formal treatment of the system of quantified epistemic logic sketched in Appendix II of Carlson (1983). Section 1 defines the syntax and recapitulates the model set rules and principles of the Appendix system. Section 2 defines a possible worlds semantics for this system, and shows that the Appendix system is complete with respect to this semantics. Section 3 extends the system by an explicit truth operatorT “it is true that” and considers quantification over nonexistent individuals. Section 4 formalizes the idea of variable identity criteria typical of Hintikkian epistemic logic.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Carlson, L.: 1983,Dialogue Games, D. Reidel, Dordrecht.
Hintikka, J.: 1962,Knowledge and Belief, Cornell University Press, Ithaca, New York.
Hintikka, J.: 1969,Models for Modalities, D. Reidel, Dordrecht.
Sellars, W.: 1967, ‘Some Problems About Belief’,Synthese 19, 158–77.
Sleigh, R.: 1967, ‘On Quantifying into Epistemic Contexts’,Nous 1, 23–32.
Sleigh, R.: 1972, ‘Restricted Range in Epistemic Logic’,Journal of Philosophy 69, 67–77.
Stine, G.: 1969, ‘Hintikka on Quantification and Belief’,Nous 3, 339–408.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Carlson, L. Quantified Hintikka-style epistemic logic. Synthese 74, 223–262 (1988). https://doi.org/10.1007/BF00869554
Issue Date:
DOI: https://doi.org/10.1007/BF00869554