邏輯大全
Luoji Daquan
《邏輯大全》
Summa Totius Loicae
中世紀英國哲學家、邏輯學家的邏輯著作。1488年在法國巴黎第一次以拉丁文出版,1498年在意大利柏倫諾,1508、1522、1591年在義大利威尼斯,1675年在英國牛津等地多次再版。全書分 3部分。第一部分主要論述詞項的特性。第二部分論述命題,內容包括:①、模態命題和可解析命題;②命題的換位;③。第三部分是關於論證的理論,主要內容有:①一般三段論,包括直言三段論、模態三段論、混合三段論、含有可解析命題的三段論等(見);②證明的三段論;③推論學說;④不可解命題,即說謊者悖論(見)。第三部分是全書最重要的部分。威廉在這一部分中提出了三段論的一些新形式,如小前提是單稱命題的三段論,大前提是單稱命題的三段論,以及象“每個人是動物,蘇格拉底看見一個人,所以蘇格拉底看見一個動物”一類的關係推理。他還制定了推論的一般規則,提出了的一些基本原理。《邏輯大全》的出版,標誌著的發展進入新的時期