An argument for Finsler-Aczel set theory

Rieger, A. (2000) An argument for Finsler-Aczel set theory. Mind, 109(434), pp. 241-253. (doi: 10.1093/mind/109.434.241)

Full text not currently available from Enlighten.


Recent interest in non-well-founded set theories has been concentrated on Aczel's anti-foundation axiom AFA. I compare this axiom with some others considered by Aczel, and argue that another axiom, FAFA, is superior in that it gives the richest possible universe of sets consistent with respecting the spirit of extensionality. I illustrate how using FAFA instead of AFA might result in an improvement to Barwise and Etchemendy's treatment of the liar paradox.

Item Type:Articles
Glasgow Author(s) Enlighten ID:Rieger, Dr Adam
Authors: Rieger, A.
Subjects:B Philosophy. Psychology. Religion > BC Logic
Q Science > QA Mathematics
College/School:College of Arts > School of Humanities > Philosophy
Journal Name:Mind
ISSN (Online):1460-2113

University Staff: Request a correction | Enlighten Editors: Update this record