David Clement Makinson (nacido el 27 de agosto de 1941) es un lógico australiano que vive en Francia. [ cita requerida ]
Makinson comenzó sus estudios en la Universidad de Sydney en 1958 y los completó en la Universidad de Oxford en 1965, con un doctorado en lógica modal bajo la dirección de Michael Dummett. Trabajó en la Universidad Americana de Beirut (1965-1982), la UNESCO (1980-2001), el King's College de Londres (2002-2006), la London School of Economics (LSE) (2006-2019), [1] y actualmente ocupa un puesto de profesor asociado honorario en la Universidad de Queensland. [2]
David Makinson trabaja en diversas áreas de la lógica, entre ellas la lógica modal, la lógica deóntica, la revisión de creencias, el razonamiento incierto, la lógica sensible a la relevancia y, más recientemente, temas de la historia de la lógica. Entre sus contribuciones: en 1965, como estudiante de posgrado, identificó la paradoja del prefacio [3] y adaptó el método de conjuntos consistentes máximos para demostrar resultados de completitud en lógica modal [ cita requerida ] ; en 1969 descubrió la primera lógica proposicional simple y natural que carecía de la propiedad del modelo finito [ cita requerida ] ; en la década de 1980, con Carlos Alchourrón y Peter Gärdenfors, creó la explicación AGM del cambio de creencias [ cita requerida ] ; a principios de la década de 2000, con Leon van der Torre, creó la lógica de entrada/salida; en 2017 adaptó el método de árboles de verdad a la lógica sensible a la relevancia. [ cita requerida ]