《波尔－罗亚尔逻辑》

法国巴黎郊外波尔－罗亚尔修道院修士、笛卡尔的信徒A．阿尔诺(1612～1694)和P．尼柯尔(1625～1695)合著的一本逻辑教科书。原书名为《逻辑或思维的艺术》(La Logique ou L’art de penser)。1662年出版法文本，后译为拉丁文，1685年在伦敦出版了英译本，以后曾多次重印。全书分4部分。第一部分论概念，第一次明确提出了内涵和外延问题。第二部分论判断，对判断作出了详细的分类，提出了许多新的判断形式。但是，在前两部分中，有不少内容属于认识论，这就产生了逻辑学中的心理主义倾向。第三部分论推理，把所有推理都看成是由3个词项构成的三段论，并把三段论分为简单的和复合的。该书第一次系统地列出了三段论的6条总规则，并详细讨论了三段论4个格的各个式以及4个格的特殊规则。第四部分论方法，把方法分为两类：分析法和综合法，前者是发明的方法，后者是论述的方法。这一部分根据R．笛卡尔和B．帕斯卡的方法论原则，列出了8条方法论规则。《波尔-罗亚尔逻辑》一书在17～19世纪流传于欧洲，影响甚大。