<?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-05201869</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-15T12:55:52+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples</title>
            <author role="aut">
              <persName>
                <forename type="first">José</forename>
                <surname>Gil-Férez</surname>
              </persName>
              <idno type="halauthorid">3701389-0</idno>
              <affiliation ref="#struct-261123"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">M. Andrew</forename>
                <surname>Moshier</surname>
              </persName>
              <idno type="halauthorid">3701390-0</idno>
              <affiliation ref="#struct-261123"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alberto</forename>
                <surname>Naibo</surname>
              </persName>
              <email type="md5">8301f7618ddabf9d9f2b4719939aeb93</email>
              <email type="domain">univ-paris1.fr</email>
              <idno type="idhal" notation="string">alberto-naibo</idno>
              <idno type="idhal" notation="numeric">751296</idno>
              <idno type="halauthorid" notation="string">20299-751296</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5335-6412</idno>
              <idno type="IDREF">https://www.idref.fr/250400588</idno>
              <affiliation ref="#struct-219288"/>
              <affiliation ref="#struct-1064581"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Marco</forename>
                <surname>Panza</surname>
              </persName>
              <email type="md5">a12a5da46c277300e9e0da7eba0c102a</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">marco-panza</idno>
              <idno type="idhal" notation="numeric">183520</idno>
              <idno type="halauthorid" notation="string">104-183520</idno>
              <idno type="IDREF">https://www.idref.fr/029821703</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4131-7103</idno>
              <affiliation ref="#struct-1064581"/>
              <affiliation ref="#struct-261123"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Michel</forename>
                <surname>Salanskis</surname>
              </persName>
              <idno type="idhal" notation="numeric">1346703</idno>
              <idno type="halauthorid" notation="string">57640-1346703</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7009-8953</idno>
              <affiliation ref="#struct-104068"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Alberto</forename>
                <surname>Naibo</surname>
              </persName>
              <email type="md5">8301f7618ddabf9d9f2b4719939aeb93</email>
              <email type="domain">univ-paris1.fr</email>
            </editor>
            <funder ref="#projanr-52140"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-08-06 15:00:48</date>
              <date type="whenModified">2025-08-07 03:15:11</date>
              <date type="whenReleased">2025-08-06 15:00:48</date>
              <date type="whenProduced">2025</date>
              <ref type="externalLink" target="https://doi.org/10.4000/13yi2"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="190395">
                <persName>
                  <forename>Alberto</forename>
                  <surname>Naibo</surname>
                </persName>
                <email type="md5">8301f7618ddabf9d9f2b4719939aeb93</email>
                <email type="domain">univ-paris1.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-05201869</idno>
            <idno type="halUri">https://hal.science/hal-05201869</idno>
            <idno type="halBibtex">gilferez:hal-05201869</idno>
            <idno type="halRefHtml">&lt;i&gt;Philosophia Scientiae&lt;/i&gt;, 2025, 29-2, pp.93-127. &lt;a target="_blank" href="https://dx.doi.org/10.4000/13yi2"&gt;&amp;#x27E8;10.4000/13yi2&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Philosophia Scientiae, 2025, 29-2, pp.93-127. &amp;#x27E8;10.4000/13yi2&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </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="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-PARIS10" corresp="UNIV-PARIS-LUMIERES">Université Paris Nanterre</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>
            <idno type="stamp" n="UNIV-PARIS-LUMIERES"/>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="UNIV-PARIS-NANTERRE" corresp="UNIV-PARIS-LUMIERES">Université Paris Nanterre</idno>
            <idno type="stamp" n="CHAPMAN">CHAPMAN</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">Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples</title>
                <author role="aut">
                  <persName>
                    <forename type="first">José</forename>
                    <surname>Gil-Férez</surname>
                  </persName>
                  <idno type="halauthorid">3701389-0</idno>
                  <affiliation ref="#struct-261123"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">M. Andrew</forename>
                    <surname>Moshier</surname>
                  </persName>
                  <idno type="halauthorid">3701390-0</idno>
                  <affiliation ref="#struct-261123"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alberto</forename>
                    <surname>Naibo</surname>
                  </persName>
                  <email type="md5">8301f7618ddabf9d9f2b4719939aeb93</email>
                  <email type="domain">univ-paris1.fr</email>
                  <idno type="idhal" notation="string">alberto-naibo</idno>
                  <idno type="idhal" notation="numeric">751296</idno>
                  <idno type="halauthorid" notation="string">20299-751296</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5335-6412</idno>
                  <idno type="IDREF">https://www.idref.fr/250400588</idno>
                  <affiliation ref="#struct-219288"/>
                  <affiliation ref="#struct-1064581"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Marco</forename>
                    <surname>Panza</surname>
                  </persName>
                  <email type="md5">a12a5da46c277300e9e0da7eba0c102a</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">marco-panza</idno>
                  <idno type="idhal" notation="numeric">183520</idno>
                  <idno type="halauthorid" notation="string">104-183520</idno>
                  <idno type="IDREF">https://www.idref.fr/029821703</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4131-7103</idno>
                  <affiliation ref="#struct-1064581"/>
                  <affiliation ref="#struct-261123"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Michel</forename>
                    <surname>Salanskis</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1346703</idno>
                  <idno type="halauthorid" notation="string">57640-1346703</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7009-8953</idno>
                  <affiliation ref="#struct-104068"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">25705</idno>
                <idno type="issn">1281-2463</idno>
                <idno type="eissn">1775-4283</idno>
                <title level="j">Philosophia Scientiae</title>
                <imprint>
                  <publisher>Editions Kime</publisher>
                  <biblScope unit="volume">29-2</biblScope>
                  <biblScope unit="pp">93-127</biblScope>
                  <date type="datePub">2025</date>
                </imprint>
              </monogr>
              <idno type="doi">10.4000/13yi2</idno>
              <ref type="publisher">https://journals.openedition.org/philosophiascientiae/4742</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Euclid's geometry</term>
                <term xml:lang="en">Logic</term>
                <term xml:lang="en">Geometric constructions</term>
                <term xml:lang="en">Proofs</term>
              </keywords>
              <classCode scheme="halDomain" n="math.math-lo">Mathematics [math]/Logic [math.LO]</classCode>
              <classCode scheme="halDomain" n="shs.phil">Humanities and Social Sciences/Philosophy</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>The aim of this article is to study Euclid’s plane geometry, relatively to Book I of the Elements, from a formal point of view. Instead of making appeal to some already existent logical framework, we introduce a new formal language, as well as a new system of rules, specifically tailored to give a faithful reconstruction of Euclid’s proof practice. Such a reconstruction shows that Euclid’s work can be understood as resting on a very peculiar inferential setting, involving much more mathematics than logic (understood as a general framework of reasoning): inference rules essentially deal with geometric objects and their relations, while no propositional connectives nor quantifiers are present.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>L’objectif de cet article est d’étudier la géométrie plane d’Euclide, relativement au Livre I des Éléments, d’un point de vue formel. Au lieu de faire appel à un cadre logique préexistant, nous présentons un nouveau langage formel ainsi qu’un nouveau système de règles spécifiquement conçu pour reconstruire fidèlement la pratique démonstrative d’Euclide. Une telle reconstruction montre que le travail d’Euclide peut être compris comme reposant sur un cadre inférentiel très particulier, faisant intervenir les mathématiques plus que la logique (entendue comme cadre général de raisonnement): les règles d’inférence traitent essentiellement d’objets géométriques et de leurs relations, sans recours à aucun connecteur propositionnel ni quantificateur.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-261123" status="VALID">
          <idno type="ROR">https://ror.org/0452jzg20</idno>
          <orgName>Chapman University</orgName>
          <desc>
            <address>
              <addrLine>Orange, CA 92866</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://www.chapman.edu</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-219288" status="VALID">
          <orgName>Université Paris 1 Panthéon-Sorbonne - UFR Philosophie</orgName>
          <orgName type="acronym">UP1 UFR10</orgName>
          <desc>
            <address>
              <addrLine>17, rue de la Sorbonne - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.pantheonsorbonne.fr/ufr/ufr10</ref>
          </desc>
          <listRelation>
            <relation active="#struct-7550" 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="department" xml:id="struct-104068" status="VALID">
          <orgName>Université Paris Nanterre - Département de Philosophie</orgName>
          <desc>
            <address>
              <addrLine>UFR de Littérature, Langages et Philosophie Bât.L, bur.113 200 avenue de la République 92001 Nanterre Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://dep-philo.parisnanterre.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-116205" type="direct"/>
          </listRelation>
        </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>
        <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="institution" xml:id="struct-116205" status="VALID">
          <idno type="IdRef">026403587</idno>
          <idno type="ROR">https://ror.org/013bkhk48</idno>
          <orgName>Université Paris Nanterre</orgName>
          <orgName type="acronym">UPN</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>200 avenue de la République - 92001 Nanterre cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.parisnanterre.fr</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-52140" status="VALID">
          <idno type="anr">ANR-20-CE27-0004</idno>
          <orgName>GoA</orgName>
          <desc>La géométrie des algorithmes</desc>
          <date type="start">2020</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>