<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>1870-0063</journal-id>
<journal-title><![CDATA[Andamios]]></journal-title>
<abbrev-journal-title><![CDATA[Andamios]]></abbrev-journal-title>
<issn>1870-0063</issn>
<publisher>
<publisher-name><![CDATA[Universidad Autónoma de la Ciudad de México, Colegio de Humanidades y Ciencias Sociales]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1870-00632023000300061</article-id>
<article-id pub-id-type="doi">10.29092/uacm.v20i53.1031</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[La semántica subyacente en la filosofía paraconsistente de da Costa]]></article-title>
<article-title xml:lang="en"><![CDATA[The semantics underlying da Costa&#8217;s paraconsistent philosophy]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Pazos]]></surname>
<given-names><![CDATA[María Alicia]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Gaytán]]></surname>
<given-names><![CDATA[David]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af2">
<institution><![CDATA[,Universidad Autónoma de la Ciudad de México  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Mexico</country>
</aff>
<aff id="Af3">
<institution><![CDATA[,Universidad Autónoma de la Ciudad de México  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Mexico</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>12</month>
<year>2023</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>12</month>
<year>2023</year>
</pub-date>
<volume>20</volume>
<numero>53</numero>
<fpage>61</fpage>
<lpage>90</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1870-00632023000300061&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1870-00632023000300061&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1870-00632023000300061&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="es"><p><![CDATA[Resumen Presentamos un análisis crítico del cálculo paraconsistente C1 de Newton da Costa. La estrategia considera lo que denominamos categorías semánticas subyacentes a una lógica, a partir de las cuales exploramos una noción de significado más amplia para ésta que la que la semántica formal proporciona. Mediante el examen de las categorías semánticas asociables en principio a este cálculo, y el análisis de una reconstrucción racional de un caso histórico de inconsistencia, argumentamos que existe cierta inadecuación al interior de la estructura semántica de C1, comprendida en el marco más general de significado; y también que existe una inadecuación entre esta estructura semántica general y aquellas categorías semánticas del pensamiento científico que estaría modelando. A partir de todo lo anterior, concluimos un breve argumento en favor de que las contradicciones científicas deberían preferentemente modelarse (en contra, por lo menos, de algunas de las propuestas hegemónicas) como fórmulas necesariamente falsas.]]></p></abstract>
<abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract We present a critical analysis of Newton da Costa&#8217;s C1 paraconsistent calculus. The strategy considers what we call semantic categories underlying a logic, from which we explore a broader notion of meaning for the logic than the one provided by formal semantics. Through the examination of the semantic categories associated in principle with this calculus, and the analysis of a rational reconstruction of a historical case of inconsistency, we argue that there is a certain inadequacy within the semantic structure of C1, understood in the more general framework of meaning; we also argue that there is an inadequacy between this general semantic structure and those semantic categories of scientific thought that it would be modeling. From all the above, we conclude a brief argument in favor of the idea that scientific contradictions should preferably be modeled (against, at least, some of the hegemonic proposals) as necessarily false formulae.]]></p></abstract>
<kwd-group>
<kwd lng="es"><![CDATA[Paraconsistencia]]></kwd>
<kwd lng="es"><![CDATA[semántica formal]]></kwd>
<kwd lng="es"><![CDATA[semántica subyacente]]></kwd>
<kwd lng="es"><![CDATA[contradicción]]></kwd>
<kwd lng="es"><![CDATA[razonamiento científico]]></kwd>
<kwd lng="en"><![CDATA[Paraconsistency]]></kwd>
<kwd lng="en"><![CDATA[formal semantics]]></kwd>
<kwd lng="en"><![CDATA[underlying semantics]]></kwd>
<kwd lng="en"><![CDATA[contradiction]]></kwd>
<kwd lng="en"><![CDATA[scientific reasoning]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Barrio]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
<name>
<surname><![CDATA[Da Ré]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Paraconsistency and its Philosophical Interpretations]]></article-title>
<source><![CDATA[Australasian Journal of Logic]]></source>
<year>2018</year>
<volume>15</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>151-70</page-range></nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Beaver]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Cope]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[von Fintel]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Semantics and Pragmatics]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Anderson]]></surname>
<given-names><![CDATA[Stephen R.]]></given-names>
</name>
<name>
<surname><![CDATA[Moeschler]]></surname>
<given-names><![CDATA[Jacques]]></given-names>
</name>
<name>
<surname><![CDATA[Reboul]]></surname>
<given-names><![CDATA[Fabianne]]></given-names>
</name>
</person-group>
<source><![CDATA[L&#8217;interface Langage-Cognition: Actes du 19e Congrès International des Linguistes]]></source>
<year>2013</year>
<page-range>333-51</page-range><publisher-loc><![CDATA[Ginebra ]]></publisher-loc>
<publisher-name><![CDATA[Librairie Droz]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Béziau]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Nouveaux Résultats est Nouveau Regard Sur la Logique Paraconsistante C1]]></article-title>
<source><![CDATA[Logique et Analyse]]></source>
<year>1993</year>
<numero>141-142</numero>
<issue>141-142</issue>
<page-range>45-58</page-range></nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bobenrieth]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Five Philosophical Problems Related to Paraconsistent Logic]]></article-title>
<source><![CDATA[Logique et Analyse]]></source>
<year>1998</year>
<numero>161-162-163</numero>
<issue>161-162-163</issue>
<page-range>21-30</page-range></nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Copeland]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On when Semantics is not a Semantics, some Reasons for Disliking the Routley-Meyer Semantics for Relevance Logic]]></article-title>
<source><![CDATA[Journal of Philosophical Logic]]></source>
<year>1979</year>
<numero>8</numero>
<issue>8</issue>
<page-range>399-413</page-range></nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[da Costa]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
</person-group>
<source><![CDATA[Ensaio Sobre os Fundamentos da Lógica]]></source>
<year>1994</year>
<publisher-loc><![CDATA[San Pablo ]]></publisher-loc>
<publisher-name><![CDATA[Hucitec]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[da Costa]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On the Theory of Inconsistent Formal Systems]]></article-title>
<source><![CDATA[Notre Dame Journal of Formal Logic]]></source>
<year>1974</year>
<volume>15</volume>
<numero>4</numero>
<issue>4</issue>
</nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[da Costa]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[French]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<source><![CDATA[Science and Partial Truth: a Unitary Approach to Models and Scientific Reasoning]]></source>
<year>2003</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[da Costa]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Becker]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Full-Blooded anti-Exceptionalism About Logic]]></article-title>
<source><![CDATA[Australasian Journal of Logic]]></source>
<year>2018</year>
<volume>15</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>362-80</page-range></nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[da Costa]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Béziau]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Bueno]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Aspects of Paraconsistent Logic]]></article-title>
<source><![CDATA[Boll. of the IGPL]]></source>
<year>1995</year>
<volume>3</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>597-614</page-range></nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[da Costa]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Béziau]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Théorie de la Valuation]]></article-title>
<source><![CDATA[Logique et Analyse]]></source>
<year>1994</year>
<numero>146</numero>
<issue>146</issue>
<page-range>95-117</page-range></nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[da Costa]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Alves]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Semantic Analysis of the Calculi Cn]]></article-title>
<source><![CDATA[Notre Dame Journal of Formal Logic]]></source>
<year>1977</year>
<numero>16</numero>
<issue>16</issue>
<page-range>621-30</page-range></nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Dummett]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[What is a Theory of Meaning (I)]]></article-title>
<source><![CDATA[The Seas of Language]]></source>
<year>1993</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Clarendon Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Havercamp]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
<name>
<surname><![CDATA[Hoeltje]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Semantic Theories, Linguistic Essences and Knowledge of Meaning]]></article-title>
<source><![CDATA[Synthese]]></source>
<year>2021</year>
<numero>199</numero>
<issue>199</issue>
<page-range>14459-90</page-range></nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Martínez-Ordaz]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences]]></article-title>
<source><![CDATA[Log. Univers]]></source>
<year>2022</year>
<numero>16</numero>
<issue>16</issue>
<page-range>335-54</page-range></nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Martínez-Ordaz]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Applications of Paraconsistent Tools in the Study of Tolerance Towards Contradictions Between Theory and Observation]]></source>
<year>2019</year>
<publisher-name><![CDATA[Filosofía de las Ciencias, UNAM]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B17">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Morado]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Contradicciones internas y externas en la lógica]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Hernández]]></surname>
<given-names><![CDATA[Gabriela]]></given-names>
</name>
<name>
<surname><![CDATA[Casales]]></surname>
<given-names><![CDATA[Roberto]]></given-names>
</name>
<name>
<surname><![CDATA[Castro]]></surname>
<given-names><![CDATA[José]]></given-names>
</name>
</person-group>
<source><![CDATA[Lógica, Argumentación y Pensamiento Crítico. Alcances, Relaciones y Aplicaciones]]></source>
<year>2019</year>
<page-range>451-8</page-range><publisher-loc><![CDATA[México ]]></publisher-loc>
<publisher-name><![CDATA[Ediciones del Lirio - AML - UPAEP]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B18">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Morado]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Vega]]></surname>
<given-names><![CDATA[Luis]]></given-names>
</name>
<name>
<surname><![CDATA[Olmos]]></surname>
<given-names><![CDATA[Paula]]></given-names>
</name>
</person-group>
<source><![CDATA[Compendio de Lógica, Argumentación y Retórica]]></source>
<year>2011</year>
<page-range>371-83</page-range><publisher-loc><![CDATA[Madrid ]]></publisher-loc>
<publisher-name><![CDATA[Trotta]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B19">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Özaltun]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Should be we Modest? Dummett and McDowell on Theories of Meaning]]></article-title>
<source><![CDATA[Kaygi]]></source>
<year>2022</year>
<volume>21</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>624-43</page-range></nlm-citation>
</ref>
<ref id="B20">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Priest]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[In Contradiction: A Study of the Transconsistent]]></source>
<year>1987</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B21">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Routley]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Dialectical Logic, Semantics and Metamathematics]]></article-title>
<source><![CDATA[Erkenntnis]]></source>
<year>1979</year>
<volume>14</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>301-31</page-range></nlm-citation>
</ref>
<ref id="B22">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Suszko]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Fregean Axiom and Polish Mathematical Logic in the 1920´s]]></article-title>
<source><![CDATA[Studia Logica]]></source>
<year>1977</year>
<numero>36</numero>
<issue>36</issue>
<page-range>373-80</page-range></nlm-citation>
</ref>
<ref id="B23">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Tajer]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Intuiciones en lógica: una propuesta moderada]]></article-title>
<source><![CDATA[Revista de Humanidades de Valparaíso]]></source>
<year>2020</year>
<numero>16</numero>
<issue>16</issue>
<page-range>239-53</page-range></nlm-citation>
</ref>
</ref-list>
</back>
</article>
