Jon Michael Dunn (June 19, 1941 – April 5, 2021) was an American Scientist. He was the Oscar Ewing Professor
Emeritus
''Emeritus/Emerita'' () is an honorary title granted to someone who retires from a position of distinction, most commonly an academic faculty position, but is allowed to continue using the previous title, as in "professor emeritus".
In some c ...
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
Indiana University (IU) is a state university system, system of Public university, public universities in the U.S. state of Indiana. The system has two core campuses, five regional campuses, and two regional centers under the administration o ...
.
Early life and education
Dunn was born in
Fort Wayne, Indiana
Fort Wayne is a city in Allen County, Indiana, United States, and its county seat. Located in northeastern Indiana, the city is west of the Ohio border and south of the Michigan border. The city's population was 263,886 at the 2020 census ...
. He went to high school in
Lafayette, Indiana
Lafayette ( ) is a city in and is the county seat of Tippecanoe County, Indiana, United States, located northwest of Indianapolis and southeast of Chicago. According to the 2020 United States census, 2020 census, the population of Lafayette ...
, where he worked in
Purdue
Purdue University is a public land-grant research university in West Lafayette, Indiana, United States, and the flagship campus of the Purdue University system. The university was founded in 1869 after Lafayette businessman John Purdue donat ...
Biology laboratories after school and summers. He was the first in his family to go to college.
He obtained an
A.B. in Philosophy from
Oberlin College
Oberlin College is a Private university, private Liberal arts colleges in the United States, liberal arts college and conservatory of music in Oberlin, Ohio, United States. Founded in 1833, it is the oldest Mixed-sex education, coeducational lib ...
and a Ph.D. in philosophy (Logic) from the
University of Pittsburgh
The University of Pittsburgh (Pitt) is a Commonwealth System of Higher Education, state-related research university in Pittsburgh, Pennsylvania, United States. The university is composed of seventeen undergraduate and graduate schools and colle ...
, where he wrote his dissertation, ''The Algebra of Intensional Logics.''
Career
He taught at
Wayne State University
Wayne State University (WSU) is a public university, public research university in Detroit, Michigan, United States. Founded in 1868, Wayne State consists of 13 schools and colleges offering approximately 375 programs. It is Michigan's third-l ...
and at
Yale University
Yale University is a Private university, private Ivy League research university in New Haven, Connecticut, United States. Founded in 1701, Yale is the List of Colonial Colleges, third-oldest institution of higher education in the United Stat ...
before coming to
Indiana University Bloomington
Indiana University Bloomington (IU Bloomington, Indiana University, IU, IUB, or Indiana) is a public university, public research university in Bloomington, Indiana, United States. It is the flagship university, flagship campus of Indiana Univer ...
in 1969, from which he retired in 2007.
He received grants from the
NSF
NSF may stand for:
Political organizations
*National Socialist Front, a Swedish National Socialist party
*NS-Frauenschaft, the women's wing of the former German Nazi party
* National Students Federation, a leftist Pakistani students' political g ...
,
NEH
The National Endowment for the Humanities (NEH) is an independent federal agency of the U.S. government, established by thNational Foundation on the Arts and the Humanities Act of 1965(), dedicated to supporting research, education, preserv ...
,
ACLS, and was a visiting scholar at, among other places, the
Australian National University
The Australian National University (ANU) is a public university, public research university and member of the Group of Eight (Australian universities), Group of Eight, located in Canberra, the capital of Australia. Its main campus in Acton, A ...
,
University of Oxford
The University of Oxford is a collegiate university, collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the List of oldest un ...
, and the
University of Melbourne
The University of Melbourne (colloquially known as Melbourne University) is a public university, public research university located in Melbourne, Australia. Founded in 1853, it is Australia's second oldest university and the oldest in the state ...
. In 2014 he was a visiting professor at his Ph.D. alma mater the
University of Pittsburgh
The University of Pittsburgh (Pitt) is a Commonwealth System of Higher Education, state-related research university in Pittsburgh, Pennsylvania, United States. The university is composed of seventeen undergraduate and graduate schools and colle ...
. In 2002, he accepted on behalf of the School of Informatics the Techpoint (Indiana Information Technology association) Mira for Outstanding Education Contribution to Information Technology. In 2007, he was awarded the Indiana University Bloomington Provost's Medal, and was made a
Sagamore of the Wabash
The Governor of Indiana, Governor of the U.S. state of Indiana can bestow five types of awards: the Sagamore of the Wabash, the Circle of Corydon, the Distinguished Hoosier, the Honorary Hoosier, and the Sachem Award. Given at the Governor's dis ...
by the Governor of Indiana.
He was a Fellow of the
American Academy of Arts and Sciences
The American Academy of Arts and Sciences (The Academy) is one of the oldest learned societies in the United States. It was founded in 1780 during the American Revolution by John Adams, John Hancock, James Bowdoin, Andrew Oliver, and other ...
. He served as President of the Society for Exact Philosophy, and on the executive committee of the
Association for Symbolic Logic
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL ...
. He was also an editor of the ''
Journal of Symbolic Logic
The '' Journal of Symbolic Logic'' is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936 and covers mathematical logic. The journal is indexed by '' Mathematical Reviews'', Zent ...
'' and chief editor of the ''
Journal of Philosophical Logic
A journal, from the Old French ''journal'' (meaning "daily"), may refer to:
*Bullet journal, a method of personal organization
*Diary, a record of personal secretive thoughts and as open book to personal therapy or used to feel connected to onesel ...
''. He published six books and over 100 papers, and directed or co-directed 17 Ph.D. dissertations (Philosophy, Computer Science, Mathematics).
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
The American University (AU or American) is a Private university, private University charter#Federal, federally chartered research university in Washington, D.C., United States. Its main campus spans 90-acres (36 ha) on Ward Circle, in the Spri ...
, and was a member of its advisory board (co-chair 2017–2021).
Work
Dunn's research focuses on information based logics, particularly
relevance logic
Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substructural or modal logics. It is generally, b ...
s 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), and a book with
Katalin Bimbó, ''Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi''. (CSLI Publications, 2008).
He studied as a graduate student with the two major figures in relevance logic,
Alan Ross Anderson
Alan Ross Anderson (1925–1973) was an American logician and professor of philosophy at Yale University and the University of Pittsburgh.
A frequent collaborator with Nuel Belnap, Anderson was instrumental in the development of relevance ...
and
Nuel Belnap
Nuel Dinsmore Belnap Jr. (; May 1, 1930 – June 12, 2024) was an American logician and philosopher who has made contributions to the philosophy of logic, temporal logic, and structural proof theory. He taught at the University of Pittsburgh ...
. He was a contributing author to their book ''Entailment: The Logic of Relevance and Entailment Vol. 1,'' and a full co-author with them to ''Vol. 2.''
He also worked on
quantum logic
In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manipulation of propositions inspired by the structure of quantum theory. The formal system takes as its starting p ...
and
quantum computation
A quantum computer is a computer that exploits quantum mechanical phenomena. On small scales, physical matter exhibits properties of both particles and waves, and quantum computing takes advantage of this behavior using specialized hardware. C ...
,
subjective probability
Bayesian probability ( or ) is an interpretation of the concept of probability, in which, instead of frequency or propensity of some phenomenon, probability is interpreted as reasonable expectation representing a state of knowledge or as quanti ...
in the context of incomplete and conflicting information, and with Katalin Bimbό proved the decidability of Ticket Entailment (a problem open since 1960). Dunn was honored in 2016 by the book ''J. Michael Dunn on Information Based Logic'', edited by Katalin Bimbó, part of the
Springer
Springer or springers may refer to:
Publishers
* Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag.
** Springer Nature, a multinationa ...
series ''Outstanding Contributions to Logic''.
References
{{DEFAULTSORT:Dunn, Jon Michael
1941 births
2021 deaths
Writers from Fort Wayne, Indiana
Indiana University Bloomington faculty
Oberlin College alumni
University of Pittsburgh alumni
21st-century American philosophers
20th-century American philosophers