Correction: (max 500 charact.)
The complaint will not be published.
Flor III 127
Existence/Russell: the term existence can only be applied usefully to propositional functions.
>
Propositional function .
Def existence/Russell: There is an argument for a certain propositional function, for which it is true.
cf. >Quine: to be is to be a value of a bound variable.
>
Existence/Quine .
((s) Explanation: according to Quine, there are no properties independent of objects. In other words, one must not quantify about properties).
>
Second order logic , >
Schematic letters , >
Bound variable .
According to Russell, there are only atomic facts and absolutely simple individuals (> Logical
atomism ).
- - -
Russell VI 76
Predicate/propositional function/Russell: some predicates, for example existence, can only be attributed to statement functions (or classes), but not to statements: E.g. "People are numerous, therefore Socrates is numerous". - Therefore, you also know that there are people in Timbuktu, without knowing them: the existence theorem is about a class, not individuals.
>
Description level , >
Unit set , >
Things/Russell , >
Particulars , >
Individual/Russell .
- - -
Tugendhat I 377
Existence/Russell/Tugendhat: Russell interprets the singular predicative statement as an existential proposition and this as a general statement. - That was already anticipated by Kant and Frege. - Then e.g. "The present King of France is bald", etc. is always wrong ->
Generality/Russell .
- - -
Tugendhat II 43
Existence/Russell: one can only talk about existent things - but past and future are also existent.
>
Time , >
Past , >
Future .