<?xml version="1.0" encoding="UTF-8"?><!-- generator="wordpress.com" -->
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	>

<channel>
	<title>john-dn-barrow &amp;laquo; WordPress.com Tag Feed</title>
	<link>http://en.wordpress.com/tag/john-dn-barrow/</link>
	<description>Feed of posts on WordPress.com tagged "john-dn-barrow"</description>
	<pubDate>Sun, 06 Dec 2009 16:01:50 +0000</pubDate>

	<generator>http://en.wordpress.com/tags/</generator>
	<language>en</language>

<item>
<title><![CDATA[Dios, completitud e inconsistencia]]></title>
<link>http://angelrey.wordpress.com/2008/05/13/dios-completitud-e-inconsistencia/</link>
<pubDate>Mon, 12 May 2008 23:03:31 +0000</pubDate>
<dc:creator>reygallego85</dc:creator>
<guid>http://angelrey.wordpress.com/2008/05/13/dios-completitud-e-inconsistencia/</guid>
<description><![CDATA[&#8220;La lógica es invencible porque para combatir la lógica es necesario utilizar la lógica&#8221;]]></description>
<content:encoded><![CDATA[<div class='snap_preview'><p style="text-align:right;">
<p style="text-align:right;">&#8220;La <a href="http://es.wikipedia.org/wiki/L%C3%B3gica" target="_blank">lógica</a> es invencible porque para combatir la lógica es necesario utilizar la lógica&#8221;. <a href="http://en.wikipedia.org/wiki/Pierre_Boutroux" target="_blank">Pierre Boutroux</a>.</p>
<p style="text-align:left;">
<p><a href="http://angelrey.files.wordpress.com/2008/05/300px-drawinghands1.jpg"><img class="alignnone size-thumbnail wp-image-65" src="http://angelrey.wordpress.com/files/2008/05/300px-drawinghands1.jpg" alt="" /></a></p>
<p>Como <a href="http://angelrey.wordpress.com/2008/02/08/%c2%bfuna-nueva-dimension-temporal/" target="_blank">a veces</a> <a href="http://angelrey.wordpress.com/2008/01/31/materia-antimateria-y-la-creacion/" target="_blank">he</a> <a href="http://angelrey.wordpress.com/2008/02/18/el-segundo-principio-de-la-termodinamica-y-el-sentido-de-la-vida/" target="_blank">hecho</a>, voy a escribir estas líneas como un juego <a href="http://es.wikipedia.org/wiki/Matem%C3%A1ticas" target="_blank">matemático</a>-<a href="http://es.wikipedia.org/wiki/Definici%C3%B3n_de_filosof%C3%ADa" target="_blank">filosófico</a> extravagante más parecido al <a href="http://elloboylaluna.blogspot.com/2005/07/edgar-allan-poe-eureka.html" target="_blank">delirante</a> &#8220;<a href="http://www.mutantia21.com.ar/edgarallanpoe.html" target="_blank">poema</a> <a href="http://es.wikipedia.org/wiki/Eureka_%28ensayo%29" target="_blank">cosmogónico</a>&#8221; que es el <a href="http://www.astronomia.net/cosmologia/Poe.htm" target="_blank">&#8220;Eureka&#8221;</a> de <a href="http://es.wikipedia.org/wiki/Allan_Poe" target="_blank">Edgar Allan Poe</a> que a un <a href="http://es.wikipedia.org/wiki/Ensayo" target="_blank">ensayo</a> filosófico al uso -pues muy posiblemente algunos argumentos no serían del agrado de <a href="http://www.elementos.buap.mx/num64/htm/31.htm" target="_blank">Torkel Franzén</a>-, aunque puedan tener su validez dentro de su enfoque <a href="http://es.wikipedia.org/wiki/Misticismo" target="_blank">místico</a>.<br />
Existen tres principios básicos del funcionamiento de la <a href="http://www.euclides.org/menu/articles/article101.htm" target="_blank">lógica</a> <a href="http://es.wikipedia.org/wiki/L%C3%B3gica_aristot%C3%A9lica" target="_blank">aristotélica</a> <a href="http://html.rincondelvago.com/logica_18.html" target="_blank">clásica</a>: el <a href="http://es.wikipedia.org/wiki/Principio_de_identidad" target="_blank">principio de identidad</a> (&#8220;todas las cosas son las que son&#8221;), el de <a href="http://es.wikipedia.org/wiki/Principio_de_no_contradicci%C3%B3n" target="_blank">no contradicción</a> (&#8220;no pueden ser ciertos a la vez A y su negación no<span style="font-size:10pt;font-family:Arial;">-</span>A&#8221;) y el del <a href="http://es.wikipedia.org/wiki/Principio_del_tercero_excluido" target="_blank">tercero excluido</a> (&#8220;todo enunciado es o verdadero o no verdadero&#8221;). La <a href="http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=L%C3%B3gicas_no-cl%C3%A1sicas" target="_blank">&#8220;lógica multivalente&#8221;</a> es aquella que no tiene el principio del tercero excluido entre sus premisas, pues tiene más <a href="http://es.wikipedia.org/wiki/Valor_de_verdad" target="_blank">&#8216;valores de verdad&#8217;</a> aparte de los de verdadero o falso, como de indeterminado. Pero los dos primeros principios se siguen cumpliendo y los <a href="http://es.wikipedia.org/wiki/Sistema" target="_blank">sistemas</a> son <a href="http://es.wikipedia.org/wiki/Consistencia_l%C3%B3gica" target="_blank">consistentes</a> (no se dan <a href="http://www.paradoxportal.com.ar/paginas/enciclopedia-contradiccion.html" target="_blank">contradicciones</a>).<br />
Imaginemos ahora la <a href="http://es.wikipedia.org/wiki/Nada" target="_blank">Nada</a>, antes de una hipotética <a href="http://es.wikipedia.org/wiki/Creaci%C3%B3n_%28Filosof%C3%ADa%29" target="_blank">Creación</a>. No existiría todo lo que conocemos y damos por hecho, por lo que no habría tampoco <a href="http://es.wikipedia.org/wiki/L%C3%B3gica_bivalente" target="_blank">leyes de la lógica</a>: sería posible la contradicción.<br />
Veamos algunas consecuencias.<br />
Podría decirse que habría &#8220;cero <a href="http://es.wikipedia.org/wiki/Entidad" target="_blank">entes</a>&#8221; en la Nada (dejando de lado que quizá los conceptos mismos de <a href="http://es.wikipedia.org/wiki/Cero" target="_blank">&#8216;cero&#8217;</a> o de <a href="http://es.wikipedia.org/wiki/Conjunto_vac%C3%ADo" target="_blank">&#8216;conjunto vacío&#8217;</a> pudieran no tener sentido planteárselos en la Nada) y el cero es igual a cero, afirmación que verificaría el principio de identidad, pese a no tener la obligación de cumplirlo necesariamente como hemos dicho con anterioridad. Pero 0 = 0 sólo sería uno de los resultados posibles porque, al no existir el principio de no contradicción, podríamos escribir la contradicción 0 = 1 y, a partir de ahí, 0 = 1 + 0 = 1 + 1 = 2 y todos los números <a href="http://es.wikipedia.org/wiki/N%C3%BAmero_natural" target="_blank">naturales</a>, luego los <a href="http://es.wikipedia.org/wiki/N%C3%BAmero_entero" target="_blank">enteros</a> y <a href="http://es.wikipedia.org/wiki/N%C3%BAmero" target="_blank">demás</a>, llegando finalmente a poderse estructurar todo un sistema inconsistente matemático (por el momento sólo nos circunscribimos a las matemáticas y la lógica, aunque las leyes del <a href="http://es.wikipedia.org/wiki/Razonamiento" target="_blank">razonamiento</a> lógico afecten a otros campos del <a href="http://es.wikipedia.org/wiki/Conocimiento" target="_blank">conocimiento</a>, como la <a href="http://es.wikipedia.org/wiki/Ciencia" target="_blank">Ciencia</a> o la <a href="http://es.wikipedia.org/wiki/Teolog%C3%ADa_natural" target="_blank">Teología Natural</a>, que trataremos más adelante). Sin embargo, todo sería una inmensa indeterminación, ya que se podría <a href="http://curiosoperoinutil.blogspot.com/2006/01/bertrand-russell-y-la-lgica.html" target="_blank">demostrar</a> cualquier cosa debido a la contradicción (posible de no existir en la Nada el principio que la impide).<br />
En el interesante y muy aprovechable libro de <a href="http://en.wikipedia.org/wiki/John_D._Barrow" target="_blank">John D. Barrow</a>, <a href="http://paginaspersonales.deusto.es/abaitua/konzeptu/dic_r.htm" target="_blank">&#8220;La trama oculta del universo&#8221;</a>, vienen unas excelentes explicaciones -a un nivel accesible- de lógica y matemáticas que usamos en este artículo: las &#8220;definiciones&#8221; al inicio del presente texto que aclaran y sirven de resumen simplificado de cada uno de los tres principios lógicos <a href="http://es.wikipedia.org/wiki/Arist%C3%B3teles" target="_blank">aristotélicos</a> y los pequeños párrafos que transcribiremos a continuación, además de la cita de Pierre Boutroux y la del Barón de Montesquieu que aparecerá más adelante. De <a href="http://es.wikipedia.org/wiki/Kurt_G%C3%B6del" target="_blank">Gödel</a> dice que &#8220;estableció que cualquier <a href="http://es.wikiversity.org/wiki/L%C3%B3gica/Construcci%C3%B3n_de_sistemas_l%C3%B3gicos" target="_blank">sistema lógico</a> lo bastante grande como para contener la <a href="http://es.wikipedia.org/wiki/Aritm%C3%A9tica" target="_blank">aritmética</a> ordinaria era necesariamente incompleto&#8221;. Éste es el <a href="http://es.wikipedia.org/wiki/Teoremas_de_la_incompletitud_de_G%C3%B6del" target="_blank">teorema de la incompletitud</a> de <a href="http://threetimestrue.blogspot.com/2007/01/kurt-gdel.html" target="_blank">Gödel</a>, pero también hay un teorema que asevera que &#8220;<em>el que un sistema sea consistente es completamente equivalente a que algún enunciado dentro del sistema sea inderivable</em>. No es difícil ver que este curioso enunciado es verdadero. En efecto, si el sistema es consistente, entonces no debe ser posible derivar el enunciado que dice que algo es verdadero y que se negación también es verdadera. Por lo tanto, este es un enunciado inderivable. Recíprocamente, si el sistema es inconsistente, entonces, por definición, se puede probar que algún enunciado y su contrario son ambos verdaderos. Si esto es así, puede probarse que un enunciado cualquiera será verdadero. Por lo tanto, no habría <a href="http://es.wikipedia.org/wiki/Enunciado" target="_blank">enunciados</a> inderivables en un sistema inconsistente&#8221;.</p>
<p>El teorema de incompletitud de Gödel lo impide, pero se buscó infructuosamente durante mucho tiempo que &#8220;utilizando las reglas de deducción se pudiera demostrar que cualquier fórmula que se pueda formar con los símbolos de la aritmética es o verdadera o falsa. Si es posible una tal omnipotencia matemática, se dice que el sistema lógico es <em>completo</em>&#8220;. El teorema de Gödel (que niega la <a href="http://es.wikipedia.org/wiki/Teoremas_de_incompletitud_de_G%C3%B6del#Discusi.C3.B3n_e_implicaciones" target="_blank">completitud</a> de ciertos sistemas: &#8220;nunca se podrá encontrar un sistema axiomático que sea capaz de demostrar <em>todas</em> las verdades matemáticas y ninguna falsedad&#8221;, como viene en la Wikipedia) se sustenta en leyes lógicas como el principio de no contradicción pero, eliminándolo, un sistema lógico puede ser <strong>completo</strong> a costa de la inconsistencia y, por tanto, no revestiría en principio de <a href="http://www.monografias.com/trabajos14/logica/logica.shtml" target="_blank">interés</a> debido a su indeterminación intrínseca: todo podría demostrarse en el sentido que quisiéramos, &#8220;toda fórmula tiene prueba&#8221;.</p>
<p>Como hemos visto, la inconsistencia nos lleva a que cualquier enunciado sea verdadero, lo que en el fondo es una indeterminación total que no nos sirve en <a href="http://angelrey.wordpress.com/2008/05/01/ciencia-matematicas-y-medida/" target="_blank">Ciencia</a> (no nos permitiría concretar nada, ni hacer predicciones de hechos), pero, supuestamente, haría posible todo: si -de existir- <a href="http://es.wikipedia.org/wiki/Dios" target="_blank">Dios</a> es <a href="http://es.wikipedia.org/wiki/Omnipotencia" target="_blank">omnipotente</a> o todopoderoso, no tendría por qué <a href="http://es.wikipedia.org/wiki/Necesario" target="_blank">estar</a> sujeto a las leyes de la <a href="http://sinbuscarsinsentido.blogspot.com/2007/03/de-la-logicidad.html" target="_blank">lógica</a>; y nuestro <a href="http://es.wikipedia.org/wiki/Universo" target="_blank">universo</a> sólo sería un caso particular con estas tres leyes lógicas restrictivas que percibimos mediante nuestro sentido común en el seno de un sistema completo e inconsistente; omnipotente pero indeterminado y regido por un Ser que incluye distintas leyes en este caso particular -siendo así una parte consistente e incompleta dentro del total inconsistente e incompleto- que es nuestro universo.</p>
<p>En definitiva, <em>Dios puede contradecirse</em>. Por responder a una cuestión expuesta por <a href="http://es.wikipedia.org/wiki/D'oh!" target="_blank">Homer Simpson</a> que me propuso un <a href="http://fonsecablog.blogspot.com/" target="_blank">amigo mío</a>: &#8220;¿Puede Dios crear una rosquilla tan grande que ni él pueda acabarse?&#8221;, pregunta que en realidad es una reformulación de la <a href="http://es.wikipedia.org/wiki/Paradoja_de_la_omnipotencia" target="_blank">&#8220;paradoja de la omnipotencia&#8221;</a>. Claro que sí, pues puede contradecirse al ser <strong>completo</strong>: es todopoderoso, omnipotente. &#8220;Existe un dicho según el cual si los triángulos concibiesen un dios, lo imaginarían con tres lados&#8221;, dijo el <a href="http://es.wikipedia.org/wiki/Charles-Louis_de_Montesquieu" target="_blank">Barón de Montesquieu</a>, por lo que, pese a la aparente sorpresa y nuestra dificultad para imaginarlo, no debiera ser vista como inviable o descabellada la idea de un Dios que pueda no estar atado al principio de no contradicción (pero en cambio incluyéndolo en un universo que Él decide crear).</p>
<p>Si en la Nada no existe el principio de no contradicción, todo enunciado es verdadero como dije antes, y cero (la Nada) es, en principio, igual a cualquier cosa. Más que haber la Nada en el comienzo, sería el <a href="http://es.wikipedia.org/wiki/Caos_(mitolog%C3%ADa)" target="_blank">Caos</a> -¿equivalente a la idea de un Dios o incluido en Él?-, producto de la &#8220;inmensa indeterminación&#8221; que mencionamos arriba. Un Caos como viene recogido en algunas <a href="http://es.wikipedia.org/wiki/Leyenda" target="_blank">leyendas</a> o <a href="http://es.wikipedia.org/wiki/Mito" target="_blank">mitos</a> (o incluido en <a href="http://www.redcientifica.com/doc/doc200402200201.html" target="_blank">algunas</a> <a href="http://es.wikipedia.org/wiki/Teolog%C3%ADa" target="_blank">teologías</a>) y hay un Dios que lo ordena todo y así &#8220;crea&#8221; nuestro universo (en el que se incluyen las tres leyes lógicas aristotélicas).</p>
<p>Quizá las <a href="http://es.wikipedia.org/wiki/Mitolog%C3%ADa" target="_blank">mitologías</a> <a href="http://es.wikipedia.org/wiki/Mitolog%C3%ADa_griega#La_edad_de_los_dioses" target="_blank">griega</a> y <a href="http://www.mailxmail.com/curso/vida/mitologiaegipcia/capitulo8.htm" target="_blank">egipcia</a> no anduvieran erradas al creer en un caos primigenio (que &#8220;toma conciencia de sí mismo&#8221; en el caso de los egipcios: ver la <a href="http://www.unilibro.es/find_buy_es/product.asp?sku=255663&#38;idaff=0" target="_blank">&#8220;Mitología Universal&#8221;</a> de <a href="http://leaving-salonica.blogspot.com/2005/12/panegrico-de-juan-bergua-cono-de-los.html" target="_blank">Juan B. Bergua</a>) y la Creación sería el ordenamiento de todo; teorías como la del <a href="http://es.wikipedia.org/wiki/Inconsciente_colectivo" target="_blank">inconsciente colectivo</a> y los <a href="http://es.wikipedia.org/wiki/Arquetipo_%28Jung%29" target="_blank">arquetipos</a> de <a href="http://es.wikipedia.org/wiki/Carl_Gustav_Jung" target="_blank">Carl Gustav Jung</a> podrían llegar a explicar, como un remedo de &#8220;implante&#8221; divino en el <a href="http://es.wikipedia.org/wiki/Alma" target="_blank">alma</a> humana, el por qué algunas leyendas tienen a una situación caótica (y su ordenamiento) como Origen de las cosas.</p>
</div>]]></content:encoded>
</item>

</channel>
</rss>
