Entries by Jairo Izquierdo

Un caso contra el teísmo (Parte 3)

En una publicación anterior abordé una objeción de parte de Randy, un ateo de Cuba, quien presentó un caso contra el teísmo. En este escrito abordaré la segunda objeción. Randy dice que las propiedades de Dios, al ser metafísicas, nos pone otro problema: ¿cómo sabemos que es omnipotente y no suficientemente potente como para realizar […]

Un caso contra el teísmo (Parte 2)

En este artículo abordaré la segunda de cuatro objeciones que nos presentaron hace unos meses. Puedes encontrar la primera parte aquí. Randy afirma que cualquier argumento empírico (kalam, ajuste fino, diseño) no es evidencia de Dios, ya que este aplicaría también como evidencia para una propiedad que no hemos descubierto aún (panteísmo naturalista, magia, Duendes-Crea-Universos, […]

The Action Lab y el Argumento de la Intencionalidad

Alvin Plantinga desarrolló un argumento en contra del materialismo que puedes encontrar aquí. Pero si quieres una versión algo más fácil de digerir, puedes leer la versión de Craig aquí (solo inglés). Recomiendo leer ambos recursos para un mayor entendimiento del argumento en general de que la existencia de los estados intencionales (o la consciencia) […]

Un caso contra el teísmo (Parte 1)

Hace un tiempo Jorge Gil recibió un mensaje a una de sus redes sociales de parte de un ateo, era una serie de objeciones en contra del teísmo. Por supuesto, mi amigo Jorge no tiene el tiempo para responder a cada uno de los mensajes o correos que recibe, por lo que me pidió que […]

The Action Lab y el Argumento de la Intencionalidad

Alvin Plantinga desarrolló un argumento en contra del materialismo que puedes encontrar aquí. Pero si quieres una versión algo más fácil de digerir, puedes leer la versión de Craig aquí (solo inglés). Recomiendo leer ambos recursos para un mayor entendimiento del argumento en general de que la existencia de los estados intencionales (o la consciencia) […]

Dos argumentos contra el Kalam

Mientras revisaba uno de los tantos correos que recibimos, en uno de ellos se planteaban dos objeciones en contra del argumento cosmológico Kalam, en específico al argumento ofrecido para Dios como la causa del comienzo del universo. Una versión del argumento cosmológico kalam se puede formular de la siguiente forma: 1. Todo lo que comienza […]

Lógica 11: utilizando las 4 reglas para proposiciones cuantificadas

En el artículo anterior vimos sobre las reglas de inferencia para proposiciones cuantificadas. Hoy veremos algunos ejemplos en lenguaje formal. Instanciación Universal (UI) Argumento: Todos los calicós son felinos. Luna es un calicó. Por lo tanto, Luna es un felino. Prueba: Dado que Luna es un individuo específicamente elegido, podemos utilizar la letra l para […]

Lógica 10: reglas de inferencia para argumentos cuantificados

Hemos llegado a la penúltima parte de nuestras lecciones sobre lógica de predicados. En esta sección hablaré sobre las cuatro reglas de inferencia que hay para argumentos con proposiciones universal y existencialmente cuantificadas y que añadiremos a las reglas que ya vimos para la lógica proposicional. OBSERVACIONES PRELIMINARES Antes de comenzar a explicar nuestras reglas […]

Lógica 09: cuantificación universal y existencial

En la publicación anterior vimos acerca de la lógica de predicados y su lenguaje formal. Ahora hablaremos acerca de los cuantificadores. CUANTIFICACIÓN UNIVERSAL Las proposiciones universalmente cuantificadas son aquellas que hablan de un grupo o conjunto de todo o ninguno: Afirmativa universal: Todos los humanos son mortales. Negativa universal: Ningún humano es mortal. Estas proposiciones […]

Lógica 08: Lógica de predicados de primer orden: introducción

Veamos el siguiente silogismo: Todos los hombres son mortales. Sócrates es un hombre. Sócrates es mortal. Por lógica de predicados de primer orden nos referimos a las oraciones que predican alguna propiedad de un sujeto. Cabe destacar que la formalización en la lógica de predicado es diferente de proposicional, porque si quisiéramos usar la lógica […]

Lógica 07: Prueba Condicional, Prueba Indirecta y Reductio ad Absurdum

En este apartado quisiera hablar sobre tres tipos de pruebas para demostrar la validez de un argumento. PRUEBA CONDICIONAL La prueba condicional (CP) sirve para demostrar que, si damos por cierto algo, entonces ciertas conclusiones se siguen. CP solo puede ser utilizada en argumentos cuyas conclusiones sean proposiciones condicionales. Veamos el siguiente argumento: (P v […]

Los argumentos a partir del Ajuste Fino del universo

OBSERVACIONES PRELIMINARES Hacer un artículo sobre el ajuste fino del universo que sea muy corto y sencillo corre el riesgo de que sea blanco de dudas y objeciones, y una exposición extendida y técnica corre el riesgo de que sea poco inteligible para el lector o incluso hasta aburrido por lo complicado del contenido. Es […]

La omnibenevolencia y el odio de Dios

Hace algún tiempo Tim Stratton escribió un blog que trataba sobre la Omnibenevolencia de Dios. Tim dijo con respecto a Alá, que es un Dios que no es todo-amor, “y cualquier cosa que Alá haga es simplemente llamado “bueno” incluso si es aborrecible”. Por supuesto, las reacciones de parte del ateísmo no se hicieron esperar y […]

La paradoja de la omnipresencia

Una de las objeciones a la existencia de Dios es tratar de demostrar que su concepto es incoherente, y una manera de hacerlo es por medio de las paradojas de sus atributos. En este blog vamos a tratar las paradojas sobre la Omnipresencia. Hay muchas maneras de plantear esta paradoja, pero utilizaré tres que me […]

El Dragón del Garaje vs Dios

En el reciente debate entre Frank Turek y Michael Shermer, éste último trató de invalidar la hipótesis de Dios que presentó Frank como una explicación a algunos hechos sobre la realidad utilizando la famosa analogía de “el dragón en el garaje”, utilizada por primera vez por Carl Sagan en su libro El Mundo y Sus […]

Lógica 05: 10 reglas de reemplazo

En la publicación anterior vimos acerca de las diez reglas de inferencia lógica para la construcción de un argumento válido. Ahora veremos 10 reglas de reemplazo que son útiles a la hora de demostrar la validez de un argumento cuando utilizamos el lenguaje formal. El conector ↔ en este contexto se traduce por “es lógicamente […]

Lógica 04: 10 reglas de inferencia lógica

REGLAS DE INFERENCIA Una vez visto a grandes rasgos sobre argumentación y lógica proposicional, ahora es tiempo de ver aquello que le da validez formal a un buen argumento: las reglas de inferencia. 1. Modus Ponens (MP) Si P implica Q, y P es verdadera, entonces Q es cierta. Forma lógica: P → Q P […]

Lógica 03: lógica proposicional y las leyes de la lógica

El uso de simbología especial al hablar sobre las reglas de inferencia lógica es necesario, por lo que primero hablaremos sobre la lógica proposicional, de manera que te familiarices con la simbología. ¿QUÉ ES LA LÓGICA PROPOSICIONAL? La lógica proposicional es el nivel más básico de la lógica, se encarga de analizar las relaciones entre […]

Lógica 02: la argumentación

¿QUÉ ES LA LÓGICA? La lógica es la disciplina que estudia los métodos y principios que se usan para distinguir el razonamiento bueno (correcto) del malo (incorrecto). EL ARGUMENTO Antes de entrar en el tema de la argumentación, reconozcamos primero algunos términos que son utilizados en la práctica de la lógica: Inferencia. Proceso por el […]