Mathematical reasoning vs. abductive reasoning: A structural approach

DOI10.1023/A:1022127429205zbMATH Open1031.03051OpenAlexW2043021547MaRDI QIDQ1408652FDOQ1408652

Authors: Atocha Aliseda 

Publication date: 25 September 2003

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022127429205

Recommendations

• The parallel structure of mathematical reasoning
• Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
• The Logical Structure of Computer-Aided Mathematical Reasoning

zbMATH Keywords

logical inferencenonmonotonic logiclogical consequenceabductive reasoningconsistent abductionlogical structural rules

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Logic in artificial intelligence (68T27) Philosophy of mathematics (00A30)

Cited In (4)

• An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution
• Five theories of reasoning: interconnections and applications to mathematics
• A Mathematical Model of Deductive and Non-Deductive Inferences
• Structural rules for abduction

This page was built for publication: Mathematical reasoning vs. abductive reasoning: A structural approach

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