Talk:David Makinson

This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Biography: Science and Academia This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to join the project and contribute to the discussion. For instructions on how to use this banner, please refer to the documentation.BiographyWikipedia:WikiProject BiographyTemplate:WikiProject Biographybiography articles This article is supported by the science and academia work group (assessed as Low-importance). Philosophy: Philosophers / Logic / Contemporary Low‑importance This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles Low This article has been rated as Low-importance on the project's importance scale. Associated task forces: /  Philosophers Logic Contemporary philosophy Australia David Makinson is within the scope of WikiProject Australia, which aims to improve Wikipedia's coverage of Australia and Australia-related topics. If you would like to participate, visit the project page.AustraliaWikipedia:WikiProject AustraliaTemplate:WikiProject AustraliaAustralia articles ??? This article has not yet received a rating on the project's importance scale. Need help improving this article? Ask a LibrarianWhat's this? at the National Library of Australia. The Wikimedia Australia chapter can be contacted via email to helpwikimedia.org.au for non-editorial assistance.

Tip: Anchors are case-sensitive in most browsers. This article links to one or more target anchors that no longer exist. [[Inference#Inference and uncertainty|uncertain reasoning]] The anchor (#Inference and uncertainty) has been deleted by other users before. Please help fix the broken anchors. You can remove this template after fixing the problems. | Reporting errors

This article was automatically assessed because at least one WikiProject had rated the article as stub, and the rating on other projects was brought up to Stub class. BetacommandBot 03:54, 10 November 2007 (UTC)[reply]

The entry on David Clement Makinson is seriously out of date. Here is an updated text prepared by the subject on 29-07-2024. Kindly consider it as a replacement.

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), and currently holds a position of Honorary Associate Professor at the University of Queensland.

Contributions David Makinson is highly regarded for his work 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 the best-known: in 1965, as a graduate student, he identified the preface paradox 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; in the 1980s, with Carlos Alchourrón and Peter Gärdenfors, he created the AGM account of belief change; 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.

External links Makinson’s website https://sites.google.com/site/davidcmakinson/ contains a complete list of his publications with links to many of them, as well as to an intellectual autobiography updated to 2024. 1003Stmdh (talk) 18:03, 29 July 2024 (UTC)[reply]