|
| 阅读上一个主题 :: 阅读下一个主题 |
| 作者 |
 排中律与直觉逻辑 |
 |
越南人
[个人文集]
加入时间: 2004/02/14
文章: 7096
经验值: 97883
|
|
|
作者：越南人 在 驴鸣镇 发贴, 来自 http://www.hjclub.org
在逻辑中，排中律声称对于任何命题 P，(P ∨ ¬P) 为真。
(符号 '¬' 读作“非”，∨ 读作“或”，∧ 读作“与”)
例如，如果 P 是
“張三是秃子”
则包含式析取
“張三是秃子，或張三不是秃子”
为真。
排中律只是说 (P ∨ ¬P) 整体是真。
不提及 P 自身可以采用什么真值。
在二值逻辑中排中律会等价于二值原理。但是，对于非二值逻辑或多值
逻辑就不能这么说。 特定的逻辑系统可能通过允许多于两个真值(比如：真、假、中；真、假、非真非假、亦真亦假)而拒绝二值原理，但接受排中律。在这种逻辑中，(P ∨ ¬P) 可以为真，而 P 和 ¬P 不被分别指派为对立的真值。
一些逻辑不接受排中律，最著名的是直觉逻辑。
因为排中律可能被误用，导致排中律的逻辑谬论，这也叫做假两难推理。
假两难（推理、论证）（False dilemma），又称非黑即白（black-or-white）、伪
（假）二分法、伪二择（选）一法、伪两面法、双刀法等，是提出少数选项（一般
是两个，但有可能是三个或更多）要人从中择一，但这些选择并未涵盖所有的可能
性。非黑即白是一种非形式谬误。
非黑即白是基于对排中律的误用。排中律只适合衡量非此即彼的二元观念（例如
「对与错」、「真与假」、「善与恶」、「正与负」等等），用于其他范畴未必恰当。
要破解此类谬误，可证明除了论证中提出的选项外，还有其他可能。
有时假两难是被刻意提出以迫使他人做出选择的，但其他时候它是因不小心忽略其
他可能性而成，而非蓄意造成的。
直觉逻辑的推理能力较弱，但推出的结论却更加慎重。
作为常识仅有逻辑推理而无直接证据可能是不可靠的。
从更上层的哥德儿不完备性理论来讲，逻辑学理论本身就不可能完备。
作者：越南人 在 驴鸣镇 发贴, 来自 http://www.hjclub.org
上一次由越南人于2014-2-13 周四, 下午12:24修改，总共修改了1次 |
|
|
| 返回顶端 |
|
 |
| |
|
|
您不能在本论坛发表新主题
您不能在本论坛回复主题
您不能在本论坛编辑自己的文章
您不能在本论坛删除自己的文章
您不能在本论坛发表投票
您不能在这个论坛添加附件
您可以在这个论坛下载文件
|
based on phpbb, All rights reserved.
|
