形式逻辑（11） 逻辑命题...

形式逻辑（11）

逻辑命题的种类是多种的，形式逻辑从逻辑命题的表现形式来进行分类，不同种类的逻辑命题具有不同的逻辑性质，从而产生不同的推理及其系统。

逻辑命题分为内容与形式两个方面，逻辑命题的内容是对具体事物情况的反映，逻辑命题的形式是命题内容的表现方式。比如“所有人是动物”反映关于人的事物情况，“所有意义是相对于人而言的”反映关于意义的事物情况，内容不同，但形式相同，它们内容的联系方式为：所有S是P。这就是它们的命题形式。

根据逻辑命题本身是否包含其他命题，将命题分为简单命题和复合命题。

简单命题：
（1）地球不是宇宙的中心。
（2）人是高级动物。
复合命题：
（1）人类不但有认识能力，还有改造能力。
（2）地球不仅是人类的家园，也是动物的家园。

根据逻辑命题中是否含有模态词，将命题分为模态命题和非模态命题，以上5个例子都是非模态命题，模态命题中一般含有模态词“必然”、“可能”之类词项。

模态命题：
（1）他可能发财了。
（2）坏事做尽的人必然不得善终。

对逻辑命题的两种分类是相互交叉的，模态命题和非模态命题可以是简单命题，也可以是复合命题，同样的，复合命题和简单命题可以是非模态命题，也可以是模态命题。