L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction
From MaRDI portal
Publication:2963977
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)
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.
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
Cites work
- A treatise on universal algebra. With applications
- Constructions, proofs and the meaning of logical constants
- Essays on Gödel's reception of Leibniz, Husserl, and Brouwer
- Judgement and the epistemic foundation of logic
- Problems and riddles: Hilbert and the du Bois-Reymonds
- The selected correspondence of L. E. J. Brouwer.
- « 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
- Weyl and Intuitionistic Infinitesimals
- Shaping the enemy: foundational labelling by L.E.J. Brouwer and A. Heyting
- 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
- Eliminating disjunctions by disjunction elimination
- « 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
- 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)
