自然演绎系统:亚里士多德的“第二种逻辑”

关于亚里士多德三段论的性质一直是一个争论不休的问题。其中的一个焦点问题就是亚里士多德的直言三段论是蕴涵式的系统还是推理规则的系统。卢卡西维奇的《亚里士多德的三段论》代表了第一种观点,而相反的观点则认为亚里士多德的三段论是由推理规则组成的,是现代逻辑中的自然演绎系统的早期形式。