| 释义 |
Peirce|pɜːs|
The name of the American philosopher and logician Charles Sanders Peirce (1839–1914) used in the possessive to indicate his theories or methods, esp. as Peirce's Law, a logical formula relating to implication (see quot. 1967).
1918C. I. Lewis Survey Symbolic Logic i. 100 By a further important modification of Peirce's method, a theoretically adequate logic of mathematics may be obtained. 1934W. V. Quine Syst. Logistic vii. 64 p ⊃ q. ⊃ p: ⊃ p This is Peirce's law... The theorem has been so named by ᴌukasiewicz. 1949Jrnl. Philos. XLVI. 513 This paper assumes Peirce's semiotic as the basis for a discussion..of the logical paradoxes. 1954I. M. Copi Symbolic Logic iii. 64 Assuming Peirce's Law false leads to a contradiction. 1955A. N. Prior Formal Logic i. iii. 50 And so p is true (by ‘Peirce's law’). 1967S. C. Kleene Math. Logic §3. 13 ((P ⊃ Q) ⊃ P) ⊃ P. (Peirce's law, 1885). 1972Lambert & van Fraassen Derivation 49 The following principle is known as Peirce's Law. |