Propositional epistemic logic
DOI:
https://doi.org/10.15291/radovifpsp.2627Abstract
The article deals with the syntactic section in constructing propositional epistemic logic and it draws on the source of the so-called Finnish school of logic (K. J. J. Hintikka, I. Niiniluoto, V. Rantala and others). The author tries to show that construction of such logic is justified for the analysis of philosophical problems as well as for the wider interdisciplinary application. The article also points to possible ways of overcoming some of the difficulties inherent to such an approach.References
1. Barwis e , J. (ed.). 1977. Hanbook of Mathematical Logic Amsterdam: North
Holland (Prevod na ruski jezik, 1982. Moskva: Nauka).
2. Bell.J. &M. Machover 1986. A Course in Mathematical Logic Amsterdam:
North Holland (second printing).
3. C h e 11 a s , B. F. 1980. Modal Logic. Cambridge: Cambridge Unviersity Press.
4. Gerasimova, I. A. 1984. Okrestonstnye semantiki dlja epistemičeskih
logik, 12, 207—219.
5. H i n t i k k a , K. J. J. 1955. »Form and Content in Quantification Theory». Acta
Philosophica Fennica. 8, 11—55.
6. H i n t i k k a , K. J. J. 1961. Knowledge and Belief. Ithaca: Cornell University
Press.
7. H i n t i k k a , K. J. J. 1969. Models for Modalities. Dordrecht Holland: D. Rei-
dei.
8. H i n t i k k a , K. J. J. 1973. »Logic in Philosophy — Philosophy of Logic«, Logic,
language—Games and Information. Oxford: Clasrendon Press, 1—25. (Russkij perevod V. N. Bsjuškina v Logiko—epistemologičeskie issledovani- ja.
9. H i n t i k k a , K. J. J. 1975. The Intentions of Intentionality. Dordrecht—Holland:
D. Reidel.
10. H i n t i k k a , K. J. J. 1978. »Impossible Possible Worlds Vindicated«. Saarinen
E. (ed.) Game Theoretical Semantics. Dordrecht—Holland: D. Reidel, 367—379. (Russkij perevod A. P. Nikoforova, 8, 228—242).
11. H i n t i k k a , K. J. J. 1985. (in collaboration with Jack Kulas)., The Game of
Language. Dordrecht—Holland: D. Reidel.
12. H i n t i k ka , K. J. J. 1984. Vozmožna li aletičeskaja modl'naja logika? V. A.
Smirnov (o.r.) Modal’nye i intensionaTnyje logiki, Moskva: Nauka, 31—49.
13. H u g h e s , G. E. & M. J C r e s s w e 11. 1974. An Introduction to Modal Logic.
New York: Harper and Row.
14. Niiniluoto.I. 1979. »Knowing that One Sees«, Sarineen et al. (eds). Essays
in Honour of Jaokko Hintikka. Dordrecht—Holland: D. Reidei, 249—282.
15. Niiniluoto.I. 1984. Zametki o logike, vosprijatija, 8, 329—340.
16. R a n t a 1 a , V. 1984. Semantika nevozmoznyh mirov i logičeskoe vsevedenie,
8, 199—207.
Holland (Prevod na ruski jezik, 1982. Moskva: Nauka).
2. Bell.J. &M. Machover 1986. A Course in Mathematical Logic Amsterdam:
North Holland (second printing).
3. C h e 11 a s , B. F. 1980. Modal Logic. Cambridge: Cambridge Unviersity Press.
4. Gerasimova, I. A. 1984. Okrestonstnye semantiki dlja epistemičeskih
logik, 12, 207—219.
5. H i n t i k k a , K. J. J. 1955. »Form and Content in Quantification Theory». Acta
Philosophica Fennica. 8, 11—55.
6. H i n t i k k a , K. J. J. 1961. Knowledge and Belief. Ithaca: Cornell University
Press.
7. H i n t i k k a , K. J. J. 1969. Models for Modalities. Dordrecht Holland: D. Rei-
dei.
8. H i n t i k k a , K. J. J. 1973. »Logic in Philosophy — Philosophy of Logic«, Logic,
language—Games and Information. Oxford: Clasrendon Press, 1—25. (Russkij perevod V. N. Bsjuškina v Logiko—epistemologičeskie issledovani- ja.
9. H i n t i k k a , K. J. J. 1975. The Intentions of Intentionality. Dordrecht—Holland:
D. Reidel.
10. H i n t i k k a , K. J. J. 1978. »Impossible Possible Worlds Vindicated«. Saarinen
E. (ed.) Game Theoretical Semantics. Dordrecht—Holland: D. Reidel, 367—379. (Russkij perevod A. P. Nikoforova, 8, 228—242).
11. H i n t i k k a , K. J. J. 1985. (in collaboration with Jack Kulas)., The Game of
Language. Dordrecht—Holland: D. Reidel.
12. H i n t i k ka , K. J. J. 1984. Vozmožna li aletičeskaja modl'naja logika? V. A.
Smirnov (o.r.) Modal’nye i intensionaTnyje logiki, Moskva: Nauka, 31—49.
13. H u g h e s , G. E. & M. J C r e s s w e 11. 1974. An Introduction to Modal Logic.
New York: Harper and Row.
14. Niiniluoto.I. 1979. »Knowing that One Sees«, Sarineen et al. (eds). Essays
in Honour of Jaokko Hintikka. Dordrecht—Holland: D. Reidei, 249—282.
15. Niiniluoto.I. 1984. Zametki o logike, vosprijatija, 8, 329—340.
16. R a n t a 1 a , V. 1984. Semantika nevozmoznyh mirov i logičeskoe vsevedenie,
8, 199—207.
