Tracking reason. Proof, consequence, and truth

MaRDI QIDQ5200692zbMATH OpenFDO

Authors Jody Azzouni

Publication date 11 April 2006

zbMATH Keywords

consequencemathematical proofproofquantifierssemanticstruth

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Proof in mathematics and in logic
• The phenomenology of mathematical proof
• scientific article; zbMATH DE number 2113552
• scientific article; zbMATH DE number 2113549
• scientific article; zbMATH DE number 5000989

Cited in

(16)

• The emergence of reasons conjecture.
• Why do informal proofs conform to formal norms?
• Towards a theory of mathematical argument
• Inconsistency in natural languages
• Reliability of mathematical inference
• Informal proof, formal proof, formalism
• Figures, formulae, and functors
• Towards a theory of mathematical argument
• Degrees of validity and the logical paradoxes
• The compulsion to believe: logical inference and normativity
• Tracking reasons with extensions of relevant logics
• MATHEMATICAL RIGOR AND PROOF
• Proofs, reasoning and the metamorphosis of logic
• Informal proofs and mathematical rigour
• Formal and Natural Proof: A Phenomenological Approach
• How to make (mathematical) assertions with directives

This page was built for publication: Tracking reason. Proof, consequence, and truth

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