<?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-00632023000300045</article-id>
<article-id pub-id-type="doi">10.29092/uacm.v20i53.1030</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[Lógica, lenguajes formales y modalidad]]></article-title>
<article-title xml:lang="en"><![CDATA[Logic, formal languages and modality]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Bueno]]></surname>
<given-names><![CDATA[Otávio]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Vivanco]]></surname>
<given-names><![CDATA[Melisa]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad de Miami Departamento de Filosofía ]]></institution>
<addr-line><![CDATA[ Florida]]></addr-line>
<country>USA</country>
</aff>
<aff id="Af2">
<institution><![CDATA[,Universidad de Texas Departamento de Filosofía ]]></institution>
<addr-line><![CDATA[Valle del Rio Grande Texas]]></addr-line>
<country>USA</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>45</fpage>
<lpage>60</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1870-00632023000300045&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-00632023000300045&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-00632023000300045&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="es"><p><![CDATA[Resumen Este artículo examina dos supuestas limitaciones en el uso de lenguajes formales: por un lado, las compensaciones entre el poder expresivo e inferencial y, por el otro, el fenómeno del encarcelamiento del sistema. Después de reconceptualizar el tema, consideramos el papel que desempeña la modalidad en la comprensión de ciertos aspectos de las estructuras matemáticas y defendemos su centralidad.]]></p></abstract>
<abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract This paper examines two alleged limitations in the use of formal languages: on the one hand, the trade-offs between expressive and inferential power, and on the other, the phenomenon of system imprisonment. After reconceptualizing the issue, we consider the role played by modality in the understanding of certain aspects of mathematical structures, and argue for its centrality.]]></p></abstract>
<kwd-group>
<kwd lng="es"><![CDATA[Lógica]]></kwd>
<kwd lng="es"><![CDATA[lenguajes formales]]></kwd>
<kwd lng="es"><![CDATA[poder expresivo]]></kwd>
<kwd lng="es"><![CDATA[poder inferencial]]></kwd>
<kwd lng="es"><![CDATA[modalidad]]></kwd>
<kwd lng="en"><![CDATA[Logic]]></kwd>
<kwd lng="en"><![CDATA[formal languages]]></kwd>
<kwd lng="en"><![CDATA[expressive power]]></kwd>
<kwd lng="en"><![CDATA[inferential power]]></kwd>
<kwd lng="en"><![CDATA[modality]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Azzouni]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Deflating Existential Consequence]]></source>
<year>2004</year>
<publisher-loc><![CDATA[Nueva York ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Benacerraf]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Mathematical Truth]]></article-title>
<source><![CDATA[Journal of Philosophy]]></source>
<year>1973</year>
<numero>70</numero>
<issue>70</issue>
<page-range>29-55</page-range></nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Berry]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<source><![CDATA[A Logical Foundation for Potentialist Set Theory]]></source>
<year>2022</year>
<publisher-loc><![CDATA[Cambridge ]]></publisher-loc>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Berry]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Residual Access Problem]]></source>
<year>2019</year>
<conf-name><![CDATA[ sesión de la División Este de la Asociación Filosófica Americana]]></conf-name>
<conf-loc>Filadelfia </conf-loc>
</nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Boolos]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[Logic, Logic, and Logic]]></source>
<year>1998</year>
<publisher-loc><![CDATA[Cambridge ]]></publisher-loc>
<publisher-name><![CDATA[Harvard University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bueno]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Modality and the Plurality of Logics]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Bueno]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Shalkowski]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<source><![CDATA[Handbook of Modality]]></source>
<year>2021</year>
<page-range>319-27</page-range><publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[Routledge]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bueno]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Dirac and the Dispensability of Mathematics]]></article-title>
<source><![CDATA[Studies in History and Philosophy of Modern Physics]]></source>
<year>1995</year>
<numero>36</numero>
<issue>36</issue>
<page-range>465-90</page-range></nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bueno]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Shalkowski]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Modalism and Theoretical Virtues: Toward an Epistemology of Modality]]></article-title>
<source><![CDATA[Philosophical Studies]]></source>
<year>2015</year>
<numero>172</numero>
<issue>172</issue>
<page-range>671-89</page-range></nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bueno]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Shalkowski]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Modalism and Logical Pluralism]]></article-title>
<source><![CDATA[Mind]]></source>
<year>2009</year>
<numero>118</numero>
<issue>118</issue>
<page-range>295-321</page-range></nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Carnap]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Logical Syntax of Language]]></source>
<year>1934</year>
<publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[Open Court]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<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[Krause]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Bueno]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Paraconsistent Logics and Paraconsistency]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Jacquette]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<source><![CDATA[Philosophy of Logic]]></source>
<year>2007</year>
<page-range>791-911</page-range><publisher-loc><![CDATA[Amsterdam ]]></publisher-loc>
<publisher-name><![CDATA[North-Holland]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Dutilh]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
</person-group>
<source><![CDATA[Formal Languages in Logic: a Philosophical and Cognitive Analysis]]></source>
<year>2012</year>
<publisher-loc><![CDATA[Cambridge ]]></publisher-loc>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Field]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<source><![CDATA[Realism, Mathematics and Modality]]></source>
<year>1989</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Blackwell]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B14">
<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[Contradiction]]></source>
<year>2006</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[van Benthem]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The Dynamic World of Martin Stokholf]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Dutilh]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
<name>
<surname><![CDATA[van der Does]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Festschrift for Martin Stokhof]]></source>
<year>2011</year>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
