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.
| Website | https://consequently.org |
| Manifesto | https://consequently.org/writing/pmpl-elements/ |
| Place | Scotland, mostly |
| Pronouns | he/him |
Since logic requirements in philosophy graduate programs is trending, here's a throwback to 2005, when Brian Weatherson @bweatherson , Ted Sider, Michael Glanzberg, Andy Arana and I discussed this in a special session at an ASL/APA meeting https://richardzach.org/2005/04/logic-instruction-and-philosophy-graduate-training/
The discussion about whether to have #logic requirements in #philosophy PhD programs and if so what to cover has been going on for a while
@msteenhagen That analysis of the situation sounds right to me.
I’d add that the shift away from logic coincides with analytic philosophy’s repudiation of its linguistic turn, and the shift away from spending so much time on questions of language and meaning.
This is a shame, because there’s a lot of interesting recent work in metaethics, in philosophy of language, and even in metaphysics, where insights from formal logic and *semantics*—and not just “formal methods”—are absolutely central.
@xameer Well, since P∧¬Q entails ¬(P→Q) (intuitionistically and classically, at least) the first seems fine, but the second has plenty of counterexamples.
Suppose Tibbles is a cat (and hence, a mammal) and not a dog. “Tibbles is a mammal” (P) is true, and “Tibbles is a dog” (Q) is false. It doesn’t follow that “*if Tibbles is a dog, then Tibbles is a mammal*” (Q→P) is false. It’s true.
We've just published a new issue, with papers by Alessandro Rossi, Nathaniel Gan, Fabio De Martin Polo, and Alasdair Urquhart
Richard Zach
Australasian Journal of Logic
Frédéric Jaëck