MATHEMATICAL INFERENCE AND LOGICAL INFERENCE

DOI10.1017/S1755020317000326zbMath1434.00030OpenAlexW2784306083MaRDI QIDQ4557165

Yacin Hamami

Publication date: 29 November 2018

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020317000326

zbMATH Keywords

formalityformal prooflogical inferencegeneralitymathematical proofmathematical inferencemechanicality

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Related Items (5)

MATHEMATICAL RIGOR AND PROOF ⋮ On Vidal's trivalent explanations for defective conditional in mathematics ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF ⋮ The Significance of Relativistic Computation for the Philosophy of Mathematics ⋮ PLANS AND PLANNING IN MATHEMATICAL PROOFS

Uses Software

• Flyspeck

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• And so on \dots : reasoning with infinite diagrams
• How to think about informal proofs
• The epistemic significance of valid inference
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• Confronting ideals of proof with the ways of proving of the research mathematician
• Mathematical method and proof
• Logical constants and the glory of truth-conditional semantics
• Logical constants across varying types
• What does logic have to tell us about mathematical proofs?
• Poincaré against the logicians
• Why do informal proofs conform to formal norms?
• INFORMAL PROOF, FORMAL PROOF, FORMALISM
• Rigor and Structure
• A Problem with the Dependence of Informal Proofs on Formal Proofs
• Why Proof? What is a Proof?
• What are logical notions?
• Relevant implication
• Why Do We Prove Theorems?
• On proof and progress in mathematics
• The Derivation-Indicator View of Mathematical Practice
• On the Concept of Following Logically
• The Different Ways in which Logic is (said to be) Formal
• Mathematical Rigor--Who needs it?
• What is a proof?
• Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’
• Logicality and Invariance
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof
• Philosophy of mathematics
• Logic, logics, and logicism
• Logical operations

This page was built for publication: MATHEMATICAL INFERENCE AND LOGICAL INFERENCE