Zastosowanie systemów pośrednich między S4 A S5 w kontekstach epistemicznych
Application of Systems that are Intermediate between S4 and S5 in Epistemic Contexts
Author(s): Marek LechniakSubject(s): Philosophy
Published by: Towarzystwo Naukowe KUL & Katolicki Uniwersytet Lubelski Jana Pawła II
Keywords: modal logic; systems of modal logic; knowledge; belief; epistemic concepts
Summary/Abstract: 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.
Journal: Roczniki Filozoficzne
- Issue Year: 58/2010
- Issue No: 2
- Page Range: 41-60
- Page Count: 20
- Language: Polish