中世紀英國哲學傢、邏輯學傢奧康的威廉的邏輯著作。1488年在法國巴黎第一次以拉丁文出版，1498年在義大利柏倫諾，1508、1522、1591年在義大利威尼斯，1675年在英國牛津等地多次再版。全書分3部分。第一部分主要論述詞項的特性。第二部分論述命題，內容包括：①直言命題、模態命題和可解析命題；②命題的換位；③假言命題。第三部分是關於論證的理論，主要內容有:①一般三段論，包括直言三段論、模態三段論、混合三段論、含有可解析命題的三段論等(見三段論)；②證明明的三段論；③推論學說；④不可解命題，即說謊者悖論（見悖論）。第三部分是全書最重要的部分。威廉在這一部分中提出瞭三段論的一些新形式，如小前提是單稱命題的三段論，大前提是單稱命題的三段論，以及象“每個人是動物，蘇格拉底看見一個人，所以蘇格拉底看見一個動物”一類的關系推理。他還制定瞭推論的一般規則，提出瞭命題邏輯的一些基本原理。《邏輯大全》的出版，標志著歐洲中世紀邏輯的發展進入新的時期。