I 198f
Variable/Kennzeichnung/Stellvertreter/GeachVsCarnap: in seinen Regeln für Kennzeichnungen Bsp "" __ __ (ix)(. . x . . ) __ __" usw. fungieren die Striche nicht, wie Carnap glaubt als Leerstellen (Stellvertreter) sondern als Variablen!
Carnap denkt aber, wenn er sie umbenennt, vermiede er seine Probleme mit Variablen.
>
Variablen, >
Konstanten.
I 199/200
Variablen/Konstanten/GeachVsCarnap: Carnap unterschiedet gar nicht so zwischen ihnen, wie er selber meint: Bsp Carnap: "Wenn "Q" eine Konstante pr (bestimmt oder unbestimmt) ist, dann sind von "Q(x)" die Sätze "Q(Prag)" (Stadt), "Q(a)" usw. gleichermaßen ableitbar."
Geach: "bestimmt oder unbestimmt", zeigt, dass die angebliche "Konstante pr" als Variable gebraucht wird.
Lösung: "Für alle "Q", wenn..." - aber dann haben wir eine Variable " "Q" ", die Anführungszeichen als Teil ihrer selbst enthält.
I 201
Freie Variablen/Strawson: Bsp
(A) In "x ist ein Mensch" ist "x" eine freie Variable.
Hier kommt "x" nicht als freie Variable vor - denn, weil "x" ist "x ist ein Mensch" als freie Variable vorkommt, ist der Satz (A) wahr.
Wenn (A) eine freie Variable enthielte, wäre es keine Aussage, sondern eine Aussagenfunktion.
>
Freie Variablen.
I 203
Gebundene Variable/Gebrauch/Erwähnung/Geach: in Bsp "x ist ein Mensch" wird "x" gebraucht, daher ist es eine gebundene Variable! (Gebunden durch die Anführungszeichen).
Gleichzeitig ist der Ausdruck deswegen Name einer Kennzeichnung, auch wenn sie nichts bezeichnet.
>
Benennen / >
Bezeichnen
>
Gebundene Variablen.
Geach: Namen bezeichnen nichts.