我國春秋戰國時代的墨學派，曾對形式邏輯的研究了重的貢獻，但在墨的邏輯中有錯誤的東西。在墨的《取》中，有這樣一個推理：「盜，人；殺盜，非殺人。」
從「盜是人」的前提推「殺盜不是殺人」的結論嗎？不。因為在前提中，「盜」包括在「人」的外延內，在結論中卻又它排斥於「人」的外延外，這不僅偷換了「人」這個概念的外延，偷換了它的內涵，使「人」這個概念失了身的確定前後一貫，違反了同一律不矛盾律，從構了詭辯。
另外，從《取》中舉的一些推理的例子來，是不圓其說的。例，在《取》「是」的推理中有這樣一個推理：「白馬，馬；乘白馬，乘馬。」我們認為這個推理是正確的，它是對「殺盜非殺人」推理的否定。
我國邏輯界有些同志為「殺盜非殺人」的推理辯護，他們說「殺盜非殺人」中的人，指的是盜外的普通人。這個解釋顯不立，因為它「盜，人」的前提是相矛盾的，二者不並存。還有的同志「殺死敵人不犯殺人罪」理由來證明「殺盜不是殺人」。這個理由是不立的，因為「不犯殺人罪」「不是殺人」是兩個完全不同的概念……（内容加载失败！）
(ò﹏ò)
抱歉，章节内容不支持该浏览器显示～
【为了使用完整的阅读功能】
请考虑使用〔Chrome 谷歌浏览器〕、〔Safari 苹果浏览器〕或者〔Edge 微软浏览器〕等原生浏览器阅读！
谢谢!!!