ジョン・マイケル・ダン

ジョン・マイケル・ダン（1941年6月19日 - 2021年4月5日）^{[ 1 ] [ 2 ]}はアメリカの論理学者でした。彼はオスカー・ユーイング名誉哲学教授、情報学およびコンピュータ科学の名誉教授であり、認知科学プログラムの創設メンバーであり、哲学学科の学科長を2度務め、芸術科学大学の執行副学部長であり、インディアナ大学の情報学部（現在はラディ情報学・コンピューティング・工学部）の創設学部長でした。

ダンはインディアナ州フォートウェインで生まれた。インディアナ州ラファイエットの高校に通い、放課後や夏休みにはパデュー大学の生物学研究室で働いていた。彼は家族の中で初めて大学に進学した人物だった。

彼はオーバリン大学で哲学の学士号を取得し、ピッツバーグ大学で哲学（論理学）の博士号を取得した。博士論文のタイトルは「内包論理の代数」である。^{[ 3 ]}

彼はウェイン州立大学とイェール大学で教鞭を執った後、1969年にインディアナ大学ブルーミントン校に着任し、2007年に退職した。

彼はNSF、NEH、ACLSから助成金を受け、オーストラリア国立大学、オックスフォード大学、メルボルン大学などで客員研究員を務めた。2014年には、博士号を取得した母校であるピッツバーグ大学で客員教授を務めた。2002年には、情報科学部を代表して、情報技術への卓越した教育貢献に対してTechpoint（インディアナ情報技術協会）のミラ賞を受賞した。2007年には、インディアナ大学ブルーミントン校の学長メダルを授与され、インディアナ州知事からサガモア・オブ・ザ・ワバッシュの称号を授与された。

彼はアメリカ芸術科学アカデミーのフェローでした。厳密哲学協会の会長、記号論理学会の執行委員を務めました。また、『記号論理学ジャーナル』の編集者、そして『哲学論理学ジャーナル』の編集長も務めました。著書6冊、論文100本以上を出版し、哲学、認知科学、コンピュータ科学、数学の分野で17件の博士論文の指導または共同指導を行いました。

After he retired, he served on the board of HealthLINC for ten years, the regional health information exchange, and was president there for three years. From 2010, he was affiliated with the Info-Metrics Institute, American University, and was a member of its advisory board (co-chair 2017–21).

Dunn's research focuses on information-based logics, particularly relevance logics and other so-called "substructural" logics. He has an algebraic approach to these under the heading of "gaggle theory" (for generalized Galois logics), which he has developed in articles, his book with G. Hardgree Algebraic Methods in Philosophical Logic (Oxford, 2001),^[4] and a book with Katalin Bimbó, Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi (CSLI Publications, 2008).^[5]

He studied as a graduate student with the two major figures in relevance logic, Alan Ross Anderson and Nuel Belnap. He was a contributing author to their book Entailment: The Logic of Relevance and Entailment Vol. 1,^[6] and a full co-author with them to Vol. 2.^[7]

He also worked on quantum logic, quantum computation, subjective probability in the context of incomplete and conflicting information, and with Katalin Bimbό proved the decidability of Ticket Entailment (a problem open since 1960).^[8] Dunn was honored in 2016 by the book J. Michael Dunn on Information Based Logic, edited by Katalin Bimbó, part of the Springer series Outstanding Contributions to Logic.^[9][10]