法律逻辑 模态推理及其应用 模态推理.pptxVIP

模态推理 《法律逻辑》 主讲人：王晓翠 模态对当推理 模态与非模态判断推理 模态三段论 目录 点击添加文本 点击添加文本 点击添加文本 点击添加文本 模态对当关系就是同素 材的□p、□ p、◇p、 ◇p四种模态判断之间 的真假关系。 模态推理 矛盾关系对当推理 差等关系对当推理 反对关系对当推理 下反对关系对当推理 矛盾关系直接推理 矛盾关系对当推理是指利用模态判断间的矛盾关系进行的推理。矛盾关系是指□p和◇p、□p和◇p之间的真假关系（□表示“必然”，◇表示“可能”） （1）□p和◇p之间的真假关系 当□p为真时，p在所有可能世界里为真，所以，◇p为假。 当◇p为假时，p在所有可能世界里为真，所以，□p为真。 当□p为假时，p至少在一个可能世界里为假，所以，◇p为真。 当◇p为真时，p至少在一个可能世界里为假，所以，□p为假。 可见，□p和◇p之间，既不可同真，也不可同假。所以，它们之间是矛盾关系。 矛盾关系对当推理 □p和◇p之间的真假关系可用等值式表示为： □p◇p □p◇p 根据这种真假关系进行的推理就是矛盾关系对当推理。 【例】①客观事物必然发展变化， 所以，客观事物不可能不发展变化。 ②某甲的代理权不必然有效， 所以，某甲的代理权可能无效。 矛盾关系对当推理 （2）□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）□p与◇p之间的真假关系 当□p为真时，p在所有可能世界里为真，所以，◇p为真。 当◇p为假时，p在所有可能世界里为假，所以，□p为假。 当□p为假时，p至少在一个可能世界里为假，所以，◇p可真可假。 当◇p为真时，p至少在一个可能世界里为真，所以，□p可真可假。 差等关系推理 （2）□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可真可假；◇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 根据模态判断间的反对关系，可以由其中一个判断为真推知另一个判断为假，但不能由其中