VII (a) 4
Modalität/Quine: auf ganze Sätze beschränken.
VII 143
Modalität/QuineVs Cl.Lewis/QuineVsstrikte Implikation: Der Begriff der strikten Modalität ist auf dem Begriff der Analytizität aufgebaut. (QuineVsLewis, Cl.I., QuineVsAnalytizität).
>
Strikte Implikation, >
Analytizität.
- - -
VII (g) 144
Modalität/Quine: die Kontexte mit "notwendig" und "möglich" sind referentiell opak.
>
Opazität, >
Referenz.
- - -
X 107
Modalität/Modallogik/Quine: Problem: extensionsgleiche (koextensive) Prädikate sind nicht mehr austauschbar salva veritate.
Das ist kein Problem, macht die Logik aber komplizierter.
X 109
Logische Wahrheit/Modalität/Modallogik/Quine: die Modalitäten geben hier mehr her als die Einstellungen: wir können hier Schemata erhalten, die gültig sind: Bsp
„~(~p . notw p)“
Außerdem erhalten wir aus jedem gültigen Schema ein weiteres durch Voranstellen von “notwendig“ Bsp „notw(p oder ~p)“ aus „p oder ~p“.
X 126
Ontologie/Quine: die wirkliche Ontologie liegt bei den Quantoren der Standardsprache. Die Voraussetzung, dass diese gilt, ist sehr wichtig.
Werden Modalitäten oder andere Konstruktionen neben den Wahrheitsfunktionen und Quantoren zugelassen, so erhöhen sie die Stärke und damit den Gehalt der Theorien unvergleichlich. >
Stärke von Theorien.
- - -
XI 175
Singulärer Term/allgemeiner Term/Modallogik/Follesdal/Lauener: eine Semantik der Modalitäten muss zwischen sing Term einerseits und allg Term und Sätzen andererseits unterscheiden: d.h. zwischen Ausdrücken, die eine Referenz haben, und Ausdrücken, die eine Extension haben.
>
Singuläre Termini, >
Allgemeine Termini.
- - -
I 337
Logische Modalität hat mit persönlicher Einstellung gar nichts zu tun. Die Modallogik wie wir sie kennen, beginnt mit Clarence Lewis "A survey of Symbolic Logic" 1918. Seine Interpretation der Notwendigkeit, die Carnap später noch schärfer formuliert lautet:
Def Notwendigkeit/Carnap: Ein Satz der mit "es ist notwendig, dass" anfängt, ist dann und nur dann wahr, wenn der restliche Satz analytisch ist.
I 343
Churchs System ist anders aufgebaut: Er schränkt die Quantifikation indirekt ein, indem er Variablen und andere Symbole in modalen Positionen uminterpretiert. Für ihn (wie für Frege) bezeichnet ein Satz, dem ein modaler Operator übergeordnet ist, dann eine Proposition. Der Operator ist ein Prädikat, das auf die Proposition angewandt wird.
I 422
Modalität/Quine: die möglichen konkreten Gegenstände, die unrealisierten Möglichkeiten stellen eine weitere Kategorie dubioser Gegenstände dar. Sie können auch als defektiv bezeichnet werden, denn hier herrscht völlige Unklarheit hinsichtlich der Identität, noch auffallender als bei Intensionen.
- - -
II 121
Empirische Modalitäten: (was hätte geschehen können): Diese Modalitäten beruhen nicht auf dem Wesen der Welt, sondern darauf, dass wir selbst z.B. durch Unkenntnis, von Einzelheiten absehen.
