[拼音]:Luoji Daquan
[外文]:Summa Totius Logicae
中世纪英国哲学家、逻辑学家奥康的威廉的逻辑著作。1488年在法国巴黎第一次以拉丁文出版,1498年在意大利柏伦诺,1508、1522、1591年在意大利威尼斯,1675年在英国牛津等地多次再版。全书分 3部分。第一部分主要论述词项的特性。第二部分论述命题,内容包括:
(1)直言命题、模态命题和可解析命题;
(2)命题的换位;
(3)假言命题。第三部分是关于论证的理论,主要内容有:
(1)一般三段论,包括直言三段论、模态三段论、混合三段论、含有可解析命题的三段论等(见三段论);
(2)证明的三段论;
(3)推论学说;
(4)不可解命题,即说谎者悖论(见悖论)。第三部分是全书最重要的部分。威廉在这一部分中提出了三段论的一些新形式,如小前提是单称命题的三段论,大前提是单称命题的三段论,以及象“每个人是动物,苏格拉底看见一个人,所以苏格拉底看见一个动物”一类的关系推理。他还制定了推论的一般规则,提出了命题逻辑的一些基本原理。《逻辑大全》的出版,标志着欧洲中世纪逻辑的发展进入新的时期。