September 19, 2017

Working in philosophical logic, I love the opportunity to learn from so many people through history, and not only to learn, but to pass on a tradition, and to have the opportunity to extend the tradition, and to refine it a little, in passing it on. It’s been a delight to learn from some great figures, the historical figures through their writing, and my contemporaries in person, both as face-to-face teachers (while a student, I learned logic from Sheila Oates-Williams, Neil Williams, Rod Girle, Ian Hinckfuss, and Graham Priest), but the learning doesn’t stop when you finish your degree. I’ve learned much from colleagues (Bob Meyer, Richard Sylvan, John Slaney, Allen Hazen, Graham Priest (again), Zach Weber, Dave Ripley, Shawn Standefer), whose work I admire, and who generously share of their time at whiteboards, in seminars, and in many many conversations. I have also learned a great deal from all of my graduate students, who have sent me in directions I never expected to head. If learning logic is (in part) gaining facility with the concepts you have, as well as acquiring new concepts, then working with others is a very good way to learn. The kinds of knowledge you acquire is not merely knowing that, but it (at least in part) skills to be learned, and they’re learned by practice, and sometimes skilled practice is best acquired when guided by others — explicitly, when the teacher knows she is teaching — or implicitly, when we observe an expert displaying expertise, and we can use their practice to scaffold our own, and learn by imitation. I’ve learned so much from my teachers, not only in consciously building on their ideas, but in learning how to be a logician by starting in their footsteps.

One way to develop the tradition is to teach, and a significant part of my job at the University of Melbourne is to teach, and a lot of my time is spent teaching philosophical logic. Putting together a course is a good way of sorting out your ideas, and in philosophical logic, where the concepts very clearly and precisely build on prior ideas, it is a real intellectual challenge to see how you can teach a course in 12 weeks that, say, introduces Gödel’s incompleteness theorems and everything you need to understand them. This is a challenge, and designing the curriculum in such a way to carry undergraduate students from the basics of predicate logic, through soundness and completeness, into Peano arithmetic, recursive functions, diagonalisation, and into Gödel’s proofs — and to do it in some way that there is hope that the students will survive the journey with their curiosity and interest intact! — forces you to come to grips with the concepts in a way that a cursory understanding won’t suffice. I can truly say that I’ve come to understand things much more deeply when I’ve had the opportunity to teach them.

That’s why I’m enjoying writing my new book. Officially, it is a research monograph and not a textbook, but one of the ways I’ve been describing it (to myself, and to others, who ask me what I’m writing on) is that it’s trying to explain to people attracted to normative pragmatic theories of meaning what they can do with recent work in logic (in proof theory, in particular), and to explain to logicians what philosophy they should have to understand why proof theory works so well. Yes, the core of it is a particular argument for a way of understanding the distinctive nature of logic, but that argument is buttressed by a lot of showing as well as saying. You’ve got to learn some logic to understand why it is the kind of thing it is, and to get a real sense of what it can do (and what it can’t). To do that, is to teach, as well as to argue, and that is just how I like it.

Learning and Teaching is the eleventh of twelve things that I love about philosophical logic.

Do you like this, or do you have a comment? Then please  share or reply on Twitter, or  email me.

← Possibility (the tenth of twelve things I love about philosophical logic) | News Archive


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.



To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.