View in EDS HTML Full Text PDF Full Text

(Conceptual) explanations in logic.

Saved in:
Bibliographic Details
Title: (Conceptual) explanations in logic.
Authors: Poggiolesi, Francesca1 (AUTHOR)
Source: Journal of Logic & Computation. Jun2025, Vol. 35 Issue 4, p1-32. 32p.
Subjects: Athletic fields, Data analytics, Abduction, Philosophers, Calculus
Abstract: To explain phenomena in the world is a central human activity and one of the main goals of rational inquiry. There are several types of explanation: one can explain by drawing an analogy, as one can explain by dwelling on the causes (see e.g. see [Woodward (2004, Making Things Happen: A Theory of Causal Explanation. Oxford University Press, Oxford)]. Amongst these different kinds of explanation, in the last decade, philosophers have become receptive to those explanations that explain by providing the reasons (or the grounds) why a statement is true; these explanations are often called conceptual explanations (e.g. see [Betti (2010, Explanation in metaphysics and Bolzano's theory of ground and consequence. Logique et analyse, 211:281316)]). The main aim of the paper is to propose a logical account of conceptual explanations. We will do so by using the resources of proof theory, in particular sequent rules analogous to deep inferences ([e.g. see Brunnler (2004, Deep Inference and Symmetry in Classical Proofs. Logoc Verlag)]). The results we provide not only shed light on conceptual explanations themselves, but also on the role that logic and logical tools might play in the burgeoning field of inquiry concerning explanations. Indeed, we conclude the paper by underlining interesting links between the present research and some other existing works on explanations and logic that have arise in recent years, e.g. see [Arieli et al. (2022, Explainable logic-based argumentation. Computational Models of Argument , 353:3243); Darwiche and Hirth (2023, On the (complete) reasons behind decisions. Journal of Logic Language and Information , 32:6388); Piazza, Pulcini, and Sabatini (2023, Abduction as deductive saturation: a proof-theoretic inquiry. Journal of Philosophical Logic , 52:15751602)]. For here it is for the empirical scientist to know the fact and for the mathematical to know the reason why (our emphasis) [Aristotle (1993, Posterior Analytics. Oxford University Press, Oxford)]. [ABSTRACT FROM AUTHOR]
Copyright of Journal of Logic & Computation is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
Full text is not displayed to guests.
FullText Links:
  – Type: pdflink
Text:
  Availability: 1
Header DbId: egs
DbLabel: Engineering Source
An: 186060215
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: (Conceptual) explanations in logic.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Poggiolesi%2C+Francesca%22">Poggiolesi, Francesca</searchLink><relatesTo>1</relatesTo> (AUTHOR)
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Journal+of+Logic+%26+Computation%22">Journal of Logic & Computation</searchLink>. Jun2025, Vol. 35 Issue 4, p1-32. 32p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Athletic+fields%22">Athletic fields</searchLink><br /><searchLink fieldCode="DE" term="%22Data+analytics%22">Data analytics</searchLink><br /><searchLink fieldCode="DE" term="%22Abduction%22">Abduction</searchLink><br /><searchLink fieldCode="DE" term="%22Philosophers%22">Philosophers</searchLink><br /><searchLink fieldCode="DE" term="%22Calculus%22">Calculus</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: To explain phenomena in the world is a central human activity and one of the main goals of rational inquiry. There are several types of explanation: one can explain by drawing an analogy, as one can explain by dwelling on the causes (see e.g. see [Woodward (2004, Making Things Happen: A Theory of Causal Explanation. Oxford University Press, Oxford)]. Amongst these different kinds of explanation, in the last decade, philosophers have become receptive to those explanations that explain by providing the reasons (or the grounds) why a statement is true; these explanations are often called conceptual explanations (e.g. see [Betti (2010, Explanation in metaphysics and Bolzano's theory of ground and consequence. Logique et analyse, 211:281316)]). The main aim of the paper is to propose a logical account of conceptual explanations. We will do so by using the resources of proof theory, in particular sequent rules analogous to deep inferences ([e.g. see Brunnler (2004, Deep Inference and Symmetry in Classical Proofs. Logoc Verlag)]). The results we provide not only shed light on conceptual explanations themselves, but also on the role that logic and logical tools might play in the burgeoning field of inquiry concerning explanations. Indeed, we conclude the paper by underlining interesting links between the present research and some other existing works on explanations and logic that have arise in recent years, e.g. see [Arieli et al. (2022, Explainable logic-based argumentation. Computational Models of Argument , 353:3243); Darwiche and Hirth (2023, On the (complete) reasons behind decisions. Journal of Logic Language and Information , 32:6388); Piazza, Pulcini, and Sabatini (2023, Abduction as deductive saturation: a proof-theoretic inquiry. Journal of Philosophical Logic , 52:15751602)]. For here it is for the empirical scientist to know the fact and for the mathematical to know the reason why (our emphasis) [Aristotle (1993, Posterior Analytics. Oxford University Press, Oxford)]. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Journal of Logic & Computation is the property of Oxford University Press / USA and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=186060215
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1093/logcom/exae064
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 32
        StartPage: 1
    Subjects:
      – SubjectFull: Athletic fields
        Type: general
      – SubjectFull: Data analytics
        Type: general
      – SubjectFull: Abduction
        Type: general
      – SubjectFull: Philosophers
        Type: general
      – SubjectFull: Calculus
        Type: general
    Titles:
      – TitleFull: (Conceptual) explanations in logic.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Poggiolesi, Francesca
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 06
              Text: Jun2025
              Type: published
              Y: 2025
          Identifiers:
            – Type: issn-print
              Value: 0955792X
          Numbering:
            – Type: volume
              Value: 35
            – Type: issue
              Value: 4
          Titles:
            – TitleFull: Journal of Logic & Computation
              Type: main
ResultId 1