《汉堡逻辑》 拉 Logica Hamburgensis 德国逻辑学家雍吉(Joachim Jungius, 1587—1657)于1638年在汉堡出版的逻辑著作。该书对关系逻辑有所提示,引入了逆关系的等价法,例如:甲是乙(男性)的父亲;所以乙是甲的儿子。引入了由合到分和由分到合的推理,如:12可被4与3整除;所以12可被4整除,12可被3整除。12可被4整除,12可被3整除;所以12可被4与3整除。该书还引入了由主格到从格(a rectis ad obliquo procedentes)的简单推理,即由具有主格词的命题推出在这些词中至少有一个不同词格的推理,如:凡圆形都是图形,所以凡画圆形者都是画图形的。对莱布尼茨有一定的影响。 |