J. Michael Dunn (19 de junio de 1941 - 5 de abril de 2021) [1] [2] fue Oscar Ewing Profesor Emérito de Filosofía, Profesor Emérito de Informática y Ciencias de la Computación, fue dos veces presidente del Departamento de Filosofía, fue Decano Ejecutivo Asociado de la Facultad de Artes y Ciencias, y fue decano fundador de la Escuela de Informática (ahora la Escuela Luddy de Informática, Computación e Ingeniería) en la Universidad de Indiana .
Jon Michael Dunn | |
---|---|
Nació | Fort Wayne, Indiana , Estados Unidos | 19 de junio de 1941
Fallecido | 5 de abril de 2021 | (79 años)
alma mater | - Oberlin College - Universidad de Pittsburgh |
Conocido por | -Semántica algebraica para lógica de relevancia -4-semántica valorada para vinculación de primer grado -Gaggles (lógica galois generalizada) -Semantica de negación -Teoría de la prueba que incluye resolver (con K. Bimbó ) la decidibilidad del Ticket Entailment -Relación de la computación cuántica con la cuántica lógica |
Esposos) | Sarah Jane Dunn (m. 1964) |
Niños | Jon William Dunn y Jennifer Anne Dunn |
Premios | -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) -Premio iSchools Bookends (2006) -Sagamore of the Wabash (2007) -Fellow de la Academia Estadounidense de Artes y Ciencias ( 2010) |
Carrera científica | |
Campos | - Lógica - Ciencias de la Computación |
Instituciones | - Universidad Estatal de Wayne - Universidad de Indiana en Bloomington |
Asesor de doctorado | Nuel Belnap |
Estudiantes de doctorado | Katalin Bimbó |
Sitio web | - Página de inicio de filosofía de la Universidad de Indiana de Jon Michael Dunn - Página de inicio de la Escuela de Informática, Computación e Ingeniería de la Universidad de Indiana de Michael Dunn |
Temprana edad y educación
Dunn nació en Fort Wayne, Indiana . Fue a la escuela secundaria en Lafayette, Indiana , donde trabajó en los laboratorios de Biología de Purdue después de la escuela y los veranos. Fue el primero de su familia en ir a la universidad.
Obtuvo una licenciatura en filosofía de Oberlin College y un doctorado. en Filosofía (Lógica) de la Universidad de Pittsburgh , donde escribió su tesis, The Algebra of Intensional Logics. [3]
Carrera profesional
Enseñó en la Universidad Estatal de Wayne y en la Universidad de Yale antes de llegar a la Universidad de Indiana en Bloomington en 1969, de la que se retiró en 2007.
Recibió becas de NSF, NEH, ACLS y fue profesor invitado en, entre otros lugares, la Universidad Nacional de Australia , la Universidad de Oxford y la Universidad de Melbourne . En 2014 fue profesor invitado en su Ph.D. alma mater de la Universidad de Pittsburgh . En 2002 aceptó, en nombre de la Escuela de Informática, el Techpoint (asociación de tecnología de la información de Indiana) Mira por su contribución educativa sobresaliente a la tecnología de la información. En 2007 fue galardonado con la medalla del preboste Bloomington de la Universidad de Indiana, y el gobernador de Indiana lo nombró Sagamore of the Wabash .
Fue miembro de la Academia Estadounidense de Artes y Ciencias . Se desempeñó como presidente de la Sociedad de Filosofía Exacta y en el Comité Ejecutivo de la Asociación de Lógica Simbólica . También fue editor del Journal of Symbolic Logic y editor en jefe del Journal of Philosophical Logic . Publicó 6 libros y más de 100 artículos, y dirigió o codirigió 17 tesis doctorales (Filosofía, Informática, Matemáticas).
Después de jubilarse, se desempeñó durante diez años en la junta de HealthLINC, el intercambio regional de información de salud, y fue presidente allí durante tres años. Desde 2010 estuvo afiliado al Info-Metrics Institute, American University , y fue miembro de su Consejo Asesor (copresidente 2017-2021).
Trabaja
La investigación de Dunn se centra en las lógicas basadas en la información, en particular las lógicas de relevancia y otras lógicas llamadas "subestructurales" . Tiene un enfoque algebraico de estos bajo el título de "teoría de grupo" (para lógicas galois generalizadas), que ha desarrollado en artículos, su libro con G. Hardgree Algebraic Methods in Philosophical Logic (Oxford, 2001), [4] y un libro con Katalin Bimbó , Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi . (Publicaciones CSLI, 2008). [5]
Estudió como estudiante de posgrado con las dos figuras principales en lógica de relevancia, Alan Ross Anderson y Nuel Belnap. Fue autor colaborador de su libro Entailment: The Logic of Relevance and Entailment Vol. 1, [6] y coautor con ellos del vol. 2. [7]
También trabajó en lógica cuántica y computación cuántica , probabilidad subjetiva en el contexto de información incompleta y conflictiva, y con Katalin Bimbό demostró la decidibilidad de Ticket Entailment (un problema abierto desde 1960). [8] Dunn fue honrado en 2016 por el libro J. Michael Dunn en Information Based Logic , editado por Katalin Bimbó, parte de la serie Springer Outstanding Contributions to Logic . [9] [10]
Referencias
- ^ "Jon Michael" Mike "Dunn, 79" . Bloomington Herald-Times . 9 de abril de 2021. p. 2 . Consultado el 9 de abril de 2021 .
- ^ Weinberg, Justin (7 de abril de 2021). "J. Michael Dunn (1941-2021)" . Nous diario . Consultado el 11 de abril de 2021 .
- ^ Dunn, Jon Michael (1966). El Álgebra de la Lógica Intensional (Tesis de Tesis Doctoral). Disertación.Fue publicado en 2019 con un ensayo introductorio de Katalin Bimbó como Volumen 2 de la serie de libros Logic PhDs , College Publications, Londres.
- ^ Dunn, J. Michael (2001). Métodos algebraicos en lógica filosófica . Hardegree, Gary M. Oxford: Oxford University Press. ISBN 0198531923. OCLC 46240293 .
- ^ Bimbó, Katalin (2008). Lógica generalizada de Galois: semántica relacional de cálculos lógicos no clásicos . Dunn, J. Michael. Stanford, Calif .: Publicaciones de CSLI. ISBN 9781575865737. OCLC 225876030 .
- ^ Ross., Anderson, Alan (1975-1992). Entailment: La lógica de la relevancia y la necesidad Vol. 1 . Belnap, Nuel D., Dunn, J. Michael. Princeton, Nueva Jersey: Princeton University Press. ISBN 0691071926. OCLC 1530367 .
- ^ Ross., Anderson, Alan (1975-1992). Entailment: La lógica de la relevancia y la necesidad Vol. 2 . Belnap, Nuel D., Dunn, J. Michael. Princeton, Nueva Jersey: Princeton University Press. ISBN 0691071926. OCLC 1530367 .
- ^ Dunn, J. Michael; Bimbó, Katalin (2012). "Nuevos cálculos de consecución para $ R ^ {t} _ {\ to} $" . Diario de Notre Dame de lógica formal . 53 (4): 491–509. doi : 10.1215 / 00294527-1722719 . ISSN 0029-4527 .
- ^ Hansson, Sven Ove. Contribuciones destacadas a la lógica . Saltador.
- ^ Bimbó, Katalin, ed. (2016). J. Michael Dunn sobre lógica basada en información . Contribuciones destacadas a la lógica. Springer International Publishing. ISBN 978-3-319-29298-4. OCLC 945975273 .