Lexikon der Argumente

 

I 86
Logisch möglich/Möglichkeit/Raute/KripkeVsField: "Es ist möglich, dass" ist keine logische Wahrheit. FieldVsKripke: Doch ist es, das liegt bloß an Kripkes modelltheoretischer Definition. Es sollte nicht als "mathematisch" oder "metaphysisch möglich" gelesen werden.
>Logische Wahrheit, >Metaphysische Möglichkeit.
I 87
Bsp Carnap: "Er ist Junggeselle und verheiratet": ist logisch falsch.
>Bedeutungspostulate.
FieldVsCarnap: Bedeutungsrelationen zwischen Prädikaten sollten nicht zur Logik zählen. Dann ist der Satz logisch konsistent.
Konsistenz-Operator/Field:
MEx (x ist rot & x ist rund)
sollte nicht nur wahr sein, sondern logisch wahr. ((s) auch ohne Bedeutungspostulate.) ((s) Bedeutungspostulat/(s): Hier geht es um den Umfang der Logik.)
I 203
Geometrische Möglichkeit/Field: statt logischer: Es gibt verschiedene Geometrien.
>Geometrie.
Voraussetzung: Es gibt empirische Axiome, die Möglichkeit von Unmöglichkeit unterscheiden - dabei muss aber der Existenzquantor innerhalb der Reichweite des Modaloperators stehen.
>Existenzquantifikation, >Modaloperator, >Reichweite.
I 218
Problem der Quantitäten/mathematische Entitäten/mE/Field: Bsp es ist möglich, dass der Abstand zwischen x und y doppelt so groß wie der zwischen x und w ist, selbst wenn der aktuale Abstand mehr als doppelt so groß ist.
Problem: Extensionale Adäquatheit garantiert nicht, dass der definierte Ausdruck in jeder nicht-aktualen Situation wahr ist - d.h. dass wir entweder den Substantivalismus oder den Hochleistungs-Platonismus voraussetzen müssen - das tun wir ja auch in der Praxis.
Hochleistungs-Platonismus: nimmt Größenrelationen zwischen Mengen und Zahlen an.
>Substantivalismus.