“principle of non-contradiction”的概念、定义、翻译、参考文献-科学参考

principle of non-contradiction

Logic

1. The semantic thesis according to which no proposition may be both true and false simultaneously, i.e., the thesis that there exist no truth value gluts. The principle is closely related to a thesis concerning logical consequence, the principle of explosion, according to which from inconsistent premisses, arbitrary formulae may be inferred. The principle of explosion is frequently explained by appeal to the principle of non-contradiction, e.g., if validity is construed as the necessary preservation of truth, then because premisses ${φ, \neg φ}$ can never jointly be true, then truth is vacuously preserved for any $ψ$ .
The denial of the principle of non-contradiction—i.e., to suggest that it is possible that a proposition may be both true and false—is closely related to the stronger position of dialetheism, according to which there are such propositions.
2. The thesis that logics ought to be non-contradictory in the sense that it counts no inconsistencies as theorems. More formally, the principle is satisfied by a particular deductive system $L$ with a negation $\neg$ when $L$ enjoys the following property:
- • There is a set of formulae $Γ$ (possibly empty) such that for all formulae $φ$ , either $Γ ⊬_{L} φ$ or $Γ ⊬_{L} \neg φ .$
The overwhelming majority of non-classical logics are weaker than classical logic, that is, they license no inferences or theorems not already classically valid and must satisfy the principle of non-contradiction in this sense. Hence, deductive systems that fail to satisfy the principle in this sense are rare.

单词	principle of non-contradiction
释义	principle of non-contradiction Logic 1. The semantic thesis according to which no proposition may be both true and false simultaneously, i.e., the thesis that there exist no truth value gluts. The principle is closely related to a thesis concerning logical consequence, the principle of explosion, according to which from inconsistent premisses, arbitrary formulae may be inferred. The principle of explosion is frequently explained by appeal to the principle of non-contradiction, e.g., if validity is construed as the necessary preservation of truth, then because premisses ${φ, \neg φ}$ can never jointly be true, then truth is vacuously preserved for any $ψ$ . The denial of the principle of non-contradiction—i.e., to suggest that it is possible that a proposition may be both true and false—is closely related to the stronger position of dialetheism, according to which there are such propositions. 2. The thesis that logics ought to be non-contradictory in the sense that it counts no inconsistencies as theorems. More formally, the principle is satisfied by a particular deductive system $L$ with a negation $\neg$ when $L$ enjoys the following property: • There is a set of formulae $Γ$ (possibly empty) such that for all formulae $φ$ , either $Γ ⊬_{L} φ$ or $Γ ⊬_{L} \neg φ .$ The overwhelming majority of non-classical logics are weaker than classical logic, that is, they license no inferences or theorems not already classically valid and must satisfy the principle of non-contradiction in this sense. Hence, deductive systems that fail to satisfy the principle in this sense are rare.
随便看	SHAR share share buybacks share capital sharecropper share-cropping shared derived trait shared logic system shared memory shareholder share option share price share price index share ramping share register shareware Sharipov, Salizhan Shakirovich (1964– ) shark repellent Sharman, Helen (1963– ) Sharon, Ariel (1928–2014) Sharpeville massacre (21 March 1960) Sharpey-Schäfer, Sir Edward Albert Sharp, Phillip Allen sharp sand Shastri, Lal Bahadur (1904–66)