<?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-00632019000300043</article-id>
<article-id pub-id-type="doi">10.29092/uacm.v16i41.714</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[La verdad lógica en el fragmento proposicional de los Principia y sus implicaciones metalógicas]]></article-title>
<article-title xml:lang="en"><![CDATA[Logical truth in the propositional fragment of the Principia and its metalogical implications]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Aranda Utrero]]></surname>
<given-names><![CDATA[Víctor]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad Autónoma de Madrid Lógica y Filosofía de la Ciencia ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Spain</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>12</month>
<year>2019</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>12</month>
<year>2019</year>
</pub-date>
<volume>16</volume>
<numero>41</numero>
<fpage>43</fpage>
<lpage>61</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1870-00632019000300043&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-00632019000300043&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-00632019000300043&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="es"><p><![CDATA[Resumen La teoría de tipos de los Principia Mathematica contiene una subteoría muy especial que constituye una lógica correcta y completa y cuyo conjunto de verdades es, además, decidible: la lógica proposicional. El propósito de este artículo es explicar qué entendían Whitehead y Russell por una verdad de esta lógica y analizar por qué no se preocuparon por la consistencia de sus axiomas ni por la completud de su cálculo. ¿Hay alguna relación entre su concepción de las verdades lógicas y la falta de desarrollos metalógicos?]]></p></abstract>
<abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract The theory of types in Principia Mathematica contains a very special subtheory which constitutes a sound and complete logic and whose set of truths is, in addition, decidable: it is propositional logic. The aim of this article is to explain what a tautology is for Whitehead and Russell and to analyse why they were not worried about the consistency of their axioms nor about the completeness of their calculus. Is there any relation between their conception of logical truths and the lack of metalogical developments?]]></p></abstract>
<kwd-group>
<kwd lng="es"><![CDATA[Lógica proposicional]]></kwd>
<kwd lng="es"><![CDATA[consistencia]]></kwd>
<kwd lng="es"><![CDATA[completud]]></kwd>
<kwd lng="es"><![CDATA[tablas de verdad]]></kwd>
<kwd lng="es"><![CDATA[Russell]]></kwd>
<kwd lng="en"><![CDATA[Propositional logic]]></kwd>
<kwd lng="en"><![CDATA[consistency]]></kwd>
<kwd lng="en"><![CDATA[completeness]]></kwd>
<kwd lng="en"><![CDATA[truth tables]]></kwd>
<kwd lng="en"><![CDATA[Russell]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Dawson]]></surname>
<given-names><![CDATA[J. W.]]></given-names>
</name>
<name>
<surname><![CDATA[Shanker]]></surname>
</name>
</person-group>
<source><![CDATA[The Reception of Gödel&#8217;s Incompleteness Theorems]]></source>
<year>1988</year>
<page-range>74-96</page-range></nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Grattan-Guiness]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Search for Mathematical Roots, 18701940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel]]></source>
<year>2000</year>
<publisher-loc><![CDATA[Princeton ]]></publisher-loc>
<publisher-name><![CDATA[Princeton University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gödel]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[Schilpp]]></surname>
</name>
</person-group>
<source><![CDATA[Russell&#8217;s mathematical logic]]></source>
<year>1944</year>
<page-range>125-53</page-range></nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gödel]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<source><![CDATA[Collected works]]></source>
<year>1986</year>
<volume>1</volume>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B5">
<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[Are Logic and Mathematics Identical?]]></article-title>
<source><![CDATA[Science]]></source>
<year>1962</year>
<numero>138</numero>
<issue>138</issue>
<page-range>788-94</page-range></nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lewis]]></surname>
<given-names><![CDATA[C. I.]]></given-names>
</name>
</person-group>
<source><![CDATA[A Survey of Symbolic Logic]]></source>
<year>1918</year>
<publisher-loc><![CDATA[Berkeley ]]></publisher-loc>
<publisher-name><![CDATA[University of California Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Monk]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<source><![CDATA[Ludwig Wittgenstein]]></source>
<year>1994</year>
<publisher-loc><![CDATA[Barcelona ]]></publisher-loc>
<publisher-name><![CDATA[Editorial Anagrama]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Post]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
<name>
<surname><![CDATA[van Heijenoort]]></surname>
</name>
</person-group>
<source><![CDATA[Introduction to a general theory of elementary propositions]]></source>
<year>1967</year>
<page-range>264-83</page-range></nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Russell]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Principles of Mathematics]]></source>
<year>1903</year>
<publisher-loc><![CDATA[Cambridge ]]></publisher-loc>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Russell]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<source><![CDATA[Our Knowledge of External World]]></source>
<year>1914</year>
<publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[George Allen &amp; Unwin]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Russell]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Principles of Mathematics]]></source>
<year>1938</year>
<publisher-loc><![CDATA[Nueva York ]]></publisher-loc>
<publisher-name><![CDATA[W. W. Norton &amp; Company]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Russell]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<source><![CDATA[My Philosophical Development]]></source>
<year>1959</year>
<publisher-loc><![CDATA[Nueva York ]]></publisher-loc>
<publisher-name><![CDATA[Simon and Schuster]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Russell]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Grattan-Guiness]]></surname>
</name>
</person-group>
<source><![CDATA[Letter to Henkin]]></source>
<year>1963</year>
<page-range>592-3</page-range></nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Schilpp]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<source><![CDATA[The philosophy of Bertrand Russell]]></source>
<year>1944</year>
<publisher-loc><![CDATA[Chicago ]]></publisher-loc>
<publisher-name><![CDATA[North-western University]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Shanker]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<source><![CDATA[Gödel&#8217;s Theorems in focus]]></source>
<year>1988</year>
<publisher-loc><![CDATA[London ]]></publisher-loc>
<publisher-name><![CDATA[Routledge &amp; Kegan Paul]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Skolem]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
<name>
<surname><![CDATA[van Heijenoort]]></surname>
</name>
</person-group>
<source><![CDATA[Some remarks on axiomatized set theory]]></source>
<year>1922</year>
<page-range>264-83</page-range></nlm-citation>
</ref>
<ref id="B17">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Van Heijenoort]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931]]></source>
<year>1967</year>
<publisher-loc><![CDATA[Harvard ]]></publisher-loc>
<publisher-name><![CDATA[Harvard University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B18">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Van Heijenoort]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Dreben]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Gödel]]></surname>
</name>
</person-group>
<source><![CDATA[Introductory note to 1929, 1930 and 1930a]]></source>
<year>1986</year>
<page-range>44-59</page-range></nlm-citation>
</ref>
<ref id="B19">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Wang]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<source><![CDATA[Mathematics to Philosophy]]></source>
<year>1974</year>
<publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[Routledge &amp; Kegan Paul]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B20">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Whitehead]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Russell]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<source><![CDATA[Principia Mathematica]]></source>
<year>1910</year>
<volume>1</volume>
<publisher-loc><![CDATA[Cambridge ]]></publisher-loc>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
