论文部分内容阅读
亚里士多德的省略三段论理论是中世纪推演理论的逻辑起点。中世纪逻辑学家一般认为,推演即是假言命题,可定义为“不可能前件真而后件假”。根据“不可能”的不同含义,推演可分为形式推演、绝对实质推演和当下实质推演。和现代逻辑的蕴涵相比,形式推演相当于形式蕴涵,绝对实质推演、当下实质推演分别相当于严格蕴涵和实质蕴涵。对推演理论的探究,无论对现代蕴涵理论还是整个现代逻辑的深刻理解,都具有重要意义。