附性推理规范化尝试——兼评墨家“杀盗非杀人”

一、这是三段论推理吗? 莱布尼茨曾经从琼金·雍吉厄斯的《汉堡逻辑》中,选出一个很有名的例子。这个例子与下述推理相当: 所有的圆都是几何图形, 某人画了一个圆, 某人画了一个几何图形。这个推理的正确性是十分直观的,但是为这类推理寻找一个形式的表达方法却不很容易。有人认为是三段论,这是不对的。亚里士多德把这类推理与三段论作了区分。用亚里士多。德或者琼金·雍吉厄斯的话来说,“圆”、“几何图形”在第一句中是“主格”,而在第二句中和第三句中是“从格”,因而这是所谓由主格到从格的简单推理。用今天的话来说,亚里士多德在三段论中仅仅讨论主宾结构的四种直言命题,“某人画了一个圆”,