[简单逻辑学]逻辑学的基本原理——普遍命题

一个普通普遍命题涵盖的对象非常广，但它并不必然就是不精确的。“马是脊椎动物”和“马是家畜”都是普遍命题，而且没有什么理由怀疑这些命题的正确性。使一个普遍命题成立要满足以下条件：（1）它所陈述的事物是真实的；（2）适用于整个类别。

在命题“马是脊椎动物”当中，归在“马”的类别之下的每个成员（所有马）都被包括进去。但是这一命题的语言并没有表达得如此直接（更直接的表达是：所有的马都是脊椎动物）。为了防止引起任何歧义，我们在表述中添加定语“所有的”：所有的马都是脊椎动物。而当我们不想涵盖类别中的所有成员时，必须明确地加以说明，例如：有些马是白色的。

明确的语言表达在普遍命题中很重要，因为它能避免听众产生困惑的可能。有些人会故意省略定语（所有、有些），因为他们希望听众可以默认定语是“所有的”，而无须直接表达。通常在这种情况下，像“迦太基人既粗鲁又愚蠢”这类表达，都是包括所有的迦太基人。而当这个观点被质疑时，表述者可以辩解说，他并没有说所有的迦太基人。是的，他确实没有直接说，但他暗示了。

普遍命题有两种形式：全称命题和特称命题。全称肯定命题意味着“所有的”、“每个”（所有的鲸鱼都是哺乳动物），它肯定了某个类别的所有事物的某种共性。全称否定命题是指“没有”的陈述（没有鱼有脚），它强调某个类别缺乏某种特性。特称命题，无论是肯定的还是否定的，都不对其类别的所有个体发生作用。通常它会被定语“一些”所限定（一些哺乳动物是树栖的、一些土豆是不新鲜的）。但是类似“大部分成年人开车”和“大多数底层人投票给你”同样是特称命题。只要命题中不是包括类别中的所有成员，它就是特称的，无论部分是大是小，部分只能是部分。

当我们讨论一个命题是特称命题还是全称命题时，我们的关注点在逻辑学上称为命题的“量”。单称命题和全称命题是对立的，它的特点是其所表述的事物是单个个体。“玛丽从马里兰来”是单称命题，“菲尔德在芝加哥”也是。

全称命题，无论是肯定的还是否定的，都很明确。它们或肯定或否定整个类别的某种特性，没有列外。相反，特称命题通常都是模糊的。“一些”包含了太多的选择，它可能是99%，也可能是2%。但是，有些特称命题也可以是非常精确的。例如，“16%的运动员在两小时内完成了比赛”。在力所能及的范围之内，尽量精确地陈述你的命题。