Enlighten
Research publications by members of the University of Glasgow
home > services > Enlighten

An argument for Finsler-Aczel set theory

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

Full text not currently available from Enlighten.

Abstract

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:Article
Status:Published
Refereed:Yes
Glasgow Author(s):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:0026-4423
ISSN (Online):1460-2113

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