Proof and Counterexample brought me here. You can find out more about me at my homepage. When I edit, I will usually use the name chalst to sign my contributions here. You can get in touch by emailing me at "email@example.com", or leave a comment at the bottom of this page.
My interests at consequently.org
- PnC n Wikipedia — One of my various motivations for being involved in this wiki is trying to get logically trained people involved in improving the logic pages on Wikipedia. I suppose I should say why I think this is (a) important and (b) complementary to what Greg's doing here, but for now, I'll let you try and guess…
- SD05 — I'm coorganising the Structures and Deductions workshop, which I think will be interesting to a lot of people here. Get in touch (by email, or by adding a comment here), if you might send us something (deadline 15th April), join us in Portugal in July, or might be interested in helping us out with our refereeing.
- harmony — I wrote my doctoral thesis on the proof theory of classical logic, and its relationship to the Curry-Howard correspondence. The key idea was that the way that people talked about the idea of "classical Curry-Howard" was a mess, and needed going back to fundamentals, and going back to fundamentals meant wrestling with the idea of a proof-theoretic semantics of logic. This in turn leads to ideas that are dear to the heart of Greg Restall…
- Proof theory of modal logic — I'm pretty involved with the question "How can one do the structural proof theory of modal logic well?". I've recently finished supervising the MSc thesis of Phiniki Stouppa on the design of modal proof theories, and am coming to the end of a second MSc supervision of Robert Hein extending this work by leveraging insights of Alex Simpson. I'm also interested in the conceptual foundations of modal logic, where my concerns do not stray so far from the above; see the three rivals page for more.
- SEP, or in full, the Stanford Encyclopedia of Philosophy — Related to the wikipedia link, I'm interested in this as a resource one can get involved with, and I am interested in seeing what happens to the quality of SEP and wikipedia as resources for logic and philosophy in the next few years.
Talk to me
Add your comments at the end of this page.