Por J. Brian Huffling El Problema El 22 de agosto de 2021, el Christian Post publicó un artículo en el que se afirmaba que más “del 60% de los cristianos nacidos de nuevo en Estados Unidos con edades entre los 18 y los 39 años creen que Buda, Mahoma y Jesús son todos caminos válidos…
Leer más
Por William Lane Craig RESUMEN En una visión deflacionista de la verdad, el predicado de verdad no atribuye una propiedad de significado explicativo a las aseveraciones. El predicado de verdad es simplemente un dispositivo de ascenso semántico, por medio del cual hablamos de una aseveración en lugar de afirmar esa aseveración. Tal dispositivo es útil…
Leer más
Por Frank Turek El ateo Richard Dawkins ha declarado: “El universo que observamos tiene precisamente las características que deberíamos esperar pues al final no hay diseño, propósito, bien o mal. Nada más que una dura y despiadada indiferencia… el ADN no sabe ni le importa. El ADN simplemente está, y nosotros bailamos al compás de…
Leer más
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…
Leer más
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
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
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
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
