History and Philosophy of Logic 13 (2):203-213 (1992)

Abstract
Intuitionistically. a set has to be given by a finite construction or by a construction-project generating the elements of the set in the course of time. Quantification is only meaningful if the range of each quantifier is a well-circumscribed set. Thinking upon the meaning of quantification, one is led to insights?in particular, the so-called continuity principles?which are surprising from a classical point of view. We believe that such considerations lie at the basis of Brouwer?s reconstruction of mathematics. The predicate ?α is lawless? is not acceptable, the lawless sequences do not form a well-circumscribed intuitionistic set, and quantification over lawless sequences does not make sense
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445349208837203
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: 64,231
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

Analysing Choice Sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.
The Continuum Hypothesis in Intuitionism.W. Gielen, H. de Swart & W. Veldman - 1981 - Journal of Symbolic Logic 46 (1):121-136.

View all 9 references / Add more references

Citations of this work BETA

Realizing Brouwer's Sequences.Richard E. Vesley - 1996 - Annals of Pure and Applied Logic 81 (1-3):25-74.

Add more citations

Similar books and articles

Analytics

Added to PP index
2010-08-10

Total views
20 ( #540,669 of 2,455,405 )

Recent downloads (6 months)
1 ( #449,037 of 2,455,405 )

How can I increase my downloads?

Downloads

My notes