|
Oscar Ewing Professor Emeritus of Philosophy, Professor Emeritus of Computer Science, Professor Emeritus of Informatics, Core Faculty Member Emreitus in Cognitive Science, and University Dean Emeritus — School of Informatics. University of Pittsburgh, Ph.D. 1966. He has been awarded grants from NSF, NEH, ACLS, and has visited, among other places, at the Australian National University , Oxford University , the University of Melbourne , and the University of Massachusetts Amherst . He is listed in Who's Who in America and Who's Who in the World. Dunn's research focuses on information based logics and relations between logic and computer science. He is particularly interested in so-called "sub-structural logics" including intuitionistic logic, relevance logic, linear logic, BCK-logic, and the Lambek Calculus. He has developed an algebraic approach to these and many other logics under the heading of "gaggle theory" (for generalized galois logics), which is contained in a series of papers and in his book with Gary Hardegree Algebraic Methods in Philosophical Logic (Oxford , 2001). He is working on a book with Katalin Bimbó titled Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi. He has done recent work on the relationship of quantum logic to quantum computation, and has a general interest in cognitive science and the philosophy of mind. |
Department of Philosophy,
Indiana University,
1033 E. Third St.,
Sycamore Hall 026,
Bloomington, IN 47405-7005,
U.S.A.
Phone: +1 (812) 855-9503,
Fax: +1 (812) 855-3777
Email: 
, Comments: 
