Filosofía Una vez hemos visto la sintaxis y la formalización al lenguaje de la la lógica de primer orden, vamos a pasar al ámbito del significado, de la interpretación de fórmulas y argumentos. La semántica de los lenguajes de primer orden se representa utilizando una estructura para ese lenguaje. Por su parte, una estructura para L […]
Dicen que Poncio Pilatos preguntó a Jesús, durante un interrogatorio, lo siguiente: «¿Qué es la verdad?» Jesús, en respuesta a la pregunta de Poncio Pilatos, permaneció en silencio. Poncio Pilatos que no esperaba una respuesta, porque no creía que la hubiera, abandonó la habitación. Había dejado al presunto hijo del presunto Dios solo y sin […]
Desde que San Anselmo lanzó su argumento ontológico (a simultaneo), las cuestiones ontológicas en lógica son de suma importancia. Pero, sin duda alguna, la más candente es la cuestión acerca de la lectura de los cuantificadores, concretamente la lectura del cuantificador existencial, sobre todo cuando este está negado. En primer lugar conviene que definamos qué […]
Como dijimos en el primer post de nuestro curso de lógica dedicado a la lógica de predicados, esta nos permite formalizar más tipos de argumentos que la lógica proposicional. Sin embargo, como ocurría en lógica proposicional, no hay reglas para traducir expresiones del lenguaje natural al lenguaje de la lógica de predicados. Así que para […]
Nuestro curso de lógica avanza al mismo ritmo al que avanza la miseria en España, así que nos vemos ya en el tema de las variables, un paso imprescindible en el que nos tenemos que parar para hacer frente más adelante a los modelos y al cálculo deductivo. Variables libres y variables ligadas A las […]