Greg Restall
Philosopher and logician, originally 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.
#philosophy #logic
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
Public Key
npub1gwtglfks2gyd69l07rvm70arz8msp8am5shh8u2cxfuj8wg6zcmsndplw7NIP-05 Address
consequently_at_hcommons.social@mostr.pubProfile Code
nprofile1qqsy89505mg9yzxazlhlpkdl8733racqn7a6gtmn79vry7frhydpvdcpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43q75za72Publishing to
relay.mostr.pub relay.mostr.pub
Author Public Key
npub1gwtglfks2gyd69l07rvm70arz8msp8am5shh8u2cxfuj8wg6zcmsndplw7