[拼音]：paizhongl?

[外文]：law of excluded middle

传统逻辑基本规律之一。它通常被表述为A是B或不是 B。传统逻辑首先把排中律当作事物的规律，意为任一事物在同一时间里具有某属 或不具有某属 ，而没有其他可能。排中律同时也是思维的规律，即一个命题是真的或不是真的，此外没有其他可能。排中律还是关于认识活动的规范 规律，意为任何人不应同时否认一个命题(A)及其否定(并非A)，即对一个命题及其否定不能持两不可之说。排中律还被当作逻辑语义的规律，即任一语词或语句同一上下文中应表达某一思想或不表达这一思想。作为后两种规律，也叫做排中律的要求。排中律并不排除具体事物在其发展过程中有中间环节、以及有多种状态和各种可能 。

在现代逻辑中，A'∨塡A（读作：A或非A），是排中律在命题逻辑中的体现;凬x(F(x)∨塡F(x))（读作:对任何个体x而言，x有 质F或没有 质F），是排中律在谓词逻辑中的体现。由于构造逻辑不承认现实世界里存在着实 ，只承认 是一个过程，因此，在该逻辑中，涉及 对象时排中律不成立；同时，用反证法证明存在命题，也不是一种有效的证明方法。

严正声明：本文由历史百科网注册或游客用户灵武 自行上传发布关于» 排中律的内容，本站只提供存储，展示，不对用户发布信息内容的原创度和真实性等负责。请读者自行斟酌。同时如内容侵犯您的版权或其他权益，请留言并加以说明。站长审查之后若情况属实会及时为您删除。同时遵循 CC 4.0 BY-SA 版权协议，尊重和保护作者的劳动成果，转载请标明出处链接和本声明内容：作者：灵武；本文链接：https://www.freedefine.cn/wenzhan/48038.html