Recent News

I love the way I’ve met so many different people through working in logic, that I’ve made good friends, good colleagues, good teachers and mentors. I’ve been part of an enterprise that’s larger than any one person. I have been shaped by that community, and have had the opportunity to made some small mark on it myself. Logic, like any other academic discipline, has a history. The activities of doing logic — of studying, researching and teaching — are spread out through time.

Read More…

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.

Read More…

In the previous entry I explored the connection between proofs and necessity. Here, I want to spend a little time exploring the other side of the logical street, the connection between models and possibility. As I have already explained, one core insight from 20th Century work in logic is the fundamental duality between proof theory and model theory. You can define logical notions like validity by way of proofs (a valid argument is certified by the existence of some proof) or by way of models (an argument is shown to be invalid by the existence of some model which serves as a counterexample).

Read More…

The next two thoughts are motivated by the two complementary aspects of contemporary research in logic, proof theory and model theory. As I try to emphasise to my students, there are two broad ways you can define logical concepts like validity. Following the way of proofs, an argument is valid if there is some proof leading from the premises to the conclusion. Following the way of models, an argument is valid if there is no model in which the premises are true and the conclusion is not.

Read More…

I’m not totally happy with the word for the next item on the list of twelve things I love about philosophical logic. The word on the list is attention, and it gets at something that I have learned, and which seems to me to be an important distinctive about working in philosophical logic, but I’m not altogether sure that “attention” is the best word for it. Maybe after I’ve explained what I mean, you could suggest a better short label for the phenomenon I’m gesturing towards.

Read More…

Recent Writing

  • “Truth Tellers in Bradwardine's Theory of Truth,” to appear in Modern Views of Medieval Logic, edited by Christoph Kann, Benedikt Loewe, Christian Rode and Sara L. Uckelman, Recherches de Théologie et Philosophie Médiévales—Bibliotheca. Peeters Publishers, 2018 Abstract  pdf
  • “Generality and Existence I: Quantification and Free Logic,” article in progress. Abstract  pdf
  • “Two Negations are More than One,” article to appear in Graham Priest on Dialetheism and Paraconsistency, edited by Can Başkent, Thomas Macaulay Ferguson. Abstract  pdf
  • Proof Theory and Philosophy: book manuscript in progress. Abstract
  • “Fixed Point Models for Theories of Properties and Classes,” Australasian Journal of Logic (14:1), Article No. 8. Abstract  pdf

Recent & Upcoming Presentations

Recent & Upcoming Classes


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.