Philosopher and logician at the University of St Andrews in Scotland, originally from Australia.

I like thinking about—and helping other people think about—logic and philosophy and the many different ways they can inform and enhance each other.

I suppose I’m known for work on substructural logics, logical pluralism, and (more recently) what philosophers should know about proof theory, and proof theorists should know about philosophy.

#philosophy #logic