Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting

History and Philosophy of Logic 40 (2):152-181 (2018)
  Copy   BIBTEX

Abstract

The use of the three labels to denote the three foundational schools of the early twentieth century are now part of literature. Yet, neither their number nor the...

Categories

Keywords

Reprint years

2019

DOI

10.1080/01445340.2018.1504414

Links

PhilArchive



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

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

The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
Like a bee on a windowpane: Heyting's reflections on solipsism.Miriam Franchella - 1995 - Synthese 105 (2):207 - 251.
Heyting’s contribution to the change in research into the foundations of mathematics.Miriam Franchella - 1994 - History and Philosophy of Logic 15 (2):149-172.
Brouwer's Philosophy of Mathematics: Review of L. E. J. Brouwer (A. Heyting and H. Freudenthal eds.), Collected Works. [REVIEW]D. A. Gillies - 1980 - Erkenntnis 15 (1):105 - 126.
On A. A. Markov's Attitude towards Brouwer's Intuitionism.Ioannis M. Vandoulakis - 2015 - Philosophia Scientiae 19:143-158.
Brouwer's Conception of Truth.Casper Storm Hansen - 2016 - Philosophia Mathematica 24 (3):379-400.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Brouwer’s weak counterexamples and testability: Further remarks: Brouwer’s weak counterexamples and testability: Further remarks.Charles Mccarty - 2013 - Review of Symbolic Logic 6 (3):513-523.
Equity in Public Health Ethics: The Case of Menu Labelling Policy at the Local Level.Catherine L. Mah & Carol Timmings - 2015 - Public Health Ethics 8 (1):85-89.
Applications of Kripke models to Heyting-Brouwer logic.Cecylia Rauszer - 1977 - Studia Logica 36 (1-2):61 - 71.
A deductive-reductive form of logic: General theory and intuitionistic case.Piotr Łukowski - 2002 - Logic and Logical Philosophy 10:59.
Filozofia i logika intuicjonizmu.Marlena Fila - 2015 - Semina Scientiarum 14:35-48.
Les algèbres de Heyting-Brouwer et de Ł ukasiewicz trivalentes.Luisa Iturrioz - 1976 - Notre Dame Journal of Formal Logic 17 (1):119-126.
Subalgebras of Heyting and De Morgan Heyting Algebras.Valeria Castaño & Marcela Muñoz Santis - 2011 - Studia Logica 98 (1-2):123-139.
Arend Heyting and Phenomenology: Is the Meeting Feasible?Miriam Franchella - 2007 - Bulletin d'Analyse Phénoménologique (2).

Analytics

Added to PP
2018-08-21

Downloads
20 (#723,940)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

The Logical Syntax of Language.Rudolph Carnap - 1936 - Philosophical Review 46 (5):549-553.
Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..

View all 52 references / Add more references