<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-05094584</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-14T14:58:13+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Explaining with reasons: from Aristotle to machine learning classifiers</title>
            <author role="aut">
              <persName>
                <forename type="first">Brian</forename>
                <surname>Hill</surname>
              </persName>
              <email type="md5">10df98e99d0c41aab85b66c282aac8e0</email>
              <email type="domain">hec.fr</email>
              <idno type="idhal" notation="string">brian-hill</idno>
              <idno type="idhal" notation="numeric">171109</idno>
              <idno type="halauthorid" notation="string">28067-171109</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9757-120X</idno>
              <idno type="IDREF">https://www.idref.fr/109977807</idno>
              <affiliation ref="#struct-108894"/>
              <affiliation ref="#struct-441569"/>
              <affiliation ref="#struct-1738"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Francesca</forename>
                <surname>Poggiolesi</surname>
              </persName>
              <email type="md5">73e39edf28280356b65a2a0b445a2ca5</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">francesca-poggiolesi</idno>
              <idno type="idhal" notation="numeric">746359</idno>
              <idno type="halauthorid" notation="string">11359-746359</idno>
              <affiliation ref="#struct-1064581"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Francesca</forename>
                <surname>Poggiolesi</surname>
              </persName>
              <email type="md5">73e39edf28280356b65a2a0b445a2ca5</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-06-03 09:18:03</date>
              <date type="whenModified">2026-03-02 21:06:45</date>
              <date type="whenReleased">2025-06-04 08:20:39</date>
              <date type="whenProduced">2025</date>
              <date type="whenEndEmbargoed">2025-06-03</date>
              <ref type="file" target="https://hal.science/hal-05094584v1/document">
                <date notBefore="2025-06-03"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-05094584v1/file/reasonsanddecisions5%20with%20names.pdf" id="file-5094584-4406047">
                <date notBefore="2025-06-03"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="180256">
                <persName>
                  <forename>Francesca</forename>
                  <surname>Poggiolesi</surname>
                </persName>
                <email type="md5">73e39edf28280356b65a2a0b445a2ca5</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-05094584</idno>
            <idno type="halUri">https://hal.science/hal-05094584</idno>
            <idno type="halBibtex">hill:hal-05094584</idno>
            <idno type="halRefHtml">&lt;i&gt;The review of symbolic logic&lt;/i&gt;, 2025, 15 (4), pp.1068-1089</idno>
            <idno type="halRef">The review of symbolic logic, 2025, 15 (4), pp.1068-1089</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-5094584-4406047"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="SHS">Sciences de l'Homme et de la Société</idno>
            <idno type="stamp" n="UNIV-PARIS1">Université Panthéon-Sorbonne - Paris I</idno>
            <idno type="stamp" n="HEC">HEC Paris</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="IHPST" corresp="UNIV-PARIS1">Institut d'Histoire et de Philosophie des Sciences et des Techniques</idno>
            <idno type="stamp" n="AO-PHILOSOPHIE">Archives ouvertes de la Philosophie</idno>
            <idno type="stamp" n="HIPHISCITECH">Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Explaining with reasons: from Aristotle to machine learning classifiers</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Brian</forename>
                    <surname>Hill</surname>
                  </persName>
                  <email type="md5">10df98e99d0c41aab85b66c282aac8e0</email>
                  <email type="domain">hec.fr</email>
                  <idno type="idhal" notation="string">brian-hill</idno>
                  <idno type="idhal" notation="numeric">171109</idno>
                  <idno type="halauthorid" notation="string">28067-171109</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9757-120X</idno>
                  <idno type="IDREF">https://www.idref.fr/109977807</idno>
                  <affiliation ref="#struct-108894"/>
                  <affiliation ref="#struct-441569"/>
                  <affiliation ref="#struct-1738"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Francesca</forename>
                    <surname>Poggiolesi</surname>
                  </persName>
                  <email type="md5">73e39edf28280356b65a2a0b445a2ca5</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">francesca-poggiolesi</idno>
                  <idno type="idhal" notation="numeric">746359</idno>
                  <idno type="halauthorid" notation="string">11359-746359</idno>
                  <affiliation ref="#struct-1064581"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">62914</idno>
                <idno type="issn">1755-0203</idno>
                <title level="j">The review of symbolic logic</title>
                <imprint>
                  <publisher>Cambridge University Press</publisher>
                  <biblScope unit="volume">15</biblScope>
                  <biblScope unit="issue">4</biblScope>
                  <biblScope unit="pp">1068-1089</biblScope>
                  <date type="datePub">2025</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="shs.phil">Humanities and Social Sciences/Philosophy</classCode>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>&lt;div&gt;&lt;p&gt;Explanations, and in particular explanations which provide the reasons why their conclusion is true, are a central object in a range of fields. On the one hand, there is a long and illustrious philosophical tradition, which starts from Aristotle, and passes through scholars such as Leibniz, Bolzano and Frege, that give pride of place to this type of explanations, and is rich with brilliant and profound intuitions. Recently, Poggiolesi (2024a) has formalized ideas coming from this tradition using logical tools of proof theory. On the other hand, recent work has focused on Boolean circuits that compile some common machine learning classifiers and have the same input-output behavior. In this framework, Darwiche and Hirth ( 2023) have proposed a theory for unveiling the reasons behind the decisions made by Boolean classifiers, and they have studied their theoretical implications. In this paper, we uncover the deep links behind these two trends, demonstrating that the proof-theoretic tools introduced by Poggiolesi provide reasons for decisions, in the sense of Darwiche and Hirth (2023). We discuss the conceptual as well as the technical significance of this result.&lt;/p&gt;&lt;/div&gt;</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-108894" status="OLD">
          <orgName>HEC Paris - Recherche - Hors Laboratoire</orgName>
          <desc>
            <address>
              <addrLine>1 rue de la Libération 78351 Jouy en Josas Cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-105633" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-1738" status="VALID">
          <idno type="RNSR">200619325J</idno>
          <idno type="ROR">01y766z47</idno>
          <orgName>Groupement de Recherche et d'Etudes en Gestion à HEC</orgName>
          <orgName type="acronym">GREGH</orgName>
          <date type="start">2004-01-01</date>
          <desc>
            <address>
              <addrLine>1, avenue de la Libération 78351 JOUY EN JOSAS CEDEX</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-105633" type="direct"/>
            <relation name="UMR2959 / FRE2810" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1064581" status="VALID">
          <idno type="IdRef">031896634</idno>
          <idno type="RNSR">199812918E</idno>
          <idno type="ROR">02nnpw434</idno>
          <orgName>Institut d'Histoire et de Philosophie des Sciences et des Techniques</orgName>
          <orgName type="acronym">IHPST</orgName>
          <date type="start">2018-12-31</date>
          <desc>
            <address>
              <addrLine>13, rue du Four 75006 PARIS</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://ihpst.pantheonsorbonne.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR8590" active="#struct-7550" type="direct"/>
            <relation name="UMR8590" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-105633" status="VALID">
          <idno type="ROR">https://ror.org/0423jsj19</idno>
          <orgName>Ecole des Hautes Etudes Commerciales</orgName>
          <orgName type="acronym">HEC Paris</orgName>
          <desc>
            <address>
              <addrLine>1, rue de la Libération - 78351 Jouy en Josas cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-7550" status="VALID">
          <idno type="IdRef">027361802</idno>
          <idno type="ISNI">000000012173743X</idno>
          <idno type="ROR">https://ror.org/002t25c44</idno>
          <orgName>Université Paris 1 Panthéon-Sorbonne</orgName>
          <orgName type="acronym">UP1</orgName>
          <desc>
            <address>
              <addrLine>12 place du Panthéon, 75231 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.pantheonsorbonne.fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>