Mathematical inference and logical inference
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 2127501 (Why is no real title available?)
- scientific article; zbMATH DE number 2134014 (Why is no real title available?)
- scientific article; zbMATH DE number 3122413 (Why is no real title available?)
- scientific article; zbMATH DE number 5505771 (Why is no real title available?)
- scientific article; zbMATH DE number 53302 (Why is no real title available?)
- scientific article; zbMATH DE number 1088190 (Why is no real title available?)
- scientific article; zbMATH DE number 2018391 (Why is no real title available?)
- scientific article; zbMATH DE number 1748585 (Why is no real title available?)
- scientific article; zbMATH DE number 194754 (Why is no real title available?)
- scientific article; zbMATH DE number 3442061 (Why is no real title available?)
- scientific article; zbMATH DE number 767007 (Why is no real title available?)
- scientific article; zbMATH DE number 873321 (Why is no real title available?)
- scientific article; zbMATH DE number 3249761 (Why is no real title available?)
- scientific article; zbMATH DE number 3311729 (Why is no real title available?)
- scientific article; zbMATH DE number 3062910 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
- A problem with the dependence of informal proofs on formal proofs
- Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’
- And so on \dots : reasoning with infinite diagrams
- Confronting ideals of proof with the ways of proving of the research mathematician
- Dense sphere packings. A blueprint for formal proofs
- How to think about informal proofs
- Informal proof, formal proof, formalism
- Logic, logics, and logicism
- Logical constants across varying types
- Logical constants and the glory of truth-conditional semantics
- Logical operations
- Logicality and Invariance
- Mathematical Rigor--Who needs it?
- Mathematical method and proof
- On proof and progress in mathematics
- On the Concept of Following Logically
- Philosophy of mathematics
- Poincaré against the logicians
- Psychological nature of verification of informal mathematical proofs
- Relevant implication
- Rigor and structure
- The Derivation-Indicator View of Mathematical Practice
- The bounds of logic. A generalized viewpoint
- The different ways in which logic is (said to be) formal
- The epistemic significance of valid inference
- The informal logic of mathematical proof
- The relationship of derivations in artificial languages to ordinary rigorous mathematical proof
- What are logical notions?
- What does logic have to tell us about mathematical proofs?
- What is a proof?
- Why Do We Prove Theorems?
- Why do informal proofs conform to formal norms?
- Why proof? What is a proof?
- ``Inference versus consequence revisited: inference, consequence, conditional, implication
Cited in
(19)- Through an inference rule, darkly
- Inductive Inference and Reverse Mathematics
- On Vidal's trivalent explanations for defective conditional in mathematics
- The informal logic of mathematical proof
- Mathematical theory of truth-valued flow inference
- Managing Informal Mathematical Knowledge: Techniques from Informal Logic
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
- Mathematical rigor, proof gap and the validity of mathematical inference
- MATHEMATICAL RIGOR AND PROOF
- The compulsion to believe: logical inference and normativity
- A metaphysical foundation for mathematical philosophy
- Plans and planning in mathematical proofs
- Logical analysis of ratio inference by children
- Is there still a sense in which mathematics can have foundations?
- The significance of relativistic computation for the philosophy of mathematics
- Proof in mathematics and in logic
- The phenomenology of second-level inference: perfumes in the deductive garden
- Deducing false propositions from true ideas: Nieuwentijt on mathematical reasoning
- How to think about informal proofs
This page was built for publication: Mathematical inference and logical inference
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4557165)
