数理逻辑,也叫符号逻辑。一般认为始自莱布尼茨的设想:创造一种“通用的科学语言”,把逻辑学的推理过程,象数学一样利用公式计算出“不用争议的结论”。 本文试图去探寻“通用的科学语言”。 有这样一道几何题:一个等腰三角形的顶角是30°,求其余二个角的度数。 解题如下: 第一步思考:∵三角之和是180° ∴其余二角之和是:(180°-30°)因=150°(果) 第二步思考:∵等腰三角形的底角度数相等, ∴(150°÷2)因=75°(果) 答案:其余两个角的度数都是75° 分析以上解题过程,得出如下几个结论: 一、任一数学等式的两边,都是因和果的关系。 二、任一数学等式,都是由“原因”和“结果”作为一级元素事物构成的一条完整规律。 三、计算是对数字的因果演化关系的推理。 四、计算的依据是已知的“因=果”的规律事理(或原理)。 上面,我们举了一个计算的例子。下面,再举一个推理的例子。 解放前的东北战场上,林彪在听取某战场缴获武器清单汇报时,感觉手枪比例过高,跳起来叫道:这就是司令部!于是,调兵重新部署,果然活捉敌兵团司令。林彪的推理,我们解读如下: 手枪多(果)=军官多(因果)=司令部所在地(因)。 对以上推理例子的分析,得出如下结论: 一、推理是对万物的因果演化关系的计算。 二、万物包含了数字,数字是万物的特例。 三、推理包含了计算,计算是推理的特例。 四、推理的依据,是已知的“因=果”的规律事理(原理) 以上,通过推理和计算的二个例子,已经找到逻辑学和数学的“通用的科学语言”:“因=果”的规律事理(原理)。相信,这种“通用的科学语言”也适用于人工智能。
|