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…
Leer más
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…
Leer más
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…
Leer más
Para esta publicación, pondremos en práctica lo que hemos visto sobre argumentación y lógica proposicional. Veamos un ejemplo sobre argumentación: Si Dios no preconoce el futuro, o lo determina todo o juega al azar. Si Dios determina todo, entonces él es el autor del pecado. Si Dios juega al azar, entonces él no es soberano.…
Leer más
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…
Leer más
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…
Leer más
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…
Leer más
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…
Leer más
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…
Leer más
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…
Leer más
