Zastosowanie systemów pośrednich między S4 A S5 w kontekstach epistemicznych

Marek Lechniak

Marek Lechniak Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

Słowa kluczowe: logika modalna, systemy logiki modalnej, wiedza, przekonanie, pojęcia epistemiczne

Abstrakt

The article presents systems of modal logics that are stronger than the S4 and weaker than the S5 systems. After a syntactic and semantic presentation of the systems, they are presented as applied to expressing the property of time. Then, after a discussion of some of Hintikka’s arguments concerning “the only” logic proper for the concept of knowledge and belief, against the background of a discussion of various concepts of knowledge and convictions, the application of the S4.2, S4.3, S4F systems as well as of the S4.4 system for expressing properties of epistemic concepts is shown.

Bibliografia

Georgacarakos G.: Semantics for S4.04, S4.4, and S4.3.2, „Notre Dame Journal of Formal Logic” 17 (1976), s. 297-302.

Hintikka J.: Knowledge and Belief, Ithaka: Cornell University Press 1962.

Lenzen W.: Epistemic logic, [w:] I. Niniluoto, M. Sintonen, J. Woleński, Handbook of Epistemology, Dordrecht: Kluwer 2004, s. 963-983.

Lenzen W.: Recent Work in Epistemic Logic, „Acta Philosophica Fennica” 30 (1978).

Schwartz G.: In Search of a “True” Logic of Knowledge: the Nonmonotonic Perspective, „Artificial Intelligence” 79 (1995), s. 39-63.

Stalnaker R.: On Logics of Knowledge and Belief, „Philosophical Studies” 128 (2006), s. 169-199.

Zeman J.: Modal Logic, Oxford: Clarendon Press 1973.

Zeman J.: Modal Systems in which Necessity is “Factorable”, „Notre Dame Journal of Formal Logic” 10 (1969), s. 247-256.

Zeman J.: A study of some Systems in the Neighborhood of S4.4, „Notre Dame Journal of Formal Logic” 12 (1971), s. 341-357.

Zeman J.: Semantics for S4.3.2, „Notre Dame Journal of Formal Logic” 13 (1972), s. 454 -460.