西方近代邏輯

西方近代邏輯( modern western logic) 指的是西方的近代的邏輯思想、理論的統稱。在這個時期的主要的邏輯類型有幾種，分別是以《波爾·羅雅爾邏輯》為標誌的古典傳統邏輯，以培根和穆勒為代表的古典歸納邏輯，康德的先驗邏輯和黑格爾的辯證邏輯。而萊布尼茨關於建立普遍語言和推理演算的創造性構想，導致了數理邏輯的產生和發展。

文藝復興時期的人文主義者反對經院哲學和中世紀邏輯，批判中世紀對亞里士多德邏輯的歪曲。要求純淨亞里士多德邏輯。同時也有人批判亞里士多德邏輯本身。瓦拉和斐微斯等指責經院邏輯有用的東西很少。是言過其實的文字遊戲。拉姆斯以反亞里士多德邏輯而著稱。他將邏輯與語法、修辭作了區分，但仍從修辭方面考慮邏輯問題。他的《論解術》在一個較長的時期內是學習邏輯的基本讀物，他使用了含有單稱命題的三段論。