Like a bee on a windowpane: Heyting's reflections on solipsism

Synthese 105 (2):207 - 251 (1995)
  Copy   BIBTEX

Abstract

This paper presents the content of the unpublished notes that the Dutch mathematician Arend Heyting wrote in different periods of his life on solipsism and that are preserved in Heyting's archive at the University of Amsterdam. Most of the notes are quoted here and translated into English. Their study shows the originality of Heyting's reflections on a subject that was typical of his master, L. E. J. Brouwer, the father of intuitionism.

Categories

Keywords

Reprint years

DOI

10.1007/bf01064219

Other Versions

No versions found

Links

PhilArchive



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

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

An embodied theorisation: Arend Heyting's hypothesis about how the self separates from the outer world finds confirmation.Miriam Franchella - 2023 - Theoria 89 (5):660-670.
On A. A. Markov's Attitude towards Brouwer's Intuitionism.Ioannis M. Vandoulakis - 2015 - Philosophia Scientiae 19:143-158.
L. E. J. Brouwer. On the foundations of mathematics. English translation of 1551, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 13–101, 565–569. - L. E. J. Brouwer. Die möglichen Mächtigkeiten. A reprint of 1554, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 102-104, 569. - L. E. J. Brouwer. On the foundations of mathematics. Partial English translation of 1553, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics, edited by A. Heyting, North-Holland Publishing Company, Amsterdam and Oxfor. [REVIEW]Joan Rand Moschovakis - 1979 - Journal of Symbolic Logic 44 (2):271-275.
Connecting the revolutionary with the conventional: Rethinking the differences between the works of Brouwer, Heyting, and Weyl.Kati Kish Bar-On - 2023 - Philosophy of Science 90 (3):580–602.
The law of excluded middle and intuitionistic logic.Piotr Ukowski - 1998 - Logica Trianguli 2:73-86.
Brouwer’s Argument for the Unity of Scientific Theories.Mark van Atten - 2002 - Vienna Circle Institute Yearbook 9:95-102.
What is Intuitionistic Arithmetic?V. Alexis Peluce - 2024 - Erkenntnis 89 (8):3351-3376.
La fundamentación intuicionista de la matemática.Arend Heyting - 2020 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 10 (2):73--78.
Proof that Intuitionistic Logic is not Three-Valued.Micah Phillips-Gary - 2021 - The Hemlock Papers 18:4-14.
On Kreisel's notion of validity in post systems.Dov M. Gabbay - 1976 - Studia Logica 35 (3):285 - 295.

Analytics

Added to PP
2009-01-28

Downloads
65 (#325,365)

6 months
9 (#482,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem.Mark van Atten & Göran Sundholm - 2008 - In Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann (eds.), One Hundred Years of Intuitionism : The Cerisy Conference. Birkhäuser Basel. pp. 60-77.
Mathematics and society reunited: The social aspects of Brouwer's intuitionism.Kati Kish Bar-On - 2024 - Studies in History and Philosophy of Science Part A 108 (C):28-37.

Add more citations

References found in this work

How to do things with words.John L. Austin - 1962 - Oxford [Eng.]: Clarendon Press. Edited by Marina Sbisá & J. O. Urmson.
Tractatus Logico-Philosophicus (trans. Pears and McGuinness).Ludwig Wittgenstein - 1921 - New York,: Routledge. Edited by Luciano Bazzocchi & P. M. S. Hacker.
The Problems of Philosophy.Bertrand Russell - 1912 - Portland, OR: Home University Library.
Objective knowledge: an evolutionary approach.Karl Raimund Popper - 1972 - New York: Oxford University Press.
Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.

View all 25 references / Add more references