中世紀邏輯

中世紀邏輯(medieval logic ) 指的是歐洲中世紀邏輯思想、理論的統稱。中世紀最初500 年，歐洲本土在邏輯上以宣講亞里士多德邏輯為主,能見到的邏輯著作僅有亞里十多德的《範疇篇》和《解釋篇》以及經波依提烏注釋的《亞里士多德範疇篇》導論和些第二手的著作，這導致了邏輯理論研究的進展甚微。後阿伯拉爾提出了一些對中世紀邏輯的發展頗有影響的觀點，如把“是”看作是聯結直言命題主詞和謂詞的連詞，認為任何命題的否定式都要任整個句子前加上否定記號而形成等。

12 世紀歐洲本上出現了亞里士多德的全部邏輯著作的拉丁文譯本，邏輯學的發展有了轉機。13 世紀出現墨守亞里士多德傳統的“古(代)邏輯”(logica antique)與提仍探討新問題的“現(代) 邏輯”(logica moderna)之分。一些大學如巴黎大學、牛津人學文學院成了講投新邏輯的場所，產生了此稱為《大全》、《綱要》的邏輯著作，其中彼得(西班牙的)於13世紀中葉所著《邏輯綱要》一書被當作經典，該書直至17世紀仍然流行。