亚里士多德的中间排除律是什么？

中间排除律，也叫排中律。

　　排中律
　　law of excluded middle

　　传统逻辑基本规律之一。通常被表述为A是B或不是B。传统逻辑首先把排中律当作事物的规律，意为任一事物在同一时间里具有某属性或不具有某属性，而没有其他可能。排中律同时也是思维的规律，即一个命题是真的或不是真的，此外没有其他可能。排中律还是关于认识活动的规范性规律，意为任何人不应同时否认一个命题（A）及其否定（并非A），即对一个命题及其否定不能持两不可之说。排中律还被当作逻辑语义的规律，即任一语词或语句在同一上下文中应表达某一思想或不表达这一思想。作为后两种规律，也叫做排中律的要求。排中律并不排除具体事物在其发展过程中有中间环节以及有多种状态和各种可能性。在现代逻辑中，A∨A（读作：A或非A），是排中律在命题逻辑中的体现；"x（F（x）∨F（x））（读作：对任何个体x而言，x有性质F或没有性质F）是排中律在谓词逻辑中的体现。由于构造逻辑不承认现实世界里存在着实无穷，只承认无穷是一个过程，因此，在该逻辑中，涉及无穷对象时排中律不成立；用反证法证明存在命题，也不是一种有效的证明方法。

　　一、排中律的内容和要求

　　排中律的基本内容是指在同一思维过程中，任何一种思想和对这种思想的否定，二者间必有一真，不可能两种思想都假。

　　排中律的公式是：A或者非A，它要求对同一对象，不充许对两种思想都否定。

　　注意：当公式中的A代入概念时，排中律的要就是：对任何一个概念，它总是或者反映了某个对象，或者没有反映某个对象，不能含含糊糊，似乎反映这个对象，又似乎不反映这个对象。

　　当公式中的A人代入判断时，它的要求是：任何一个判断同对该判的否定之间，二者不可能都假，当我们否定了A这个判断，就必须承认是肯定了非A这个判断，反之，也是。它要求我们的思维必须具有明确性，不充许在“是”与“非”间含糊其词。

　　有个寓言故事，说狮子指定熊、猴子和兔子做它的大臣。后来呆久了，狮子想把它们吃掉，但要有个借口才行。有一天，狮子将它们三人找来说，你们当了我的大臣有很多日子了，我现在得测验一下，看你们当了高官以后有没有腐