波墨，J.

[拼音]：Bo’er-Luoya’er Luoji

[英文]：Port-Royal Logic

法國巴黎郊外波爾－羅亞爾修道院修士、笛卡爾派的A.阿爾諾（1612～1694）和P.尼柯爾(1625～1695)合著的一本邏輯教科書。原書名為《邏輯或思維的藝術》。1662年出版法文字，後譯為拉丁文，1685年在倫敦出版了英譯本，以後曾多次再版。

全書包括4部分，即概念篇、命題篇、推理篇和方法篇。作者在導言中指出，邏輯是指導理性去認識事物的藝術。概念篇第一次明確提出和討論了內涵和外延問題，並根據唯理論哲學家R.笛卡爾的觀點說明了概念的明確性和清晰性的區別和聯絡。命題篇對命題作出了詳細的分類。書中把命題首先分為簡單的和複合的。簡單命題指全稱肯定、全稱否定、特稱肯定、特稱否定 4種命題。書中詳盡地討論了這 4種命題之間的真假關係。複合命題指有若干主項或謂項的命題，主要包括明顯的和不明顯的兩種型別。明顯的複合命題有：

（1）聯言命題；

（2）選言命題；

（3）假言命題；

（4）因果命題；

（5）相關命題，這是包含對照和某種關係的命題，如“哪兒有財富，那兒就有勇士”；

（6）轉折命題，這是包含“雖然......但是”這類聯結詞的命題。不明顯的複合命題有：

（1）區別命題，指明屬性屬於並且只屬於主項的命題，如“只有上帝才是由於它自己本身而被愛戴的”；

（2）除外命題，如“除柏拉圖外沒有哲學家能認識到神的精神性質”；

（3）比較命題，如“一切損失中最大的損失是失掉朋友”；

（4）先後命題，這是有關事物的過去或未來情況的命題，如“拉丁語不作為義大利的通用語有五百年了”。推理部分佔全書的篇幅最多，作者把所有推理都看作由三個詞項構成的三段論，並把三段論分為簡單的和複合的。簡單三段論是中項在兩前提中分別結合著結論的兩個詞項的三段論，其中包含複雜的和非複雜的。複雜的簡單三段論是一些關係推理，例如，“神的法律要求我們尊敬國王，路易十四是國王，因此神的法律要求我們尊敬路易十四”。非複雜的簡單三段論是指直言三段論。該書列出了三段論的6條總規則，並詳細討論了三段論4個格的各個式以及4個格的特殊規則。這6條總規則是：

（1）中項至少有一次是周延的；

（2）在結論中的詞項不得比它在前提中更普遍；

（3）兩個否定命題不能得出結論；

（4）兩個肯定命題不能得出否定結論；

（5）結論從弱前提。如果有一個前提是否定的，結論也是否定的；如果有一前提是特稱的，結論也是特稱的；

（6）兩個特稱前提不能得出結論。書中提出的複合三段論是中項在一個前提中既結合著結論的主項也結合著結論的謂項的三段論。它包括聯言三段論、選言三段論和假言三段論。該書在推理部分討論了省略推理和二難推理，在討論謬誤和詭辯的兩章裡，還討論瞭如何防止輕率概括的錯誤，並指出歸納是一種由特殊經驗推出一般命題的方法。《波爾－羅亞爾邏輯》一書的最後一部分是方法篇。在這一部分，方法被分為兩類，即分析的方法和綜合的方法。前者是發明的方法，後者是論述的方法。作者還提出了 8條方法規則，①不要漏掉含混或歧義的詞項而不加定義；

（2）在定義中只能使用完全已知的或已被解釋過的詞項；

（3）只有那些完全是明顯的東西才能要求作為公理；

（4）為了證明一切稍有含混的命題，在證明中只需要用已有的定義、已得到承認的公理和已證明了的命題，等等。

《波爾－羅亞爾邏輯》是17～19世紀在西歐流傳甚廣、影響較大的邏輯著作，它的大部分內容是當時已有邏輯知識成果的彙集，基本上反映出當時的邏輯科學水平和這時期一般邏輯教本的面貌，並對歐洲後來的邏輯教本有一定影響。