Talk:David Makinson

This article must adhere to the biographies of living persons (BLP) policy, even if it is not a biography, because it contains material about living persons. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libellous. If such material is repeatedly inserted, or if you have other concerns, please report the issue to this noticeboard.

If you are a subject of this article, or acting on behalf of one, and you need help, please see this help page.

Biography: Science and Academia

	Biography portal 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

	Australia portal 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 Librarian^{What'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

WikiProject class rating

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]

Updating the entry on David Clement Makinson

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]