Lexikon der Argumente

 

Re III 127f
Unechte Namen/Quine: (= >Kennzeichnungen).
Nur echte Namen erlauben die Substitution, die sich in der Ununterscheidbarkeit des Identischen findet.
Unechte Namen: führen zu komplexerer Form: Bsp » unter den römischen Rednern gibt es einen größten, und er klagte Catilina an«. - Bsp »Genau eine Zahl zählt die Planeten und sie ist größer als sieben«.
Russell: hier ist nur 7 echter Name.
Daher können diese Sätze auch nicht Ober- und Untersatz in einer Schlussfolgerung des Prinzips der Ununterscheidbarkeit des Identischen sein.
QuineVs: Problem: Reichweite: die Kennzeichnungen müssen so eliminiert werden, dass in der neuen Formulierung kein Bestandteil mit ihnen korrespondiert.
- - -
Strobach I 104
Ununterscheidbarkeit/Strobach: erfordert Logik 2. Stufe: Prädikatenlogik 2. Stufe/PL2/Strobach: typische Formel: das Leibnizsche Gesetz: "x = y > (F)(Fx ↔ Fy)". >Logik 2. Stufe.