@consequently@hcommons.social
Joined: 07/11/2022
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.
{username} has no public lists
{username} has no activity yet