《邏輯大全》是中世紀著名哲學家、邏輯學家、唯名論的主要代表人物之一奧卡姆的邏輯學巨著。1488年在法國巴黎第一次以拉丁文出版，1498年在意大利柏倫諾，1508、1522、1591年在意大利威尼斯，1675年在英國牛津等地多次再版。全書分3部分。第一部分主要論述詞項的特性。第二部分論述命題，內(nèi)容包括：①直言命題、模態(tài)命題和可解析命題；②命題的換位；③假言命題。第三部分是關(guān)于論證的理論，主要內(nèi)容有：①一般三段論，包括直言三段論、模態(tài)三段論、混合三段論、含有可解析命題的三段論等；②證明的三段論；③推論學說；④不可解命題，即說謊者悖論。