西方中世纪的推演理论

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