Wilfrid Hodges

from Wikipedia, the free encyclopedia

Wilfrid Augustine Hodges (born May 27, 1941 ) is a British logician who deals with model theory and universal algebra , among other things .

Wilfrid Hodges in Oberwolfach 1988

Hodges studied from 1959 to 1965 at Oxford University (at New College ) Literae Humaniores (classical languages ​​and literature) and theology. In 1970 he received his PhD in logic from Oxford with John Newsome Crossley ( Some questions on the structure of models ). 1967/69 he was Assistant Professor of Philosophy at the University of California, Los Angeles , and from 1968 Lecturer of Philosophy and Mathematics at Bedford College, University of London . From 1974 he was lecturer for mathematics at Bedford College, from 1981 reader in mathematical logic at Bedford College and from 1984 at Queen Mary College of the University of London, where he was professor from 1987. From 2006 he was Professorial Fellow at his university and from 2009 Professor Emeritus. He was there several times in the management ( Deputy Head ) of the Department of Mathematics. Hodges has been a visiting scholar and visiting professor at the Isaac Newton Institute in Cambridge , the Mittag-Leffler Institute in Stockholm , and the University of Colorado in Boulder (1979/80).

He is the author of several logic textbooks, including an English-language standard work on model theory. Hodges also studied the history of logic, translating and commenting on some medieval Arabic logicians such as Avicenna . In 2009 he became a Fellow of the British Academy . He was President of the British Logic Colloquium, the Association for Logic, Language and Information, and the Logic, Methodology and Philosophy of Science Division of the International Association for the History and Theory of Science . His PhD students include Alex Wilkie and Anand Pillay .

He has been married to Helen Hodges (psychiatry professor at King's College London ) since 1965 and has three children (Sally, Gale and Edwin). After his retirement he moved to the village of Sticklepath in Dartmoor , Devon .

Fonts

  • Logic - An introduction to elementary logic, Penguin Books 1977
  • Building Models by Games. London Mathematical Society Student Texts, Cambridge University Press, 1985
  • Model theory, (Encyclopedia of Mathematics), Cambridge University Press, 1993, ISBN 0-521-30442-3
  • A Shorter Model theory, Cambridge University Press, 1997, ISBN 0-521-58713-1
  • with Ian Chiswell: Mathematical Logic, 2007

Web links