Greg Restall on Nostr: Next week it’s our last Arché Metaphysics and Logic seminar for the academic year, ...

Next week it’s our last Arché Metaphysics and Logic seminar for the academic year, and I’m going to have a go at addressing some of the big questions in the foundations of logic, with a contemporary twist.

https://consequently.org/presentation/2024/what-do-we-mean-arche/

#philosophy #logic #prooftheory #typetheory