Fixed-Point Models for Theories of Properties and Classes

  • Greg Restall University of Melbourne

Abstract

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.
Published
2017-04-11
How to Cite
RESTALL, Greg. Fixed-Point Models for Theories of Properties and Classes. The Australasian Journal of Logic, [S.l.], v. 14, n. 1, apr. 2017. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/4032>. Date accessed: 18 july 2019. doi: https://doi.org/10.26686/ajl.v14i1.4032.