Guía docente de Lógica (2631119)

Los contemplados por la Universidad de Granada en el apartado de Acceso y Admisión para los estudios de grado en Filosofía.

Resultará de ayuda haber adquirido los conocimientos impartidos en el primer semestre de la asignatura de 1º del grado en Filosofía “Filosofía y argumentación”.

Además, se recomienda:

• Llevar esta asignatura al día, para lo cual cada semana se deben realizar los ejercicios que se vayan asignando, que están ordenados en complejidad creciente. Si se hace así, el estudiante se encontrará capaz de dominar progresivamente los conceptos y técnicas que se desarrollan a lo largo del curso. Si, por el contrario, se deja la realización de los ejercicios para más adelante, corre el riesgo de quedar bloqueado para los ejercicios más difíciles al no haberse familiarizado lo suficiente con ejercicios más sencillos que los preceden.
• Que el estudiante se acostumbre a preguntar en clase sus dudas y a plantear sus dificultades cuando algunos temas de las clases no se entiendan o cuando algunos ejercicios no salgan.
• Utilizar las tutorías en caso de que con las explicaciones de clase no se hayan resuelto las dudas y dificultades. Las tutorías de las primeras semanas serán especialmente beneficiosas para aquellos alumnos que vieron muy poco o nada de lógica durante el Bachillerato.
• Que el estudiante sepa usar debidamente Internet para poder acceder a los servicios que le serán ofrecidos a través de este medio.

Estudio de los conceptos lógicos fundamentales.

Iniciación en el manejo de los lenguajes formales y sus cálculos deductivos.

Análisis y evaluación de argumentos.

• Comprender nociones lógicas básicas como las siguientes: argumento, argumentos deductivos e inductivos; lenguaje formal y fórmula; lenguaje objeto y metalenguaje.
• Comprender la distinción entre el plano semántico y el sintáctico en el análisis lógico.
• Comprender los conceptos sintácticos del lenguaje formal: término simple, predicado, funtor, variable de término, identidad, conectores y cuantificadores; las reglas de salto del cálculo deductivo sobre el lenguaje formal; y las nociones supeditadas a esas reglas: deducción mediante saltos y demostración mediante saltos.
• Comprender los conceptos semánticos: interpretación de los símbolos no lógicos y verdad en una interpretación (de sus símbolos no lógicos) para las fórmulas; y las nociones supeditadas a esos conceptos: consecuencia lógica, equivalencia lógica, verdad lógica e independencia lógica.
• Comprender los conceptos (de uso en la semántica): conjunto, pertenencia, subconjunto, potencia de un conjunto, unión, intersección, unitario, par, par ordenado, producto cartesiano, relación y función.

Tema 1. Introducción

• Objeto de la lógica: validez deductiva. Argumentos deductivos e inductivos. Validez deductiva y forma lógica.
• Niveles lógicos: lógica de conectores (lógica proposicional) y lógica de conexión y cuantificación con identidad (lógica de 1º orden).
• Lenguaje formal, semántica sobre el lenguaje formal y cálculo deductivo sobre el lenguaje formal. Lenguaje objeto y metalenguaje.

Tema 2. Lenguaje formal de la lógica de primer orden

• Símbolos del lenguaje formal.
• Reglas de formación de términos y reglas de formación de fórmulas.
• Tipos de términos y tipos de fórmulas. Fórmulas abiertas y cerradas.
• El lenguaje formal de conectores (proposicional) como sublenguaje del lenguaje formal de primer orden.
• Formas de cuantificación básicas.
• Formalización de enunciados del lenguaje natural.

Tema 3. Semántica formal: teoría de la consecuencia lógica

• Interpretación variable de los símbolos no lógicos.
• Formato conjuntista de la Interpretación: Nociones básicas de teoría de conjuntos.
• Verdad en una interpretación para las fórmulas (condiciones de verdad).
• Verdad lógica, falsedad lógica y contingencia lógica.
• Consecuencia lógica y equivalencia lógica: sus conexiones con la verdad lógica.
• Semántica en la sublógica de conectores (proposicional): Tablas de verdad.
• Pruebas de independencia

Tema 4. Cálculo deductivo: teoría de la deducción

• Reglas de transformación (o de salto) entre fórmulas. Reglas primitivas de inferencia. Reglas derivadas de inferencia.
• Deducción mediante saltos y demostración mediante saltos.
• Naturaleza sintáctica de las reglas y requisito obligado de corrección.
• Las reglas Gentzen de conectores.
• Las reglas Gentzen de conexión, cuantificación e identidad.
• Conexiones del cálculo deductivo G con la semántica sobre su lenguaje formal: Corrección, completud y adecuación de las reglas Gentzen.

En el tema 2:

• Ejercicios de la Base del lenguaje formal.
• Ejercicios de las Ramas del lenguaje formal.
• Ejercicios de formalización de enunciados del lenguaje natural.

En el tema 3:

• Ejercicios de conjuntos.
• Ejercicios de comprobación de consecuencia lógica con interpretaciones conjuntistas.
• Ejercicios de comprobación de consecuencia lógica con tablas de verdad en la sublógica de conectores (proposicional).
• Ejercicios de comprobación de independencia

En el tema 4:

• Ejercicios de deducción en lógica de conectores (proposicional).
• Ejercicios de deducción en lógica de primer orden.

Badesa, C. Jané, I. y Jansana, R. (1988) Elementos de lógica formal. Barcelona. Ariel

Deaño, A. (1974) Introducción a la lógica formal. Madrid. Alianza

Díez Calzada, J. A. (2002) Iniciación a la lógica. Barcelona: Ariel.

García Trevijano, C. (1993) El arte de la lógica. Madrid. Tecnos

Garrido, M. (1995 3ª edición) Lógica simbólica. Madrid. Tecnos

Grupo B. Se recomienda para el seguimiento de esta asignatura consultarla en la plataforma MOODLE.

• MD01. Lección magistral/expositiva  
• MD02. Sesiones de discusión y debate  
• MD03. Resolución de problemas y estudio de casos prácticos  
• MD04. Prácticas en sala de informática  
• MD05. Seminarios  
• MD06. Ejercicios de simulación  
• MD07. Análisis de fuentes y documentos  
• MD08. Realización de trabajos en grupo  
• MD09. Realización de trabajos individuales  
• MD11. Tutorías 

La calificación final responde a los criterios:

• Participación activa en clase y en tutorías hasta un 15%.
• Al menos dos pruebas parciales (cuestionarios online o/y pruebas teóricas presenciales) . El resultado de cada una de estas pruebas podrá alcanzar hasta un 50%.teóricas
• Examen final escrito. En él se incluirán: cuestiones teóricas (hasta un 25%), ejercicios sobre el lenguaje formal (hasta un 25%), ejercicios de semántica (hasta un 35%) y ejercicios de deducción (hasta un 35%).

Los alumnos que se acojan a la Evaluación Extraordinaria tendrán que realizar un único examen que incluirá cuestiones teóricas (hasta un 25%), ejercicios sobre el lenguaje formal (hasta un 25%), ejercicios de semántica (hasta un 35%) y ejercicios de deducción (hasta un 35%).

Los alumnos que se acojan a la Evaluación Única Final tendrán que realizar únicamente el examen escrito mencionado anteriormente.

El temario teórico y práctico representa el abanico de cuestiones que podrán ser tratadas en la asignatura. Esto no implica que vayan a abordarse todas cada curso, sino que podrán elegirse de entre la lista aquellas cuestiones que se ajusten mejor a las características (número, formación, intereses, actualidad) del grupo de alumnos. De igual manera, los detalles de la evaluación continua se discutirán en clase al comienzo del curso, para adaptarlos a las necesidades específicas del grupo de matriculados en la asignatura.