排除中律

逻辑原则，如排除中律(适用于每一个命题p,要么p或者它的否定，而不是-p如果一个强烈现实主义的真理概念被一个反现实主义的真理概念所取代，那么它就不再是正确的，因为在它们之间没有“中间的”真命题。

(2)排除中律(或第三律)，(3)同一性原则。这三条定律可以象征性地表述如下。(1)对于所有命题p这对双方都是不可能的p而不是p是真的，或者:~ (p·∼p)，其中~…

排除中间(或排除第三)的原则。根据这个原理，每个数学命题不是真就是假;不允许有其他可能性。Brouwer否认这种二分法适用于无限集。

基于排除中庸之道(p∨∼p)．直觉演算的目的是以公理的形式提出那些且只有那些在直觉数学中被认为是合理的命题逻辑的原则。在本题中，∼、·、∨和⊃都是原语;转换……

排除的第三(或排除的中间)，它断言，对于每一个命题p，要么p，要么不是p;同样地，对于每一个p，非非p意味着p。这个原则是经典逻辑的基本原则，亚里士多德已经阐述过了，尽管有一些保留，因为他……