Johannes Stern

Johannes Stern is an Adjunct Professor at the Department of Philosophy, University of Bristol. He completed his Master's in Logic and Philosophy of Science at the University of Munich and earned his PhD in 2012 from the University of Geneva under Fabrice Correia and Karl-Georg Niebergall. His work spans philosophical logic, formal theories of truth/modality, paradox, and the philosophy of language and mathematics.

• Key research areas: Predicate approaches to modality, semantic paradoxes, and the intersection of truth theory with mechanized reasoning.
• Notable collaborations include Volker Halbach (Oxford) and contributions to debates on Gödel's and Penrose's arguments against computationalism.

His publications bridge proof-theoretic and semantic methods, with a focus on reconciling classical reasoning with self-referential truth theories. Recent work critiques and extends Kripke's reduction of modal predicates to truth-modified operators.

Selected publications analyze the interplay between axiomatic truth systems and their semantic counterparts, including formalizations of Montague's theorem and reducibility criteria for multimodal paradoxes. His 2018 paper on supervaluation-style truth theories remains among his most cited works.