substitutivityn.
/ˌsʌbstᵻtjuːˈtɪvᵻti/, /ˌsʌbstᵻtʃuːˈtɪvᵻti/, U.S. /ˌsəbstəˌt(j)uˈtɪvᵻdi/ Logic.
The capacity of terms to function as equivalent substitutes for one another within a statement, without causing loss of truth.
ΘΚΠ
the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > substitution
substitutivity1934
1934 W. V. Quine Syst. Logic 199/2 Substitutivity.
1940 W. V. Quine Math. Logic 96 This restriction gives rise..to the following..substitutivity principle.
1943 W. V. Quine in Jrnl. Philos. 4 Mar. 113 One of the fundamental principles governing identity is that of substitutivity—or, as it might well be called, that of indiscernibility of identicals.
1959 K. R. Popper Logic of Sci. Discov. 343 One of our axioms would become redundant, i.e. our axiom of substitutivity.
1976 Language 52 3 The sense of ‘referential’ represented by a pair of heavy parentheses is different from the standard one in terms of substitutivity of identicals.
2011 N. Asher Lexical Meaning in Context iii. vii. 192 The lack of substitutivity within as phrases is striking when we compare it to the epistemic transparency of other predications inside attitude contexts.
This entry has been updated (OED Third Edition, June 2012; most recently modified version published online March 2022).
<
n.1934