Epistemische Logik – Einführung - sodass.net
Epistemische Logik – Einführung - sodass.net
Epistemische Logik – Einführung - sodass.net
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Nichtklassische <strong>Logik</strong>en<br />
Klassische <strong>Logik</strong> ist die <strong>Logik</strong> von „nicht“, „und“, „oder“,<br />
„einige“, „alle“, nichtleerem<br />
Individuenbereich, Prädikaten ausschließlich<br />
erster Stufe und <strong>–</strong> vielleicht <strong>–</strong> mit Identität<br />
Intuitionistische <strong>Logik</strong> ist die <strong>Logik</strong> von bestimmten<br />
Auswahlen und konstruktiven Beweisen<br />
Konditionallogik ist die <strong>Logik</strong> des „wenn<strong>–</strong>dann“<br />
(Alethische) Modallogik ist die <strong>Logik</strong> von „es ist<br />
notwendig, daß“, „es ist möglich, daß“<br />
<strong>Epistemische</strong> <strong>Logik</strong> ist die <strong>Logik</strong> von ?? — „Wissenslogik“<br />
Dr. Uwe Scheffler 2