関連論理Rに関する決定不能性の証明は、非古典論理の分野におけるアラスデア・アーカート (Alasdair Urquhart) の決定的な貢献であり続けている。1945年12月20日にスコットランドで生まれた彼は、哲学と数理論理学の両方にわたるキャリアを築き、理論計算科学のトピックや形式体系内の決定手続の複雑さに研究の焦点を当てた。
学問的基盤
アラスデア・イアン・フェントン・アーカート (Alasdair Ian Fenton Urquhart) は母国スコットランドで正規の教育を受け、1967年にエディンバラ大学で哲学の修士号を取得して卒業した。その後、海外で高度な研究を進め、1973年に修士号と博士号の両方を取得した。彼の博士号研究は、ニュエル・ベルナップ (Nuel Belnap) とアラン・ロス・アンダーソン (Alan Ross Anderson) の指導の下で行われた。
トロント大学での職歴
彼の主な学術的キャリアはトロント大学で展開された。1973年に、現在のトロント大学ミシサガ校であるエリンデール・カレッジの助教授として着任した。2年後、准教授に昇任した。1986年までにトロント大学の芸術・科学部に移り、そこで哲学教授を務めた。
編集および諮問の役割
教育と研究に加え、アーカートは数学コミュニティ内で重要な編集上の責任を果たした。1983年から1989年の間、『Journal of Symbolic Logic』のコンサルティング・エディターを務めた。さらに、『Canadian Philosophical Monographs』を編集し、2003年には『The Bulletin of Symbolic Logic』のレビュー担当管理編集者の役割を引き受けた。現在、論理学・方法論・科学技術哲学分科会評議会のメンバーを務めている。
研究と主要な出版物
アーカートの業績には、ニコラス・レシャー (Nicholas Rescher) と共著した1971年の著作『Temporal Logic』が含まれる。関連論理の技術的側面に関する彼の研究は、1984年に発表された論文『The Undecidability of Entailment and Relevant Implication』などに示されている。スティーブン・A・クック (Stephen A. Cook) との共著である『Functional Interpretations of Feasibly Constructive Arithmetic』では、論理学と構成的算術の交差点が探求された。
基本情報
- 生誕：1945年12月20日 - 国籍：イギリス - 分野：数学および哲学 - 学歴：エディンバラ大学、ピッツバーグ大学 - 主な所属大学：トロント大学 - 会員：論理学者解放同盟 (Logicians Liberation League) - 言語：英語
読者からの質問
### アラスデア・アーカートの最も顕著な論理学的業績は何ですか？
彼は、関連論理Rの決定不能性の証明を提供したことで知られている。
### アーカートはどこで博士号を取得しましたか？
彼は1973年にピッツバーグ大学からPh.D.を取得した。
