Lexikon der Argumente

 

I XXIV
Propositionalfunktionen/Aussagenfunktion/Russell/Gödel: Aussagenfunktionen haben immer etwas mehrdeutiges, wegen der Variablen - (Frege: etwas ungesättigtes).
((s) Bsp Aussagenfunktion: xF, nicht quantifiziert, daher nicht wahr oder falsch.)
>Mehrdeutigkeit, >"ungesättigt", >Aussage, >Quantifikation, >Wahrheitswert.
I 26
Propositionalfunktion/Aussagenfunktion/Schreibweise/Principia Mathematica⁽¹⁾/Russell: wenn wir von der Propositionalfunktion sprechen wollen, die "x ist verletzt" entspricht, werden wir schreiben: "x^ ist verletzt" und "x ist verletzt" ist ein mehrdeutiger Wert davon.
((s) x^: die Klasse der x).


1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press.
- - -
VI 73
Aussagenfunktion/Russell: Jeder Ausdruck, der einen unbestimmten Teil oder mehrere hat und der zu einer Aussage wird, wenn der unbestimmte Bestandteil bestimmt wird. Bsp "x ist rot".
Eine Aussagenfunktion kann
immer wahr (x = x, notwendig),
manchmal wahr (x = Mensch, möglich) oder
niemals wahr (x = Einhorn, unmöglich) sein.
VI 74
Einige Prädikate können nur Aussagenfunktionen und nicht Aussagen zugeschrieben werden.
>Nicht-Existenz, >Einhorn-Beispiel.