<?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-15032009000300129</article-id>
<article-id pub-id-type="doi">10.22201/iifs.18704905e.2009.925</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[Sistematización del descubrimiento y la explicación: la elaboración de una lógica abductiva]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Nepomuceno Fernández]]></surname>
<given-names><![CDATA[Ángel]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad de Sevilla Departamento de Filosofía y Lógica ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Spain</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>00</month>
<year>2009</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>00</month>
<year>2009</year>
</pub-date>
<volume>41</volume>
<numero>123</numero>
<fpage>129</fpage>
<lpage>146</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S0011-15032009000300129&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-15032009000300129&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-15032009000300129&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[Aliseda]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[Abductive Reasoning: Logical Investigations into Discovery and Explanation]]></source>
<year>2006</year>
<page-range>330</page-range><publisher-loc><![CDATA[Dordrecht ]]></publisher-loc>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Aliseda]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence]]></source>
<year>1997</year>
<page-range>1997-4</page-range><publisher-loc><![CDATA[Amsterdam ]]></publisher-loc>
<publisher-name><![CDATA[Universidad de Amsterdam]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Carnielli]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Surviving Abduction]]></article-title>
<source><![CDATA[Logic Journal of the IGPL]]></source>
<year>2006</year>
<volume>14</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>237-56</page-range></nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[D&#8217;Agostino]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Finger]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Gabbay]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Cut-Based Abduction]]></article-title>
<source><![CDATA[Logic Journal of the IGPL]]></source>
<year>2008</year>
<volume>16</volume>
<numero>6</numero>
<issue>6</issue>
<page-range>537-60</page-range></nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[D&#8217;Agostino]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Gabbay]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Broda]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Tableau Method for Substructural Logics]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[D&#8217;Agostino]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Gabbay]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Hähnle]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Possega]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Handbook of Tableau Methods]]></source>
<year>1999</year>
<page-range>397-467</page-range><publisher-loc><![CDATA[Dordrecht ]]></publisher-loc>
<publisher-name><![CDATA[Kluwer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ebbinghaus]]></surname>
<given-names><![CDATA[H.D.]]></given-names>
</name>
<name>
<surname><![CDATA[Flum]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Finite Model Theory]]></source>
<year>1999</year>
<edition>2a</edition>
<publisher-loc><![CDATA[Berlín ]]></publisher-loc>
<publisher-name><![CDATA[Springer-Verlag]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Flach]]></surname>
<given-names><![CDATA[P.A.]]></given-names>
</name>
</person-group>
<source><![CDATA[Conjectures: An Inquiry Concerning the Logic of Induction]]></source>
<year>1995</year>
<publisher-loc><![CDATA[Tilburg ]]></publisher-loc>
<publisher-name><![CDATA[Tilburg University]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gochet]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Gribomont]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Epistemic 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]]></source>
<year>2006</year>
<volume>7</volume>
<page-range>99-195</page-range><publisher-loc><![CDATA[Amsterdam ]]></publisher-loc>
<publisher-name><![CDATA[Elsevier]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Goldin]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Wegner]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Paraconsistency of Interactive Computation]]></article-title>
<source><![CDATA[Workshop on Paraconsistency Computational Logic]]></source>
<year>2002</year>
</nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hintikka]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[What Is Abduction? The Fundamental Problem of Contemporary Epistemology]]></article-title>
<source><![CDATA[Inquiry as Inquiry: A Logic of Scientific Discovery]]></source>
<year>1999</year>
<numero>5</numero>
<issue>5</issue>
<page-range>91-113</page-range><publisher-loc><![CDATA[Dordrecht ]]></publisher-loc>
<publisher-name><![CDATA[Kluwer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Keiff]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<source><![CDATA[Le Pluralisme dialogique]]></source>
<year>2007</year>
<publisher-loc><![CDATA[Lille ]]></publisher-loc>
<publisher-name><![CDATA[Université Charles de Gaulle Lille3]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Makinson]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<source><![CDATA[Bridges from Classical to Nonmonotonic Logic]]></source>
<year>2005</year>
<page-range>5</page-range><publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[King&#8217;s College]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Nepomuceno]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Soler]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Defining Inferential Contexts: Deduction and Abduction]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Carnielli]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
<name>
<surname><![CDATA[Coniglio]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[D&#8217;Ottaviano]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Many Sides of Logic]]></source>
<year>2009</year>
<page-range>511-29</page-range><publisher-loc><![CDATA[Londres ]]></publisher-loc>
<publisher-name><![CDATA[College Publications]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Nepomuceno]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Metamodeling Abduction]]></article-title>
<source><![CDATA[Theoria]]></source>
<year>2007</year>
<volume>22-23</volume>
<numero>60</numero>
<issue>60</issue>
<page-range>285-93</page-range></nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Palau]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[Introducción filosófica a las lógicas no clásicas]]></source>
<year>2002</year>
<publisher-loc><![CDATA[Barcelona ]]></publisher-loc>
<publisher-name><![CDATA[Universidad de Buenos Aires]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
