形式逻辑和数学逻辑的区别

形式逻辑和数学逻辑的区别

( 本来是写成回答的，但是发现回答无法支持 Markdown 格式Copy，于是又发成图文了！)

问题：形式逻辑和数学逻辑有什么区别吗？

（遇到感兴趣的问题，小石头总是标记一下留在草稿箱里，于是积累的问题就会越来越多。已经很长时间注意力都在图文写作上了，但最近推荐量太低，实在打击写作热情。自己想一想：反正也没啥推荐，与其写要求最高的图文，还不如这段时间准备清一清之前积累的回答！）

（这个问题，从去年三月份左右小石头被邀请到现在，已经一年零三个月了，竟然没有一个人回答，估计大家不敢兴趣，但小石头觉得这是个好问题，感谢题主提问，接下来自己会认真回答的！）

A. 什么是形式逻辑？

逻辑研究的对象是:能够区分正确推理和错误推理的方法和原理。那些独立于意义，能在形式上明确区分正确推理和错误推理的部分是形式逻辑，其余的是非形式逻辑。

演绎逻辑，例如，

大前提：人都会死小前提：苏格拉底是人

────────────────结论：苏格拉底会死

和归纳逻辑，例如，前提：没有人见过黑天鹅

────────────────结论：世界上没有黑天鹅

是人类的两大逻辑推理模式。

其中演绎逻辑可以保证从前提到结论的有效性，故属于形式逻辑，而大部分归纳逻辑则不能，故他们不属于形式逻辑。

形式逻辑用三大律，确保推理的有效性，

同一律：推理过程中的任何思维形式必须保证确定性和一致性，即，A 是 A；

矛盾律：两个矛盾命题不能同时为真，即，非 'A 且非

A' ；

排中律：两个矛盾命题必要有一个是真，即， A 或非A；

充足理由律：用于论证，论题的论据必须是真实有效的，即，由 A 和 '若A则B' 可推出 B。

B. 什么是数学逻辑？

数理逻辑不是逻辑类型，而是指数学中包含的所有逻辑的总和。具体来说，数学逻辑是，

首先，数学使用的大部分的形式逻辑；

其次，形式逻辑不包含意义，而数学还使用部分与数学意义相关的逻辑；

最后，数学反过来变成了研究形式逻辑的工具，也就是说数学会研究逻辑。

也就是说，数学逻辑分为：数学使用的逻辑（前两者）和数学研究的逻辑（后者）。

数学的本质是从公理推导定理的过程(运用数理逻辑)。

C. 形式逻辑和数学逻辑之间的关系？

演绎逻辑可分为经典逻辑和现代逻辑，数学用的是后者。

现代逻辑，具有自己的逻辑语言，

值：F 假，T 真；

运算：¬非，∧与，∨或，→蕴含，↔等价，⊤恒真，⊥ 恒假；

量词：∃存在，∀全称；

模态词：□ 必然◇ 可能；

谓词：P(x), ...；

变量：x, y, ...;

兰姆达表达式：λx. P(x)；

同时，又分为很多子类，这些子类对逻辑语言的使用广度不同，如下图所示，

其中，（非模态的）一阶谓词逻辑（包括命题逻辑），被证明具有可靠性和完全性（详见后文），所以被数学当做可靠的逻辑工具使用，也就是说，数学使用的逻辑包含仅仅包含现代逻辑中的一阶谓词逻辑。

另一方面，现代逻辑是以数学为工具来研究的，也叫数理逻辑。所以现代逻辑属于数学研究的逻辑，也就是说数学在一些可靠的现代逻辑的基础上研究了整个现代逻辑。

数学在一阶谓词逻辑的基础上，加入了归纳逻辑中的完全归纳逻辑：

若谓词P(x) 满足，

P(0) 成立；

对于任意n∈ℕ，若 P(n) 成立，则 P(n+1) 成立；

则，对于自然数集合ℕ中的任意元素 n，P(n) 都成立。

作为新的逻辑工具来使用，这称为数学归纳法。

数学还发展了概率论，于是部分不完全归纳逻辑，可用概率来表达归纳推理的可靠性后，就变成统计归纳法，例如，

总体S的n个样本m个样本是 P剩下的个样本不是

P────────────────S有m/n的概率是P

这样，这部分归纳逻辑就成为了有一种数学工具，被数学（特别是统计学）广泛使用。而科学归纳法是对不完全归纳逻辑的科学使用，它只能作为数学家在研究数学时的方式，不能作为逻辑工具被数学使用。

D.形式逻辑系统的具体定义是什么？

在一阶谓词逻辑基础上，我们用 L 表示一个逻辑系统使用的符号的总体，称为一门语言，例如：

群语言： L = {◦, e}

语言 L 中的符号是抽象的，我们需要对它具体化，例如：

整数加法群：ℤ = {ℤ, +, 0}

自然数乘法群：ℕ = {ℕ, × , 1}

这些成为语言L的结构。

同一个 L 语言的公式（即，命题）φ ，在 L 的不同结构中可能逻辑真假不同。又设Γ 语言 L 的公式组成的集合。对于任意 L的结构M，若Γ中的所有公式在M中为真，则

φ 在M中一定为真，我们称Γ 重言蕴含φ，记为Γ ⊨φ。

一阶谓词逻辑的推演系统 PF，包括：

一组一阶谓词逻辑公式，称为推演公理，记为Λ ，例如：A → (B → A)；

一组推理规则，例如：分离规则A∧(A→B) ⇒ B （充足理由律）；

对于Γ 和φ，若存在一组公式序列 a₀ a₁ a₂ ...

aᵣ=φ，满足：

aᵢ∈ Γ ∪ Λ ；

或

aᵢ由 aᵤ, aᵥ（u, v < i）经过推理规则得到；

则称φ 是Γ 的定理，Γ 是公理。

E.数学系统的逻辑缺陷是什么？

我们之前说过，一阶谓词逻辑是可靠的、完备的，所以被数理逻辑所用。

可靠性是说，一个公理系统Γ 的任何定理φ 都是Γ 重言蕴含，即，若Γ ⊢ φ 则Γ ⊨ φ；

可靠性的逆命题，任意Γ 重言蕴含φ 都是Γ 的定理，就是完全性，即，若Γ ⊨ φ 则Γ ⊢ φ；

后者被哥德尔首先证明，称为哥德尔完全性定理。

但是，这只是一阶谓词逻辑系统，而数学逻辑系统，又加入了完全归纳逻辑，由前面的定义看出，这是建立在算术系统