[整理]三大传统的思想律：同一律、矛盾律和排中律

同一律

以公式A=A表示的定律，表述为：每一事物都是其所是；或者表述为：如果任何事物是A，那么，它是A。某物不可能既是其所是同时又非是其所是。同一律是与矛盾律和排中律并列的三个传统的“思想律”之一，人们认为这三个定律对一切思想都是基本的和根本的。

矛盾律

亦称不矛盾律。这一规律与排中律和同一律构成古典逻辑的基本思维规律。矛盾律说，对任意命题p，p和非p不能在同一时间和同一方面为真。这个规律禁止同时断定一个命题和它的否定或矛盾命题。根据这一规律，我们判定任何包含矛盾的命题是假的，任何否定一个矛盾的命题是真的。亚里士多德在《形而上学》一书中把矛盾律定义为这样一种观点：“任何东西在同一时间不可能既存在又不存在”，并宣称“它是所有原则中最无可争辩的原则”。坚持这一规律的强烈动机在于：在古典逻辑中，接受矛盾就毁掉了任何有意义言谈的可能性，因为每一命题都被矛盾所蕴涵。近来有人已经发展了容许某些矛盾的逻辑系统。

排中律

思维的基本规律之一，它构成古典逻辑中所有证明的基础。这个规律说：一事物或者是P或者是非P，不能在同一时间和同一方面既不是P又不是非P。在语义上它可以表述为：对任意谓词P和任意对象x，或者P或者P的否定对于x为真。亚里士多德在《形而上学》一书中把排中律定义为下述观点：“在矛盾中不可能有居间者，对于一主词我们必须或者肯定或者否定任意谓词。”当我们说一命题或陈述必定是或者真或者假时，排中律就便成为二值原则。它成为真值表方法的基础，但在多值逻辑和直觉主义逻辑中受到拒斥。是否坚持排中律或二值原则的问题，在当代逻辑和哲学中已经成为区分实在论和反实在论的分水岭。