《逻辑大全》

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