逻辑学（5）：命题的分类

命题，即一个具有真假可言的句子或者陈述，共有十二种命题，可以归为四类，每类有三种。

首先，属于量的命题，有全称命题，如“凡人是有死的”，其中“凡”就表示“全体”；有偏称命题，如“有人会打篮球”，其中“有”表示部分；有单称命题，如“康德是德国的哲学家”，其中“康德”表示单个量。其次，属于质的命题，有肯定命题，如“这朵花是红的”，其中“是”表示肯定；有否定命题，如“这朵花不是红的”，其中“不是”表示否定；有无定命题，如“这朵花是非红的”，其中“非红”是没有确定下来的，但从命题的形式看，它是属于肯定命题的。第三，属于关系的命题，有定然命题，如有因必有果，即表示确定如此；有假然命题，如如果你杀人了，你就要偿命，即如果……就……的形式；有析取命题，如明天或者出太阳，或者下午，即选言命题。最后，属于模态的命题，有或然命题，如明天或许下雨，从中可以引出“可能”与“不可能”这对概念；有实然命题，如今天天气晴朗，从中可以引出“存在”与“不存在”这对概念；有定然命题，如2加2等于4，从中可以引出“必然”与“偶然”这对概念。严格来说，或然、实然和必然并不是构成命题的成分，而是估量命题之值的模态。

以上的分类不是必然的，但无论从哪个角度来分类，都离不开这些形式字或模态字。