数理逻辑提纲.DOCVIP

逻辑讲义 第一章 绪论：从直观到形式 逻辑的所有应用加在一起，都无法与宝贵的纯粹逻辑理论本身相比。当你登高望远，一览这门科学的全貌，就会看到，我们眼下享有的逻辑理论，乃是理性视野的极致，天与地都是为这理性而造。 C. S. Peirce 逻辑是对于直观的一种形式透视。 S. Lesniewski 1．从“矛盾”说起 两千多年前，韩非子讲过这样一个故事： “楚人有鬻盾与矛者，誉之曰：‘吾盾之坚，莫能陷也。’又誉其矛曰：‘吾矛之利，于物无不陷也。’或曰：‘以子之矛，陷子之盾，何如？’其人弗能应也。”（《韩非子·难一》） 为什么“其人弗能应也”？因为“夫不可陷之盾，与无不陷之矛，不可同世而立”。换句话说，那楚人的话同时导致了“这支矛能刺破这张盾”和“它不能刺破这张盾”（或“这张盾不能被刺破”和“这张盾能被刺破”）的结论，而这一对“矛盾”句子不能同时成立，一个是真的，另一个就是假的。感谢古人给我们留下了“矛盾”这个生动的词语，但是，除了这一对特殊句子，一般而言矛盾是什么？矛盾到底为什么不能成立？矛盾在我们的思维中有什么积极意义吗？对这样的问题