(相关资料图)
想必现在有很多小伙伴对于排中律方面的知识都比较想要了解,那么今天小好小编就为大家收集了一些关于排中律方面的知识分享给大家,希望大家会喜欢哦。
[拼音]:paizhongl?
[外文]:law of excluded middle
传统逻辑基本规律之一。它通常被表述为A是B或不是 B。传统逻辑首先把排中律当作事物的规律,意为任一事物在同一时间里具有某属性或不具有某属性,而没有其他可能。排中律同时也是思维的规律,即一个命题是真的或不是真的,此外没有其他可能。排中律还是关于认识活动的规范性规律,意为任何人不应同时否认一个命题(A)及其否定(并非A),即对一个命题及其否定不能持两不可之说。排中律还被当作逻辑语义的规律,即任一语词或语句同一上下文中应表达某一思想或不表达这一思想。作为后两种规律,也叫做排中律的要求。排中律并不排除具体事物在其发展过程中有中间环节、以及有多种状态和各种可能性。
在现代逻辑中,A"∨塡A(读作:A或非A),是排中律在命题逻辑中的体现;凬x(F(x)∨塡F(x))(读作:对任何个体x而言,x有性质F或没有性质F),是排中律在谓词逻辑中的体现。由于构造逻辑不承认现实世界里存在着实无穷,只承认无穷是一个过程,因此,在该逻辑中,涉及无穷对象时排中律不成立;同时,用反证法证明存在命题,也不是一种有效的证明方法。
免责声明:本文不构成任何商业建议,投资有风险,选择需谨慎!本站发布的图文一切为分享交流,传播正能量,此文不保证数据的准确性,内容仅供参考
关键词: