<?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>0011-1503</journal-id>
<journal-title><![CDATA[Crítica (México, D.F.)]]></journal-title>
<abbrev-journal-title><![CDATA[Crítica (Méx., D.F.)]]></abbrev-journal-title>
<issn>0011-1503</issn>
<publisher>
<publisher-name><![CDATA[Universidad Nacional Autónoma de México, Instituto de Investigaciones Filosóficas]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S0011-15032023000300053</article-id>
<article-id pub-id-type="doi">10.22201/iifs.18704905e.2023.1466</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[Interpolation in Term Functor Logic]]></article-title>
<article-title xml:lang="es"><![CDATA[Interpolación en la lógica de términos y funtores]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[Martín]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad Popular Autónoma del Estado de Puebla Facultad de Filosofía ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>México</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>00</month>
<year>2023</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>00</month>
<year>2023</year>
</pub-date>
<volume>55</volume>
<numero>165</numero>
<fpage>53</fpage>
<lpage>69</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S0011-15032023000300053&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S0011-15032023000300053&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S0011-15032023000300053&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[SUMMARY: Given some links between Lyndon&#8217;s Interpolation Theorem, term distribution, and Sommers and Englebretsen&#8217;s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen&#8217;s Term Functor Logic. In order to reach this goal we first expound the basics of Term Functor Logic, together with a sense of term distribution, and then we offer a proof of our main contribution.]]></p></abstract>
<abstract abstract-type="short" xml:lang="es"><p><![CDATA[RESUMEN: Dados algunos vínculos entre el Teorema de Interpolación de Lyndon, la distribución de términos y la lógica de Sommers y Englebretsen, en esta contribución intentamos capturar un sentido de interpolación para la Lógica de Términos y Funtores de Sommers y Englebretsen. Para alcanzar este objetivo, primero exponemos los conceptos básicos de la Lógica de Términos y Funtores, junto con un sentido de distribución de términos, y luego ofrecemos una prueba de nuestra contribución.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[term logic]]></kwd>
<kwd lng="en"><![CDATA[Aristotelian logic]]></kwd>
<kwd lng="en"><![CDATA[syllogistic]]></kwd>
<kwd lng="en"><![CDATA[distribution]]></kwd>
<kwd lng="en"><![CDATA[Craig-Lyndon interpolation]]></kwd>
<kwd lng="es"><![CDATA[lógica de términos]]></kwd>
<kwd lng="es"><![CDATA[lógica aristotélica]]></kwd>
<kwd lng="es"><![CDATA[silogstica]]></kwd>
<kwd lng="es"><![CDATA[distribución]]></kwd>
<kwd lng="es"><![CDATA[interpolación de Craig-Lyndon]]></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[Carnap]]></surname>
<given-names><![CDATA[Rudolf]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Die alte und die neue Logik]]></article-title>
<source><![CDATA[Erkenntnis]]></source>
<year>1930</year>
<volume>1</volume>
<page-range>12-26</page-range></nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J.-Martín]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Distribution Tableaux, Distribution Models]]></article-title>
<source><![CDATA[Axioms]]></source>
<year>2020</year>
<volume>9</volume>
<numero>2</numero>
<issue>2</issue>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J.-Martín]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Tableaux Method for Term Logic]]></article-title>
<source><![CDATA[LANMR]]></source>
<year>2018</year>
<volume>2264</volume>
<page-range>1-14</page-range></nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J.-Martín]]></given-names>
</name>
<name>
<surname><![CDATA[Reyes-Cárdenas]]></surname>
<given-names><![CDATA[Paniel O.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Term Functor Logic Tableaux]]></article-title>
<source><![CDATA[South American Journal of Logic]]></source>
<year>2018</year>
<volume>4</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>1-22</page-range></nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Craig]]></surname>
<given-names><![CDATA[William]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem]]></article-title>
<source><![CDATA[The Journal of Symbolic Logic]]></source>
<year>1957</year>
<volume>22</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>250-68</page-range></nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Correia]]></surname>
<given-names><![CDATA[Manuel]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[La lógica aristotélica y sus perspectivas]]></article-title>
<source><![CDATA[Pensamiento]]></source>
<year>2017</year>
<volume>73</volume>
<numero>275</numero>
<issue>275</issue>
<page-range>5-19</page-range></nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[George]]></given-names>
</name>
</person-group>
<source><![CDATA[Bare Facts and Naked Truths: A New Correspondence Theory of Truth]]></source>
<year>2017</year>
<publisher-name><![CDATA[Taylor and Francis]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[George]]></given-names>
</name>
</person-group>
<source><![CDATA[Robust Reality: An Essay in Formal Ontology]]></source>
<year>2013</year>
<publisher-loc><![CDATA[Berlin ]]></publisher-loc>
<publisher-name><![CDATA[De Gruyter]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[George]]></given-names>
</name>
</person-group>
<source><![CDATA[Something to Reckon with: The Logic of Terms]]></source>
<year>1996</year>
<publisher-loc><![CDATA[Ontario ]]></publisher-loc>
<publisher-name><![CDATA[University of Ottawa Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[George]]></given-names>
</name>
</person-group>
<source><![CDATA[The New Syllogistic]]></source>
<year>1987</year>
<publisher-loc><![CDATA[Suiza ]]></publisher-loc>
<publisher-name><![CDATA[Peter Lang]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[George]]></given-names>
</name>
<name>
<surname><![CDATA[Sayward]]></surname>
<given-names><![CDATA[Charles]]></given-names>
</name>
</person-group>
<source><![CDATA[Philosophical Logic: An Introduction to Advanced Topics]]></source>
<year>2011</year>
<publisher-loc><![CDATA[London ]]></publisher-loc>
<publisher-name><![CDATA[Bloomsbury Academic]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Geach]]></surname>
<given-names><![CDATA[Peter]]></given-names>
</name>
</person-group>
<source><![CDATA[Reference and Generality: An Examination of Some Medieval and Modern Theories]]></source>
<year>1962</year>
<publisher-loc><![CDATA[Ithaca ]]></publisher-loc>
<publisher-name><![CDATA[Cornell University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hodges]]></surname>
<given-names><![CDATA[Wilfrid]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The Laws of Distribution for Syllogisms]]></article-title>
<source><![CDATA[Notre Dame Journal of Formal Logic]]></source>
<year>1998</year>
<volume>39</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>221-30</page-range></nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Keynes]]></surname>
<given-names><![CDATA[John Neville]]></given-names>
</name>
</person-group>
<source><![CDATA[Studies and Exercises in Formal Logic: Including a Generalisation of Logical Processes in Their Application to Complex Inferences]]></source>
<year>1906</year>
<publisher-loc><![CDATA[Nueva York ]]></publisher-loc>
<publisher-name><![CDATA[Macmillan and Company]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lyndon]]></surname>
<given-names><![CDATA[Roger Conant]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[An Interpolation Theorem in the Predicate Calculus]]></article-title>
<source><![CDATA[Pacific Journal of Mathematics]]></source>
<year>1959</year>
<volume>9</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>129-42</page-range></nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Russell]]></surname>
<given-names><![CDATA[Bertrand]]></given-names>
</name>
</person-group>
<source><![CDATA[A Critical Exposition of the Philosophy of Leibniz: with an Appendix of Leading Passages]]></source>
<year>1937</year>
<publisher-name><![CDATA[G. Allen and Unwin]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B17">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Simons]]></surname>
<given-names><![CDATA[Peter]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Term Logic]]></article-title>
<source><![CDATA[Axioms]]></source>
<year>2020</year>
<volume>9</volume>
<numero>18</numero>
<issue>18</issue>
</nlm-citation>
</ref>
<ref id="B18">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sommers]]></surname>
<given-names><![CDATA[Fred]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Distribution Matters]]></article-title>
<source><![CDATA[Mind]]></source>
<year>1975</year>
<volume>84</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>27-46</page-range></nlm-citation>
</ref>
<ref id="B19">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sommers]]></surname>
<given-names><![CDATA[Fred]]></given-names>
</name>
</person-group>
<source><![CDATA[The Logic of Natural Language]]></source>
<year>1982</year>
<publisher-loc><![CDATA[Oxford ]]></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[Sommers]]></surname>
<given-names><![CDATA[Fred]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Predication in the Logic Terms]]></article-title>
<source><![CDATA[Notre Dame Journal of Formal Logic]]></source>
<year>1989</year>
<volume>31</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>106-26</page-range></nlm-citation>
</ref>
<ref id="B21">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Sommers]]></surname>
<given-names><![CDATA[Fred]]></given-names>
</name>
<name>
<surname><![CDATA[Englebretsen]]></surname>
<given-names><![CDATA[George]]></given-names>
</name>
</person-group>
<source><![CDATA[An Invitation to Formal Reasoning: The Logic of Terms]]></source>
<year>2000</year>
<publisher-loc><![CDATA[Farnham, UK ]]></publisher-loc>
<publisher-name><![CDATA[Ashgate]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B22">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Wang]]></surname>
<given-names><![CDATA[Pei]]></given-names>
</name>
</person-group>
<source><![CDATA[Return to Term Logic]]></source>
<year>1997</year>
</nlm-citation>
</ref>
<ref id="B23">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Wilson]]></surname>
<given-names><![CDATA[Fred]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The Distribution of Terms: A Defense of the Traditional Doctrine]]></article-title>
<source><![CDATA[Notre Dame Journal of Formal Logic]]></source>
<year>1987</year>
<volume>28</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>439-54</page-range></nlm-citation>
</ref>
</ref-list>
</back>
</article>
