The view from my desk.
In yesterday’s Logic Seminar, Tomasz Kowalski introduced some lovely results about analytic cut and interpolation in sequent systems for bi-intuitionistic logic. After the seminar, Lloyd Humberstone, Dave Ripley, Tomasz and I got talking about various features of bi-intuitionistic logic, some of which should be more well known than they are … so I may as well post them here. Read on, if you’re into non-classical logic, algebras and frames.
I’m back from last week’s quick trip to Oxford for a workshop on Verbal Disputes, just in time to wrap up the last week of teaching in my two undergraduate units as the semester winds up here in Melbourne.
This was an excellent two-day workshop, capably organised by Trevor Teitel, and funded by the Ertegun Graduate Scholarship Programme for the Humanities. There was a lot to think about in the papers presented at the conference, and the informal discussions between talks. In another entry, I’ll comment on Cian Dorr’s talk “Pinning Down the Meanings of Quantifiers.” In this entry I’ll make some general remarks about the workshop and, in particular, about Amie Thomasson’s talk “Metaphysical Disputes and Metalinguistic Negotiation”.
A highlight of a workshop like this is meeting people, maintaining contact with those you’ve met before, and making new connections with new friends and colleagues. While there were lots of different views expressed at the conference, there was enough common ground—and more than enough good will and good humour—to have fruitful and productive conversations. This was a great workshop.
Tomorrow I head off on a flying visit to Oxford for a Workshop on Verbal Disputes and their Philosophical Significance. I’m looking forward to catching up with old friends and making new ones. The lineup for the workshop is fantastic, so it looks like it’ll be a great time. If you’re in the area, please do come along and say “hi”. If you can’t come, I’ve posted the slides and handout for my talk here.
I’m Greg Restall, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.