Greg Restall on Nostr: npub1jd874…vt4jc I’m grateful for the opportunity to spend time with thoughtful ...

npub1jd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208rayscvt4jc (npub1jd8…t4jc) I’m grateful for the opportunity to spend time with thoughtful and generous colleagues. I had a good time down in London last Monday, presenting on Dummett, the relationship between constructive and classical logic, and proof assistants. And *next* week I get to hang out in Munich at a one-day workshop on philosophical logic, which also gives me a chance to catch up with one of my best friends from school and uni days, so I get to combine *work* pleasure with *rest-of-life* joy. I don’t take this for granted.

https://www.mcmp.philosophie.uni-muenchen.de/events_this-_week/free_logic/