Question

逻辑推理的规则

某法院对一宗离婚作出判决说：“根据婚姻法规定，凡男女自愿离婚的准予离婚；而某婚姻案件中并不是双方自愿离婚的。所以，这个案件不能判决准予离婚。”
书上说这个判决不仅与事实不符，而且违背逻辑推理的规则。
为什么事实不符？怎么理解违背逻辑推理的规则？

Answer 1

一、与事实不符不是逻辑学所能管了的。
二、逻辑学只管推理的形式。这个推理违背逻辑推理的规则。
这是一个三段论：
凡男女自愿离婚的（中项M）准予离婚（大项P）；
而某婚姻案件中（小项S）并不是双方自愿离婚的（中项M）。
所以，这个案件（小项S）不能判决准予离婚。（大项P）
MAP
SOM
————
SOP
这是三段论的第一格
三段论第一格的规则是：
（1）小前提必须肯定；
（2）大前提必须全称。
而这个推理的小前提是否定的：“某婚姻案件中（小项S）并不是双方自愿离婚的（中项M）”。违反规则（1）因而这是个无效的三段论。

Answer 2

离婚可以由一方提出，确有必要，则法院可以判决离婚。男女双方自愿只是准予离婚的充分条件而不是必要条件。

即：双方自愿的法院肯定准予取予离婚，不是双方自愿法院也有可能准予离婚。

简单点说就比如：杀人者斩，可是没杀人而犯其它大罪也可能斩。

Answer 3

凡男女自愿离婚的准予离婚； Ax( Px →Qx ) ,
而某婚姻案件中并不是双方自愿离婚的; ~Pa ,
所以，这个案件不能判决准予离婚。 ∴~Qa
【A应该上下颠倒，表示全称量词。】

该推理无效。

Answer 4

1L 三段论正解