打开主菜单


首页 > 維基書架 > 数学书架 > 逻辑学

本书为给你一个关于逻辑学的直观印象,而不使用专门的术语(专门术语有专门的内容进行映射),所以不要以正式术语形式使用本书中使用过的词语。

逻辑学是一门让你说正确的话,进行正确的思考的科学,它将推理过程归约到若干公理上,只要你的论证建立在这些公理之上,你就有信心自己在做绝对正确的事。相反的,如果你发现自己的论证与这些公理冲突,那么就必然是无意义或错误的。假如你并没有进行特别的逻辑思考,那么其中出现的骇人的含糊性将抹杀一切真理存在的希望。

没有任何人希望得到这样的建言:“你应该吃饭,同时你应该不吃饭”。因为自然界不存在既有一个属性又“同时”没有这个属性的对象,人类无法理解这种情况算什么东西,故而将这类情况称为“不合逻辑”的,逻辑学将其形式化的称为“相容性”,显然,这是十分符合人类直觉的,所以像这样的规则被定义为逻辑的公理。可以先看看该公理的符号形式¬(A∧¬A)=T.

本书不谈论三段论之类的逻辑,实际上这类名头响亮的古典逻辑可以被完全归约到一阶逻辑中。

目录