《邏輯大全》是中世紀有名哲學家、邏輯學家、唯名論的主要代表人物之一奧卡姆的邏輯學巨著。 它被認為創作於1323至1326年之間，先後在法國、義大利、英國等地出版和再版。 全書分三部分，本書選譯了其中非常重要的詞項理論和命題理論兩部分內容。 詞項部分，作者探討了範疇詞與助範疇詞，屬、種、種差等謂詞，以及指代理論; 命題部分，作者探討了模態命題和非模態命題。 它們構成了中世紀其他邏輯理論，比如三段論、模態理論、推論、不可解命題等理論的基礎。