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…
Leer más
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…
Leer más
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…
Leer más
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
