Should the logic of set theory be intuitionistic?

Proceedings of the Aristotelian Society 101 (3):369–378 (2001)
  Copy   BIBTEX

Abstract

It is commonly assumed that classical logic is the embodiment of a realist ontology. In “Sets and Semantics”, however, Jonathan Lear challenged this assumption in the particular case of set theory, arguing that even if one is a set-theoretic Platonist, due attention to a special feature of set theory leads to the conclusion that the correct logic for it is intuitionistic. The feature of set theory Lear appeals to is the open-endedness of the concept of set. This article advances reasons internal to Lear’s account to show that his argument for intuitionistic set theory is unsuccessful.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
104 (#203,486)

6 months
10 (#399,629)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

A. C. Paseau
University of Oxford

References found in this work

The meaning of 'meaning'.Hilary Putnam - 1975 - Minnesota Studies in the Philosophy of Science 7:131-193.
Naming and Necessity.Saul Kripke - 1980 - Philosophy 56 (217):431-433.
Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.
Realism in mathematics.Penelope Maddy - 1990 - New York: Oxford University Prress.
Frege.Michael Dummett - 1975 - Teorema: International Journal of Philosophy 5 (2):149-188.

View all 22 references / Add more references