David Makinson

David Makinson

David Clement Makinson, D.Phil, (born 27 August 1941), is an Australian mathematical logician living in London, England.

Career

Makinson began his studies at Sydney University in 1958 and was an associate of the Libertarian Society and Sydney Push. He is a Visiting Professor in the London School of Economics, University of London, and an associate member of the Centre of Research in Applied Epistemology (CREA), École Polytechnique, Paris. He has held professorial rank positions in King's College London, University of London and in the American University of Beirut, Lebanon. From 1980 till 2001 he worked for UNESCO, Paris.

Contribution

David Makinson is highly regarded for his work on belief revision, uncertain reasoning, and modal logic. While studying in Oxford University (Worcester College) for his D.Phil under the supervision of Michael Dummett, he identified the preface paradox. In belief revision he created the AGM account of theory change with Carlos Alchourrón and Peter Gärdenfors. In modal logic and other non-classical logics, he showed how to establish completeness results by adapting the method of maximal consistent set. In 1969 Makinson discovered the first simple and natural propositional logic lacking the finite model property.

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Preface paradox — The Preface Paradox, or the paradox of the preface, [Makinson, D. C., Paradox of the Preface , Analysis 25 (1965) 205 207. [http://david.c.makinson.googlepages.com/MakinsonPrefaceParadox1.pdf] ] was introduced by David Makinson in 1965. Similar… …   Wikipedia

  • List of Old Falconians — This is a list of some of the more prominent Old Falconians who are the alumni of North Sydney Boys High School. The Old Falconians Union is the alumni body of the school. The name Old Falconians is derived from Falcon Street which is the address …   Wikipedia

  • Lottery paradox — Henry E. Kyburg, Jr. s Lottery Paradox (1961, p. 197) arises from considering a fair 1000 ticket lottery that has exactly one winning ticket. If this much is known about the execution of the lottery it is therefore rational to accept that some… …   Wikipedia

  • List of logicians — A logician is a person, such as a philosopher or mathematician, whose topic of scholarly study is logic. The famous logicians are listed below in English alphabetical transliteration order (by surname).compactTOC NOTOC A * Nate Ackerman (USA,… …   Wikipedia

  • Sydney Push — The Sydney Push was a predominantly left wing intellectual sub culture in Sydney from the late 1940s to the early 70s. Well known associates of The Push include John Flaus, Harry Hooton, Margaret Fink, Lex Banning, Eva Cox, Paddy McGuinness,… …   Wikipedia

  • Universal logic — is the field of logic that is concerned with giving an account of what features are common to all logical structures. Universal logic is to logic what universal algebra is to algebra.The term universal logic was introduced in the 1990s by Swiss… …   Wikipedia

  • List of Coronation Street characters (1961) — Coronation Street characters 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 …   Wikipedia

  • Список ботаников по их сокращениям —   Это сл …   Википедия

  • Christine Appleby — Coronation Street character Portrayed by Christine Hargreaves Created by Tony Warren Introduced by Stuart Latham (1960) H.V. Kershaw (1962) Duration 1960 1961, 1962 1963 First appearance 14 December 1 …   Wikipedia

  • Mulgoa, New South Wales — Mulgoa Sydney, New South Wales Population: 2200 (2006) Postcode: 2745 Area: 55.5 km² (21.4 sq mi) …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”