Loading article…
アラスデア・アーカート | |
|---|---|
 | |
| 生まれる | アラスデア・イアン・フェントン・アーカート 1945年12月20日 |
| 国籍 | スコットランド |
| 市民権 | カナダ人 |
| 職業 | 大学教授、編集者 |
| 学歴 | |
| 母校 | エディンバラ大学、修士号、 ピッツバーグ大学、博士号 |
| 論文 | 「含意の意味論」 （1973） |
| 博士課程の指導教員 | アラン・ロス・アンダーソンとヌエル・ベルナップ |
| 学術研究 | |
| 規律 | 哲学 |
| サブ分野 | 非古典的論理 |
| 機関 | トロント大学 トロント大学ミシサガ校 |
アラスデア・イアン・フェントン・アーカート（Alasdair Ian Fenton Urquhart / ˈ æ l ə s d ər ˈ ɜːr k ər t / AL -ist-ər UR -kərt ; 1945年12月20日生まれ）は、スコットランド系カナダ人の哲学者であり、トロント大学の名誉哲学教授である。[1] [2]彼は論理学、特に非古典論理学の分野に貢献した。[3]彼のアイデアの1つは、関連性論理Rの決定不可能性を証明することである。彼はまた、理論計算機科学の場で、主に計算機科学に関連する数理論理学のトピックに関する論文を発表している。
若いころ
アーカートはスコットランド出身です。[4]彼は1967年にエディンバラ大学で哲学の修士号を取得しました。 [1] [2]その後ピッツバーグ大学に入学し、1973年にアラン・ロス・アンダーソンとヌエル・ベルナップの指導の下で修士号と博士号を取得しました。[1] [2]
キャリア
1973年から1975年まで、アーカートはトロント大学ミシサガ校のエリンデール・カレッジで助教授を務めた。[2] 1975年に同大学の准教授となった。 [2] 1986年から、アーカートはトロント大学で哲学の教授を務めた。[1] [2]
1983年から1989年まで、アーカートはJournal of Symbolic Logicの顧問編集者を務めた。[2]彼はまた、Canadian Philosophical Monographsの編集者でもあった。[2] 2003年には、 The Bulletin of Symbolic Logicのレビュー編集長に就任した。[5]
彼は現在、国際科学技術史・科学技術哲学連合の科学技術の論理・方法論・哲学部門の評議員を務めている（2020～2023年）。[6]
主な出版物
- アーカート、アラスデア、レシャー、ニコラス。 時相論理。ニューヨーク：シュプリンガー出版社、1971年。ISBN 978-3-7091-7664-1
- アーカート、アラスデア「含意と関連含意の決定不可能性」 Journal of Symbolic Logic 49:4 (1984): 1059–1073. [1]
- アーカート、アラスデア、クック、スティーブン A.「実行可能な構成的算術の機能的解釈」、純粋および応用論理年報、1993 年、 STOC '89での予備版
- 「関連性論理IIにおける決定手順の複雑さ」、Journal of Symbolic Logic 64:4 (1999): 1774–1802。
参考文献
- ^ abcde 「アラスデア・アーカート」。哲学科。 2022年8月22日閲覧。
- ^ abcdefgh 「Alasdair Urquhart's Curriculum Vita」. stanford.library.sydney.edu.au . 1998年4月. 2022年8月22日閲覧。
- ^ アラスデア・アーカートによる非古典的および代数的論理と証明の複雑さに関する考察。論理学への傑出した貢献。第22巻。2022年。doi :10.1007 / 978-3-030-71430-7。ISBN 978-3-030-71429-1。
- ^ 「アラスデア・アーカートは1945年にスコットランドで生まれました」。トロント大学コンピュータサイエンス学部。 2010年4月2日閲覧。
- ^ Leng, Mary. 「レビュー」. The Bulletin of Symbolic Logic 8, no. 4 (2002): 516. JSTOR 経由. doi :10.2307/797954.
- ^ 「DLMPST ウェブサイト: Council 2020-2023」 。2020年4 月 16 日閲覧。
外部リンク
- DBLP出版物