Ian Pratt-Hartmann
Ian Pratt-Hartmann studied mathematics and philosophy at Brasenose College, Oxford, and philosophy at Princeton and Stanford Universities, gaining his PhD. from Princeton in 1987. He is currently a Professor of Mathematical Sciences in the Institute of Computer Science at the University of Opole, Poland, and Senior Lecturer in the Department of Computer Science at the University of Manchester, UK. Dr. Pratt-Hartmann's research interests range widely over the fields of mathematical logic, artificial intelligence and the semantics of natural language.
Sessions in which Ian Pratt-Hartmann participates
Monday 8 June, 2026
Theme : Computational perspectives: logic, ontologies, reasoning and decision-making.
For most of recorded history, logic was seen as an attempt to systematize the entailment patterns observed in natural---that is to say, human---languages. Only with the rise of quantification theory and the emergence of mathematical logic at the end of the nineteenth century did the syntactic structure of natural language lose its pre-eminence. Recently, however, there has been a resurgence of interest in natural language ...