<?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-01803739</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-18T21:54:38+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">La langue commune au cœur du raisonnement, notamment mathématique</title>
            <author role="aut">
              <persName>
                <forename type="first">Christian</forename>
                <surname>Retoré</surname>
              </persName>
              <email type="md5">e4ea8b28ffe31d6caf314bc54d6d0598</email>
              <email type="domain">lirmm.fr</email>
              <idno type="idhal" notation="string">christian-retore</idno>
              <idno type="idhal" notation="numeric">578</idno>
              <idno type="halauthorid" notation="string">23433-578</idno>
              <idno type="ARXIV">https://arxiv.org/a/retore_c_1</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2401-9158</idno>
              <idno type="IDREF">https://www.idref.fr/076006913</idno>
              <affiliation ref="#struct-392245"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Christian</forename>
                <surname>Retoré</surname>
              </persName>
              <email type="md5">e4ea8b28ffe31d6caf314bc54d6d0598</email>
              <email type="domain">lirmm.fr</email>
            </editor>
            <funder>Université de Montpellier,  Soutien à la recherche, projet Quanti </funder>
            <funder>Projet e-fran AREN Argumentation et numérique </funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-05-30 18:09:25</date>
              <date type="whenWritten">2017-10</date>
              <date type="whenModified">2026-02-12 03:25:43</date>
              <date type="whenReleased">2018-05-30 18:09:25</date>
              <date type="whenProduced">2017-10</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="106815">
                <persName>
                  <forename>Christian</forename>
                  <surname>Retoré</surname>
                </persName>
                <email type="md5">e4ea8b28ffe31d6caf314bc54d6d0598</email>
                <email type="domain">lirmm.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01803739</idno>
            <idno type="halUri">https://hal.science/hal-01803739</idno>
            <idno type="halBibtex">retore:hal-01803739</idno>
            <idno type="halRefHtml">&lt;i&gt;Images des mathématiques&lt;/i&gt;, 2017, La tribune des mathématiciens -- Mathématiques et langages : le feuilleton de l’automne</idno>
            <idno type="halRef">Images des mathématiques, 2017, La tribune des mathématiciens -- Mathématiques et langages : le feuilleton de l’automne</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="TEXTE" corresp="LIRMM">Exploration et Exploitation de Données Textuelles</idno>
            <idno type="stamp" n="LIRMM">Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</idno>
            <idno type="stamp" n="MIPS">Mathématiques, Informatique, Physique et Systèmes</idno>
            <idno type="stamp" n="UNIV-MONTPELLIER">Université de Montpellier</idno>
            <idno type="stamp" n="UM-2015-2021" corresp="UNIV-MONTPELLIER">Université de Montpellier (2015-2021)</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="3">National</note>
            <note type="popular" n="1">Yes</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">La langue commune au cœur du raisonnement, notamment mathématique</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Christian</forename>
                    <surname>Retoré</surname>
                  </persName>
                  <email type="md5">e4ea8b28ffe31d6caf314bc54d6d0598</email>
                  <email type="domain">lirmm.fr</email>
                  <idno type="idhal" notation="string">christian-retore</idno>
                  <idno type="idhal" notation="numeric">578</idno>
                  <idno type="halauthorid" notation="string">23433-578</idno>
                  <idno type="ARXIV">https://arxiv.org/a/retore_c_1</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2401-9158</idno>
                  <idno type="IDREF">https://www.idref.fr/076006913</idno>
                  <affiliation ref="#struct-392245"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">53821</idno>
                <idno type="issn">0994-723X</idno>
                <idno type="eissn">2105-1003</idno>
                <title level="j">Images des mathématiques</title>
                <imprint>
                  <publisher>CNRS</publisher>
                  <biblScope unit="serie">La tribune des mathématiciens -- Mathématiques et langages : le feuilleton de l’automne</biblScope>
                  <date type="datePub">2017-10</date>
                  <date type="dateEpub">2017-10</date>
                </imprint>
              </monogr>
              <ref target="https://images.math.cnrs.fr/La-langue-commune-au-coeur-du-raisonnement-notamment-mathematique.html" type="seeAlso"/>
              <ref type="publisher">https://images.math.cnrs.fr/</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="fr"> Traitement Automatique du Langage Naturel </term>
                <term xml:lang="fr"> Didactique des Mathématiques</term>
                <term xml:lang="fr"> Logique mathématique</term>
                <term xml:lang="fr">Mathématiques et langage</term>
              </keywords>
              <classCode scheme="classification">03B65  03F03 03B10 03B15 03B47 68T50 00A30 00A35</classCode>
              <classCode scheme="halDomain" n="math">Mathematics [math]</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="fr">
              <p>La connexion entre mathématiques et langage est en plein renouveau, notamment en sciences cognitives, en didactique des mathématiques ou encore dans certaines applications de traitement automatique des langues, comme l’analyse automatique de l’argumentation ou l’inférence textuelle — une phrase est-elle conséquence d’un texte ? Cette interaction entre mathématiques et langage naturel, très liée à la logique, bénéficie depuis l’Antiquité aux deux domaines qu’elle met en relation. D’une part, on raisonne et on fait des mathématiques dans la langue commune, en classe comme entre mathématiciens. D’autre part les phrases ont une structure qui peut être décrite mathématiquement : arbres représentant la structure grammaticale d’une phrase, formules logiques représentant son sens, les deux structures étant intimement liées. Certains aspects de cette connexion sont étudiés depuis l’Antiquité, d’autres sont tout récents.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-392245" status="OLD">
          <orgName>Exploration et exploitation de données textuelles</orgName>
          <orgName type="acronym">TEXTE</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>LIRMM, 161 rue Ada, 34000 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr/equipes/TEXTE/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-181" type="direct"/>
            <relation name="UMR5506" active="#struct-410122" type="indirect"/>
            <relation name="UMR5506" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-181" status="OLD">
          <idno type="IdRef">139590827</idno>
          <idno type="ISNI">0000000405990488</idno>
          <idno type="RNSR">199111950H</idno>
          <idno type="ROR">https://ror.org/013yean28</idno>
          <orgName>Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</orgName>
          <orgName type="acronym">LIRMM</orgName>
          <date type="start">1995-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>161 rue Ada - 34095 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR5506" active="#struct-410122" type="direct"/>
            <relation name="UMR5506" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-410122" status="OLD">
          <idno type="ISNI">0000000120970141</idno>
          <idno type="ROR">https://ror.org/051escj72</idno>
          <orgName>Université de Montpellier</orgName>
          <orgName type="acronym">UM</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>163 rue Auguste Broussonnet - 34090 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.umontpellier.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>
      </listOrg>
    </back>
  </text>
</TEI>