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

Links

PhilArchive



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

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

Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Brouwer's Incomplete Objects.Joop Niekus - 2010 - History and Philosophy of Logic 31 (1):31-46.
Brouwer, as never read by Husserl.Mark van Atten - 2003 - Synthese 137 (1-2):3-19.
Brouwer's Cambridge lectures on intuitionism.Luitzen Egbertus Jan Brouwer - 1981 - New York: Cambridge University Press. Edited by D. van Dalen.
Wittgenstein and Brouwer.Mathieu Marion - 2003 - Synthese 137 (1-2):103 - 127.
Brouwer's equivalence between virtual and inextensible order.Enrico Martino - 1988 - History and Philosophy of Logic 9 (1):57-66.

Analytics

Added to PP
2010-08-10

Downloads
26 (#595,031)

6 months
4 (#790,687)

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 - 1932 - [New York]: Dover Publications. Edited by Cooper Harold Langford.
Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
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.

View all 6 references / Add more references