从现代逻辑的语言层次观看《墨经》逻辑

《墨经》中没有应用对象语言来表示的命题形式和推理形式 ,而只有应用典型的具体推理来体现的推理方式 ,但《墨经》中却有不少应用元语言来表述的逻辑规律 ,虽然这些是不够精确的 ,但表明《墨经》中的逻辑已经开始进入形式逻辑的阶段

Looking at the Essence of Mo-ching Logic in View of Linguistic Levels of Modern Logic

In Mo_ching ,there are not propositional form and inference form expressed as object language,and there are only inference ways reflected by typical specific inference,but there are lots of logical rules expressed by metalanguage,which makes clear that Mo_ching logic has come to enter the stage of formal logic.