Greg Restall is a contemporary Australian philosopher and logician, Professor of Philosophy at the University of Melbourne, specializing in philosophical logic, proof theory, and the philosophy of language. He is best known for co-developing logical pluralism with JC Beall, arguing that multiple distinct logics can each be correct. His work bridges formal proof theory and analytic metaphysics, with contributions spanning substructural logics, truthmaking, and the logic of negation.
Co-developed logical pluralism with JC Beall, arguing multiple logics can simultaneously be correct
Authored 'An Introduction to Substructural Logics' (2000), a foundational text in the field
Developed proof-theoretic frameworks for multiple-conclusion sequent calculi
Contributed to the metaphysics of truth, including accounts of negative and modal truths
Established formal treatments of relevant logic and its relationship to classical and intuitionistic systems
Dive Deeper
Explore Truth & Knowledge→