scientific article; zbMATH DE number 1301804

MaRDI QIDQ4247022zbMATH OpenFDO

Authors Dag Prawitz

Publication date 13 December 1999

zbMATH Keywords

constructive approach to truthintuitionismmathematical formalismrealismtruth in mathematicsverificationism

Mathematics Subject Classification ID

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

Recommendations

• Truth through proof. A formalist foundation for mathematics
• Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)
• WITTGENSTEIN AND STRONG MATHEMATICAL VERIFICATIONISM
• scientific article; zbMATH DE number 3311729

Cited in

(10)

• On reduction rules, meaning-as-use, and proof-theoretic semantics
• Anti-realist truth and truth-recognition
• Truth from a proof-theoretic perspective
• Truth through proof. A formalist foundation for mathematics
• Objectivity and truth in mathematics: a sober non-Platonist perspective
• A new framework for justification logic
• scientific article; zbMATH DE number 7157611 (Why is no real title available?)
• scientific article; zbMATH DE number 972383 (Why is no real title available?)
• From the knowability paradox to the existence of proofs
• On Dummett's pragmatist justification procedure

This page was built for publication:

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