1.特称肯定判断
特称肯定判断是断定某类对象中至少有一个个体具有某种性质的判断。例如:
有的学生是用功的。
这个特称肯定判断断定“学生”这类对象中至少有一个具有“用功”的性质。特称肯定判断的逻辑形式是:
有的 S 是 P
也可以写作:有 S 是 P 。
这里要注意的是,“有的 S 是 P ”(或“有 S 是 P ”)只断定至少一个 S 是 P ,对其余的 S 未做断定。这个“有的”与自然语言中的“有的”含义不完全相同。在通常情况下,当我们说“有的 S 是 P ”时,往往意味着“还有 S 不是 P ”,如说“有的党员是青年”,意味着“有的党员不是青年”,这个“有的 S 是 P ”实际含义是“有的 S 是 P 并且有的 S 不是 P ”。但是,在另一些场合,当我们说,“有的 S 是 P ”时,却并不意味着“还有 S 不是 P ”。如“有的基本粒子是有内部结构的”,这里,“有的 S 是 P ”并不排除“所有 S 是 P ”。因为当人们发现某些基本粒子有内部结构时,对其余基本粒子是否有内部结构还不清楚。显然,在这两种含义中,前一种断定得多,较强;后一种断定得少,较弱。普通逻辑的特称量项“有的”采取断定较少的后一种含义,可以理解为“至少有一个”,并不排除全部,这样才符合人的认识过程,才更具有概括性和灵活性。
2.特称否定判断
特称否定判断是断定某类对象中至少有一个不具有某种性质的判断。例如:
有的学生不是用功的。
这个特称否定判断断定“学生”这类对象中至少有一个不具有“用功”的性质。特称否定判断的逻辑形式是:
有的 S 不是 P
也可以写作:有 S 不是 P 。
在日常语言中,特称量项还可以用“有些”“某些”“一些”“多数”“大多数”“绝大多数”“几乎所有”“不少”“个别”“极个别”“半数”“百分之×”等来表达。这些语词比“有”“有的”断定得多,“有”“有的”是上述各种表示数量范围的语词的抽象和概括。