Intuitionism, Meaning Theory and Cognition

DOI10.1080/01445340051095793zbMath1002.03516OpenAlexW4232405478WikidataQ58506987 ScholiaQ58506987MaRDI QIDQ2757999

Richard L. Tieszen

Publication date: 5 December 2001

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

Full work available at URL: https://doi.org/10.1080/01445340051095793

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructions, proofs and the meaning of logical constants
• The conveyability of intuitionism, an essay on mathematical cognition
• Strict finitism
• Constructivism in mathematics. An introduction. Volume I
• Zur Deutung der intuitionistischen Logik
• Intuitionism. An introduction. 3rd revised ed
• The philosophical Background of Weyl's Mathematical Constructivism†