David Clement Makinson (born 27 August 1941) is an Australian logician living in France.[citation needed]
Career
editMakinson began his studies at the University of Sydney in 1958 and completed them at Oxford University in 1965, with a D.Phil on modal logic under Michael Dummett. He worked in the American University of Beirut (1965-1982), UNESC0 (1980-2001), King’s College London (2002-2006), the London School of Economics (LSE) (2006-2019),[1] and currently holds a position of Honorary Associate Professor at the University of Queensland.[2]
Contributions
editDavid Makinson works across a number of areas of logic, including modal logic, deontic logic, belief revision, uncertain reasoning, relevance-sensitive logic and, more recently, topics in the history of logic. Among his contributions: in 1965, as a graduate student, he identified the preface paradox[3] and adapted the method of maximal consistent sets for proving completeness results in modal logic[citation needed]; in 1969 he discovered the first simple and natural propositional logic lacking the finite model property[citation needed]; in the 1980s, with Carlos Alchourrón and Peter Gärdenfors, he created the AGM account of belief change[citation needed]; in the early 2000s, with Leon van der Torre, he created input/output logic; in 2017 he adapted the method of truth-trees to relevance-sensitive logic. [citation needed]
References
edit- ^ Makinson, David (December 2014), "A Tale of Five Cities", in Hansson, Sven Ove (ed.), David Makinson on Classical Methods for Non-Classical Problems, Outstanding Contributions to Logic, Springer Netherlands, p. 19–32, doi:10.1007/978-94-007-7759-0_3, ISBN 9789400777590
- ^ "Dr David Makinson", UQ Experts, University of Queensland, retrieved 28 September 2024
- ^ Lacey, A. R. (1970), "The paradox of the preface", Mind, 79 (316): 614–615, doi:10.1093/mind/lxxix.316.614