The problems of quantified epistemic logic
DOI:
https://doi.org/10.15291/radovifpsp.2478Abstract
Within the framework of quantified modal logic (QML) the author, in the first part of his paper, on the basis of the actualist approach to the problem of founding logical moalities, attempts to found a system of quantified epistemic logic (QEL) which presupposes a characteristic manner of problem-solving if compared to the rule of existential generalisation (EG). This is Hintikka's approach. The central issue of the second part of the paper tackles the rule of existential, as well as some other problems in connection with their applications in quantified epistemic logic. The conclusion gives counter arguments to two systems QEL (Hintikka' system K and B and Carlson's system C).References
CARLSON, L. (1983): Dialogue Games, Dordrecht, D. Reidei P. C. CARLSON, L. (1988): Quantified Hintikka-Style Epistemic Logic, Synthese, 74, pp. 223-262.
CELIŠČEV, V. V. (o.r.) (1978): Logika i ontologia, Moskva, Nauka. COCCHIARELLA, N. B. (1989): Philosophical Perspectives on Formal
Theories of Predication, in: Gabbay and Guenthner (eds.), Handbook, of Philosophical Logic, pp. 253-326.
FRAWLEY, W. (1984): Dialogue Games by Carlson, Language, 60, pp. 966-969.
HINTIKKA, K. J. J. (1955): Form and Content in Quantification Theory, Acta Philosophica Fenica, 8, pp. 11-55.
HINTIKKA, K. J.J . (1962): Knowledge and Belief, Ithaca, Cornell University Press.
HINTIKKA, K.J.J. (1969): Models for Modalities, Dordrecht - Holland, D. Riedel.
HINTIKKA, K. J. J. and SUPPES, P. (eds.) (1970): Information and Inference. Dordrecht, D. Reidel.
HINTIKKA, K. J. J. (1973): Logic Language-Games, and Information, Oxford, Clarendon Press.
HINTIKKA, K. J. J. (1975): The Intentions of Intentionally and Other Models for Modalities, Dordrecht, D. Reidel.
HINTIKKA, K. J. J. (in collaboration with KULAS, J.) (1985): The Game of Language, Dordrecht, D. Reidel.
HINTIKKA, K. J. J. (1990): Cartesian Cogito, Epistemic Logic and Cognitive Sciences : Some Surprising Interrelations, Synthese, 83.
KVART, I. (1982): Quine and Modalities de re: A Way Out?, Journal of Philosophy, 79.
KVART, I. (1989): Teorija misliočeve referencije, Filozofska istraživanja, 31, pp. 1213-1235.
LENZEN, W. (1978): Recent Work in Epistemic Logic, Amsterdam, North- Holland.
YAGISAWA, T. (1988): Beyond Possible Worlds, Philosophical Studies, 53, pp. 175-204.
YAGISAWA, T. (1989): The Reverse Frege Puzzle, Philosophical Perspectives, 3, pp. 343-368.
CELIŠČEV, V. V. (o.r.) (1978): Logika i ontologia, Moskva, Nauka. COCCHIARELLA, N. B. (1989): Philosophical Perspectives on Formal
Theories of Predication, in: Gabbay and Guenthner (eds.), Handbook, of Philosophical Logic, pp. 253-326.
FRAWLEY, W. (1984): Dialogue Games by Carlson, Language, 60, pp. 966-969.
HINTIKKA, K. J. J. (1955): Form and Content in Quantification Theory, Acta Philosophica Fenica, 8, pp. 11-55.
HINTIKKA, K. J.J . (1962): Knowledge and Belief, Ithaca, Cornell University Press.
HINTIKKA, K.J.J. (1969): Models for Modalities, Dordrecht - Holland, D. Riedel.
HINTIKKA, K. J. J. and SUPPES, P. (eds.) (1970): Information and Inference. Dordrecht, D. Reidel.
HINTIKKA, K. J. J. (1973): Logic Language-Games, and Information, Oxford, Clarendon Press.
HINTIKKA, K. J. J. (1975): The Intentions of Intentionally and Other Models for Modalities, Dordrecht, D. Reidel.
HINTIKKA, K. J. J. (in collaboration with KULAS, J.) (1985): The Game of Language, Dordrecht, D. Reidel.
HINTIKKA, K. J. J. (1990): Cartesian Cogito, Epistemic Logic and Cognitive Sciences : Some Surprising Interrelations, Synthese, 83.
KVART, I. (1982): Quine and Modalities de re: A Way Out?, Journal of Philosophy, 79.
KVART, I. (1989): Teorija misliočeve referencije, Filozofska istraživanja, 31, pp. 1213-1235.
LENZEN, W. (1978): Recent Work in Epistemic Logic, Amsterdam, North- Holland.
YAGISAWA, T. (1988): Beyond Possible Worlds, Philosophical Studies, 53, pp. 175-204.
YAGISAWA, T. (1989): The Reverse Frege Puzzle, Philosophical Perspectives, 3, pp. 343-368.
Downloads
Published
2018-02-02
Issue
Section
Original scientific paper
