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.
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: | Articles |
|---|---|
| Status: | Published |
| Refereed: | Yes |
| 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 & Humanities > School of Humanities > Philosophy |
| Journal Name: | Mind |
| ISSN: | 0026-4423 |
| ISSN (Online): | 1460-2113 |
University Staff: Request a correction | Enlighten Editors: Update this record
Deposit and Record Details
Deposit and Record Details