法国阿纳德(Antoine Arnauld，1612～1694)和尼柯尔(Pierre Nicole，1625～1695)在巴黎近郊的“波尔—罗亚尔”修道院的匿名之作。通称“波尔—罗亚尔逻辑”。因“波尔”可意译为“港”，“罗亚尔”可意译为“王”，故有时汉译作《王港逻辑》。该书于1662年出版。系传统逻辑学最重要的代表性着作。全书共4部分，第1部分“概念论”对亚里士多德的范畴谓项、联词及内涵、外延等问题作了简要的考察。第2部分“判断论”大致相当于亚里士多德《解释篇》的内容。这两部分与从前相比，增加了不少认识论的内容，产生了逻辑学中的心理主义倾向。第3部分“推理论”评述了亚里士多德的三段论，肯定了三段论的4格和19式，并认为所有推理都可还原为三段论。第4部分“方法论”，是超出传统形式逻辑范围的部分，所述深受笛卡儿主义影响。把欧几里德的《几何原理》视为科学方法的典范，还总结了方法方面“切勿使任何词语由于缺乏定义而模糊或有歧义”等8条规则。提到了归纳法，但认为它不可靠。明确提出普遍名词所有可能的组合，并在各种区域中用记号表示：为使给定的命题成立，哪些组合必是空的，哪些组合则不是。布尔认为文恩企图解释的乃是布尔的主要发现之一。文恩图解是对布尔的各种演算程序的合理性的解释。文恩图解对布尔代数虽无理论上的实质创新，但使之更具有实际意义。

本文地址： https://www.yishiweijian.com/zhishibk/20230133827.html

文章来源：主编

版权声明：除非特别标注，否则均为本站原创文章，转载时请以链接形式注明文章出处。