A logic for best explanations

DOI10.1080/11663081.2019.1591108MaRDI QIDQ5379324zbMATH OpenOpenAlexFDO

Authors Jared Millson, Christian Straßer

Publication date 28 May 2019

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2019.1591108

zbMATH Keywords

abductioninference to the best explanationdefeasible reasoningsequent calculus.

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A conditional logic for abduction
• Jumping to explanations versus jumping to conclusions
• Abductively robust inference
• An epistemic and dynamic approach to abductive reasoning: selecting the best explanation
• Abduction and inference to the best explanation

Cites work

• scientific article; zbMATH DE number 1739753 (Why is no real title available?)
• scientific article; zbMATH DE number 3434896 (Why is no real title available?)
• scientific article; zbMATH DE number 1746691 (Why is no real title available?)
• scientific article; zbMATH DE number 1926653 (Why is no real title available?)
• scientific article; zbMATH DE number 877749 (Why is no real title available?)
• scientific article; zbMATH DE number 6028131 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• A Formal Logic for Abductive Reasoning
• A conditional logic for abduction
• A cut-free sequent calculus for defeasible erotetic inferences
• A logic for `because'
• Abduction as belief revision
• Abductive consequence relations
• Abductive reasoning. Logical investigations into discovery and explanation
• Advice on Abductive Logic
• Coherence measures and inference to the best explanation
• First order abduction via tableau and sequent calculi
• Jumping to explanations versus jumping to conclusions
• On constructing a logic for the notion of complete and immediate formal grounding
• Patterns of abduction
• Preferences and explanations
• Pure logic of many-many ground
• THE PURE LOGIC OF GROUND
• Testing inference to the best explanation
• Toward a theory of the process of explanation
• Unifying logics via context-sensitiveness
• Uniqueness of axiomatic extensions of cut-free classical propositional logic
• \(\mathbf{RM}\) and its nice properties

Cited in

(9)

• A conditional logic for abduction
• Formal explanations as logical derivations
• An epistemic and dynamic approach to abductive reasoning: selecting the best explanation
• Abduction and inference to the best explanation
• scientific article; zbMATH DE number 2084832 (Why is no real title available?)
• (Conceptual) explanations in logic
• Exception and typicality, logically framed
• Abductively robust inference
• Preferences and explanations

This page was built for publication: A logic for best explanations

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