Conceptions of truth in intuitionism

DOI10.1080/014453401625669MaRDI QIDQ3160445zbMATH OpenOpenAlexWikidataFDO

Authors Raatikainen, Panu

Publication date 9 February 2005

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

Full work available at URL https://philarchive.org/rec/RAACOT

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• On A neglected path to intuitionism
• scientific article; zbMATH DE number 6131416
• Sublunary intuitionism
• Anti-realist truth and truth-recognition
• Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics

Cites work

• Constructions, proofs and the meaning of logical constants
• Heyting’s contribution to the change in research into the foundations of mathematics
• Intuitionistic views on the nature of mathematics

Cited in

(18)

• From the knowability paradox to the existence of proofs
• Structuring co-constructive logic for proofs and refutations
• The priority of arithmetical truth over arithmetical provability
• On A neglected path to intuitionism
• Informational semantics, non-deterministic matrices and feasible deduction
• Antirealism and universal knowability
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• scientific article; zbMATH DE number 6131416 (Why is no real title available?)
• Brouwer's Conception of Truth
• scientific article; zbMATH DE number 5060067 (Why is no real title available?)
• On the possibility of a substantive theory of truth
• A Pragmatic-Semiotic Defence of Bivalence
• An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper
• Truth as an epistemic notion
• Intuitionistic truth
• On the philosophy and mathematics of the logics of formal inconsistency
• Consistency, truth and ontology
• Sublunary intuitionism

This page was built for publication: Conceptions of truth in intuitionism

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