b. 1941
Wilfrid Hodges (born 1941) is a British mathematical logician and historian of logic, emeritus professor at Queen Mary, University of London. He is best known for his foundational contributions to model theory and for recovering and analyzing the logical traditions of medieval Arabic logicians such as Ibn Sīnā.
Authored the standard reference work 'Model Theory' (Cambridge University Press, 1993)
Wrote 'A Shorter Model Theory' (1997), widely used in graduate logic education
Pioneered scholarly recovery and formal analysis of Ibn Sīnā's (Avicenna's) logical writings
Contributed to the semantics of natural language through compositional and game-theoretic approaches
Served as president of the British Logic Colloquium and the Division of Logic, Methodology and Philosophy of Science