Background
Dunn, Jon Michael was born on June 19, 1941 in Fort Wayne, Indiana, United States. Son of Jon Hardin and Philomena Elizabeth Dunn.
http://www.amazon.com/gp/product/B00D5FF9VW/?tag=2022091-20
( Nonclassical logics have played an increasing role in r...)
Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. Generalized Galois Logics develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural logics, including relevance logics, linear logic, and Lambek calculi. The authors also treat less-familiar and new logical systems with equal deftness.
http://www.amazon.com/gp/product/1575865742/?tag=2022091-20
(This comprehensive text demonstrates how various notions ...)
This comprehensive text demonstrates how various notions of logic can be viewed as notions of universal algebra. It is aimed primarily at logisticians in mathematics, philosophy, computer science and linguistics with an interest in algebraic logic, but is also accessible to those from a non-logistics background. The premise of the text is that standard algebraic results (representations) translate into standard logical results (completeness) and it identifies classes of algebras appropriate for classical and non-classical logic studies, including: gaggles, distributoids, partial- gaggles, and tonoids. Also discused is the idea that logic is fundamentally information based, with its main elements being propositions, that can be understood as sets of information states. Logics are considered in various senses such as systems of theorems, consequence relations and, symmetric consequence relations.
http://www.amazon.com/gp/product/0198531923/?tag=2022091-20
consultant logician dean emeritus
Dunn, Jon Michael was born on June 19, 1941 in Fort Wayne, Indiana, United States. Son of Jon Hardin and Philomena Elizabeth Dunn.
Bachelor of Arts, Oberlin College, 1963; Doctor of Philosophy, University Pittsburgh, 1966.
Assistant professor philosophy Wayne State University, Detroit, 1966-1969. Visiting assistant professor philosophy Yale University, New Haven, 1968-1969. Associate professor philosophy Indiana University, Bloomington, 1969-1976, professor, since 1976, Oscar Ewing professor philosophy, 1989—2007, chairman department philosophy, 1980-1984, 94-97, adjunct professor computer science, 1987-1989, professor, 1989—2007, associate dean College Arts and Sciences, 1988-1991, executive associate dean, 1991-1993, dean.
School Informatics, 2000—2007, professor informatics, 2002—2007, professor emeritus, since 2007. Visiting fellow Institute Advanced Studies, Australian National University, Canberra, 1975-1976. Senior visitor Mathematics Institute, University Oxford, England, 1978.
Faculties visiting scholar University Melbourne, Australia, 1983. Fellow Indiana University Institute for Advanced Study, 1984. Senior visitor Center for Philosophy of Science, University Pittsburgh, November 1984.
Adjunct professor University Massachusetts, Amherst, spring 1985. National Science Foundation principal investigator, 1969-1974.
( Nonclassical logics have played an increasing role in r...)
(This comprehensive text demonstrates how various notions ...)
Fellow American Academy Arts & Sciences. Member Association Symbolic Logic (executive committee 1978-1981, council since 1982), Society Exact Philosophy (treasurer 1982-1984, vice president 1986-1988, president 1988-1990), American Philosophical Association (committee research and publications 1985-1988), Computing Research Association (vice chair Information Technology deans group 2004-2006).
Married Sarah Jane Hutchison, August 8, 1964. Children– Jon William, Jennifer Anne.