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…
Read more
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…
Read more
Por Maverick Christian Para comenzar citaré a Alvin Plantinga: El argumento, en esencia, es el siguiente: que ordinariamente pensamos que el contenido de una creencia, o una intención, o una acción es relevante para las acciones causadas por creencias, intenciones y acciones. Yo creo que hay una cerveza en la nevera; que ordinariamente pensamos lo…
Read more
Por Carlos E. Rodríguez En sus argumentos sobre la existencia de un ser que trasciende el universo los teístas cristianos suelen identificar a este con el nombre de Dios. Lo que vamos a hacer es a proporcionar un significado claro y sencillo sobre este concepto. ¿Cómo definimos a Dios? Esta palabra puede ser usada como…
Read more
Por Maverick Christian INTRODUCCIÓN Para los que los desconozcan filosóficamente, el naturalismo es la creencia de que sólo la naturaleza es real y que lo sobrenatural no existe. El argumento evolutivo contra el naturalismo (EAAN), presentado por el filósofo cristiano Alvin Plantinga, sostiene que la conjunción del naturalismo y la evolución es contraproducente. Esto no…
Read more
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…
Read more
Por J. Brian Huffling Muchos cristianos creen que la filosofía es una disciplina pagana practicada ya sea por los catedráticos de las torres de marfil o por los hippies de Starbucks. Esta creencia ha llevado a algunos a objetar en cuanto a la importancia de la filosofía, ya que creen que sólo un grupo relativamente…
Read more
Por Carlos E. Rodríguez ¡Dios les bendiga! Mi interés en este blog es proporcionar, para el cristiano, herramientas para defender su fe cristiana. Aunque, también quiero hacerle ver al ateo lo errada que está su cosmovisión, y que la existencia de Dios puede ser probada más allá de toda duda razonable. Hace unos meses desarrollé…
Read more
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…
Read more
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…
Read more
