第74页 3.5 存在含义

如果一个命题之为真需要主项类至少有一个成员，那我们就说该命题有存在含义。谁都承认特称命题（I 和 O）有存在含义，而在全称命题有无存在含义这一点上存在分歧。
对直言命题的传统解释或亚里斯多德解释假定了全称命题有存在含义。……但是，亚里斯多德解释衍涵，关于并不存在的对象的全称陈述都是假的。所以，《韦伯斯特新世界词典》把“独角兽”定义为：神话中的一种脑门中央长有单独一只角的、样子像马的动物。 对应于这个定义的全称陈述一定是假的，因为并不存在独角兽。同样，牛顿运动第一定律以及只有一组“理想的”条件下才成立的任何其他的科学原理也都是假的。
认为全称命题没有存在含义的另一种解释通称布尔解释，以其拥护者、19世纪的数学家和逻辑学家乔治·布尔（1815-1864）的姓氏为名。①
根据布尔解释，一个全称命题被理解为一个条件陈述（一个“如果——那么”陈述）。一个全称陈述具有这样的形式：“对任何事物，如果它是S，那么它就是P”。……任何一个带有假的前件（“如果”分句）的条件陈述都是真的。这就意味着，根据布尔解释，任何关于独角兽（或者任何不存在的对象）的全称断言都是真的。例如，根据布尔解释，“所有的独角兽都是大肚皮的猪”也是真的。