Normale Modallogik

Normale Modallogik

Eine normale Modallogik ist in der Logik eine Menge L von Modalformeln, so dass

  • L folgendes enthält:
    • alle propositionalen Tautologien,
    • alle Instanzen des Kripke-Schemas: \Box(A\to B)\to(\Box A\to\Box B)
  • und L geschlossen ist unter:
    • dem Modus Ponens:  A\to B, A \vdash B,
    • der Notwendigkeits-Regel: \vdash A impliziert \vdash\Box A.

Die kleinste Logik, die diese Bedingungen erfüllt, heißt K. Die heute am häufigsten benutzten Modallogiken, z.B. C. I. Lewis' S4 und S5, sind Erweiterungen von K. Jedoch sind einige Deontischen und Epistemische Logiken nicht-normal, oft weil sie das Kripke-Schema aufgeben.


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Liste bekannter Forscher zur antiken Philosophie — Die Liste bekannter Forscher zur antiken Philosophie erfasst Gelehrte vor allem aus den Bereichen der Philosophie und Philosophiegeschichte, der Klassischen Philologie und der Alten Geschichte, der Theologie und der Politikwissenschaft, aber auch …   Deutsch Wikipedia

  • Hoering — Walter Hoering (* 22. Mai 1933 in Tetschen Bodenbach) ist pensionierter Professor für Philosophie an der Universität Tübingen. Seine Forschungsschwerpunkte sind die Logik, die Didaktik der Logik, die Philosophie der Mathematik und die… …   Deutsch Wikipedia

  • Aristotelisch — Aristoteles Büste Aristoteles (griechisch Ἀριστoτέλης, * 384 v. Chr. in Stageira (Stagira) auf der Halbinsel Chalkidike; † 322 v. Chr. in Chalkis auf der Insel Euboia …   Deutsch Wikipedia

  • Der Philosoph — Aristoteles Büste Aristoteles (griechisch Ἀριστoτέλης, * 384 v. Chr. in Stageira (Stagira) auf der Halbinsel Chalkidike; † 322 v. Chr. in Chalkis auf der Insel Euboia …   Deutsch Wikipedia

  • Der Stagirit — Aristoteles Büste Aristoteles (griechisch Ἀριστoτέλης, * 384 v. Chr. in Stageira (Stagira) auf der Halbinsel Chalkidike; † 322 v. Chr. in Chalkis auf der Insel Euboia …   Deutsch Wikipedia

  • Poietische Wissenschaft (Aristoteles) — Aristoteles Büste Aristoteles (griechisch Ἀριστoτέλης, * 384 v. Chr. in Stageira (Stagira) auf der Halbinsel Chalkidike; † 322 v. Chr. in Chalkis auf der Insel Euboia …   Deutsch Wikipedia

  • Praktische Wissenschaft (Aristoteles) — Aristoteles Büste Aristoteles (griechisch Ἀριστoτέλης, * 384 v. Chr. in Stageira (Stagira) auf der Halbinsel Chalkidike; † 322 v. Chr. in Chalkis auf der Insel Euboia …   Deutsch Wikipedia

  • Stagirit — Aristoteles Büste Aristoteles (griechisch Ἀριστoτέλης, * 384 v. Chr. in Stageira (Stagira) auf der Halbinsel Chalkidike; † 322 v. Chr. in Chalkis auf der Insel Euboia …   Deutsch Wikipedia

  • Theoretische Wissenschaft (Aristoteles) — Aristoteles Büste Aristoteles (griechisch Ἀριστoτέλης, * 384 v. Chr. in Stageira (Stagira) auf der Halbinsel Chalkidike; † 322 v. Chr. in Chalkis auf der Insel Euboia …   Deutsch Wikipedia

  • Walter Hoering — (* 22. Mai 1933 in Tetschen Bodenbach) ist pensionierter Professor für Philosophie an der Universität Tübingen. Seine Forschungsschwerpunkte sind die Logik, die Didaktik der Logik, die Philosophie der Mathematik und die Wissenschaftstheorie.… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”