初识三段论逻辑：从基本定义到符号翻译

什么是三段论逻辑？

在逻辑学中，算法指的是进行一项计算或解决一个问题的精确指令的有限序列。而当我们谈论论证时，指的是一组由若干前提和一个结论构成的陈述。三段论则是其中一种经典的演绎推理形式——它由大前提、小前提和结论三部分组成，通过两个包含共同项的前提推出必然的结论。

论证的质量标准：有效性与可靠性

理解一个论证的质量，我们需要掌握两个关键概念：

• 有效性：指一个论证的形式确保——如果前提为真，则结论必然为真。
• 可靠性：指一个论证同时满足两个条件——前提为真且形式有效。

一个论证可以有效但不可靠（前提为假），但一个可靠的论证必须同时具备真前提和有效形式。

命题的类型与良构公式

在将自然语言翻译为逻辑语言时，我们使用“良构公式”（well-formed formula）来表达命题。以下是常见命题类型及其对应形式：

中文命题	英文命题	命题类型	例句
所有 A 是 B	all A is B	全称肯定命题	所有人是动物。
没有 A 是 B	no A is B	全称否定命题	没有鸟是无脊椎动物。
有些 A 是 B	some A is B	特称肯定命题	有些猫是黑色的。
有些 A 不是 B	some A is not B	特称否定命题	有些学生不是勤奋的。
x 是 A	x is A	单称肯定命题	苏格拉底是人。
x 不是 A	x is not A	单称否定命题	张三不是狗。
x 是 y	x is y	专称肯定命题	晨星是暮星。（同一性命题）
x 不是 y	x is not y	专称否定命题	地球不是最大的行星。

理解“周延”

周延是理解三段论有效性的重要概念。它指的是在命题中，词项对所指的每一个实体都做出了断言。更具体地说：

一个良构公式中的字母实例是周延的，当且仅当它仅出现在“所有”之后，或者在“没有”、“不是”之后的任何位置出现。

快速检验：标星法

标星检验是一种快速判断三段论有效性的方法：

1. 将前提中周延的字母和结论中不周延的字母标上星号
2. 该三段论是有效的，当且仅当：

• 每个大写字母都恰好被标星一次（亚里士多德观点假设三段论中的每个通项都指称至少一个实存个体）
• 恰好有一处星号出现在右侧

翻译的一致性要求

在将自然语言词项翻译为逻辑语言时，必须保持一致性：

• 相同的字母表示相同的概念
• 不同的字母表示不同的概念

实践练习：英语句子翻译

试着将这些英语句子翻译为良构公式：

English Sentences	wffs（参考答案）
1. This is a sentence.	t is S
2. This isn't the first sentence.	t is not s
3. No logical positivist believes in God.	no LP is B

小结

三段论逻辑为我们提供了一套分析日常推理的精确工具。通过将自然语言命题转化为规范的逻辑形式，我们可以更清晰地识别论证的结构，评估其有效性，并避免常见的推理谬误。掌握这些基本概念是进一步学习形式逻辑的重要第一步。

提示：在翻译练习中，注意保持一致性原则，确保相同的概念始终用相同的字母表示。