Philosopher and logician, from Australia, now based at the University of St Andrews in Scotland.
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.
Reputation
0
Profile views
1
Joined
Last Online