《逻辑大全》是中世纪著名哲学家、逻辑学家、唯名论的主要代表人物之一奥卡姆的逻辑学巨著。1488年在法国巴黎第一次以拉丁文出版，1498年在意大利柏伦诺，1508、1522、1591年在意大利威尼斯，1675年在英国牛津等地多次再版。全书分3部分。第一部分主要论述词项的特性。第二部分论述命题，内容包括：①直言命题、模态命题和可解析命题；②命题的换位；③假言命题。第三部分是关于论证的理论，主要内容有：①一般三段论，包括直言三段论、模态三段论、混合三段论、含有可解析命题的三段论等；②证明的三段论；③推论学说；④不可解命题，即说谎者悖论。