I am a Senior Lecturer in Logic (continuing position) at the University of Queensland (Australia). Before this, I was a postdoc in mathematical logic in the Department of Knowledge-Based Mathematical Systems at Johannes Kepler University Linz (Austria) on an FWF project on residuated structures. Overlapping with this, I also worked on a GACR project on predicate graded logics in computer science. I received my PhD from the University of Otago (New Zealand) in 2017. From 2022-2025, my research is supported by an ARC Discovery Early Career Researcher Award (DE220100544). There was a workshop to kick off the project in 10-12 November 2022. I serve as an editor for Archive for Mathematical Logic and Journal of Multiple-Valued Logic and Soft Computing.
Born in Sydney Australia, 1941. Educated at North Sydney High, then Sydney University (B.A. in Philosophy, first class honours). Commonwealth Scholarship to Oxford University UK,leading to D.Phil. 1965 with thesis on "Rules of truth for modal logic". From 1965 to 1982 worked at the American University of Beirut, Lebanon (Assistant, Associate, Full Professor in the Philosophy Department), then from 1980 to 2000 as Programme Specialist in Unesco (Philosophy Division). From 2001 to 2006 Professor at King's College London (Computer Science Department), then from 2007 to 2019 Guest Professor in the Department of Philosophy, Logic and Scientific Method, London School of Economics (LSE). Currently living in Paris, and since September 2022 Honorary Associate Professor in the School of Historical and Philosophical Inquiry, University of Queensland.
An intellectual autobiography entitled "A tale of five cities" was published in S.O. Hansson ed., David Makinson on Classical Methods for Non-Classical Problems (Series: Outstanding Contributions to Logic) Springer 2014, pp 19-32, with recollections also in an interview in The Reasoner 2014, also available at personal website mentioned below..
