II 47ff
Zweiwertigkeit: Problem: Sorites.
II 53
Dennoch Grundzug unserer naturwissenschaftlichen Welt. - Im liberalen Sinn kein Problem - Frege: jeder allgemeine Term trifft zu oder nicht. - Alle Termini sind vage durch Ostension.
>
Ostension.
II 168
Logik, alt: handelt von Eigenschaften - neu: von Relationen - Quine: sie spürt jedenfalls Implikationen auf.
>
Implikation.
II 169
Logik, alt: versagte bei relativen Termini: Bsp jeder, der Figuren zeichnet, zeichnet Kreise. - Neu: keine Probleme damit: Implikation steckt eben in dem relativen Term.
II 173
Existenz: "Alle x sind y" Streitfrage: impliziert das die Existenz von "x"? Mittelalterliche Logik: ja
- Neuzeit: Nein (gewinnt dadurch an Symmetrie und Einfachheit).
- - -
VII (e) 82
Logik/Quine: dreifach: Propositionen - Klassen - Relationen - logische Begriffe: wir brauchen nur drei: "ε", ("Element von") - Shefferstrich und Allquantor.
- - -
VII (g) 119 ff
Klassenlogik/Quine: geht aus Quantorenlogik hervor, wenn wir Schemabuchstaben (Prädikatbuchstaben) "F" usw. binden - ((s) >
Logik 2.Stufe).
- - -
IX 8
Logik/Quine: Hauptaufgabe: Beweise der Gültigkeit von Schemata - Logik 2. Stufe: hier geht es um die Gültigkeit von Formelschemata der Quantorenlogik - Bsp Substituierbarkeit der Bisubjunktion:
∀x1...∀xn[((A ↔ B) ∧ CA) > CB].
- - -
X 110
Logik/Quine: legt man die Gesamtheit der logischen Wahrheiten fest, hat man die Logik festgelegt
Abweichende Logik/Quine: keine abweichenden Beweisverfahren, sondern Zurückweisung eines Teils der Logik als gar nicht wahr.
X 111
"Alles könnte anders sein"/Übersetzung/andere Logik/Vertauschung/und/oder/Schlüsselstelle/Gavagai/Quine: angenommene heterodoxe Logik, in der die Gesetze für die Adjunktion jetzt für die Konjunktion gelten sollen und umgekehrt.
Bloße Änderung der Phonetik bzw. der Bezeichnung. - ((s) Wenn er "Adjunktion" sagt, gebraucht er unsere Konjunktion).
Quine: Wir zwingen ihm unsere Logik auf, indem wir seine abweichende Ausdrucksweise übersetzen - sinnlos zu fragen, welches die "richtige" Konjunktion ist. - Es gibt kein Wesen der Konjunktion über die Laute und Zeichen und die Gesetze für ihren Gebrauch hinaus.
>
Gebrauch, >
Gavagai, >
Logische Konstanten.
