Skip to content
Coordinates of ThoughtHome of Philosophy
Join

Thinker · TH-0189

Greg Restall

Greg Restall is an Australian logician and philosopher who worked for many years at the University of Melbourne. With J. C. Beall he developed…

FollowStart a topic about Greg Restall

On the Coordinates: 4.5 Philosophy of Logic

Also known as Greg Restall

b. 1969 · Brisbane; Sydney; Melbourne; St Andrews

Traditions: Analytic

Greg Restall is an Australian logician and philosopher who worked for many years at the University of Melbourne. With J. C. Beall he developed logical pluralism, the view that there is more than one correct logic because the core notion of validity, truth-preservation in all cases, can be filled out with different legitimate specifications of what a case is. He has also worked extensively on substructural logics and on proof theory and its philosophical significance.

Key ideas

  • Validity is necessary truth-preservation across all cases, and 'case' can be precisified in more than one legitimate way.
  • Different precisifications yield classical, intuitionistic and relevant logics, each correct for its notion of case.
  • Substructural logics, which restrict structural rules of proof, form a systematic family.
  • Proofs can be understood in terms of norms governing assertion and denial.

Major works

  • An Introduction to Substructural Logics (2000)
  • Logical Pluralism (2006, with J. C. Beall)
  • Logic: An Introduction (2006)

In the conversation

In the Coordinates

The questions of philosophy where Greg Restall takes a place, from The Coordinates of Thought.