<?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-00632023000300091</article-id>
<article-id pub-id-type="doi">10.29092/uacm.v20i53.1032</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[Aristóteles fuera de Boecio: una reconstrucción epagógica de la silogística]]></article-title>
<article-title xml:lang="en"><![CDATA[Aristotle outside Boethius: an epagogic reconstruction of the syllogistic]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Bautista Sánchez]]></surname>
<given-names><![CDATA[Eduardo Antonio]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Centro de Juventudes y Derechos Humanos  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>El Salvador</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>91</fpage>
<lpage>127</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1870-00632023000300091&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-00632023000300091&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-00632023000300091&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="es"><p><![CDATA[Resumen Este texto propone una reconstrucción innovadora del sistema lógico de Aristóteles dentro de la línea reinterpretativa de Smiley y Corcoran basada en lógicas algebraicas, pero escapando al canon boeciano al integrar otras herramientas conceptuales de las fuentes, en particular, se propone el uso de términos «negativos» (aquí infinitos) junto a la incorporación del concepto de «&#7952;&#960;&#945;&#947;&#959;&#947;&#942;» presente en los Analíticos Posteriores como contexto heurístico del sistema expuesto en los Analíticos Primeros donde se establecen relaciones explícitas entre dos universos de términos representando las esferas intensionales y extensionales, para generar un marco que permita introducir orgánicamente el método ectético de prueba, en cuya formalización y estructuración computable resulta un lenguaje lógico no-clásico más fidedigno a la inferencia silogística.]]></p></abstract>
<abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract This text proposes an innovative reconstruction of Aristotle&#8217;s logical system within the reinterpretative line of Smiley and Corcoran based on algebraic logics, escaping, however, Boethiu&#8217;s canon by integrating other conceptual tools from the sources, in particular, the use of «negative» terms (here infinite) is proposed together with the concept of «&#7952;&#960;&#945;&#947;&#959;&#947;&#942;» presented in the Posterior Analytics as a heuristical context for the system exposed in the Prior Analytics, in which explicit relationships between two universes of terms representing the intensional and extensional realms are established, generating a framework where the ecthetic proof method can be organically incorporated, resulting from its formalization and computable structuralization a more fitter non-classical logical language for syllogistic inference.]]></p></abstract>
<kwd-group>
<kwd lng="es"><![CDATA[Silogística]]></kwd>
<kwd lng="es"><![CDATA[lógica algebraica]]></kwd>
<kwd lng="es"><![CDATA[teoría de la prueba]]></kwd>
<kwd lng="es"><![CDATA[filosofía de la lógica]]></kwd>
<kwd lng="es"><![CDATA[inferencia]]></kwd>
<kwd lng="en"><![CDATA[Syllogistic]]></kwd>
<kwd lng="en"><![CDATA[algebraic logic]]></kwd>
<kwd lng="en"><![CDATA[proof theory]]></kwd>
<kwd lng="en"><![CDATA[philosophy of logic]]></kwd>
<kwd lng="en"><![CDATA[inference]]></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[Aristóteles]]></surname>
</name>
</person-group>
<source><![CDATA[Metafísica de Aristóteles]]></source>
<year>1998</year>
<publisher-loc><![CDATA[Madrid ]]></publisher-loc>
<publisher-name><![CDATA[Gredos]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Aristóteles]]></surname>
</name>
</person-group>
<source><![CDATA[Aristotle&#8217;s Metaphysics, Vol. 2]]></source>
<year>1975</year>
<publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Aristóteles]]></surname>
</name>
</person-group>
<source><![CDATA[Categories, De Interpretione and Prior Analytics]]></source>
<year>1962</year>
<publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[Harvard University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Aristóteles]]></surname>
</name>
</person-group>
<source><![CDATA[Posterior Analytics and Topica]]></source>
<year>1960</year>
<publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[Harvard University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Corcoran]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Completeness of an Ancient Logic]]></article-title>
<source><![CDATA[Journal of Symbolyc Logic]]></source>
<year>1972</year>
<volume>37</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>696-702</page-range></nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Czelakowski]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Protoalgebraic Logics]]></source>
<year>2001</year>
<publisher-loc><![CDATA[Leiden ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[de Rijk]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<source><![CDATA[Aristotle: Semantics and Ontology Vol. 1: General Introduction, The Works on Logic]]></source>
<year>2002</year>
<publisher-loc><![CDATA[Leiden ]]></publisher-loc>
<publisher-name><![CDATA[Brill]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[de Rijk]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<source><![CDATA[Aristotle: semantics and ontology Vol. 2: The Metaphysics, Semantics in Aristotle&#8217;s Strategy of Argument]]></source>
<year>2002</year>
<publisher-loc><![CDATA[Leiden ]]></publisher-loc>
<publisher-name><![CDATA[Brill]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B9">
<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[Inference and Truth]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Dummet]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Logical Basis of Metaphysics]]></source>
<year>1991</year>
<page-range>40-60</page-range><publisher-loc><![CDATA[Cambridge ]]></publisher-loc>
<publisher-name><![CDATA[Harvard University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B10">
<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[Cambdrige ]]></publisher-loc>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<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[Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes]]></source>
<year>2007</year>
<publisher-loc><![CDATA[Leiden ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Goddard]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The Inconsistency of Aristotelian Logic?]]></article-title>
<source><![CDATA[Australasian Journal of Philosophy]]></source>
<year>2000</year>
<volume>78</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>434-7</page-range></nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Glashoff]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[An Intensional Leibniz Semantics for Aristotelian Logic]]></article-title>
<source><![CDATA[The Review of Symbolic Logic]]></source>
<year>2011</year>
<volume>3</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>262-72</page-range></nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Glashoff]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Aristotelian Syntax from a Computational-Combinatorial Point of View]]></article-title>
<source><![CDATA[Journal of Logic and Computation]]></source>
<year>2005</year>
<volume>15</volume>
<numero>6</numero>
<issue>6</issue>
<page-range>949-73</page-range></nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Haack]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<source><![CDATA[Deviant Logic, Fuzzy Logic: Beyond the Formalism]]></source>
<year>1996</year>
<publisher-loc><![CDATA[Chicago ]]></publisher-loc>
<publisher-name><![CDATA[University of Chicago Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Henkin]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The Discovery of my Completeness Proofs]]></article-title>
<source><![CDATA[Association for Symbolic Logic]]></source>
<year>1996</year>
<volume>2</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>127-58</page-range></nlm-citation>
</ref>
<ref id="B17">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Leibniz]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Two Studies in the Logical Calculus]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Loemker]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<source><![CDATA[Philosophical Papers and Letters]]></source>
<year>1989</year>
<page-range>235-47</page-range><publisher-loc><![CDATA[Estados Unidos ]]></publisher-loc>
<publisher-name><![CDATA[Kluwer academic publishers]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B18">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lukasiewicz]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On the History of the Logic of Propositions]]></article-title>
<source><![CDATA[Lukasiewicz selected works]]></source>
<year>1979</year>
<page-range>197-218</page-range><publisher-loc><![CDATA[Estados Unidos ]]></publisher-loc>
<publisher-name><![CDATA[North Holland Publishing Company]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B19">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lukasiewicz]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Aristotle&#8217;s Syllogistic from the Standpoint of Modern Formal Logic]]></source>
<year>1957</year>
<publisher-loc><![CDATA[Estados Unidos ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B20">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Martin]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Aristotle&#8217;s Natural Deduction Reconsidered]]></article-title>
<source><![CDATA[History and Philosophy of Logic]]></source>
<year>1997</year>
<volume>18</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>1-15</page-range></nlm-citation>
</ref>
<ref id="B21">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Quine]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
</person-group>
<source><![CDATA[Los métodos de la lógica]]></source>
<year>1962</year>
<publisher-loc><![CDATA[Barcelona ]]></publisher-loc>
<publisher-name><![CDATA[Ariel]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B22">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Reichenbach]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The syllogism revised]]></article-title>
<source><![CDATA[Philosophy of Science]]></source>
<year>1952</year>
<volume>19</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>1-16</page-range></nlm-citation>
</ref>
<ref id="B23">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Smith]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Completeness of Ecthetic Syllogistic]]></article-title>
<source><![CDATA[Notre Dame Journal of Formal Logic]]></source>
<year>1983</year>
<numero>24</numero>
<issue>24</issue>
<page-range>224-32</page-range></nlm-citation>
</ref>
<ref id="B24">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Tarski]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[Introducción a la lógica y a la metodología de las ciencias deductivas]]></source>
<year>1977</year>
<publisher-loc><![CDATA[Madrid ]]></publisher-loc>
<publisher-name><![CDATA[Espasa-Calpe]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B25">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Zach]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<source><![CDATA[Logic, Computation]]></source>
<year>2022</year>
<publisher-loc><![CDATA[San Diego ]]></publisher-loc>
<publisher-name><![CDATA[LibreTexts]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
