L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction

DOI10.1080/01445340.2016.1210986zbMATH Open1372.01108arXiv1511.01113OpenAlexW2962708765WikidataQ58518269 ScholiaQ58518269MaRDI QIDQ2963977FDOQ2963977

Authors:

Publication date: 22 February 2017

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Abstract: We present a new English translation of L.E.J. Brouwer's paper `De onbetrouwbaarheid der logische principes' (The unreliability of the logical principles) of 1908, together with a philosophical and historical introduction. In this paper Brouwer for the first time objected to the idea that the Principle of the Excluded Middle is valid. We discuss the circumstances under which the manuscript was submitted and accepted, Brouwer's ideas on the principle of the excluded middle, its consistency and partial validity, and his argument against the possibility of absolutely undecidable propositions. We note that principled objections to the general excluded middle similar to Brouwer's had been advanced in print by Jules Molk two years before. Finally, we discuss the influence on George Griss' negationless mathematics.

Full work available at URL: https://arxiv.org/abs/1511.01113

Recommendations

• « Que les principes de la logique ne sont pas fiables » : Nouvelle traduction française annotée et commentée de l'article de 1908 de L. E. J. Brouwer
• L. E. J. Brouwer: Toward intuitionistic logic
• scientific article; zbMATH DE number 938475
• scientific article; zbMATH DE number 5520283
• Undetachability of Propositional Content and Its Process of Construction
• On some aspects of Brouwer's logic (1929) (publication, translation from the French and comments by M. M. Novoselov)
• L. E. J. Brouwer: Intuitionism
• On the logic of Mr. Brouwer (1928) (publication, translation from the French and comments by M. M. Novoselov)
• Rosenkranz's logic of justification and unprovability
• On Brouwer's criticism of classical logic and mathematics

zbMATH Keywords

intuitionism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03)

Cites Work

• The selected correspondence of L. E. J. Brouwer.
• Essays on Gödel's reception of Leibniz, Husserl, and Brouwer
• Constructions, proofs and the meaning of logical constants
• Problems and riddles: Hilbert and the du Bois-Reymonds
• Judgement and the epistemic foundation of logic
• A treatise on universal algebra. With applications
• « Que les principes de la logique ne sont pas fiables » : Nouvelle traduction française annotée et commentée de l'article de 1908 de L. E. J. Brouwer

Cited In (12)

• Proof vs Provability: On Brouwer’s Time Problem
• Shaping the enemy: foundational labelling by L.E.J. Brouwer and A. Heyting
• Weyl and Intuitionistic Infinitesimals
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• Recent progress on quasi-periodic lattice Schrödinger operators and Hamiltonian PDEs
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Intuitionism: an inspiration?
• The neglect of epistemic considerations in logic: the case of epistemic assumptions
• « Que les principes de la logique ne sont pas fiables » : Nouvelle traduction française annotée et commentée de l'article de 1908 de L. E. J. Brouwer
• Eliminating disjunctions by disjunction elimination
• On some aspects of Brouwer's logic (1929) (publication, translation from the French and comments by M. M. Novoselov)
• On the logic of Mr. Brouwer (1928) (publication, translation from the French and comments by M. M. Novoselov)

This page was built for publication: L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2963977)