Accesos directos a las distintas zonas del curso
Ir a los contenidos
Ir a menú navegación principal
Ir a menú pie de página
Subject's code : 30001037
Introducción Este apartado está dedicado a la consideración de la naturaleza de la lógica como ciencia que tiene como objeto el análisis formal de los argumentos. En él se introduce la distinción entre lenguaje natural y lenguaje formal y se da cuenta de la necesidad que tiene la ciencia de la lógica de recurrir a un lenguaje formal. También se introduce la distinción entre las nociones de verdad y validez, haciendo hincapié en la vinculación de esta última a la noción de forma de un argumento o inferencia. Resultados de aprendizaje: Conocimientos: 1.- Saber distinguir las nociones de verdad empírica y verdad lógica o validez. 2.- Comprender la idea de lenguaje formal y saber reconocer formas lógicas en expresiones del lenguaje natural.
En este segundo apartado procederemos a la construcción del lenguaje lógico más elemental y básico de todos: el de la lógica proposicional o de enunciados. En él distinguimos entre los enunciados a componer y las partículas que permiten la composición entre ellos y presentamos los respectivos símbolos, variables y constantes, que componen el vocabulario de este lenguaje. Estudiaremos también las reglas que rigen la formación de fórmulas con dichos símbolos y nos serviremos de ellos para la traducción de enunciados y argumentos del lenguaje natural.
Introducción De las fórmulas de la lógica proposicional se dice que son funciones de verdad, ya que los valores que adoptan son valores de verdad resultantes de componer otros valores de verdad. En tanto que tales, pueden ser representadas y evaluadas mediante tablas que reciben el nombre de tablas de verdad. Además de este método de evaluación, consideraremos también el de los árboles semánticos, un método que permite la búsqueda sistemática de una interpretación invalidadora de una forma argumentativa. Resultados de aprendizaje: Conocimientos: 1.- Saber hacer una Tabla de Verdad e interpretarla. 2.- Saber haber una Árbol Semántico e interpretarlo.
Tarea capital de la lógica formal es el estudio y la formulación explícita de las reglas que gobiernan las argumentaciones deductivas. Dada la función esencial que estas reglas de inferencia desempeñan en la realización de deducciones, es interesante presentarlas ordenadas en un sistema. Un conjunto de reglas sistemáticamente ordenado se denomina “Cálculo lógico”. En este apartado nos ocuparemos del cálculo proposicional, de la distinción de sus reglas básicas y sus reglas derivadas, y procederemos a la evaluación de algunas formas argumentales mediante la aplicación de dichas reglas.
Resultados de aprendizaje: Conocimientos: 1.- Comprender qué es una Deducción Natural, sabiendo distinguir sus elementos. 2.- Saber examinar argumentos mediante el cálculo deductivo presentado. 3.- Entender la diferencia entre regla básica y regla derivada.
La deducción presentada en el apartado anterior es una deducción que se apoya en una serie de reglas de inferencia para extraer consecuencias derivables de ciertos supuestos inicialmente aceptados. Pero hay otro tipo de deducción: aquella que se apoya en proposiciones previamente aceptadas con arreglo a algún criterio de racionalidad. Estas proposiciones se denominan axiomas, las proposiciones deducidas se les da el nombre de teoremas y de la deducción axiomática se dice que es una demostración. En este apartado, además de familiarizarnos con todos estos conceptos, veremos de forma sucinta una presentación de la lógica proposicional en forma de sistema axiomático.