直言命题

直言命题
术语名称	直言命题
英语名称	categorical proposition
别名	定言命题

直言命题(categorical proposition)是古典逻辑中对命题的一个分类。直言命题总是具有形式“所有/有的/这个 S （不）具有性质 P ”，对应现代数理逻辑中的存在命题、全称命题和对某个个体的普通命题。

区别于假言命题和选言命题，直言命题是无选择、无条件的命题，因此被译为直言命题。英语中 categorical 则是指直言命题总是刻画某一分类的全部或其中个体所具有的性质。

需要注意的是，直言命题是古典逻辑学的一个分类，在哲学下的逻辑学仍在使用，但它不是一个数理逻辑中的常用分类方式。

相关术语

直言命题总是具有形式“所有/有的/这个 S （不）是性质 P ”或“所有/有的/这个 S （不）具有性质 P ”。 其中：

• 主语(subject)中心词位置的 S 称为主项(subject)，
• 谓语部分(predicate)中心词位置的 P 称为谓项(predicate)，
• 表示数量(quantity)的“所有、有的、这个”称为量/量项(quantity)，
• 中间的动词“是、不是”称为质/联项(quality)。

根据直言命题的量，被分为两类或三类：

• 全称(universal)命题：“所有”，指向分类全体。
• 单称命题：“这个”，指向分类中的某个特定个体。有时是专有名词的形式。由于单称可以看作对这个个体对应分类的全称，在分为两类的场景下，并入全称命题。
• 特称(particular)命题：“有的”，指向分类中的部分个体。

根据直言命题的质，被分为两类：

• 肯定(affirmative)命题：“是”，表达具有性质。
• 否定(negative)命题：“不是”，表达不具有性质。

因此直言命题被细分为四类。传统上，特别是在西方传统中世纪教育中，这些命题使用元音字母序列编号。

• 全称肯定命题(Universal Affirmative)/ A 命题。“所有的 S 是 P ”，缩写为“SaP”。
• 全称否定命题(Universal Negative)/ E 命题。“所有的 S 不是 P ”，缩写为“SeP”。
• 特称肯定命题(Particular Affirmative)/ I 命题。“有的 S 是 P ”，缩写为“SiP”。
• 特称否定命题(Particular Negative)/ O 命题。“有的 S 是 P ”，缩写为“SoP”。

其中，肯定命题的字母 A 、 I 是拉丁语 affirmo （I affirm ，“我肯定”）的前两个元音字母，否定命题的字母 E 、 O 是拉丁语 nego （I deny ，“我否定”）的前两个元音字母。

现代符号化

需要注意的是，传统逻辑的特称命题和全称命题与现代逻辑中的存在命题和全称命题有区别，其假定了两个类 S 与 P 均不是空类也不是全类，即也就是说总是能找到至少一个个体具有这一性质或不具有这一性质。这在现代逻辑中是不作要求的。