S 4 / S 5, Logik, Philosophie: S 4 und S 5 sind modallogische Systeme, die sich in Bezug darauf unterscheiden, was in ihnen ausdrückbar ist. Durch die Hinzunahme von Axiomen wird die Ausdrucksstärke erhöht. S 5 entsteht aus S 4 durch das hinzugefügte Axiom Mp > NMp. „Was möglich ist, ist notwendigerweise möglich“. Siehe auch Axiome, Axiomensysteme, Modallogik, Modalitäten, Stärker/schwächer. _____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.
|