数学建模社区-数学中国

标题: 数理逻辑论 [打印本页]

作者: a88828785 时间: 2015-8-18 10:04
标题: 数理逻辑论

数理逻辑，也叫符号逻辑。一般认为始自莱布尼茨的设想：创造一种“通用的科学语言”，把逻辑学的推理过程，象数学一样利用公式计算出“不用争议的结论”。

本文试图去探寻“通用的科学语言”。

有这样一道几何题：一个等腰三角形的顶角是30°，求其余二个角的度数。

解题如下：

第一步思考：∵三角之和是180°

　　　　　　∴其余二角之和是：（180°－30°）因＝150°（果）

第二步思考：∵等腰三角形的底角度数相等，

　　　　　　∴（150°÷2）因＝75°（果）

　　　　答案：其余两个角的度数都是75°

分析以上解题过程，得出如下几个结论：

一、任一数学等式的两边，都是因和果的关系。

二、任一数学等式，都是由“原因”和“结果”作为一级元素事物构成的一条完整规律。

三、计算是对数字的因果演化关系的推理。

四、计算的依据是已知的“因＝果”的规律事理（或原理）。

上面，我们举了一个计算的例子。下面，再举一个推理的例子。

解放前的东北战场上，林彪在听取某战场缴获武器清单汇报时，感觉手枪比例过高，跳起来叫道：这就是司令部！于是，调兵重新部署，果然活捉敌兵团司令。林彪的推理，我们解读如下：

手枪多（果）＝军官多（因果）＝司令部所在地（因）。

对以上推理例子的分析，得出如下结论：

一、推理是对万物的因果演化关系的计算。

二、万物包含了数字，数字是万物的特例。

三、推理包含了计算，计算是推理的特例。

四、推理的依据，是已知的“因＝果”的规律事理（原理）

以上，通过推理和计算的二个例子，已经找到逻辑学和数学的“通用的科学语言”：“因＝果”的规律事理（原理）。相信，这种“通用的科学语言”也适用于人工智能。

欢迎光临数学建模社区-数学中国 (http://www.madio.net/)