A Dialogical Account of the Intersubjectivity of Intuitionism

DOI10.1007/978-3-030-21313-8_4zbMath1469.03021OpenAlexW2980440808MaRDI QIDQ3305646

Clément Lion

Publication date: 10 August 2020

Published in: Constructive Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-21313-8_4

zbMATH Keywords

Turing machinedialogical logicintuitionismintersubjectivitycreating subjectactual/potentialdeicticsfree choice sequencesoccasional expressionsphenomenological reductiontranscendental subject

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55)

Cites Work

• Brouwer meets Husserl. On the phenomenology of choice sequences
• Constructivism in mathematics. An introduction. Volume II
• Immanent reasoning or equality in action. A plaidoyer for the play level
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• Arguments for the Continuity Principle
• Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item