The Intuitionistic Critique of the Law of Excluded Middle: From Brouwer to Lorenzen

Dissertation, Boston University Graduate School (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Generalizations of the Weak Law of the Excluded Middle.Andrea Sorbi & Sebastiaan A. Terwijn - 2015 - Notre Dame Journal of Formal Logic 56 (2):321-331.
Zasada wyłączonego środka a logika intuicjonistyczna.Bożena Czernecka - 2000 - Filozofia Nauki 3.
Review: Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mangelberg, Jean van Heijenoort, On the Significance of the Principle of Excluded Middle in Mathematics, Especially in Function Theory; Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mengelberg, On the Domains of Definition of Functions; Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mangelberg, Intuitionistic Reflections on Formalism. [REVIEW]Joan Rand Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):332-333.
Intuitionistic modal logics incompatible with the law of the excluded middle.Dimiter Vakarelov - 1981 - Studia Logica 40 (2):103 - 111.
The law of excluded middle and intuitionistic logic.Piotr Ukowski - 1998 - Logica Trianguli 2:73-86.
The Law of Excluded Middle and the Problem of Idealism.Marian Przełecki - 1982 - Grazer Philosophische Studien 18 (1):1-16.
The axiom of choice and the law of excluded middle in weak set theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
Excluded middle.Hugh S. Chandler - 1967 - Journal of Philosophy 64 (24):807-814.
Constructive Logic and the Medvedev Lattice.Sebastiaan A. Terwijn - 2006 - Notre Dame Journal of Formal Logic 47 (1):73-82.
Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.
Wittgenstein and Brouwer.Mathieu Marion - 2003 - Synthese 137 (1-2):103 - 127.
Brouwer's Cambridge lectures on intuitionism.Luitzen Egbertus Jan Brouwer - 1981 - New York: Cambridge University Press. Edited by D. van Dalen.
Why anti-realists and classical mathematicians cannot get along.Stewart Shapiro - 2001 - Topoi 20 (1):53-63.
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective.Wim Veldman - 2008 - Journal of Symbolic Logic 73 (1):1-64.

Analytics

Added to PP
2015-02-05

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references