| 释义 |
substituˈtivity Logic.
[f. substitutive a. 2 b + -ity.]
The capacity of terms to function as logically equivalent substitutes for one another (see quot. 1965).
1940W. V. Quine Math. Logic 96 This restriction gives rise..to the following..substitutivity principle. 1943[see identical n. 1]. 1945Mind LIV. 358 Subject to certain important restrictions pointed out recently by Prof. W. V. Quine, we may accept what he calls the principle of substitutivity as applied to class-identity. 1959K. R. Popper Logic of Sci. Discovery 343 One of our axioms would become redundant, i.e. our axiom of substitutivity. 1965Jrnl. Philos. LXII. 139 Quine, Frege, and Russell approach problems connected with oratio obliqua constructions determined to defend Leibniz's Law, the principle of substitutivity, sometimes referred to as ‘the indiscernibility of identicals’. 1976Language LII. 3 The sense of ‘referential’ represented by a pair of heavy parentheses is different from the standard one in terms of substitutivity of identicals. |