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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
86 (#190,239)

6 months
7 (#350,235)

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 23 references / Add more references