Tracking reason. Proof, consequence, and truth

MaRDI QIDQ5200692zbMATH OpenFDO

Authors Jody Azzouni

Publication date 11 April 2006

zbMATH Keywords

semanticstruthquantifiersproofconsequencemathematical proof

Mathematics Subject Classification ID

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

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

(15)

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

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)