学術研究 コーコランの論理学史 における研究は、この学問分野が隆盛を極めた時期のほとんどを網羅している。彼は、アリストテレス 、ストア派 、ウィリアム・オブ・オッカム 、ジョヴァンニ・ジローラモ ・サッケリ、ジョージ・ブール 、リチャード・デデキント 、ゴットロープ・フレーゲ 、チャールズ・サンダース・パース 、クラレンス・アーヴィング・ルイス 、アメリカの公準理論家、アルフレッド・タルスキ 、ウィラード・ヴァン・オーマン・クワイン 、ウォーレン・ゴールドファーブ について論じている。
1972 年に彼が行ったアリストテレスの『分析論前書』の解釈 [ 3 ] ティモシー・スマイリー によって独自に提案されたもので、ギリシア語の原文と歴史的文脈の両方において、それまでの解釈よりも忠実であることがわかった。この解釈は、エドガー・アンドラーデ、ジョージ・ボガー、マヌエル・コレイア、パオロ・クリヴェッリ、ニュートン・ダ・コスタ 、カタリーナ・デュティル、パオロ・フェイト、ニコラス・フィリオン、ジェームズ・ガッサー、クラウス・グラショフ、ジョン・マーティン、メアリー・マルハーン、マイケル・スキャンラン、ロビン・スミス、ニール・テナントらによるその後の研究の基礎となった。この解釈は、ロビン・スミスによる 1989 年の『分析論前書』の翻訳、およびジゼラ・ストライカー による 2009 年の『分析論前書』第 A 巻の翻訳に採用された。
1980年に彼が行ったブールの1847年のオリジナル体系の批判的再構築により、ブールの著作におけるこれまで気づかれていなかったギャップと誤りが明らかになり、ブールの論理哲学の本質的にアリストテレス的な基礎が確立された。2003年の論文[ 5 ] は、アリストテレス論理 とブール論理 の体系的な比較と批判的評価を提供しており、ブールの論理哲学における 全体論的参照 の中心性も明らかにしている。コーコランによれば、ブールはアリストテレスの論理を完全に受け入れ、支持していた。ブールはアリストテレスの主張に異議を唱えなかったが、1) 方程式を含む数学的基礎を与え、2) 扱うことができる問題のクラスを拡張し、妥当性の評価に方程式の解法を追加し、3) 扱うことができる応用範囲を拡大し、例えば、2 つの項しかない命題から任意の数の項を持つ命題へと拡張することによって、アリストテレスの論理を「下へ、上へ、そして超越」させた。
より具体的に言うと、ブールはアリストテレス の主張に同意していました。ブールの「相違点」と呼べるものがあるとすれば、それはアリストテレスが述べていない点に関するものです。第一に、基礎の領域において、ブールはアリストテレスの4つの命題形式を1つの形式、すなわち等式に還元しました。これはそれ自体が革新的なアイデアです。第二に、論理の問題の領域において、ブールが論理に等式解法を加えたことは、これもまた革新的なアイデアであり、アリストテレスの推論規則（「完全三段論法 」）は等式解法の規則によって補完されなければならないというブールの教義を伴いました。第三に、応用の領域において、ブールの体系は複数の項からなる命題や議論を扱うことができましたが、アリストテレスは2つの項からなる主語と述語の命題や議論しか扱うことができませんでした。例えば、アリストテレスの体系では、「正方形である四角形は、菱形である四角形ではない」から、「長方形である菱形である四角形は、四角形である正方形ではない」という結論を導き出すことはできなかった。
1970年代後半から1980年代初頭にかけてのアルフレッド・タルスキとの共同研究[ 6 ] [ 7 ] 「論理学とメタ論理学の 創始に関する覚書：アリストテレス、ブール、タルスキ」につながった。
論理哲学 における彼の研究は、論理の本質、探究における論理の役割、論理の概念構造、論理の形而上学的 および認識論的前提、 数理論理学 の本質、論理理論と数学的実践の間のギャップに焦点を当てています。彼の数理論理学は 、命題論理、 様相論理 、同一性論理、 三段論法 、一階変数束縛項演算子の論理、二階論理 、 モデル理論 、および弦理論 を扱っています。弦理論は、論理学のあらゆる分野の基礎となる学問であり、彼の他のすべての数学的研究の不可欠な背景となっています。数学哲学 において、コーコランは、論理主義、構成主義、演繹 主義 、 形式 主義 といった競合する哲学的視点によって強調される側面を含め、数学的および論理的経験のあらゆる側面を正当に評価しようと努める、繊細で包括的なプラトン主義 に導かれてきました。彼の哲学論文のいくつかは歴史や数学をほとんど前提としていないが、彼の歴史論文はしばしば独創的な哲学（例えば、最近のBSL論文「Schemata」）または独創的な数学（例えば、1980年のHPL論文「Categoricity」）を含んでいる。彼は歴史へのアプローチの数学的側面を数学的考古学と呼んでいる。彼の哲学論文はしばしば独創的な歴史研究を含んでいる。彼は、現代思想の本質は歴史的発展に照らして最もよく理解できることがあるというアリストテレスの原則に導かれており、この見解はジョンズ・ホプキンス大学のアーサー・ラブジョイの思想史プログラムに由来し、アメリカの哲学者で歴史家の ピーター・ヘア によって奨励されている。[ 8 ]
死 コーコランは2021年1月8日に83歳で亡くなった。[ 9 ]
専門職への貢献 1966年、ジョージ・ウィーバーと共にフィラデルフィア論理学コロキウムを共同設立。 1970年、バッファロー論理学コロキウムの創設者。 1970年から現在まで、中断期間を挟みながらバッファロー論理学コロキウムの議長を務める。 1980年から現在まで、『論理学の歴史と哲学』誌の編集委員会の創設メンバー。 1969年から現在まで、 『Mathematical Reviews』 誌の定期査読者。『Philosophy of Science』 、『Bulletin of Symbolic Logic』、『Journal of Symbolic Logic』 の査読者を不定期に務める。各種論理学専門誌の査読者を時折務める。 4つの会議の主催者： 古代の論理学（コーコラン、クレッツマン、ミュラー他）1972年 論理の本質 (タルスキー、パットナム 、フリードマン、ジェック、ヴェスリー、グッドマン 他) 1973 チャーチ・シンポジウム（チャーチ、デイビス 、ヘンキン、ロジャース）1990年 論理理論と数学的実践の間のギャップに関する会議（シャピロ 、スキャンラン、マクラーティ、ウィーバー、ティーゼン、カーンズ他）2001年。 1990年、バッファロー大学におけるアロンゾ・チャーチ名誉博士号授与のスポンサー。[ 10 ] ケンブリッジ哲学辞典
栄誉と賞 歴史と論理学の哲学1999年特別合併号（M.スキャンランおよびS.シャピロ 編） 2002年、バッファロー大学より優秀学生賞を受賞。 サンティアゴ・デ・コンポステーラ大学（スペイン）2003年、ホノリス・カウサ博士。 コーコラン・シンポジウム、サンティアゴ・デ・コンポステーラ大学（スペイン）、2003年。 コーコラン・コロキウム、バッファロー大学、2010年10月。
参考文献 本
コーコラン、ジョン（2009）。「アリストテレスの証明論理学」。『論理学の歴史と哲学』 30 ： 1-20。 ジョン・コーコラン (2009)。 「バッファロー大学哲学科におけるアリストテレス論理学」。アイデアと価値: コロンビア デ フィロソフィアの改訂 。140 (2009 年 8 月): 99–117。 http://www.revistas.unal.edu.co/index.php/idval/article/viewFile/12581/13183 記事
3つの論理理論。科学哲学 。36 （ 1969 ）：153-177。 古代論理の完全性。記号論理 学ジャーナル 。37 （1972）：696-702。 論理理論と数学的実践の間のギャップ。M. Bunge編『科学の方法論的統一性』所収。ドルトレヒト：Kluwer。1973年。23-50頁。 含意の意味。Dialogos 9 ( 1973 ): 59–76。R. Hughes 編『一階論理の哲学的手引き』に再録。インディアナポリス：Hackett。1993年。JM Sagüillo によるスペイン語訳、Agora 5 ( 1985 ): 279–294。 アリストテレスの自然演繹体系。『古代論理学とその現代的解釈』J. コーコラン編、ドルトレヒト：クルーワー、1974年、85-131頁。 ストア派の演繹法に関する考察。同書、169-181頁。 弦理論。記号論理学ジャーナル 。39 （ 1974 ）：625-37。W.フランク、M.マロニーとの共著。 オッカムの仮定理論の論理構造。フランシスコ会研究 38 （1978）：161-83。J. スウィニアスキーとの共著。 Crossley による数理論理学。Philosophia 8 ( 1978 ): 79–94。スペイン語訳は A. Garciadiego による、Mathesis、X (1988): 133–150。S. Shapiro と共著。 カテゴリー性。論理の歴史と哲学 。1 （1980）：187-208。S.シャピロ 編 『論理の限界』、アルダーショット、イングランド：ダートマス出版、1996年に再録。 ブールの妥当性および不妥当性の基準。ノートルダム形式論理学ジャーナル 、21 （1980）：609-639。S.ウッドとの共著。J.ガッサー編『ブール選集』に再録。ドルトレヒト：クルーワー、2000年。 序論および分析索引。タルスキ、A.『論理学、意味論、メタ数学』第2版。J. コーコラン編。J.H. ウッドガー訳。インディアナポリス：ハケット。1983年。 古代論理理論の現代的意義。『哲学季刊』 32 （ 1982）：76-86。M. スキャンランとの共著。 議論と論理。議論 。3 （1989）：17-43。、R. FernandezとJ. Sagüilloによるスペイン語訳、Agora 、 13 /1 （1994）：27-55。 アルフレッド・タルスキ著『論文集』全4巻、S. ジヴァントおよびR. マッケンジー編、バーゼル：ビルクハウザー、1986年、Mathematical Reviews 論理学 の創始。古代哲学 。14 （1994）：9-24。情報理論的論理、C. Martínez、U. Rivas、L. Villegas-Forero 編『真理の視点』、Ashgate Publishing Limited、Aldershot、イングランド (1998) 113–135。 二階述語論理。「チャーチ記念論文集」、論理、意味、計算：アロンゾ・チャーチ追悼論文集、M.ゼレニーおよびCAアンダーソン編、クルーワー出版、ドルトレヒト、オランダ、1998年。 アリストテレスの『分析論前書』とブールの『思考の法則』。『 論理の歴史と哲学』 24 （2003）：261-288。 スキーマ：論理学 史におけるスキーマの概念。記号論理学紀要 。12 （2006）：219-40。C.I. ルイス ：論理の歴史と哲学。C.S . パース協会紀要 。42 （2006）1-9。コーコラン、ジョン（2008年9月21日）。「スキーマ 」。ザルタ、エドワード・N （編）。スタンフォード哲学百科事典 ）。ISSN 1095-5054。OCLC 429049174。 『アリストテレス『分析論前書』第1巻』ギゼラ・ストライカー訳・解説、オックスフォード大学出版局、2009年、268ページ、39.95ドル（ペーパーバック）、ISBN書評 978-0-19-925041-7 「」は、Notre Dame Philosophical Reviews 、2010年2月2日に公開されました。2011年6月15日にWayback Machine に アーカイブされました。 「1936年のタルスキ帰結定義論文における複数の言説宇宙の不在」、『論理の歴史と哲学 』32 （2011）：359-80。共著者：ホセ・ミゲル・サグイヨ。http ://www.tandfonline.com/doi/abs/10.1080/01445340.2011.577145#.UksmOD_-kQs 「今日の存在論的重要性：新たなメタ定理；歴史的、哲学的、教育的誤解」『論理学の歴史と哲学 』36 （2014）：39-61。共著者：ハッサン・マスード。http ://www.tandfonline.com/doi/full/10.1080/01445340.2014.952947 「演繹と還元：三段論法記憶術の解読」『Entelekya Logico-Metaphysical Review』 2 (1):5-39 (2018)。共著者：Daniel Novotný、Kevin Tracy。 完全なリストについては、ジョン・コーコランのホームページをご覧ください。彼の論文の一部はオンラインで閲覧可能です：https://buffalo.academia.edu/JohnCorcoran
注記 ↑ これは、ロビン・スミスによる1989年の『分析論前書 』の翻訳、およびジゼラ・ストライカー による2009年の『分析論前 書』第A巻の翻訳。コーコランのアリストテレス論理学に関する出版物の書誌は、「John Corcoran」 . ResearchGate で入手可能である。
参考文献 ↑ コーコラン、ジョン (1989)。 「 議論と論理」 。 議論 。3 ( 1 ): 17–43。doi : 10.1007 / BF00116415。S2CID 117108202 。 ↑ コーコラン、 ジョン (1972)。 「 古代 論理の完全性」。 記号 論理 学ジャーナル 。37 ( 4 ): 696–702。CiteSeerX 10.1.1.543.7404。doi : 10.2307/ 2272415。JSTOR 2272415。S2CID 38252950 。 1 2 デグナン、マイケル J (1994). "アリストテレスの 論理学". Philosophical Books . 35 (2): 81– 89. doi : 10.1111/j.1468-0149.1994.tb02858.x . ↑コーコラン、 ジョン ； フランク、ウィリアム；マロニー、マイケル (1974)。「弦理論」。 記号 論理 学 ジャーナル 。39 ( 4): 625–637。doi : 10.2307/ 2272846。JSTOR 2272846。S2CID 2168826 。 ↑ コーコラン、ジョン (2003)。 「 アリストテレスの 『分析論前書 』 とブールの『 思考の法則 』 」 (PDF) 。 『論理の歴史と哲学 』 24 (4): 261–288。doi : 10.1080 / 01445340310001604707。S2CID 416996 。 Vilkko, Risto (2005). "A Festschrift in honour of Professor Ivor Grattan-Guinness, edited by John Dawson, History and Philosophy of Logic, vol. 24 no. 4 (2003), pp. 257, 259, 261–366 and vol. 25 no. 1 (2004), pp. 3–51". Bulletin of Symbolic Logic . 11 : 89– 91. doi : 10.1017/S1079898600003541 . Reviews 2033867 (2004m:03006)。↑ フェファーマン、アニタ・バードマン ； フェ ファーマン、ソロモン （2004）。 アルフレッド・タルスキ：生涯と論理 。 ケンブリッジ大学出版局 。ISBN 978-0-521-80240-6 OCLC 54691904。 ↑ Corcoran, John; Sagüillo, José Miguel (2011). "The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper" . History and Philosophy of Logic . 32 (4): 359–374 . doi : 10.1080/01445340.2011.577145 . S2CID 122967686 . ↑ コーコラン、ジョン；ラジン、アレクサンダー V.；マディガン、ティム( 2008 年 1 月 1 日)。 「ピーター ・ヘア を 偲んで、1935 年～2008 年」 。Philosophy Now。66 : 50–52。2019 年 9 月 28 日 取得 。 ↑ 「追悼：ジョン・コーコラン（1937年～2021年）」 。 Leiter Reports：哲学ブログ。 2024年 2月7日 取得 。 ↑ 「コレクション：アロンゾ・チャーチ・コレクションへの名誉理学博士号授与」 。 バッファロー大学図書館 。2019年9月28日。 2019年 9月28日 取得 。
外部リンク 変数結合項演算子（VARIABLE BINDING TERM OPERATORS）は、ニューヨーク州バッファローとカナダのケベックで、ジョン ・コーコラン 、ウィリアム・ ハッチャー、 ジョン・ ヘリングによって執筆されました。この著作には、彼が ニュートン・ダ・コスタ と共同で発見した真理集合原理 の記述が含まれています。
