从现代逻辑观点看墨家逻辑中的有效推理

墨家称推理或论证为＂说＂。＂以说出故＂,是讲推理论证的目的是要将理由或原因揭示出来,推理为论证服务,逻辑为哲学服务（揭示事物存在的原因主要属于哲学的范畴）。前提（故）和结论（辞）之间具有＂所得而后成＂、＂有之必然＂的＂必然地得出＂的关系。推理的有效性是指当前提真时结论不可能为假,即当前提真时结论必然为真。推理的有效性也就是推理的形式有效性,即正确的推理必须是在结构上合乎逻辑的。墨家将推理论证的有效性称为＂效＂,正确的推理为＂中效＂,不正确的推理为＂不中效＂。然而,墨家逻辑中的有效推理不尽针对形式演绎,而且针对归纳和类比。墨家将可靠的推理也归于有效推理,有效推理的概念进而也变得更加广泛。

Viewing the Effective Reasoning in Mohist Logic through the Modern Logical Point of View