I 30
Zahlenvariablen/Prior: Zahlenvariablen sind keine Namen! Bsp Wenn genau 3 Dinge φ und genau 4 Dinge ψ sind, dann sind mehr Dinge φ als ψ. Dann ist "3" kein Name sondern untrennbarer Teil des Verboperators "Genau 3 Dinge __".
>
Namen, >
Operatoren, >
Prädikation, >
Ist, >
Gleichheit, >
Gleichungen, >
Mengen, >
Mengenlehre,
I 33
Variablen/Quine: Gebundene Variablen dürfen nur für Namen stehen. Also für Dinge, nicht für Sätze.
>
Gebundene Variablen, >
Quantifikation, >
Gegenstände.
QuineVsFrege: Namen stehen nicht für Sätze, nur für Dinge.
Bsp "Für ein φ, φx" ist die einzige Möglichkeit, das zu lesen, dass es mindestens ein Ding gibt, sodass x dieses Ding "tut".
>
Sätze, >
"Stehen für", >
Namen/Frege, >
Sätze/Frege.
Quine selbst macht das nicht, aber er hat z.B. "ε" für "ist Element von".
>
Elementbeziehung, >
Ist, >
Prädikation.
I 35
Gebundene Variable/Namen/Prior: Bsp Der offener Satz "x ist rothaarig": wofür steht x?
>Offene Sätze/Aussagenfunktionen.
Das hängt davon ab, wie wir "stehen für" verstehen:
a) x steht für einen Namen, z.B. "Peter" (Stellvertreter) - oder
b) für einen Gegenstand (Peter).
PriorVsQuine: Gebundene Variablen können auch für Sätze stehen:
"J. glaubt, dass p" (irgendetwas)
steht dann für einen Satz.
- - -
ad Wittgenstein I 93
Satzvariable/Wittgenstein: Tractatus: Der Ausdruck setzt die Formen aller Sätze voraus, in welchen er vorkommen kann. - ((s) Also schafft er selbst keine Satzformen).
3.312 Er wird also dargestellt durch die allgemeine Form der Sätze, die er charakterisiert.
>
Charakterisierung/Goodman.
Wittgenstein: ...und zwar wird in dieser Form der Ausdruck konstant und alles übrige variabel sein.
Satzvariable: Aristoteles' Neuerung war: "A" für einen ganzen Satz zu nehmen.
- - -
Prior I 148
Gebundene Variablen/Prior: Gebundene Variablen stehen für logische Eigennamen:
"Für ein x:
1. x φt ,
2. Nichts anderes als x φt und
3. Es ist nicht der Fall, dass x ψt".
I 164f
Gebundene Variable/PriorVs viele amerikanische Logiker: Nicht jede gebundene Variable steht für einen Namen.