ポートロイヤルロジック

『ポールロワイヤル論理学』あるいは『Logique de Port-Royal 』は、 『論理学、あるいは思考の術』の通称であり、ポールロワイヤルを中心とするジャンセニスム運動の二人の著名なメンバー、アントワーヌ・アルノーとピエール・ニコルによって1662年に匿名で初めて出版された重要な論理学の教科書で。ブレーズ・パスカルがテキストのかなりの部分を寄稿したと思われる。言語学上の姉妹書は、アルノーとランスロによる 『ポールロワイヤル文法』 （1660年）である。

フランス語で書かれ、非常に人気を博し、20世紀まで使われた。読者に論理学を紹介し、その形而上学と認識論に強いデカルト的要素を示した（アルノーは、デカルトの『第一哲学についての省察』で反論と回答を掲載した主要な哲学者の一人である）。ポールロワイヤル論理学は、伝統的な用語論理学の典型的な例として引用されることがある。

哲学者ルイ・マランは20世紀に特にこれを研究し（『談話批判』、ミニュイ出版、1975年）、ミシェル・フーコーは『事物の秩序』の中でこれを古典的なエピステーメーの基礎の一つとみなした。

ポールロワイヤル論理学の貢献の1つに、内包と外延の区別を普及させたことが挙げられる。この区別は、後に内包と外延のより洗練された区別となる。^[1] 大まかに言えば、より多くの修飾または特徴（内包）を持つ定義は、より少ないメンバー（外延）を持つクラスを表し、その逆もまた同様である。この主要なアイデアは、スコラ哲学者を通じてアリストテレスの類と種の考えにまで遡り、^[2]ライプニッツの哲学において基本的なものである。^{[3]最近では、}形式概念分析における数学的格子理論 と関連付けられ、モスクワのYu. Schreiderのグループ、^[4] Information FlowのJon BarwiseとJerry Seligman 、^[5]などによって同様に独立に形式化されている。

• アルノー、アントワーヌ、ピエール・ニコル。ペンサーの芸術の論理。第1版パリ：ジャン・ギニャール、シャルル・サブルー、ジャン・ド・ラヴネー、1662年。
• アルノー、アントワーヌ、ピエール・ニコル。ペンサー芸術の論理、内容、コミューンの外側、新たな観察、かつての裁判の正当性。第6版アムステルダム：アブラハム・ヴォルフガング、1685年。
• アルノー、アントワーヌ、ピエール・ニコル。『論理学、あるいは思考の技術』。複数の著者による翻訳。第 1 版。ロンドン: H. ソーブリッジ、1685 年。
• アルノー、アントワーヌ、ピエール・ニコル。『論理学、あるいは思考の技術』。ジョン・オゼル訳。ロンドン：ウィリアム・テイラー、1717年。
• アルノー、アントワーヌ、ピエール・ニコル。 『思考の芸術、ポール・ロワイヤルの論理学』 。ジェームズ・ディコフとパトリシア・ジェームズによる序文とチャールズ・W・ヘンデルによる序文付き。インディアナポリス：ボブス・メリル、1964年。
• アルノー、アントワーヌ、ピエール・ニコル。『論理、あるいは思考の技術』。ジル・V・ブローカー訳。ケンブリッジ：ケンブリッジ大学出版局、1996年。

• Buroker, Jill. 「Port Royal Logic」。Zalta , Edward N. (編)。スタンフォード哲学百科事典。
• マーティン、ジョン。「ポートロイヤル論理」。インターネット哲学百科事典。
• Google ブックスの「Port-Royal Logic」