„Normale Modallogik“ – Versionsunterschied
Zur Navigation springen
Zur Suche springen
| [gesichtete Version] | [gesichtete Version] |
Inhalt gelöscht Inhalt hinzugefügt
+Quellen |
K Kleinkram |
||
| Zeile 1: | Zeile 1: | ||
Eine '''normale [[Modallogik]]''' ist in der [[Logik]] eine Menge ''L'' von Modalformeln, so dass |
Eine '''normale [[Modallogik]]''' ist in der [[Logik]] eine Menge ''L'' von Modalformeln, so dass |
||
*''L'' folgendes enthält: |
* ''L'' folgendes enthält: |
||
** alle propositionalen [[Tautologie (Logik) |
** alle propositionalen [[Tautologie (Logik)|Tautologien]], |
||
** alle Instanzen des Kripke-Schemas: <math>\Box(A\to B)\to(\Box A\to\Box B)</math> |
** alle Instanzen des Kripke-Schemas: <math>\Box(A\to B)\to(\Box A\to\Box B)</math> |
||
*und ''L'' geschlossen ist unter: |
* und ''L'' geschlossen ist unter: |
||
** dem [[Modus Ponens]]: <math> A\to B, A \vdash B</math>, |
** dem [[Modus Ponens]]: <math> A\to B, A \vdash B</math>, |
||
** der Notwendigkeits-Regel: <math>\vdash A</math> impliziert <math>\vdash\Box A</math>. |
** der Notwendigkeits-Regel: <math>\vdash A</math> impliziert <math>\vdash\Box A</math>. |
||
| Zeile 10: | Zeile 10: | ||
== Literatur == |
== Literatur == |
||
* {{Literatur|Autor= [[Ulf Friedrichsdorf]]|Titel=Einführung in die klassische und intensionale Logik |Verlag=Vieweg|Jahr |
* {{Literatur|Autor= [[Ulf Friedrichsdorf]]|Titel=Einführung in die klassische und intensionale Logik |Verlag=Vieweg |Jahr=1992 |ISBN= 3-528-06489-7}} |
||
* {{Literatur|Autor= [[George Edward Hughes]], [[Max Cresswell]]|Titel=Einführung in die Modallogik |Verlag=De Gruyter|Jahr |
* {{Literatur|Autor= [[George Edward Hughes]], [[Max Cresswell]]|Titel=Einführung in die Modallogik |Verlag=De Gruyter |Jahr=1978 |ISBN= 3-11-004609-1}} |
||
* {{Literatur|Autor=George Edward Hughes, Max Cresswell|Titel=A new introduction to modal logic|Verlag=Routledge|Ort=London|Jahr=1996|ISBN= |
* {{Literatur|Autor=George Edward Hughes, Max Cresswell|Titel=A new introduction to modal logic |Verlag=Routledge |Ort=London |Jahr=1996 |ISBN= 0-415-12600-2}} |
||
[[Kategorie:Logik]] |
[[Kategorie:Logik]] |
||
Version vom 26. November 2014, 17:57 Uhr
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:
- und L geschlossen ist unter:
- dem Modus Ponens: ,
- der Notwendigkeits-Regel: impliziert .
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.
Literatur
- Ulf Friedrichsdorf: Einführung in die klassische und intensionale Logik. Vieweg, 1992, ISBN 3-528-06489-7.
- George Edward Hughes, Max Cresswell: Einführung in die Modallogik. De Gruyter, 1978, ISBN 3-11-004609-1.
- George Edward Hughes, Max Cresswell: A new introduction to modal logic. Routledge, London 1996, ISBN 0-415-12600-2.