2012年GCT考试逻辑学基础串讲（第四章）
2012-03-19 11:29:51 www.gct-online.com
六、模态命题及其推理
1.模态命题
模态命题就是断定思维对象不同确然程度的命题。
例如：今天晚上他一定不会来。
这部小说可能畅销。
数学用概率以量化的形式研究不同确然程度，逻辑学则主要讨论必然和可能两种模态。所以模态命题又称断定思维对象之必然性或可能性的命题。
模态命题在结构上的特点是：它总是包含有“必然”或“可能”之类的模态词。在现代逻辑中，用“□”表示“必然”，用符号“◇”表示“可能”。它的公式为：
□（◇）p
模态命题有多种形式。对模态命题可以从它所包含的模态词或质两个不同的角度进行分类。其基本形式有四种：
⑴必然肯定模态命题，□p，断定某件事情的发生是必然的。
⑵必然否定模态命题，□－p，断定某件事情的不发生是必然的。
⑶可能肯定模态命题，◇p，断定某件事情的发生是可能的。
⑷可能否定模态命题，◇－p，断定某件事情的不发生是可能的。
（以上内容仅供参考）
在同素材的四种模态命题之间也存在着真假上的相互制约关系。这种关系与四种直言命题间的对当关系相同，故又称模态命题的对当关系。
模态命题也有其负命题。否定一个模态命题就会形成该模态命题的负命题。一个模态命题的负命题与被否定的模态命题的矛盾命题在逻辑上是等值的。所以，总是可以从一个模态命题的负命题推得一与它相等值的命题。
例如：
－□p ◇－p； －□－p ◇p；
－◇p □－p； －◇－p □p。
2.模态推理
模态推理就是以模态命题为前提，并根据模态命题的逻辑特点或相互关系进行的推理。
我们主要掌握两种形式，一是根据对当关系进行的模态推理，即由一个模态命题的真或假，来确定与其同素材的另外几个模态命题的真或假。
二是运用模态命题的负命题进行的模
