Por Erik Manning Trabajando en el ministerio de la apologética pública desde hace unos años, un error común que veo de los cristianos que luchan con su fe es que tratan de flexionar prematuramente sus músculos apologéticos por pasar toneladas de tiempo escuchando YouTubers ateos, podcasts o leer blogs, pero no consiguen la mayor parte…
Leer más
Por Brian Chilton ¿La verdad se puede encontrar en las percepciones individuales o depende de una realidad independiente y trascendental? Muchas empresas y aún iglesias tienden a usar la frase “la percepción es la realidad” esto cuando se habla de satisfacer las necesidades del cliente. Si un cliente siente que no está recibiendo el tipo…
Leer más
Por Alisa Childers Nos ha pasado a muchos de nosotros. Publicamos un alentador versículo bíblico como el Salmo 145:9 en Facebook: “El Señor es bueno para con todos, y su compasión, sobre todas sus obras“. Al mediodía un ateo de algún lugar en las redes sociales encuentra el post y deja un comentario encantador: ¿En…
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
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
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
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
