Mathematical reasoning vs. abductive reasoning: A structural approach

DOI10.1023/A:1022127429205MaRDI QIDQ1408652zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cited in

(4)

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

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)