[例11某甲不可能作伪证, 所以,某甲可能不会作伪证。 [例12]社会主义的法不可能没有阶级性, 所以,社会主义的法可能有阶级性。 根据模态命题间的下反对关系,可以由其中一个命题为假推知另一个命题为真,但不能由 其中一个命题为真推知另一个命题的真假。 、模态与非模态命题推理 模态与非模态命题推理就是根据模态命题与非模态命题之间的真假关系进行的演绎推理。 [例1]某甲是限制行为能力人, 所以,某甲可能是限制行为能力人 [例2]法律必然是统治阶级意志的体现 所以,法律是统治阶级意志的体现。 [例3]某甲不是凶手 所以,某甲可能不是凶手。 [例4]本案必然不会是一人所为 所以,本案不会是一人所为。 我们这里讲的“必然”、“可能”,是指客观的必然性和可能性。凡是客观必然的东西,总 是现实的东西;凡是现实的东西,都是客观可能的东西。模态命题和非模态命题之间的真假关 系表示如下: □P→ P→◇P 从非模态命题的真假来说,P真是指P在现实世界里为真,而现实世界是许多可能世界之 因此,当口P为真时,即P在所有可能世界里都真时,则P在现实世界里为真,即P为真。 而当P为真时,即P在现实世界里为真时,则P至少在一个可能世界里为真,即◇P为真。所 以,我们可以从口P为真推知P为真;由P为真,推知◇P为真。但是,当P为真时,只能说P 在现实世界即一个可能世界里为真,而不能保证P在所有可能世界里都为真;当◇P为真时, 即P至少在一个可能世界里为真,但不能保证这一个可能世界就是现实世界。因此,我们不能 由P为真推知口P为真;也不能由◇P为真推出P为真。对于口P、P和◇P之间的真假关 系也可作同样的分析。 三、模态三段论 模态三段论是前提中有模态命题的三段论,也可以说是在三段论的基础上引入模态词而构 成的演绎推理。在传统逻辑中,模态三段论比较复杂,这里仅介绍其中的五种: 1、必然模态三段论 必然模态三段论是指两个前提都是必然模态命题的三段论。以第一格的AA式为例,其推 理形式为 所有M必然是 所有S必然M 所以,所有S必然是P72 [例 11] 某甲不可能作伪证， 所以，某甲可能不会作伪证。 [例 12] 社会主义的法不可能没有阶级性， 所以，社会主义的法可能有阶级性。 根据模态命题间的下反对关系，可以由其中一个命题为假推知另一个命题为真，但不能由 其中一个命题为真推知另一个命题的真假。 二、模态与非模态命题推理 模态与非模态命题推理就是根据模态命题与非模态命题之间的真假关系进行的演绎推理。 [例 1] 某甲是限制行为能力人， 所以，某甲可能是限制行为能力人。 [例 2] 法律必然是统治阶级意志的体现， 所以，法律是统治阶级意志的体现。 [例 3] 某甲不是凶手， 所以，某甲可能不是凶手。 [例 4] 本案必然不会是一人所为， 所以，本案不会是一人所为。 我们这里讲的“必然”、“可能”，是指客观的必然性和可能性。凡是客观必然的东西，总 是现实的东西；凡是现实的东西，都是客观可能的东西。模态命题和非模态命题之间的真假关 系表示如下： □P→P P→◇P 从非模态命题的真假来说，P 真是指 P 在现实世界里为真，而现实世界是许多可能世界之 一。因此，当□P 为真时，即 P 在所有可能世界里都真时，则 P 在现实世界里为真，即 P 为真。 而当 P 为真时，即 P 在现实世界里为真时，则 P 至少在一个可能世界里为真，即◇P 为真。所 以，我们可以从□P 为真推知 P 为真；由 P 为真，推知◇P 为真。但是，当 P 为真时，只能说 P 在现实世界即一个可能世界里为真，而不能保证 P 在所有可能世界里都为真；当◇P 为真时， 即 P 至少在一个可能世界里为真，但不能保证这一个可能世界就是现实世界。因此，我们不能 由 P 为真推知□P 为真；也不能由◇P 为真推出 P 为真。对于□P、P 和◇P 之间的真假关 系也可作同样的分析。 三、模态三段论 模态三段论是前提中有模态命题的三段论，也可以说是在三段论的基础上引入模态词而构 成的演绎推理。在传统逻辑中，模态三段论比较复杂，这里仅介绍其中的五种： 1、必然模态三段论 必然模态三段论是指两个前提都是必然模态命题的三段论。以第一格的 AAA 式为例，其推 理形式为： 所有 M 必然是 P 所有 S 必然 M 所以，所有 S 必然是 P