Filosofía Tras haber dedicado un post introductorio a la lógica de predicados, vamos a pasar a caracterizar los lenguajes de primer orden. Todos ellos tienen en común los siguientes símbolos: 1. Variables: son infinitas. Para representarlas utilizaremos las letras «x», «y» y «z». 2. Conectivas: ¬, →, ↔, ˄, ˅. 3. Cuantificadores: el cuantificados existencial, ∃, […]
Hablamos muy habitualmente de coherencia y podemos decir que esta expresión tiene diferentes sentidos. Sin entrar en todos ellos, vamos a tratar aquí del que nos interesa, a saber, de la coherencia en un sentido lógico. Esta se aplica a conjuntos de enunciados, es una propiedad de conjuntos de enunciados. En este sentido se habla […]
La falsa analogía es un tipo de falacia. En este caso, la falacia está en apoyar una conclusión sobre la base de una analogía que parece evidente. Se comparan dos hechos, poniendo de relieve las semejanzas entre ellos. Sin embargo, se dan de lado diferencias importantes, ocultándose el hecho de que esa comparación es incorrecta […]
Visto el lenguaje de la lógica proposicional y la teoría de conjuntos, vamos a pasar ya a nuestra parte culminante de nuestro curso de Lógica. Se trata de la lógica de predicados. Dado que en lógica nos interesa la validez de los argumentos, necesitamos herramientas formales que nos ayuden a ello. Por otra parte, la […]
Para explicar el concepto de Forma lógica vamos a empezar hablando acerca de (1) y (2): (1) Pedro Abelardo ningunea a Eloísa. (2) Eloísa es ninguneada por Pedro Abelardo. (1) y (2) son sintácticamente diferentes. El sujeto del enunciado (1) es «Pedro Abelardo»; el sujeto de (2) es «Eloísa». Basta señalar esta diferencia para ver […]