文恩图解与预设存在含意的三段论

希尔伯恃曾以类演算与命题演算相结合的独特方法,重新构造了三段论系统,并且揭示了亚里士多德三段论中“暗中所做的假设”。在这一思路的启迪下,本文旨在检讨传统直言命题逻辑理论方法以及一些改革方法的基础上,探讨用文恩图解检验所有(而不是一部分)传统三段论形式有效性的可行方案。