Mostrando las entradas con la etiqueta lógica. Mostrar todas las entradas
Mostrando las entradas con la etiqueta lógica. Mostrar todas las entradas

martes, 17 de noviembre de 2009

Homenaje palimpsesto a José Luis Ferreira

Aurea escribió: NOTA: entiéndase "dar" no sólo por cosas, afecto, cariñitos o palabras lindas, sino sobre todo silencio, sinceridad, a veces indiferencia, comprensión, conocimiento.


¡Y con lo señalado en negritas, lo que dice Aurea se vuelve graciosamente inconsistente!

¡De R I S A Loca!

Ahora bien: ¿Qué es la inocencia?

Inocencia es saber que todo argumento es falaz y toda persona plena de veracidad hasta que a ambas se les pruebe lo contrario.

Como se sostuvo en la marcha atea: "¡Se respetan las personas, se cuetionan las ideas!"

Fuente de la idea principal:

Todo lo que sea verdad.

viernes, 13 de noviembre de 2009

¿Qué pasaría si “q” fuese verdadera?

Enrique Arias Valencia

Sea “q” “algo puede salir de la nada”. En el ensayo “De la nada, nada; inmaculada argumentada” concluí que si nos atenemos al significado estricto de nada, luego, “De la nada, nada”, como indica su título. Ésta es una expresión que hemos tomado en préstamo a Lucrecio y a la tradición materialista en general. Por tanto, la proposición “q” = “algo puede salir de la nada” es falsa según el materialismo estricto.

No obstante, ¿qué pasaría si consideráramos la nada como una analogía de lo indemostrable o por lo menos, de algo tan tremendamente paradójico que, pongamos por caso, sólo sucedió una vez en el remoto pasado, algo tan colosal que bien podríamos considerar como el origen del Universo? ¿Qué pasaría si pudiésemos contar con la nada para explicar el origen del universo?

Después de todo, los matemáticos llaman origen al lugar donde intersecan los ejes X e Y en el famoso plano cartesiano. Ahora bien, de manera muy simpática y humorística, el siempre ameno Isaac Asimov ilustra esto de sacar algo de la nada de la siguiente manera:

“¿Y por qué no? Si 0 = (+1) + (-1), entonces algo que es cero podría convertirse igual de bien en +1 y -1”.*


Asimov otorgó los siguientes valores a la ecuación: 0 = nada; (+1) = energía positiva; (-1) = energía negativa, por lo que Isaac Asimov es el autor original de esta versión de tan colosal descubrimiento matemático, que tras el signo de igualdad ya salta al terreno de la física. Es así que según Asimov ¡la nada cuenta! De paso, Asimov otorgó valores analógicos a los números, y probó así que la ciencia puede ser metafórica.

En el momento en que admitimos la proeza de nuestro querido Asimov, en detrimento del materialismo estricto, lo que hacemos es ilustrar una tesis que Robert Shapiro suscribe en su libro Orígenes, de una manera bastante clara y comprensible:

“La ciencia no es un conjunto dado de respuestas, sino un sistema para obtenerlas. El método que se emplea en la investigación es más importante que la naturaleza de las soluciones. Las preguntas no tienen por qué ser respondidas, y se pueden brindar respuestas y luego cambiarlas. No importa cuán a menudo y cuán profundamente se altere nuestra concepción del universo mientras estos cambios acontezcan de una manera consecuente con la ciencia”.**


De modo, que, para los fines de este ensayo, nuestra querida “q” es verdadera.
Una vez admitido lo anterior, no será difícil sostener que:

0 = (+1) + (-1)
0 = q
q = (+1) + (-1)
q = “algo puede salir de la nada”.
“Algo puede salir de la nada” = (+1) + (-1)
“Algo puede salir de la nada” = (energía positiva) + (energía negativa).


Ésta es la más sencilla demostración de que la suma total del universo es cero. Si cero es el origen, luego el universo tiene un origen. El origen es el “tiempo cero” del universo. Luego, nuestra fórmula también es el modelo más sencillo del Big Bang.

Pero para que la energía cero del universo se disperse en las fuerzas fundamentales del universo que conocemos hoy en día, debe haber un desequilibrio entre los dos unos que forman nuestra sencillísima ecuación. ¿Qué pasó?

¡¿QUÉ PASÓ?!

En cierta forma, lo que sucedió es un misterio. Soy incapaz de demostrar qué pasó. Con las leyes físicas vigentes, nadie puede remontarse más allá del tiempo de Plank en la investigación. Es como decir que, por sí mismo, es indemostrable sostener que “q” es igual a cero. Pero no debemos preocuparnos, pues si no podemos saberlo, es porque “q” nos dice que ella misma es indemostrable. Lo cual nos conduce al temible y jovial teorema de Gödel. Es así que:

q = Soy indemostrable.


Luego:

“Algo puede salir de la nada” = Soy indemostrable. Lo cual es una desfachatada y cínica autodeclaración de “q”, que incluso puede insertarse en el sistema materialista que defendí en “De la nada, nada”.

Resulta que matemáticamente hablando, decir que “q” es indemostrable conduce a admitir que “q” es falsa, si bien lo que “q” nos dice no sólo es eso, sino que por sí misma apunta a decir que ella misma es indemostrable.
Luego, entre el 10 y el 11 de octubre de 2009 sosteníamos algo como lo siguiente:

No hubo Big Bang, a menos que algo pueda salir de la nada. No hubo Big Bang. Por lo tanto, nada puede salir de la nada.

Recordemos que decir que “algo pueda salir de la nada” es equivalente a “q”. Y como “q” nos dice “soy indemostrable”, luego:

No hubo Big Bang, a menos que “q” nos diga ella misma que “q” es indemostrable. Hubo Big Bang. Por lo tanto, “q” nos dice soy indemostrable. ¡Y ella misma es indemostrable en el sistema materialista estricto, para más señas!

Decir que “q” significa “soy indemostrable” es una deliciosa paradoja que puede hacer (y de hecho hace) diabluras en el sistema materialista estricto. Dirán: “¡Pero es que no podemos demostrar el Big Bang como origen del universo! Y “q” nos dice que ella misma lo declara así.

“¡Pero es que es una paradoja!”, protestaría el materialista. De nuevo, eso mismo sostiene “q”. Porque si “q” es ella misma indemostrable, luego es falsa, porque indemostrable es equivalente a falso en términos matemáticos. Pero si le concedemos razón a “q” sobre su descarada falsedad, luego, “q” dice la verdad si y sólo si, “q” no dice la verdad en vista de que “q” es indemostrable si y sólo si “q” es falsa si y sólo si a “q” le concedemos razón.

Según el modelo corriente del Big Bang el universo comenzó con una paradoja. En Wikipedia leemos:

“Según la teoría del Big Bang, el Universo se originó en una singularidad espaciotemporal de densidad infinita matemáticamente paradójica”.


¡Cuidado, porque Wikipedia se edita constantemente y la frase anterior ya podría ser falsa, aun sin necesidad de ser editada por ningún wikipedista!

Para hacer esto más endiablado (¡faltaba más!) no hay que olvidar que en lógica matemática 0 = falso. Y ¡Ups! Nuestra “q” = 0. Falso es indemostrable. Es verdad que “q” es cero, luego es verdad que “q” declara de sí misma que es indemostrable. Pues en sentido estricto nuestra “q” declara algo más que su mera indemostrabilidad: dice: “soy indemostrable en el sistema materialista estricto”.

En conclusión, “q” es verdadera… ¡e indemostrable! Y ella solita nos lo dijo.

*Isaac Asimov, Cien preguntas básicas sobre ciencia, Alianza Editorial, Madrid, 1979, p. 29.
**Robert Shapiro, Orígenes, fragmento del apartado La ciencia, el reino de la duda, del Capítulo 1 “Duda y certidumbre”; Salvat Editores, Barcelona, 1987, p. p. 21-22.

Bibliografía:
Asimov, Isaac Cien preguntas básicas sobre ciencia, Alianza Editorial, Madrid, 1979, p. 29.
Hofstadter, Douglas, Yo soy un extraño bucle. ¿Por qué un fragmento de materia es capaz de pensar en sí mismo?, Barcelona, Tusquets, 2008, 524 págs.
Shapiro, Robert, Orígenes, fragmento del apartado La ciencia, el reino de la duda, del Capítulo 1 “Duda y certidumbre”; Salvat Editores, Barcelona, 1987, p. p. 21-22.

viernes, 6 de noviembre de 2009

Una falacia es una falacia es una falacia

Ha sido mi esmerado uso de lo poco que sé de lógica lo que me ha permitido llegar hasta aquí.

Ahora voy a hacer una aclaración que seguramente enriquecerá estas discusiones.

Un argumento falaz no es una mentira. De hecho, alguien podría llegar a decir la verdad usando un argumento falaz. Lo que pasa es que un argumento es falaz porque está incorrectamente construido, pero en conjunto no es falso ni verdadero. La conclusión a la que llega sí es verdadera o falsa, pero por el momento no importa eso, pues lo que yo alego es que una falacia no se entiende, y entonces la idea de quien la expone se vuelve confusa.

Una falacia cuya conclusión es verdadera:

Todos los parisienses son franceses.
Voltaire era francés.
Por lo tanto, Voltaire era parisiense.

Que si Voltaire hubiese sido un francés que no nació en París el argumentista se hubiese visto en aprietos.

¡Saludos!

lunes, 26 de octubre de 2009

Autorreferencia de un pie sutil

Enrique Arias Valencia

Cuando un poema hace referencia a que su propio pie está incompleto, y justifica porqué está incompleto, ¿está incompleto el poema? ¿Está incompleto un poema que intencionalmente está incompleto? Así pues, la pregunta es ¿está incompleta la siguiente décima de sor Juana en donde según su epígrafe “Describe, con énfasis de no poder dar la última mano a la pintura, el retrato de una belleza”?

Tersa frente, oro el cabello,
cejas arcos, zafir ojos,
bruñida tez, labios rojos,
nariz recta, ebúrneo cuello;
talle airoso, cuerpo bello,
cándidas manos en que
el cetro de amor se ve,
tiene Fili; en oro engasta
pie tan breve, que no gasta
ni un pie.


Si hiciéramos una lista con todos los poemas incompletos, ¿deberíamos incluir el poema de sor Juana? ¿Y qué con los completos? Si hiciéramos un conjunto con los poemas completos y otro conjunto con los poemas incompletos, ¿dónde colocaríamos este poema de sor Juana?

Si es falso lo que dice el poema de sí mismo, luego el poema no está incompleto, luego no es verdadero lo que dice el poema de sí mismo, pues él mismo afirma que el poema está incompleto, y entonces el poema está incompleto si y sólo si está completo.

Es así que existen el conjunto de los poemas incompletos y el conjunto de los poemas completos. Los axiomas a cumplir en nuestro sistema son muy sencillos: incompletos en un conjunto, y completos en otro conjunto.

No obstante, en vista de lo anterior, el poema de sor Juana parece decirnos: si soy verdadero, soy indemostrable en este sistema axiomático, pero si soy falso, soy demostrable en este sistema axiomático. ¡Y no hay manera de que el poema quede bien en ninguno de los dos conjuntos!

sábado, 17 de octubre de 2009

¿Puede un hombre ser falaz?

Enrique Arias Valencia

Nietzsche escribió:
“Yo soy una cosa, mi obra es otra”.


TESIS

Äriastóteles nunca puede ser falaz. Luego, yo no soy falaz.

El lector nunca puede ser falaz. Luego, usted no es falaz; o si lo prefieres, tú no eres falaz.

Lísida nunca puede ser falaz. Luego, ella no es falaz.

El peor de los hombres nunca puede ser falaz. Luego, él no es falaz.

Luego, nosotros no somos falaces, ustedes no son falaces y ellos no son falaces.

PRUEBA:

Porque los seres humanos no pueden tener la cualidad de la falacia, sólo los argumentos.

Los sentidos tampoco pueden ser falaces, pues los sentidos no juzgan; esto lo sostenía Kant así: “Los sentidos no engañan, pues los sentidos no juzgan”. Por lo tanto, nada de lo que vemos, oímos, sentimos, escuchamos y gustamos es falaz, pero lo que argumentemos con base en sus datos sí puede ser falaz.

Por lo tanto, es falaz sostener “Soy falaz” (proporción áurea de la falacia).

Pero si llego a decir que “Alguien es falaz”; por favor háganmelo saber, para que yo pueda corregir mis errores, pues yo soy una cosa, y mi obra es otra.

¡Saludos!

miércoles, 14 de octubre de 2009

Reglas de inferencia 2

Enrique Arias Valencia

V & q = q

F & q = F

V ó q = V

F ó q = q

F → q = V

p → V = V

p → F = ¬ p

V ↔ q = q

F ↔ q = ¬ q

martes, 13 de octubre de 2009

Reglas de inferencia 1

Enrique Arias Valencia


MODUS PONENS

p → q
p
∴q

MODUS TOLLENS

p → q
¬ q
∴¬p

SILOGISMO HIPOTÉTICO

p → q
q → r
∴p → r

SILOGISMO DISYUNTIVO

p ∨ q
¬p
∴ q

DILEMA CONSTRUCTIVO

(p → q) ∧ (r → s)

p ∨ r
∴ q ∨ s

DILEMA DESTRUCTIVO

(p → q) ∧ (r → s)
¬q ∨ ¬s
∴¬p ∨ ¬r

SIMPLIFICACIÓN

p ∧ q
∴p

CONJUNCIÓN

p
q
∴p ∧ q

ADICIÓN

p
q
∴ p ∨ q

CONMUTACIÓN

p ∨ q
∴ q ∨ p

LEY DE ABSORCIÓN

p → q
∴ p → (p ∧ q)

LEYES DE De MORGAN

¬ (p ∨ q) (¬ p ∧¬ q)
¬ (p ∧q) ≡ (¬p ∨ ¬ q)

EQUIVALENCIAS

¬ (p ∧q) ≡ p → ¬ q
¬ (p → q) ≡ p ∧¬q

DOBLE NEGACIÓN

p 𠪪p

LEY DEL BICONDICIONAL

p ↔ q ≡ (p → q) ∧ (q → p)

LEY DE EXPORTACIÓN

p → (q → r) ≡ (p ∧q) → r

TRANSPOSICIÓN

p → q ≡ ¬ q → ¬p

ASOCIACIÓN

[p ∨ (q ∨ r)] ≡ [(p ∨ q) ∨ r]
[p ∧(q ∧r)] ≡ [(p ∧q) ∧r]

DISTRIBUCIÓN

[p ∧(q ∨r)] ≡ [[(p ∧q) ∨(p ∧r)]
[p ∨(q ∧r)] ≡ [[(p ∨q) ∧(P ∨r)]

IMPLICACIÓN MATERIAL

p → q ≡ ¬ p ∨q

EQUIVALENCIA MATERIAL

p ≡ q ≡ (p → q) ∧ (q → p)
p ≡ q ≡ (p ∧ q) ∨ (¬ p ∧¬ q)

TAUTOLOGÍA

p ≡ p ∨p

jueves, 24 de septiembre de 2009

Gödel y Cervantes

Enrique Arias Valencia

Veamos el Teorema de Gödel:

PROPOSICIÓN VI. “A toda clase c de fórmulas ω-consistente recursivas le corresponde una clase-signo r tal que ni v Gen r ni Neg (v Gen r) pertenecen a Flg (c), donde v es la variable libre de r”.

Intentemos desenmarañar la proposición. A manera de tentativa, llamemos v Gen r a dejar pasar cuando se pretende cruzar el puente.

Llamemos Neg (v Gen r) a no dejar pasar cuando se pretende cruzar el puente.

La ley que se aplica en el puente es el sistema expresado en la clase c de fórmulas recursivas sobre los que digan verdad o los que digan mentira.
Por eso la proposición VI nos convence de que “A toda clase c de fórmulas ω-consistente recursivas le corresponde una clase-signo r tal que” ni la afirmación ni la negación de cierta proposición podrán deducirse a partir de la ley que se aplica en el puente. Y eso es lo que hace el hombre. La “clase-signo r” es la paradójica afirmación del viajero que cruzará el puente gracias a la verdad dictada por Sancho. La sentencia del gobernador es más poderosa que el sistema establecido en el puente.

miércoles, 23 de septiembre de 2009

La sabiduría de Sancho Panza

Enrique Arias Valencia

Sí y no, y nada más. ¿Es así? Pues aun si hay dos opciones puede haber tres. ¿Recuerda el lector cierto episodio sobre un puente que aparece en el Capítulo LI de la parte segunda de El Quijote, cuando Sancho Panza gobierna la Isla de Barataria?

Un día se le presenta a Sancho un forastero con un problema. Resulta que en cierto señorío había un puente con un guardia, y la orden que tenía era dejar pasar a los viajeros que dijeran la verdad y ahorcar a los que dijeran mentira.

Y sucedió que un hombre iba a pasar por el puente y el guardia le preguntó que a dónde iba, y el hombre contestó: “que iba a morir en aquella horca que allí estaba, y no a otra cosa”.

Entonces el guardia entró en un conflicto irresoluble, porque si el viajero había dicho la verdad, se le debía dejar pasar, pero el viajero había afirmado que iba a que lo ahorcaran, castigo reservado a su mentira, pero él no mentía, pues sería verdad que lo ahorcarían.

El caso era tan complicado que los jueces del señorío no pudieron dictar sentencia. El hombre añadió: “habiendo tenido noticia del agudo y elevado entendimiento de vuestra merced, me enviaron a mí a que suplicase a vuestra merced de su parte diese su parecer en tan intricado y dudoso caso”.

Consultaron a Sancho, quien dijo que lo mejor sería perdonarle la vida al viajero paradójico, con estas palabras: “soy de parecer que digáis a esos señores que a mí os enviaron que, pues están en un fil las razones de condenarle o asolverle, que le dejen pasar libremente, pues siempre es alabado más el hacer bien que mal”.

Es muy importante lo que hace Sancho, porque con su sentencia demuestra que la verdad es más poderosa que la demostración. Es decir, no podemos demostrar qué hacer con el viajero, pero la verdad saldrá a flote gracias a la sentencia humana. En este pasaje del puente Sancho Panza representa el sentido común en su más puro esplendor. Se trata de un gobernador que se hace noble por el trabajo y no por la crianza.

sábado, 19 de septiembre de 2009

Cómo crear con lógica un mes de octubre feliz

Enrique Arias Valencia

Voy a agradecer por anticipado: que el mes de octubre de 2009 ha sido ya el mes más genial que he vivido, y esto es tan cierto que es autoevidente.

¡Vamos a crear un futuro feliz para todos!

ES ASÍ QUE:

Si los deseos de felicidad se hicieran realidad, la cláusula antecedente de esta proposición condicional sería cierta.

PRUEBA:

Sea p la proposición "Si los deseos de felicidad se hicieran realidad".
Sea q la proposición "la cláusula antecedente de esta proposición condicional sería cierta".
Sea V "verdadero".
Sea F "falso".
Sea → "entonces".
Sea ¬ "no".

POR LO TANTO:

p → q

F → q = V
p → V = V
p → F = ¬ p

¡Nuestra proposición condicional es verdadera en todos los casos! ¡En verdad funciona! ¡Qué alegría!

Por lo tanto, lo que dije sobre los deseos de felicidad es en todos los casos lógicos, por siempre y para siempre verdadero.

¡Que se cumplan sus deseos de felicidad!

¡Saludos de lógica cumpledeseos pa’ todos!

miércoles, 17 de diciembre de 2008

Silogismos del paladar

Enrique Arias Valencia

Todo lo valioso es insípido.
El agua es valiosa.
Luego, el agua es insípida.

¡Ups! ¡Que no lea esto mi directora espiritual, porque ayer le dije que su enseñanza es valiosa!

¡Doble ups! ¡Que no lea esto un racionalista, pues quizá creería que mi monumento estético es una deshonra de la lógica!

¡Triple ups! ¡Que no lea esto un poeta, pues quizá creería que mi razonamiento lógico es una deshonra de la estética!

Para los demás: léanlo, y disfrútenlo.

viernes, 12 de diciembre de 2008

De lynguylylynguy

Enrique Arias Valencia

Este argumento es lynguylylynguy.
Nada de lo que es lynguylylynguy es longololongo.
Todo lo que es válido, es longololongo.
Por lo tanto, este argumento no es válido.
Y sin embargo, lo es.

El teorema de Gödel:

PROPOSICIÓN VI. “A toda clase c de fórmulas w-consistente recursivas le corresponde una clase-signo r tal que ni v Gen r ni Neg (v Gen r) pertenecen a Flg(c), donde v es la variable libre de r”.


Teoremas del argumento lynguylylynguy

La proposición VI es longololongo.

La proposición VI se refiere a todas las clases c de fórmulas w-consistente recursivas.

El argumento lynguylylynguy pertenece a las clases c de fórmulas w-consistente recursivas.

El argumento lynguylylynguy es recursivo.

El argumento lynguylylynguy corresponde a una clase-signo r tal que ni v Gen r ni Neg (v Gen r) pertenecen a Flg(c), donde v es la variable libre de r.

Sustitución:

Sea v "la validez del argumento lynguylylynguy".

Por lo tanto:

El argumento lynguylylynguy corresponde a una clase-signo r tal que ni la validez del argumento lynguylylynguy Gen r ni Neg (la validez del argumento lynguylylynguy Gen r) pertenecen a Flg(c), donde la validez del argumento lynguylylynguy es la variable libre de r.

Sea Gen r "afirmar"
Sea Neg "Negar"
Sea pertenecer a Flg (c) "poder decidir"


El argumento lynguylylynguy corresponde a una clase-signo r tal que ni afirmar la validez del argumento lynguylylynguy ni negar la validez del argumento lynguylylynguy pueden decidirse en el sistema, donde la validez del argumento lynguylylynguy es la variable libre de r.

Por lo tanto:

El argumento lynguylylynguy es una proposición formalmente no decidible.

Por lo tanto:

El argumento lynguylylynguy se refiere a La proposición VI.

miércoles, 8 de octubre de 2008

¿Quién tiene razón?

Enrique Arias Valencia

Dawkins sostiene que enseñar religión a los niños es abusar de ellos, porque los niños todavía no pueden elegir.
Yo sostengo que Dawkins inadvertidamente abusa de los padres porque estos sólo pueden inculcar en sus hijos aquellos valores en los que en verdad creen.
¿Cómo podría un padre inculcar en su hijo valores en los que el propio padre no cree? Si para mí el secularismo no es un valor, ¿puedo enseñárselo a mi hijo? ¿Puedo dar lo que no tengo?
Sin embargo, para quienes crean que no estoy de acuerdo con el argumento de Dawkins y sí de parte del mío, me gustaría señalar en contra de mi postura inicial, pero no a favor del argumento de Dawkins que me parece que en el fondo, este problema tiene la misma forma que la paradoja de Euatlo, que según mi parecer consiste en que no se puede saber quién tiene razón, porque ambos la tienen y ambos están equivocados.
Sin embargo, sospecho que la idea de Dawkins tiene un defecto que la hace fallar, y es que en la realidad real, la educación de los hijos recae en los padres, a menos que se instaure un estado totalitario que confisque a los hijos para que sean adoctrinados en la nada inocente postura secularista.
Por lo tanto, creo que es imposible educar un hijo sin apostar por la creencia de que lo que le estamos inculcando es correcto, si bien, es falso que sepamos la respuesta de antemano. Es decir, Educar a un hijo es arriesgarse a que las cosas salgan mal, y casi siempre salen mal. Y si creen que me equivoco, pregunten a los niños que son maleducados por sus padres, y que según la muy idealista y exagerada visión de Dawkins, serían víctimas de maltrato infantil. A continuación, aquello que les decía de Euatlo.

¿Quién tiene razón?

En cierta ocasión el filósofo Protágoras aceptó instruir en retórica al joven Euatlo con el fin de que éste último llegara a ejercer la abogacía; Euatlo convino con Protágoras en que el alumno pagaría al maestro en cuanto Euatlo ganara su primer pleito.
Sin embargo, una vez hubo terminado su formación, Euatlo decidió que no iba a ejercer la abogacía y según él, por lo tanto, no tenía por qué pagar nada a su maestro. Protágoras lo demandó arguyendo que si el filósofo ganaba el pleito, Euatlo le debía pagar por mandato judicial; y si Protágoras lo perdía, Euatlo debía pagar según los términos pactados. Sin embargo, Euatlo aprendió un poco de las enseñanzas que recibió de su preceptor, porque replicó que si Protágoras ganaba el pleito, entonces el propio Euatlo no tenía por qué pagar según los términos del contrato, porque ahí se estipulaba que el alumno sólo pagaría al maestro cuando aquél ganara su primer pleito; en tanto que si Euatlo ganaba el pleito, entonces no tendría que pagar nada en virtud de la sentencia judicial.

sábado, 21 de junio de 2008

Si pé, entonces qú

Enrique Arias Valencia


Si el mundo físico está regido por leyes tan precisas que hacen a los científicos hablar de la belleza de la naturaleza,
si el hombre sólo puede pensar correctamente cuando hace buen uso de las leyes de la lógica,
si Dios vio que era bueno cuando hizo el mundo,
si Richard Dawkins es un científico tan brillante,
y todo esto es tan espléndido y maravilloso,
luego entonces,
¿por qué el mundo es una porquería?