Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Formal explanations as logical derivations

Formal explanations as logical derivations According to a longstanding philosophical tradition dating back to Aristotle, certain proofs do not only certify the truth of their conclusion but also explain it. Lately, much effort is being devoted to logically characterise the explanatory relation of grounding, especially by proof-theoretical means. Nevertheless, no thorough investigation of the resulting notion of formal explanation exists. We show that formal explanations can be seen as logical derivations of a particular kind and study the interactions between grounding and logical rules, formal explanations and logical derivations. We define a minimal calculus that captures both grounding and logical derivability, and show by a normalisation procedure that grounding rules are proof-theoretically balanced with respect to logical elimination rules. The introduced calculus enables us to combine logical derivations and explanations, to distinguish explanatory parts of derivations from non-explanatory parts, and to compose explanations in order to construct chains of consecutive grounding steps. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal of Applied Non-Classical Logics Taylor & Francis

Formal explanations as logical derivations

Genco, Francesco A.
Journal of Applied Non-Classical Logics , Volume 31 (3-4): 64 – Oct 2, 2021
Download PDF

Formal explanations as logical derivations

Abstract

According to a longstanding philosophical tradition dating back to Aristotle, certain proofs do not only certify the truth of their conclusion but also explain it. Lately, much effort is being devoted to logically characterise the explanatory relation of grounding, especially by proof-theoretical means. Nevertheless, no thorough investigation of the resulting notion of formal explanation exists. We show that formal explanations can be seen as logical derivations of a particular kind and...
Loading next page...
 
/lp/taylor-francis/formal-explanations-as-logical-derivations-QBHr02VFqo
Publisher
Taylor & Francis
Copyright
© 2021 Informa UK Limited, trading as Taylor & Francis Group
ISSN
1958-5780
eISSN
1166-3081
DOI
10.1080/11663081.2021.2010435
Publisher site
See Article on Publisher Site

Abstract

According to a longstanding philosophical tradition dating back to Aristotle, certain proofs do not only certify the truth of their conclusion but also explain it. Lately, much effort is being devoted to logically characterise the explanatory relation of grounding, especially by proof-theoretical means. Nevertheless, no thorough investigation of the resulting notion of formal explanation exists. We show that formal explanations can be seen as logical derivations of a particular kind and study the interactions between grounding and logical rules, formal explanations and logical derivations. We define a minimal calculus that captures both grounding and logical derivability, and show by a normalisation procedure that grounding rules are proof-theoretically balanced with respect to logical elimination rules. The introduced calculus enables us to combine logical derivations and explanations, to distinguish explanatory parts of derivations from non-explanatory parts, and to compose explanations in order to construct chains of consecutive grounding steps.

Journal

Journal of Applied Non-Classical Logics – Taylor & Francis

Published: Oct 2, 2021

Keywords: Grounding; formal explanation; classical logic; proof theory; normalisation

References

  • Explanation in metaphysics and Bolzano's theory of ground and consequence
  • Grounding and truth-functions
  • Logical grounds
  • The pure logic of ground
  • Axiomatic theories of partial ground I
  • Axiomatic theories of partial ground II
  • Debunking logical ground: distinguishing metaphysics from semantics
  • On defining the notion of complete and immediate formal grounding
  • On constructing a logic for the notion of complete and immediate formal grounding
  • Bolzano's concept of grounding (Abfolge) against the background of normal proofs
  • A logic for ‘because’
  • Ground grounded