マイケル・デトレフセン

マイケル・デトレフセン
マイケル・デトレフセン
生まれる	1948年10月20日; スコッツブラフ、ネブラスカ州、米国
死亡	2019年10月21日（享年71歳）
職業	哲学者
学歴
教育	1971年ホイートン大学学士課程修了、1976年ジョンズ・ホプキンス大学博士課程修了
学術研究
機関	ノートルダム大学

マイケル・デトレフセン（1948年10月20日 - 2019年10月21日）は、ノートルダム大学のマクマホン・ハンク哲学教授を務めたアメリカの哲学者。専門分野は論理学、数学史、数学の哲学、認識論であった。^[1]^[2]

バイオグラフィー

マイケル・デトレフセンは1948年10月20日にアメリカ合衆国ネブラスカ州スコッツブラフで生まれた^[3]

デトレフセンは1975年にミネソタ大学ダルース校で助手、その後准教授として学術キャリアをスタートさせた^。[3]同氏は1983年まで同大学に在籍したが、1981年から1982年にかけてはクロアチアのスプリト大学で客員研究員も務めた。 ^[4] 1983年に客員准教授としてノートルダム大学で教鞭をとり始め、1984年に准教授となった。^[3]^[4] 1989年に教授に昇進し、2008年にマクマホン・ハンク哲学教授に就任した。^[3]

彼はスプリット大学（1981-1982年）、コンスタンツ大学（1987-1988年、1994年）、パリ・ディドロ大学（2007年）で客員教授を務めた。 ^{[4]彼は2007年から2011年までフランスの}国立研究機関（ANR）の上級研究員を務めた。彼は数学哲学協会（PMA）の元会長である。

デトレフセンは、ドイツの数学者ダヴィト・ヒルベルトや、ベルナルド・ボルツァーノ、LEJブラウワー、アロンゾ・チャーチ、リヒャルト・デデキント、ゴットロープ・フレーゲ、クルト・ゲーデル、モーリッツ・パッシュ、アンリ・ポアンカレ、バートランド・ラッセルなど、 19世紀と20世紀の主要な基礎思想家の基礎的なアイデアに関する多くの著作を執筆した。

彼は、 ANR、フルブライト財団、アレクサンダー・フォン・フンボルト財団、全米人文科学基金、国際研究交換委員会など、数多くの財団から研究フェローシップを取得しました。

彼は1985年からノートルダム形式論理ジャーナルの編集者または共同編集長を務めた。彼はアナンド・ピレイと共同編集者だった。^{[5]彼はまた、}Philosophia MathematicaとJournal of Universal Computer Scienceの編集委員でもあった。

彼はまた、2001 年から毎年開催される Midwest PhilMath Workshop (MWPMW) を企画・運営し、2010 年からは毎年開催される PhilMath Intersem (ノートルダム大学とパリ・ディドロ大学が共同で主催) を企画・運営しています。

ヒルベルトのプログラム：数学的道具主義に関する試論、シンセシス・ライブラリー第182巻、D. ライデル出版、1986年、ISBN 978-94-015-7731-1

「抽象化、公理化、厳密さ：パシュとヒルベルト」、ヒラリー・パトナムの論理と数学、 G. ヘルマン、R. クック（編）、161-178 ページ、Springer、2018 年
「証明理論の動機について」、H. Wansing (編)、Dag Prawitz on Proofs and Meaning、137–164、Outstanding Contributions to Logic、Springer、2015年
「ゲンツェンの反形式主義思想」『ゲンツェンの百年祭：一貫性の探求』M. ラスジェンとR. カーレ（編）、25-44ページ、シュプリンガー、2015年
「二重性、認識論的効率性、一貫性」、G. リンク編『形式主義とその先』、Logos、De Gruyter、1-24、2014 年
「完全性と公理化の終焉」、J. ケネディ編『ゲーデルの解釈』、59-77 ページ、ケンブリッジ大学出版、2014 年
「自由と一貫性」、J. Brendle、R. Downey、R. Goldblatt、B. Kim (編)、 第 12 回アジア論理会議議事録、89-111、World Scientific、2013 年
「方法の純粋さ」、アンドリュー・アラナとの共著、Philosophers' Imprint v. 11、no.2 (2011)

^ 「In memoriam: Mic Detlefsen // Department of Philosophy // University of Notre Dame」.哲学部. 2019年10月23日閲覧。
^ “DETLEFSEN Michael | IHPST”. ihpst.cnrs.fr (フランス語) 。2019年10月22日に取得。
^ abcdef セイヤー、ケネス・M. (2014-04-03). ノートルダムでの哲学の冒険. ノートルダム大学出版局. ISBN 9780268092856マイケル（「ミック」）デトレフセンは、1948 年 10 月 20 日にネブラスカ州スコッツブラフで生まれました。
^ abcde 履歴書マイケル・デトレフセン
^ 「Notre Dame Journal of Formal Logic」デューク大学出版局。 2018年5月12日閲覧。
^ ジョン・テンプルトン財団のプロフィール（2009年7月10日にWayback Machineでアーカイブされたオリジナルから2013年10月24日にアーカイブ）
^ 「Michael Detlefsen (University of Notre Dame): Publications - PhilPeople」。philpeople.org 。 2019年10月23日閲覧。