David Makinson

For the English cricketer, see David Makinson (cricketer).

David Clement Makinson (born 27 August 1941) is an Australian logician living in France.^{[ citation needed ]}

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^{[ 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

1. 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, vol. 3, Springer Netherlands, pp. 19–32, doi:10.1007/978-94-007-7759-0_3, ISBN   9789400777590
2. "Dr David Makinson", UQ Experts, University of Queensland, retrieved 28 September 2024
3. Lacey, A. R. (1970), "The paradox of the preface", Mind, 79 (316): 614–615, doi:10.1093/mind/lxxix.316.614

External links

• Makinson’s website