Authors
Alexander Paseau
Oxford University
Abstract
The paper critically examines whether the open-endedness of the set concepts mandates the use of intuitionistic logic in set theory, as some philosophers think. [The sequel to this paper is ‘The Open-Endedness of the Set Concept and the Semantics of Set Theory' published in Synthese in 2003.]
Keywords intuitionistic logic  open-endedness  set theory  dummett  jonathan lear
Categories (categorize this paper)
DOI 10.1111/1467-9264.00102
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,700
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Should the Logic of Set Theory Be Intuitionistic?Alexander Paseau - 2001 - Proceedings of the Aristotelian Society 101 (3):369–378.
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
On Adopting Kripke Semantics in Set Theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
The Intuitionistic Alternative Set Theory.K. Lano - 1993 - Annals of Pure and Applied Logic 59 (2):141-156.
Negationless Intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
Finite Sets and Natural Numbers in Intuitionistic TT.Daniel Dzierzgowski - 1996 - Notre Dame Journal of Formal Logic 37 (4):585-601.
Decidable Kripke Models of Intuitionistic Theories.Hajime Ishihara, Bakhadyr Khoussainov & Anil Nerode - 1998 - Annals of Pure and Applied Logic 93 (1-3):115-123.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
Models of Intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.

Analytics

Added to PP index
2016-06-30

Total views
18 ( #573,212 of 2,432,310 )

Recent downloads (6 months)
1 ( #466,190 of 2,432,310 )

How can I increase my downloads?

Downloads

My notes