Jared A. Millson
Rhodes College
Efforts to formalize qualitative accounts of inference to the best explanation (IBE) confront two obstacles: the imprecise nature of such accounts and the unusual logical properties that explanations exhibit, such as contradiction-intolerance and irreflexivity. This paper aims to surmount these challenges by utilising a new, more precise theory that treats explanations as expressions that codify defeasible inferences. To formalise this account, we provide a sequent calculus in which IBE serves as an elimination rule for a connective that exhibits many of the properties associated with the behaviour of the English expression ‘That... best explains why ... ’. We first construct a calculus that encodes these properties at the level of the turnstile, i.e. as a metalinguistic expression for classes of defeasible consequence relations. We then show how this calculus can be conservatively extended over a language that contains a best-explains-why operator.
Keywords abductive inference  inference to the best explanation  defeasible reasoning  explanation  nonmonotonic logic
Categories (categorize this paper)
Reprint years 2019
DOI 10.1080/11663081.2019.1591108
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,735
Through your library

References found in this work BETA

Philosophy of Natural Science.Carl Gustav Hempel - 1966 - Englewood Cliffs, N.J., Prentice-Hall.

View all 68 references / Add more references

Citations of this work BETA

Characterizing Generics Are Material Inference Tickets: A Proof-Theoretic Analysis.Preston Stovall - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy:1-37.

Add more citations

Similar books and articles


Added to PP index

Total views
76 ( #136,012 of 2,432,571 )

Recent downloads (6 months)
12 ( #55,692 of 2,432,571 )

How can I increase my downloads?


My notes