Philosophy:David Makinson
David Clement Makinson (born 27 August 1941) is an Australian logician living in France.
Career
Makinson 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
David 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 ; in 1969 he discovered the first simple and natural propositional logic lacking the finite model property{{Citation needed|date=September 2024} and Peter Gärdenfors, he created the AGM account of belief change[citation needed]; in the early 2000s, with Leon van d ; in 2017 he adapted the method of truth-trees to relevance-sensitive logic. [citation needed]
References
- ↑ Makinson, David (December 2014), "A Tale of Five Cities", in Hansson, Sven Ove, David Makinson on Classical Methods for Non-Classical Problems, Outstanding Contributions to Logic, 3, Springer Netherlands, pp. 19–32, doi:10.1007/978-94-007-7759-0_3, ISBN 9789400777590
- ↑ "Dr David Makinson", UQ Experts (University of Queensland), https://about.uq.edu.au/experts/37370, retrieved 2024-09-28
- ↑ Lacey, A. R. (1970), "The paradox of the preface", Mind 79 (316): 614–615, doi:10.1093/mind/lxxix.316.614
External links
 |  |
