文章与日志

逻辑的观念，在人类认知历史很早期就开始有自觉的，这种自觉有力地辅助了人类思维能力的进步。到二十世纪初数理逻辑构成数学基础的一个部门来讨论的时候，逐渐澄清了一个部分的人类认知任务的机械属性，从而导致20世纪最伟大的工具-计算机的发明。
我这里试图以一个认知结构发育的角度，来重新讲述数理逻辑的故事，作为前面讨论人类进化遗产的一个章节。

怎么说话？不是一个小问题，而是一个大问题。

首先看，我们说的话，一般包括哪些话。

儿童说话，起先是自己感觉和意图的表述，例如：

我饿了
我要喝水

然后有了“未知”的概念，并学会了询问”未知“的意图表述的一种技巧-问句：

你是谁？（我要知道你是谁）

从只说已知的，到也说未知的，对于认知发育是一个值得注意的节点。
随着儿童行为领域的扩大（游戏，玩耍，与看护者的互动...），要求其开始相应的思维，才能适当地完成行为，这时，就有了所谓推理。
推理，我们现在一般区分为两种形式：归纳与演绎。
但在形式上，都是：你说了一句或多句话，然后再说另一句或多句话。
问题就在这里：从你开始说的一句或多句话，到然后你说的另一句或多句话，如何保证这个过程是对的？所谓数理逻辑，就是讨论此问题，特别是属于演绎的部分。