<?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>0188-6649</journal-id>
<journal-title><![CDATA[Tópicos (México)]]></journal-title>
<abbrev-journal-title><![CDATA[Tópicos (México)]]></abbrev-journal-title>
<issn>0188-6649</issn>
<publisher>
<publisher-name><![CDATA[Universidad Panamericana, Facultad de Filosofía]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S0188-66492017000100089</article-id>
<article-id pub-id-type="doi">10.21555/top.v0i52.760</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[Re(dis)covering Leibniz&#8217;s Diagrammatic Logic]]></article-title>
<article-title xml:lang="es"><![CDATA[Redescubriendo la Lógica Diagramática de Leibniz]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Castro-Manzano]]></surname>
<given-names><![CDATA[J. 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  ]]></institution>
<addr-line><![CDATA[ Puebla]]></addr-line>
<country>Mexico</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>06</month>
<year>2017</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>06</month>
<year>2017</year>
</pub-date>
<numero>52</numero>
<fpage>89</fpage>
<lpage>116</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S0188-66492017000100089&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S0188-66492017000100089&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S0188-66492017000100089&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract: In this paper I attempt to retrieve Leibniz&#8217;s linear diagrammatic logic for his syllogistic and highlight its computational and logical features by providing a formal approach to it in metalogical terms, which is something that, as far as we know, has not yet been accomplished. Thus, in this contribution I pursue two goals, one historical and the other logical: i) to bring more attention on the algorithmic aspects of Leibniz&#8217;s linear diagrammatic system for his syllogistic, which I believe has been neglected because of a general bias against diagram-based reasoning; and ii) to prove the metalogical properties of the system in order to argue that such a system is a bona fide logical system.]]></p></abstract>
<abstract abstract-type="short" xml:lang="es"><p><![CDATA[Resumen: En este artículo recuperamos la lógica diagramática lineal de Leibniz para la silogística y descubrimos sus propiedades lógicas y computacionales a través de una aproximación formal en términos metalógicos, lo cual es algo que, hasta donde sabemos, aún falta por hacerse. Así, en esta contribución buscamos, respectivamente, dos metas, una histórica y una lógica: i) prestar más atención a los aspectos algorítmicos del sistema diagramático lineal de Leibniz para la silogística, de los cuales creemos que han sido desdeñados por un prejuicio general en contra del razonamiento diagramático; y ii) probar propiedades metalógicas del sistema para argumentar que es un sistema lógico bona fide.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[diagrammatic reasoning]]></kwd>
<kwd lng="en"><![CDATA[diagrams]]></kwd>
<kwd lng="en"><![CDATA[linear diagrams]]></kwd>
<kwd lng="en"><![CDATA[metalogic]]></kwd>
<kwd lng="es"><![CDATA[razonamiento diagramático]]></kwd>
<kwd lng="es"><![CDATA[diagramas]]></kwd>
<kwd lng="es"><![CDATA[diagramas lineales]]></kwd>
<kwd lng="es"><![CDATA[metalógica]]></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[Allwein]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Barwise]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Etchemendy]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Logical reasoning with diagrams]]></source>
<year>1996</year>
<publisher-loc><![CDATA[New York ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bellucci]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Moktefi]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Pietarinen]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[Diagrammatic Autarchy: Linear diagrams in the 17th and 18th centuries]]></source>
<year>2013</year>
<conf-name><![CDATA[ Proceedings of the First International Workshop on Diagrams, Logic and Cognition]]></conf-name>
<conf-date>October</conf-date>
<conf-loc>Kolkata, India </conf-loc>
<page-range>28-9</page-range></nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Boissonnade]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Lagrange]]></surname>
<given-names><![CDATA[J.L.]]></given-names>
</name>
<name>
<surname><![CDATA[Vagliente]]></surname>
<given-names><![CDATA[V.N.]]></given-names>
</name>
</person-group>
<source><![CDATA[Analytical Mechanics]]></source>
<year>2013</year>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bök]]></surname>
<given-names><![CDATA[A.F.]]></given-names>
</name>
</person-group>
<source><![CDATA[Sammlung der Schriften, welche den logischen Calcul Herrn Ploucquets betreffen]]></source>
<year>1766</year>
<publisher-loc><![CDATA[Frankfurt ]]></publisher-loc>
</nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Boole]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning]]></source>
<year>1951</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Basil Blackwell]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Carnap]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Smeaton]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[The logical syntax of language]]></source>
<year>1937</year>
<publisher-loc><![CDATA[London ]]></publisher-loc>
<publisher-name><![CDATA[K. Paul, Trench, Trubner & Co.]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Carroll]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<source><![CDATA[The game of logic]]></source>
<year>1887</year>
<edition>2nd ed.</edition>
<publisher-loc><![CDATA[London ]]></publisher-loc>
<publisher-name><![CDATA[Macmillan and Co.]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Descartes]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Miller]]></surname>
<given-names><![CDATA[V.R.]]></given-names>
</name>
<name>
<surname><![CDATA[Miller]]></surname>
<given-names><![CDATA[R.P.]]></given-names>
</name>
</person-group>
<source><![CDATA[Principles of Philosophy]]></source>
<year>1984</year>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Dieudonné]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Foundations of Modern Analysis]]></source>
<year>2008</year>
<publisher-name><![CDATA[Read Books]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="journal">
<article-title xml:lang=""><![CDATA[The Map Method for Synthesis of Combinational Logic Circuits]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Karnaugh]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Transactions of the American Institute of Electrical Engineers]]></source>
<year>1953</year>
<volume>72</volume>
<numero>9</numero>
<issue>9</issue>
<page-range>593-9</page-range></nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Kneale]]></surname>
<given-names><![CDATA[W.C.]]></given-names>
</name>
<name>
<surname><![CDATA[Kneale]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Development of Logic]]></source>
<year>1962</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Clarendon Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lambert]]></surname>
<given-names><![CDATA[J.H.]]></given-names>
</name>
</person-group>
<source><![CDATA[Neues Organon]]></source>
<year>1764</year>
<publisher-loc><![CDATA[Leipzig ]]></publisher-loc>
</nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="journal">
<article-title xml:lang=""><![CDATA[Why a diagram is (sometimes) worth ten thousand words]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Larkin]]></surname>
<given-names><![CDATA[J. H.]]></given-names>
</name>
<name>
<surname><![CDATA[Simon]]></surname>
<given-names><![CDATA[H. A.]]></given-names>
</name>
</person-group>
<source><![CDATA[Cognitive Science]]></source>
<year>1987</year>
<volume>11</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>65-100</page-range></nlm-citation>
</ref>
<ref id="B14">
<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>
<source><![CDATA[Nouveaux essais sur l&#8217;entendement humain]]></source>
<year>1966</year>
<publisher-loc><![CDATA[Paris ]]></publisher-loc>
<publisher-name><![CDATA[Garnier]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Leibniz]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Couturat]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<source><![CDATA[Opuscules et fragments inédits de Leibniz: Extraits des ms. de la Bibliotque royale de Hanovre]]></source>
<year>1903</year>
<publisher-loc><![CDATA[Paris ]]></publisher-loc>
<publisher-name><![CDATA[Alcan]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lenzen]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
</person-group>
<source><![CDATA[Das System der Leibnizschen Logik]]></source>
<year>1990</year>
<publisher-loc><![CDATA[Berlin ]]></publisher-loc>
<publisher-name><![CDATA[De Gruyter]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B17">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lenzen]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Leibniz logic]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Gabbay]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Woods]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Handbook of the history of logic: The rise of modern logic: From Leibniz to Frege]]></source>
<year>2004</year>
<volume>Vol. 3</volume>
<publisher-loc><![CDATA[Amsterdam ]]></publisher-loc>
<publisher-name><![CDATA[Elsevier]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B18">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Llull]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Posa]]></surname>
<given-names><![CDATA[Petru[m]]]></given-names>
</name>
</person-group>
<source><![CDATA[Ars magna]]></source>
<year>1501</year>
<publisher-name><![CDATA[Barch[ino]ne]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B19">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Nakatsu]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Wiley]]></surname>
<given-names><![CDATA[John]]></given-names>
</name>
</person-group>
<source><![CDATA[Reasoning with Diagrams Decision-Making and Problem-Solving with Diagrams]]></source>
<year>2009</year>
<publisher-loc><![CDATA[Hoboken ]]></publisher-loc>
</nlm-citation>
</ref>
<ref id="B20">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Nelsen]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<source><![CDATA[Proofs Without Words: Exercises in Visual Thinking]]></source>
<year>1993</year>
<publisher-name><![CDATA[Mathematical Association of America]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B21">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Newton]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
<name>
<surname><![CDATA[Motte]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[Mathematical principles of natural philosophy]]></source>
<year>1979</year>
<publisher-name><![CDATA[University of California Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B22">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Murner]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<source><![CDATA[Logica memorativa Chartiludium logice, sive totius dialectice memoria, Strasburg, 1509]]></source>
<year>1967</year>
<publisher-loc><![CDATA[Nieuwkoop: Miland ]]></publisher-loc>
<publisher-name><![CDATA[Facsimile. ed.]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B23">
<nlm-citation citation-type="journal">
<article-title xml:lang=""><![CDATA[A Diagrammatic Calculus of Syllogisms]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Pagnan]]></surname>
<given-names><![CDATA[R]]></given-names>
</name>
</person-group>
<source><![CDATA[Journal of Logic, Language and Information]]></source>
<year>2012</year>
<volume>21</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>347-64</page-range></nlm-citation>
</ref>
<ref id="B24">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Polster]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<source><![CDATA[Q.E.D.: Beauty in Mathematical Proof]]></source>
<year>2004</year>
<publisher-loc><![CDATA[New York ]]></publisher-loc>
<publisher-name><![CDATA[Wooden Books]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B25">
<nlm-citation citation-type="book">
<article-title xml:lang=""><![CDATA[On the concept of logical consequence]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Tarski]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[Logic, semantics, metamathematics; papers from 1923 to 1938]]></source>
<year>1956</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Clarendon Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B26">
<nlm-citation citation-type="book">
<article-title xml:lang=""><![CDATA[On some fundamental concepts of metamathematics]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Tarski]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[Logic, semantics, metamathematics; papers from 1923 to 1938]]></source>
<year>1956</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Clarendon Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B27">
<nlm-citation citation-type="">
<article-title xml:lang=""><![CDATA[The withering away of formal semantics]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Tennant]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
</person-group>
<source><![CDATA[Mind &amp; Language]]></source>
<year>1986</year>
<volume>1</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>302-18</page-range></nlm-citation>
</ref>
<ref id="B28">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Shimojima]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Operational constraints in diagrammatic reasoning]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Allwein]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Barwise]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Etchemendy]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Logical reasoning with diagrams]]></source>
<year>1996</year>
<publisher-loc><![CDATA[New York ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B29">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Shin]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Logical Status of Diagrams]]></source>
<year>1994</year>
<publisher-loc><![CDATA[Cambridge ]]></publisher-loc>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B30">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Stevin]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<source><![CDATA[De beghinselen der weegh const]]></source>
<year>1586</year>
<publisher-name><![CDATA[Leyden]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B31">
<nlm-citation citation-type="journal">
<article-title xml:lang=""><![CDATA[Leibniz y la lógica]]></article-title>
<person-group person-group-type="author">
<name>
<surname><![CDATA[Velarde Lombraña]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Thémata: Revista de filosofía]]></source>
<year>2002</year>
<volume>29</volume>
<page-range>217-31</page-range></nlm-citation>
</ref>
<ref id="B32">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Venn]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On the Diagrammatic and Mechanical Representation of Propositions and Reasonings]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Taylor]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<source><![CDATA[London, Edinburgh, and Dublin philosophical magazine and journal of science]]></source>
<year>1880</year>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
