An argument for finsler-Aczel set theory
Mind 109 (434):241-253 (2000)
| 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesUlrich Nortmann (1995). Vier Philosophen Über Semantische Paradoxien. History and Philosophy of Logic 16 (2):217-244.
Adam Rieger (2011). Paradox, ZF and the Axiom of Foundation. In D. DeVidi, M. Hallet & P. Clark (eds.), Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell. Springer.
Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren & Peter Schuster (2006). Binary Refinement Implies Discrete Exponentiation. Studia Logica 84 (3):361 - 368.
Ingrid Lindström (1989). A Construction of Non-Well-Founded Sets Within Martin-Löf's Type Theory. Journal of Symbolic Logic 54 (1):57-64.
Ignacio Jané & Gabriel Uzquiano (2004). Well- and Non-Well-Founded Fregean Extensions. Journal of Philosophical Logic 33 (5):437-465.
Colin McLarty (1993). Anti-Foundation and Self-Reference. Journal of Philosophical Logic 22 (1):19 - 28.
Jacob Lurie (1999). Anti-Admissible Sets. Journal of Symbolic Logic 64 (2):407-435.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads28 ( #44,065 of 549,069 )Recent downloads (6 months)1 ( #63,185 of 549,069 )How can I increase my downloads? |
My notes
Discussion
