On brouwer's definition of unextendable order

History and Philosophy of Logic 1 (1-2):139-149 (1980)
  Copy   BIBTEX

Abstract

It is argued that the tensed theory of the creative subject provides a natural formulation of the logic underlying Brouwer's notion of unextendable order and explains the link between that notion and virtual order. The tensed theory of the creative subject is also shown to be a useful tool for interpreting recent evidence about the stages of Brouwer's thinking concerning these two notions of order

Other Versions

No versions found

Links

PhilArchive



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

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
2010-08-10

Downloads
34 (#642,736)

6 months
6 (#809,985)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.
Brouwer versus Hilbert: 1907–1928.J. Posy Carl - 1998 - Science in Context 11 (2):291-325.
Brouwer's equivalence between virtual and inextensible order.Enrico Martino - 1988 - History and Philosophy of Logic 9 (1):57-66.

Add more citations

References found in this work

Symbolic logic.Clarence Irving Lewis - 1959 - [New York]: Dover Publications. Edited by Cooper Harold Langford.
Symbolic logic.Frederic Brenton Fitch - 1952 - New York,: Ronald Press Co..
Varieties of indeterminacy in the theory of general choice sequences.Carl J. Posy - 1976 - Journal of Philosophical Logic 5 (1):91 - 132.
Brouwer's constructivism.Carl J. Posy - 1974 - Synthese 27 (1-2):125 - 159.
The theory of empirical sequences.Carl J. Posy - 1977 - Journal of Philosophical Logic 6 (1):47 - 81.

Add more references