David Makinson

From Wikipedia, the free encyclopedia

For the English cricketer, see David Makinson (cricketer).

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 de Recherche en Epistémologie Appliquée (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

David Makinson's website
CREA, École Polytechnique, Paris

Authority control	VIAF: 12521565 ISNI: 0000 0001 1459 8478 BNF: cb14419125d

Persondata
Name	Makinson, David
Alternative names
Short description	Australian logician
Date of birth	27 August 1941
Place of birth
Date of death
Place of death

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.