Epistemologische betrachtungen zu [S4, S5]

Zusammenfassung

Die zahlreichen modallogischen Systeme zwischen den Standardkalkülen S4 und S5 werden vom epistemologischen Standpunkt aus untersucht, indem ‘Notwendigkeit’ wahlweise als ‘Wissen’ bzw. als ‘Überzeugt-sein’ gedeutet wird. Dabei stellt sich heraus, daß — unter gewissen andernorts begründeten Voraussetzungen über epistemische Logik-S4.4 als Logik der wahren Überzeugungen aufgefaßt werden kann, während die Systeme S4.3.2 und S4.2 als Logiken für solche Leute erscheinen, die das Schema ‘Wissen = wahre Überzeugung’ nur eingeschränkt für ganz spezielle rein doxastische bzw. rein epistemische Sätze akzeptieren. S4.2 ist dabei allem Anschein nach die Logik des Wissens.

Abstract

The numerous modal systems between S4 and S5 are investigated from an epistemological point of view by interpreting ‘necessity’ either as ‘knowledge’ or as ‘(strong) belief’. It is shown that-granted some assumptions about epistemic logic for which the author has argued elsewhere-the system S4.4 may be interpreted as the logic of true belief, while S4.3.2 and S4.2 may be taken to represent epistemic logic systems for individuals who accept the scheme ‘knowledge = true belief’ only for certain special instances. There is strong evidence in favor of the assumption that S4.2 is the logic of knowledge.