David Clement Makinson (nacido el 27 de agosto de 1941) es un lógico matemático australiano que vive en Londres , Inglaterra .
Carrera profesional
Makinson comenzó sus estudios en la Universidad de Sydney en 1958 y fue asociado de la Libertarian Society y Sydney Push . Es profesor invitado en la London School of Economics , Universidad de Londres , y miembro asociado del Centre de Recherche en Epistémologie Appliquée (CREA), École Polytechnique , París . Ha ocupado puestos de categoría docente en King's College London , University of London y en la American University of Beirut , Líbano . Desde 1980 hasta 2001 trabajó para la UNESCO , París .
Contribuciones
David Makinson es muy apreciado por su trabajo sobre revisión de creencias , razonamiento incierto y lógica modal . Mientras estudiaba en la Universidad de Oxford ( Worcester College ) para su Doctorado en Filosofía bajo la supervisión de Michael Dummett , identificó la paradoja del prefacio . En la revisión de creencias, creó la cuenta AGM del cambio de teoría con Carlos Alchourrón y Peter Gärdenfors . En lógica modal y otras lógicas no clásicas , mostró cómo establecer resultados de completitud adaptando el método de conjunto consistente máximo . En 1969, Makinson descubrió la primera lógica proposicional simple y natural que carecía de la propiedad del modelo finito . Junto con Leon van der Torre desarrolló la lógica de entrada / salida .
enlaces externos
- Sitio web de David Makinson
- CREA , École Polytechnique, París