David Clement Makinson (born 27 August 1941), is an

Australian Australian(s) may refer to: Australia * Australia, a country * Australians, citizens of the Commonwealth of Australia ** European Australians ** Anglo-Celtic Australians, Australians descended principally from British colonists ** Aboriginal Au ...

mathematical

logician Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

living in

London London is the capital and largest city of England and the United Kingdom, with a population of just under 9 million. It stands on the River Thames in south-east England at the head of a estuary down to the North Sea, and has been a majo ...

England England is a country that is part of the United Kingdom. It shares land borders with Wales to its west and Scotland to its north. The Irish Sea lies northwest and the Celtic Sea to the southwest. It is separated from continental Europe b ...

Career

Makinson began his studies at

Sydney University The University of Sydney (USYD), also known as Sydney University, or informally Sydney Uni, is a public research university located in Sydney, Australia. Founded in 1850, it is the oldest university in Australia and is one of the country's six ...

in 1958 and was an associate of the

Libertarian Libertarianism (from french: libertaire, "libertarian"; from la, libertas, "freedom") is a political philosophy that upholds liberty as a core value. Libertarians seek to maximize autonomy and political freedom, and minimize the state's e ...

Society and

Sydney Push The Sydney Push was an intellectual subculture in Sydney from the late 1940s to the early 1970s. Its politics were predominantly left-wing libertarianism. The Push operated in a pub culture and included university students, academics, manual w ...

. He is a Visiting Professor in the

London School of Economics , mottoeng = To understand the causes of things , established = , type = Public research university , endowment = £240.8 million (2021) , budget = £391.1 millio ...

University of London The University of London (UoL; abbreviated as Lond or more rarely Londin in post-nominals) is a federal public research university located in London, England, United Kingdom. The university was established by royal charter in 1836 as a degree ...

, and an associate member of the Centre de Recherche en Epistémologie Appliquée (CREA),

École Polytechnique École may refer to: * an elementary school in the French educational stages normally followed by secondary education establishments (collège and lycée) * École (river), a tributary of the Seine flowing in région Île-de-France * École, Savoi ...

Paris Paris () is the capital and most populous city of France, with an estimated population of 2,165,423 residents in 2019 in an area of more than 105 km² (41 sq mi), making it the 30th most densely populated city in the world in 2020. S ...

. He has held professorial rank positions in

King's College London King's College London (informally King's or KCL) is a public research university located in London, England. King's was established by royal charter in 1829 under the patronage of King George IV and the Duke of Wellington. In 1836, King's ...

, University of London and in the

American University of Beirut The American University of Beirut (AUB) ( ar, الجامعة الأميركية في بيروت) is a private, non-sectarian, and independent university chartered in New York with its campus in Beirut, Lebanon. AUB is governed by a private, aut ...

Lebanon Lebanon ( , ar, لُبْنَان, translit=lubnān, ), officially the Republic of Lebanon () or the Lebanese Republic, is a country in Western Asia. It is located between Syria to the north and east and Israel to the south, while Cyprus li ...

. From 1980 till 2001 he worked for

UNESCO The United Nations Educational, Scientific and Cultural Organization is a specialized agency of the United Nations (UN) aimed at promoting world peace and security through international cooperation in education, arts, sciences and culture. It ...

Contributions

David Makinson is highly regarded for his work on

belief revision Belief revision is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational age ...

, uncertain reasoning, and

modal logic Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics. Modal logics extend other ...

. While studying in

Oxford University Oxford () is a city in England. It is the county town and only city of Oxfordshire. In 2020, its population was estimated at 151,584. It is north-west of London, south-east of Birmingham and north-east of Bristol. The city is home to the ...

(

Worcester College Worcester College is one of the constituent colleges of the University of Oxford in England. The college was founded in 1714 by the benefaction of Sir Thomas Cookes, 2nd Baronet (1648–1701) of Norgrove, Worcestershire, whose coat of arms w ...

) for his

D.Phil A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is ...

under the supervision of

Michael Dummett Sir Michael Anthony Eardley Dummett (27 June 1925 – 27 December 2011) was an English academic described as "among the most significant British philosophers of the last century and a leading campaigner for racial tolerance and equality." He wa ...

, he identified the

preface paradox The preface paradox, or the paradox of the preface, was introduced by David Makinson in 1965. Similar to the lottery paradox, it presents an argument according to which it can be rational to accept mutually incompatible beliefs. While the preface p ...

. In belief revision he created the AGM account of theory change with Carlos Alchourrón and

Peter Gärdenfors Björn ''Peter'' Gärdenfors (born 21 September 1949) is professor of cognitive science at the University of Lund, Sweden. Gärdenfors is a recipient of the Gad Rausing Prize (Swedish: ''Rausingpriset''). He received his doctorate from Lund Univ ...

. In modal logic and other

non-classical logic Non-classical logics (and sometimes alternative logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done, including by way of ...

s, he showed how to establish completeness results by adapting the method of

maximal consistent set In mathematical logic, a theory is complete if it is consistent and for every closed formula in the theory's language, either that formula or its negation is provable. That is, for every sentence \varphi, the theory T contains the sentence or it ...

. In 1969 Makinson discovered the first simple and natural

propositional logic Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations b ...

lacking the

finite model property In mathematical logic, a logic L has the finite model property (fmp for short) if any non-theorem of L is falsified by some ''finite'' model of L. Another way of putting this is to say that L has the fmp if for every formula ''A'' of L, ''A'' is an ...

. Together with Leon van der Torre he developed input/output logic.

External links

David Makinson's website

CREA
, École Polytechnique, Paris {{DEFAULTSORT:Makinson, David Australian logicians Academics of King's College London Australian scientists Australian libertarians Belief revision 1941 births Living people People educated at North Sydney Boys High School Australian philosophers British libertarians