无矛盾律
在古典邏輯中，无矛盾律（，縮寫為LNC），也被称为矛盾律（），把断言命题 Q 和它的否定命题 ¬ Q 二者同时在"同一方面"为真的任何命题 P 断定为假。用亚里士多德的话说，“你不能同时声称某事物在同一方面既是又不是”。 更簡單的說，對於任何命題 P，P 和 ¬ P 不能同時為真。在符号上，这可表达为: \neg (P \wedge \neg P)\, 为真。 二值和有关规律检视了无矛盾律和类似定律的关系，比如二值原理，不应与之混淆。 …
标签：#思维规律
共 4 篇文章
思维规律
思維規律（），又稱思考規律，是邏輯的公理基礎，由亚里士多德提出。 传统三大规律 伯特兰·罗素在他的著作《》(1912)中确立了三个思维规律: 同一律； 无矛盾律； 排中律； 一般而言在欧陆理性主义的方法中，它们被明确的假定并且是毋庸质疑的公理。 它们都归功于亚里士多德，并遭受了众多非议和分析(分别关于决定论和外延性)。在一定意义上，这标志了在十九世纪特别是戈特洛布·弗雷格(他受到这些公式的巨大影响)之后在逻辑学中发生的事情。这种规律被假…
二值原理
在逻辑中，二值原理（）是指，對於任何命题 P，只能有一個真值：命題P只能是真，或假，其中之一。滿足這個原則的邏輯推論，稱為二值邏輯（，bivalent logic）。 在经典逻辑中，二值原理等价于说没有命题非真非假。非真非假的命题 P 是不可判定的。在直觉逻辑中，命题 P 的真值有时不能判定(就是说 P 不能被证明或反驳)。在这种情况下，P 简单的不能有真值。其他逻辑，比如多值逻辑，可以指派给 P 一个中间的真值。 不要混淆于排中律和无…
同一律
在逻辑中，同一律声称 A = A。任何自反关系都支持同一律；在讨论等同性的时候，"A 是 A" 的事实是重言式。 同一律是思维规律之一。 这个定律通常归功于亚里士多德，但直到十三世纪托马斯·阿奎纳之后都没有提及过它的存在。这个定律在十七世纪经常在哲学家中间引用，它可能是在十三世纪到十七世纪之间的某个时候来自亚里士多德教义的论断，导致了这项贡献。 短语 "A 是 A" 是艾茵·兰德的喜好，并且在她的客观主义哲学中经常出现。漫画作家史蒂夫·…