Jon Michael Dunn | |
|---|---|
| Born | June 19, 1941 Fort Wayne, Indiana, U.S. |
| Died | April 5, 2021 (aged 79) |
| Alma mater | -Oberlin College -University of Pittsburgh |
| Known for | -Algebraic semantics for relevance logic -4-valued semantics for first-degree entailment -Gaggles (generalized Galois logics) -Semantics of negation -Proof theory including solving (with K. Bimbó) the decidability of Ticket Entailment -Relation of quantum computation to quantum logic |
| Spouse | Sarah Jane Dunn (m. 1964) |
| Children | Jon William Butcher Dunn, Jennifer Anne Dunn |
| Awards | -National Merit Scholar (1959-63) -Andrew Mellon Fellow (1964-65) -Woodrow Wilson Dissertation Fellow (1965-66) -Fulbright Senior Research Scholar (1975-76) -American Council of Learned Societies Fellow (1984-85) -Who's Who in America (1985) -Techpoint Mira Award (2002) -Who's Who in the World (2005) -iSchools Bookends Award (2006) -Sagamore of the Wabash (2007) -Fellow of the American Academy of Arts and Sciences (2010) |
| Scientific career | |
| Fields | -Logic -Computer Science |
| Institutions | -Wayne State University -Indiana University Bloomington |
| Doctoral advisor | Nuel Belnap |
| Doctoral students | Katalin Bimbó |
| Website | -Jon Michael Dunn's Indiana University Philosophy Home Page -Michael Dunn's Indiana University School of Informatics, Computing, and Engineering Home Page |
J. Michael Dunn (June 19, 1941 – April 5, 2021)[1][2] was Oscar Ewing Professor Emeritus of Philosophy, professor emeritus of Informatics and Computer Science, was twice chair of the Philosophy Department, was Executive Associate Dean of the College of Arts and Sciences, and was founding dean of the School of Informatics (now the Luddy School of Informatics, Computing, and Engineering) at Indiana University.