“Fixed Point Models for Theories of Properties and Classes,” Australasian Journal of Logic (14:1), Article No. 8.

 download pdf

There is a vibrant (but minority) community among philosophical logicians seeking to resolve the paradoxes of classes, properties and truth by way of adopting some non-classical logic in which trivialising paradoxical arguments are not valid. There is also a long tradition in theoretical computer science–going back to Dana Scott’s fixed point model construction for the untyped lambda-calculus–of models allowing for fixed points. In this paper, I will bring these traditions closer together, to show how these model constructions can shed light on what we could hope for in a non-trivial model of a theory for classes, properties or truth featuring fixed points.

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

← First Degree Entailment, Symmetry and Paradox | Writing Archive | Proof Theory and Philosophy →


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.