<?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 halshs-01228974</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-24T13:14:13+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">On Frege's Nightmare: A Combination of Intuitionistic, Free and Paraconsistent Logics</title>
            <author role="crp">
              <persName>
                <forename type="first">Shahid</forename>
                <surname>Rahman</surname>
              </persName>
              <email type="md5">95e21d333fa3d5f35228c40903db040e</email>
              <email type="domain">univ-lille3.fr</email>
              <idno type="idhal" notation="string">shahid-rahman</idno>
              <idno type="idhal" notation="numeric">5613</idno>
              <idno type="halauthorid" notation="string">4114-5613</idno>
              <idno type="IDREF">https://www.idref.fr/059922435</idno>
              <affiliation ref="#struct-11909"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Shahid</forename>
                <surname>Rahman</surname>
              </persName>
              <email type="md5">95e21d333fa3d5f35228c40903db040e</email>
              <email type="domain">univ-lille3.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-11-15 23:31:06</date>
              <date type="whenModified">2024-06-05 10:26:18</date>
              <date type="whenReleased">2015-11-18 10:59:11</date>
              <date type="whenProduced">2001</date>
              <date type="whenEndEmbargoed">2015-11-15</date>
              <ref type="file" target="https://shs.hal.science/halshs-01228974v1/document">
                <date notBefore="2015-11-15"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://shs.hal.science/halshs-01228974v1/file/On%20FregeAuthorsversion.pdf" id="file-1228974-1307972">
                <date notBefore="2015-11-15"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="170102">
                <persName>
                  <forename>Shahid</forename>
                  <surname>Rahman</surname>
                </persName>
                <email type="md5">95e21d333fa3d5f35228c40903db040e</email>
                <email type="domain">univ-lille3.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">halshs-01228974</idno>
            <idno type="halUri">https://shs.hal.science/halshs-01228974</idno>
            <idno type="halBibtex">rahman:halshs-01228974</idno>
            <idno type="halRefHtml">&lt;i&gt;essays on non-classical logic&lt;/i&gt;, 2001</idno>
            <idno type="halRef">essays on non-classical logic, 2001</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1228974-1307972"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="SHS">Sciences de l'Homme et de la Société</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="AO-PHILOSOPHIE">Archives ouvertes de la Philosophie</idno>
            <idno type="stamp" n="STL">Savoirs, Textes, Langage</idno>
            <idno type="stamp" n="OMNIPHILO" corresp="SHS">OMNIPHILO : Archive ouverte dédiée à la Philosophie</idno>
            <idno type="stamp" n="CAMPUS-AAR">Campus-AAR</idno>
            <idno type="stamp" n="AAI">Collection LaCAS - Open Archives in Language and Cultural Area Studies</idno>
            <idno type="stamp" n="UNIV-LILLE">Université de Lille</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">On Frege's Nightmare: A Combination of Intuitionistic, Free and Paraconsistent Logics</title>
                <author role="crp">
                  <persName>
                    <forename type="first">Shahid</forename>
                    <surname>Rahman</surname>
                  </persName>
                  <email type="md5">95e21d333fa3d5f35228c40903db040e</email>
                  <email type="domain">univ-lille3.fr</email>
                  <idno type="idhal" notation="string">shahid-rahman</idno>
                  <idno type="idhal" notation="numeric">5613</idno>
                  <idno type="halauthorid" notation="string">4114-5613</idno>
                  <idno type="IDREF">https://www.idref.fr/059922435</idno>
                  <affiliation ref="#struct-11909"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">essays on non-classical logic</title>
                <imprint>
                  <date type="datePub">2001</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">logic</term>
                <term xml:lang="en">fiction</term>
                <term xml:lang="en">free logic</term>
                <term xml:lang="en">contradictions</term>
                <term xml:lang="en">dialogues</term>
                <term xml:lang="en">pragmatics</term>
              </keywords>
              <classCode scheme="halDomain" n="shs.phil">Humanities and Social Sciences/Philosophy</classCode>
              <classCode scheme="halTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halOldTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halTreeTypology" n="COUV">Book sections</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In this paper I present a dialogical formulation of free logic which allows a straightforward combination of paraconsistent and intuitionistic logic-I call this combination Frege's Nightmare. The ideas behind this combination can be expressed in few words: in an argumentation, it sometimes makes sense to restrict the use and introduction of singular terms in the context of quantification to a formal use of those terms. That is, the Proponent is allowed to use a constant for a defence (of an existential quantifier) or an attack (on a universal quantifier) iff this constant has been explicitly conceded by the Opponent. When the Opponent concedes any constant occurring in an atomic formula he concedes tertium non-datur (for this formula) to. This yield a free-logic which combines classical (for propositions with singular terms for realities) with intuitionistic logic (for propositions with singular terms for fictions). This extended free-logic can be also combined with paraconsistent logic in such a way that contradictory objects can be included in the domain of fictions. The idea is here to combine the concept of formal use of constants in free logics and that of the formal use of elementary negations in paraconsistent logics.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-11909" status="VALID">
          <idno type="IdRef">094767386</idno>
          <idno type="ISNI">0000000107905038</idno>
          <idno type="RNSR">200612815H</idno>
          <idno type="ROR">https://ror.org/003fs1j49</idno>
          <idno type="Wikidata">Q33121577</idno>
          <orgName>Savoirs, Textes, Langage (STL) - UMR 8163</orgName>
          <orgName type="acronym">STL</orgName>
          <date type="start">2006-01-01</date>
          <desc>
            <address>
              <addrLine>Domaine Universitaire du Pont de Bois - Batiment B4 rue du Barreau - BP 60149 - 59653 VILLENEUVE D'ASCQ CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://stl.univ-lille.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-374570" type="direct"/>
            <relation name="UMR8163" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-374570" status="VALID">
          <idno type="IdRef">223446556</idno>
          <idno type="ISNI">0000 0001 2242 6780</idno>
          <idno type="ROR">https://ror.org/02kzqn938</idno>
          <idno type="Wikidata">Q3551621</idno>
          <orgName>Université de Lille</orgName>
          <desc>
            <address>
              <addrLine>EPE Université de Lille. -- 42 rue Paul Duez, 59000 Lille</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-lille.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>