Philosophie Lexikon der Argumente

Suche  
 
Modallogik: Erweiterung der klassischen Logik zu Systemen, in denen auch Möglichkeit und Notwendigkeit ausgedrückt werden können. Verschiedene Ansätze gebrauchen dafür Operatoren zum Ausdruck von „notwendig“ und „möglich“, die je nach Platzierung innerhalb von Formeln Behauptungen von unterschiedliche Stärke gewinnen lassen. Bsp Es gibt einen Gegenstand, der notwendig die Eigenschaft F hat/ Es ist notwendig, dass es einen Gegenstand mit der Eigenschaft F gibt. Die Einführung möglicher Welten macht Quantifikation zum Ausdrücken von Möglichkeit (Es gibt mindestens eine Welt, in der…) und Notwendigkeit (Für alle Welten gilt…) möglich. Siehe auch Operatoren, Quantoren, Vollständigkeit, Reichweite, Mögliche Welten.
 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
I 101
Modallogik/Sprache/Bigelow/Pargetter: am Ende erhalten wir eine orthodoxe Sprache der Modallogik: sie ist eine Erweiterung der klassischen Sprache von Tarski in zwei Hinsichten:
I 102
1. Erweiterung der Referenten von Individuenkonstanten, so dass sie auf Possibilia enthalten können
2. Hinzufügung von Regeln für Modaloperatoren.
Damit ist nicht gesagt, dass dies der einzig richtige weg ist.
Possibilia: wir behaupten auch nicht ihre Existenz aus semantischen Gründen. Es gibt aber gute nichtsemantische gründe, an sie zu glauben.
I 119
Modallogik/Modalität/Intuition/Bigelow/Pargetter: unsere Intuitionen sind hier trügerisch.
Einige unserer Intuitionen widersprechen sich sogar: Bsp
Prinzip der Verteilung der Disjunktion:
((a v b) wäre>wäre g) > ((a wäre>wäre g ) u (b wäre>wäre g)).
Das scheint wahr zu sein. Bsp „Wenn Du äßest oder tränkest,, wärest Du mein Gefangener. Also wenn Du äßest wärest Du mein gefangener und wenn Du tränkest wärest du mein Gefangener“.
Problem: dieses Prinzip kann dennoch nicht zu unserem Axiomensystem hinzugefügt werden.

Big I
J. Bigelow, R. Pargetter
Science and Necessity Cambridge 1990

> Gegenargumente gegen Bigelow
> Gegenargumente zu Modallogik



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 24.05.2017