逻辑大全是什么?

[拼音]：Luoji Daquan

[外文]：Summa Totius Logicae

中世纪英国哲学家、逻辑学家奥康的威廉的逻辑著作。1488年在法国巴黎第一次以拉丁文出版，1498年在意大利柏伦诺，1508、1522、1591年在意大利威尼斯，1675年在英国牛津等地多次再版。全书分 3部分。第一部分主要论述词项的特性。第二部分论述命题，内容包括：

（1）直言命题、模态命题和可解析命题；

（2）命题的换位；

（3）假言命题。第三部分是关于论证的理论，主要内容有：

（1）一般三段论，包括直言三段论、模态三段论、混合三段论、含有可解析命题的三段论等(见三段论)；

（2）证明的三段论；

（3）推论学说；

（4）不可解命题，即说谎者悖论（见悖论）。第三部分是全书最重要的部分。威廉在这一部分中提出了三段论的一些新形式，如小前提是单称命题的三段论，大前提是单称命题的三段论，以及象“每个人是动物，苏格拉底看见一个人，所以苏格拉底看见一个动物”一类的关系推理。他还制定了推论的一般规则，提出了命题逻辑的一些基本原理。《逻辑大全》的出版，标志着欧洲中世纪逻辑的发展进入新的时期。