Well, what can one say. After seeing the new Arché schedule, I realise of course that I was duped. In fact, it doesn't calm down at all. In addition to the epistemology seminar, the vagueness/math seminar, the Grundgesetze seminar, the relativism seminar, and the Arché Logic Group, Arché now finally decided (after a substantial amount of lobbying) to start a new philosophy of logic seminar which I'll have the honour of convening. Additionally, our new Arché Professors, Herman Cappelen and Jessica Brown, have put together a Knowledge and Language seminar, which will start with some sessions on assertion. In other words, the truth of it is that the thesis will be written in the fourth year ... of a three-year PhD.
Some of my readers will perhaps recall that last semester we started the ALG, the Arché Logic Group, working through Graham Priest's An Introduction to Non-Classical Logic, and proof-reading the forthcoming second volume (dealing with first-order non-classical logics). This semester the group will continue, changing its focus to proof-theory. For now we've decided to read through the Troelstra & Swichtenberg textbook, Basic Proof Theory. Needless to say, this will greatly benefit my work.
And speaking of seminars that benefit my work, the discussion topics for the philosophy of logic have more or less been agreed upon. What more can a poor philosopher of logic wish for? Here are the topics we'll work with this semester:
- What is logic?
- What is a logical constant?
- Logical consequence
- Logical pluralism
- Disagreement about logic
- Unrestricted quantification
- Truth makers for logical laws