Lexikon der Argumente

 

VII (b) 29
Ersetzbarkeit/Substitution/QuineVsLeibniz: die Stärke der Forderung nach Substituierbarkeit variiert mit der Reichhaltigkeit der Sprache. - Wir brauchen ein- und mehrstellige Prädikate, Wahrheitsfunktionen (nicht, und, oder usw.), Klassen, Klassen von Klassen, Kennzeichnungen, singuläre Termini.
>Synonymie, >Ausdrucksfähigkeit, >Prädikate, >Singuläre Termini, >Kennzeichnungen, >Klassen.
Diese Sprache ist dann extensional: jede zwei Prädikate, die extensional übereinstimmen (vom selben Objekt wahr sind) sind ersetzbar salva veritate. - Das sichert aber keine kognitive Synonymie.
>Extension, >Extensionalität.
- - -
VII (c) 56
Ersetzbarkeit/Quine: Frage: salvo quo? Etwas wird immer verändert.
- - -
IX 9
Einsetzen/Substitution/Quine: wenn in einer Aussage, die für "Fx" substituiert wurde, freie Variablen außer "x" vorkommen, dann dürfen es nicht solche sein, die in den Wirkungsbereich von Quantoren geraten, die in dem Schema, in dem die Substitution vorgenommen wurde, vorkommen.