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. |
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||
.svg){kind=logo}
 |
This article links to one or more target anchors that no longer exist.
Please help fix the broken anchors. You can remove this template after fixing the problems. | Reporting errors |
WikiProject class rating
editThis 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)
Updating the entry on David Clement Makinson
editThe 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)