<?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-15032014000200129</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[W.D. Hart, The Evolution of Logic]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Gutiérrez Ramírez]]></surname>
<given-names><![CDATA[Cristian Alejandro]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad Nacional Autónoma de México  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Mexico</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>00</month>
<year>2014</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>00</month>
<year>2014</year>
</pub-date>
<volume>46</volume>
<numero>137</numero>
<fpage>129</fpage>
<lpage>137</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S0011-15032014000200129&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-15032014000200129&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-15032014000200129&amp;lng=en&amp;nrm=iso"></self-uri></article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Bell]]></surname>
<given-names><![CDATA[J.L.]]></given-names>
</name>
</person-group>
<source><![CDATA[Boolean-Valued Models and Independence Proofs in Set Theory]]></source>
<year>1977</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Clarendon Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="book">
<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>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Benacerraf]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Putnam]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<source><![CDATA[Philosophy of Mathematics: Selected Readings]]></source>
<year>1983</year>
<edition>2a. ed</edition>
<publisher-loc><![CDATA[Cambridge ]]></publisher-loc>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Boolos]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Burgess]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
<name>
<surname><![CDATA[Jeffrey]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<source><![CDATA[Computability and Logic]]></source>
<year>2007</year>
<edition>5a. ed</edition>
<publisher-loc><![CDATA[Cambridge ]]></publisher-loc>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Cohen]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The Independence of the Continuum Hypothesis]]></article-title>
<source><![CDATA[Proceedings of the National Academy of Science of the United States of America]]></source>
<year>1963</year>
<volume>50</volume>
<numero>6</numero>
<issue>6</issue>
<page-range>1143-8</page-range></nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Enderton]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<source><![CDATA[A Mathematical Introduction to Logic]]></source>
<year>2001</year>
<edition>2a. ed.</edition>
<publisher-loc><![CDATA[San Diego ]]></publisher-loc>
<publisher-name><![CDATA[Harcourt Academic Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gödel]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Consistency-Proof for the Generalized ContinuumHypothesis]]></article-title>
<source><![CDATA[Proceedings of the National Academy of Science of the United States of America]]></source>
<year>1939</year>
<volume>25</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>220-4</page-range></nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gómez Torrente]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Notas sobre la paradoja de Orayen]]></article-title>
<source><![CDATA[Hurtado y Moretti]]></source>
<year>2003</year>
<page-range>83-94</page-range></nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hart]]></surname>
<given-names><![CDATA[W.D.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Evolution of Logic]]></source>
<year>2010</year>
<publisher-loc><![CDATA[Nueva York ]]></publisher-loc>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hart]]></surname>
<given-names><![CDATA[W.D.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Benacerraf&#8217;s Dilemma]]></article-title>
<source><![CDATA[Crítica. Revista Hispanoamericana de Filosofía]]></source>
<year>1991</year>
<volume>23</volume>
<numero>68</numero>
<issue>68</issue>
<page-range>87-103</page-range></nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hurtado]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Moretti]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[La paradoja de Orayen]]></source>
<year>2003</year>
<publisher-loc><![CDATA[Buenos Aires ]]></publisher-loc>
<publisher-name><![CDATA[EUDEBA]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Jech]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<source><![CDATA[Set Theory. The Third Millennium Edition, Revised and Expanded]]></source>
<year>2003</year>
<publisher-loc><![CDATA[Berlín ]]></publisher-loc>
<publisher-name><![CDATA[Springer-Verlag]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Kunen]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<source><![CDATA[Set Theory: An Introduction to Independence Proofs]]></source>
<year>1980</year>
<publisher-loc><![CDATA[Ámsterdam ]]></publisher-loc>
<publisher-name><![CDATA[North-Holland]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[McGee]]></surname>
<given-names><![CDATA[V.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[How We Learn Mathematical Language]]></article-title>
<source><![CDATA[Philosophical Review]]></source>
<year>1997</year>
<volume>106</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>35-68</page-range></nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Mendelson]]></surname>
<given-names><![CDATA[E.]]></given-names>
</name>
</person-group>
<source><![CDATA[Introduction to Mathematical Logic]]></source>
<year>2010</year>
<edition>5a. ed</edition>
<publisher-loc><![CDATA[Boca Ratón ]]></publisher-loc>
<publisher-name><![CDATA[CRC Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Rayo]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Nota Crítica sobre La paradoja de Orayen]]></article-title>
<source><![CDATA[Crítica. Revista Hispanoamericana de Filosofía]]></source>
<year>2005</year>
<volume>37</volume>
<numero>109</numero>
<issue>109</issue>
<page-range>99-115</page-range></nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Shapiro]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<source><![CDATA[Foundations without Foundationalism: A Case for Second-Order Logic]]></source>
<year>1991</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Clarendon Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B17">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Smullyan]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<source><![CDATA[Recursion Theory for Metamathematics]]></source>
<year>1993</year>
<publisher-loc><![CDATA[Nueva York ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B18">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Smullyan]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
</person-group>
<source><![CDATA[Gödel&#8217;s Incompleteness Theorems]]></source>
<year>1992</year>
<publisher-loc><![CDATA[Nueva York ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B19">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Uzquiano]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Categoricity Theorems and Conceptions of Set]]></article-title>
<source><![CDATA[Journal of Philosophical Logic]]></source>
<year>2002</year>
<volume>31</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>181-96</page-range></nlm-citation>
</ref>
<ref id="B20">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Woodin]]></surname>
<given-names><![CDATA[W.H.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal]]></source>
<year>1999</year>
<publisher-loc><![CDATA[Berlín ]]></publisher-loc>
<publisher-name><![CDATA[De Gruyter]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
