近年来中古逻辑史方面若干研究结果的简述

一近年来波兰数理逻辑学者卢卡西维奇(Lukasiewicz)以及其他一些人在欧洲中古逻辑史方面整理出一些有趣的结果。他们发现六世纪时波底乌斯(Boethius)的逻辑著作中包含着与现代数理逻辑中的命题演算类似的理论。十二世纪至十五世纪时,这种关于命题组合的逻辑理论又曾得到发展。数理逻辑中的若干结果实际上已经为中世纪的逻辑学家所发现。例如所谓“德摩根法则”在中世纪的逻辑书中即可以找到。又如多值逻辑的概念原来以为是卢卡西维奇在1920年创始的,但近年发现,中世纪时奥坎(Ockham)即已提出过三值逻辑的概念。