Alexander V. Gheorghiu is a logician working on the formal foundations of reasoning. He is a New Frontiers Fellow at the University of Southampton and an Honorary Research Fellow at University College London.
His primary research is in proof-theoretic semantics — the inferentialist programme in the philosophy of logic, descending from Gentzen, Dummett, and Prawitz, that takes inference rather than truth as semantically fundamental. He has extended this approach to classical, first-order, and substructural logics, including the logic of bunched implications, and has developed a general base-extension framework after Sandqvist.
He also write…
Alexander V. Gheorghiu is a logician working on the formal foundations of reasoning. He is a New Frontiers Fellow at the University of Southampton and an Honorary Research Fellow at University College London.
His primary research is in proof-theoretic semantics — the inferentialist programme in the philosophy of logic, descending from Gentzen, Dummett, and Prawitz, that takes inference rather than truth as semantically fundamental. He has extended this approach to classical, first-order, and substructural logics, including the logic of bunched implications, and has developed a general base-extension framework after Sandqvist.
He also writes on the philosophy of artificial intelligence, particularly the distinction between statistical prediction and genuine reasoning. His 2025 essay High School Algebra and the Limits of AI received the Graham Hoare Prize from the Institute of Mathematics and its Applications.
