Intuitionism

&
In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 511–530 (2006)
  Copy   BIBTEX

Abstract

This chapter contains sections titled: Logic: The Proof Interpretation Analysis: Choice Sequences Further Semantics.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9780470996751   9780631216711

DOI

10.1002/9780470996751.ch33

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Mathematical Intuitionism.Carl J. Posy - 2020 - Cambridge University Press.
Book Review: Mark van Atten. On Brouwer. [REVIEW]O. Bradley Bassler - 2006 - Notre Dame Journal of Formal Logic 47 (4):581-599.
Mark Van atten. Brouwer meets Husserl: On the phenomenology of choice sequences.Miriam Franchella - 2008 - Philosophia Mathematica 16 (2):276-281.
Intuitionism and philosophy.Carl Posy - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. pp. 319--355.
Comment on David Kaspar's Intuitionism.Moti Mizrahi - 2015 - Reason Papers 37 (2):26-35.
Pragmatic and dialogic interpretations of bi-intuitionism. Part 1.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2014 - Logic and Logical Philosophy 23 (4):449-480.
One Hundred Years of Intuitionism : The Cerisy Conference.Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann - 2008 - Birkhäuser Basel.
Intuitionism.David Kaspar - 2012 - New York: Continuum.
Projections of lawless sequences.D. Van Dalen & A. S. Troelstra - 1970 - In A. Kino, John Myhill & Richard Eugene Vesley (eds.), Intuitionism and proof theory. Amsterdam,: North-Holland Pub. Co..
Against Against Intuitionism.Dirk Schlimm - 2005 - Synthese 147 (1):171-188.
Proof vs Provability: On Brouwer’s Time Problem.Palle Yourgrau - 2020 - History and Philosophy of Logic 41 (2):140-153.
An Examination of Ethical Intuitionism. 이대희 - 2022 - Journal of the New Korean Philosophical Association 108:109-148.
Free Choice Sequences: A Temporal Interpretation Compatible with Acceptance of Classical Mathematics.Saul Kripke - 2019 - Indagationes Mathematicae 30 (3):492-499.
Intuitionism and subjectivism.Mark T. Nelson - 1991 - Metaphilosophy 22 (1-2):115-121.
On A. A. Markov's Attitude towards Brouwer's Intuitionism.Ioannis M. Vandoulakis - 2015 - Philosophia Scientiae 19:143-158.

Analytics

Added to PP
2023-06-15

Downloads
7 (#1,378,468)

6 months
6 (#508,473)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dirk Van Dalen
Utrecht University
Mark van Atten
Centre National de la Recherche Scientifique

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references