Tracking reason. Proof, consequence, and truth

zbMATH Open1094.03002MaRDI QIDQ5200692FDOQ5200692

Authors: Jody Azzouni 

Publication date: 11 April 2006

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

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)

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
• Proofs, reasoning and the metamorphosis of logic
• Towards a theory of mathematical argument
• Why do informal proofs conform to formal norms?
• Reliability of mathematical inference
• Tracking reasons with extensions of relevant logics
• Formal and Natural Proof: A Phenomenological Approach
• The emergence of reasons conjecture.

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)