GuiaCompleta 70012039 2019
GuiaCompleta 70012039 2019
GuiaCompleta 70012039 2019
GRADO EN FILOSOFÍA
SEGUNDO CURSO
GUÍA DE
ESTUDIO
COMPLETA
LÓGICA II
CÓDIGO 70012039
LÓGICA II CÓDIGO 70012039
18-19
LÓGICA II
CÓDIGO 70012039
ÍNDICE
PRESENTACIÓN Y CONTEXTUALIZACIÓN
REQUISITOS Y/O RECOMENDACIONES PARA CURSAR LA
ASIGNATURA
EQUIPO DOCENTE
HORARIO DE ATENCIÓN AL ESTUDIANTE
TUTORIZACIÓN EN CENTROS ASOCIADOS
COMPETENCIAS QUE ADQUIERE EL ESTUDIANTE
RESULTADOS DE APRENDIZAJE
CONTENIDOS
METODOLOGÍA
PLAN DE TRABAJO
SISTEMA DE EVALUACIÓN
BIBLIOGRAFÍA BÁSICA
BIBLIOGRAFÍA COMPLEMENTARIA
RECURSOS DE APOYO Y WEBGRAFÍA
GLOSARIO
PRESENTACIÓN Y CONTEXTUALIZACIÓN
Esta asignatura, junto con la de Lógica I, constituye una presentación de los conceptos,
problemas y métodos de análisis y de investigación en general, que desempeñan un papel
fundamental en el estudio y comprensión de las asignaturas del Grado de Filosofía,
especialmente de las siguientes:
Para entender los contenidos de esta asignatura es muy importante haber comprendido
los conceptos centrales de la asignatura Lógica I, así como haber adquirido una cierta
destreza en la formalización y el cálculo de la Lógica proposicional. No obstante no se exige
tener aprobada la asignatura Lógica I para poder matricular y cursar Lógica II.
EQUIPO DOCENTE
Nombre y Apellidos AMPARO DIEZ MARTINEZ
Correo Electrónico adiez@fsof.uned.es
Teléfono 91398-8111
Facultad FACULTAD DE FILOSOFÍA
Departamento LÓGICA,Hª Y FILOSOFÍA DE LA CIENCIA
RESULTADOS DE APRENDIZAJE
- Saber traducir del lenguaje natural al lenguaje formal que es objeto de estudio en esta
asignatura, adquiriendo así un dominio de las técnicas de formalización de enunciados y
argumentos.
- Comprender la estructura lógica de algunas cuestiones centrales de la Filosofía,
especialmente las de existencia e identidad.
- Saber analizar la estructura formal interna de los enunciados.
- Saber operar con nombres propios y con descripciones definidas e identidad.
- Identificar los dos tipos de cuantificación y sus negaciones.
- Conocer las reglas básicas del cálculo cuantificacional, tanto las semánticas como las
sintácticas, y operar con ellas.
- Saber evaluar semánticamente las afirmaciones y los argumentos que contienen
cuantificación.
- Saber demostrar la validez deductiva de una argumentación con cuantificación y con
identidad.
- Capacidad para gestionar la calidad del trabajo y su planificación de una manera autónoma
y autorregulada.
- Capacidad de análisis y de síntesis en vistas a la comprensión de los textos y problemas y
a un razonamiento crítico propio.
- Capacidad de aplicar los conocimientos y resolver problemas incluso en entornos nuevos y
poco conocidos.
- Capacidad de expresarse y comunicarse.
- Capacidad de usar las herramientas y recursos de la Sociedad del Conocimiento.
CONTENIDOS
En este tema se expone el lenguaje de la Lógica de Predicados, esto es, los distintos
símbolos que constituyen su vocabulario y las reglas de formación de fórmulas de dicho
lenguaje. Una vez expuestos los elementos del lenguaje, es estudia, por una parte, cómo
interpretar fórmulas de dicho lenguaje y, por otra, cómo emplearlo para formalizar
enunciados del lenguaje natural.
En el tema anterior hemos visto cómo convalidar argumentos aplicando reglas sintácticas de
inferencia para obtener una conclusión a partir de unas premisas dadas; pero los
argumentos también pueden ser evaluados por métodos semánticos. En este apartado se
ofrecen las Reglas Básicas de los dos cuantificadores, la identidad y la descripción. Los
árboles semánticos suministran un procedimiento que se puede aplicar de manera mecánica
(un algoritmo) para determinar la invalidez de una fórmula o conjunto de fórmulas, si bien
dicho procedimiento, en esta Lógica ampliada, no es concluyente en todos los casos.
METODOLOGÍA
del proceso formativo en la medida en que crea una comunidad académica de diálogo y
estudio, comunidad que orienta, contrasta y evalúa este mismo proceso y sopesa los
resultados obtenidos. A estas actividades se les conceden, de modo orientativo, el 40% de
los créditos ECTS asignados a esta asignatura.
PLAN DE TRABAJO
TEMA 4 Reglas semánticas para la evaluación de los argumentos. Los árboles semánticos
(20 horas)
Estudio del tema 10 horas
Intervención en el foro con ejercicios de lógica
preparativos para el examen 10 horas
TEMA 5 Aproximación a otras lógicas. Lógica modal y Lógica multivalente (10 horas)
Estudio del tema 5 horas
Intervención en el foro con ejercicios de lógica
preparativos para el examen 5 horas
SISTEMA DE EVALUACIÓN
TIPO DE PRUEBA PRESENCIAL
Tipo de examen Examen de desarrollo
Preguntas desarrollo 5
Duración del examen 120 (minutos)
Material permitido en el examen
Ninguno.
Criterios de evaluación
Los alumnos deben demostrar en el examen:
1) que han entendido y saben manejar las reglas del cálculo deductivo
(Deducción Natural) y las del cálculo mediante árboles semánticos;
2) que han entendido nociones centrales de la lógica de predicados, como las de
validez, fórmula bien formada, contraejemplo, contradicción, implicación,
tautología, contingencia, constante lógica, descripción, operador modal, axioma,
entre otras;
3) que saben formalizar, es decir, extraer la forma lógica de un enunciado
(fórmula) y la de un argumento (esquema inferencial);
4) que saben encontrar una interpretación de una fórmula (enunciado) y la de un
esquema inferencial (argumento), con arreglo a ciertos requisitos establecidos en
el examen;
5) que saben distinguir entre variables y constantes individuales;
6) que han entendido y saben operar con fórmulas que contienen la identidad o la
descripción definida.
% del examen sobre la nota final 100
Nota del examen para aprobar sin PEC 5
Nota máxima que aporta el examen a la 10
calificación final sin PEC
Nota mínima en el examen para sumar la 5
PEC
Comentarios y observaciones
Junto con el enunciado de examen, se entregará también al alumno una tabla de
reglas, que será exactamente la que se subirá a la plataforma Alf.
BIBLIOGRAFÍA BÁSICA
ISBN(13):9788420686813
Título:INTRODUCCIÓN A LA LÓGICA FORMAL (1)
Autor/es:Deaño Gamallo, Alfredo ;
Editorial:ALIANZA EDITORIAL, S.A.
ISBN(13):9788436258585
Título:FORMAS LÓGICAS (GUÍA PARA EL ESTUDIO DE LA LÓGICA) (2003)
Autor/es:Castrillo Criado, Pilar ; Díez Martínez, Amparo ;
Editorial:U.N.E.D.
Los dos textos de la bibliografía básica son los indicados para la preparación de las
dos asignaturas de Lógica I y Lógica II.
El programa guarda, en líneas generales, correspondencia con los contenidos del libro de
Deaño. El libro Formas Lógicas no se ha concebido como un manual de Lógica, sino como
un complemento necesario, orientado especialmente a ofrecer:
- pautas para la correcta formalización del lenguaje natural, con abundantes ejemplos
comentados,
- estrategias para la convalidación de argumentos en el cálculo de la Deducción Natural, con
ejercicios resueltos y comentados,
- explicaciones más pormenorizadas de algunas de las nociones básicas de la Lógica, y
- la presentación del método de evaluación de fórmulas y esquemas de argumentos
mediante Árboles Semánticos (este método no se explica en el libro de Deaño).
Los dos libros son de lectura obligatoria, es decir, serán los libros de referencia para las
pruebas presenciales.
BIBLIOGRAFÍA COMPLEMENTARIA
ISBN(13):9788430937479
Título:LÓGICA SIMBÓLICA (4ª ed.)
Autor/es:Garrido Garrido, Manuel ;
Editorial:Tecnos
ISBN(13):9788434480421
Título:RAZÓN, DULCE RAZÓN :
Autor/es:Tymoczko, Thomas ; Henle, Jim ;
Editorial:ARIEL
ISBN(13):9788434487642
Título:INICIACIÓN A LA LÓGICA
Autor/es:Díez Calzada, José Antonio ;
Editorial:ARIEL
ISBN(13):9788436251166
Título:INTRODUCCIÓN A LA FILOSOFÍA DE LA LÓGICA (1ª)
Autor/es:Díez Martínez, Amparo ;
Editorial:U.N.E.D.
ISBN(13):9788439522003
Título:LOS MÉTODOS DE LA LÓGICA (1981)
Autor/es:Quine, W. V. O. ;
Editorial:ARIEL
ISBN(13):9788475332918
Título:LA LÓGICA Y SU FILOSOFÍA :
Autor/es:Quesada, Daniel ;
Editorial:BARCANOVA
ISBN(13):9788476424186
Título:LÓGICA MATEMÁTICA
Autor/es:Casañ, Pascual ;
Editorial:NAU Llibres
ISBN(13):9788481642919
Título:LÓGICA CLÁSICA DE PRIMER ORDEN
Autor/es:Martínez Vidal, Concepción ; Falguera López, José Luis ;
Editorial:TROTTA
ISBN(13):9789502312248
Título:INTRODUCCIÓN A LA LÓGICA (2002)
Autor/es:Gamut, L. T. F. ;
Editorial:EUDEBA
GLOSARIO
curso) de concebir todas las situaciones posibles de verdad y no sólo las que son el caso. El
concepto de verdad que aplicamos a los enunciados (lenguaje ordinario) no coincide
exactamente con el valor de verdad que aplicamos a las fórmulas (lenguaje lógico).
No obstante todo lo dicho, podemos ofrecer al alumno el siguiente listado de términos a cuyo
significado debe prestar especial atención:
Antecedente
Argumento
Axioma
Cálculo
Conclusión
Consecuencia
Consecuente
Consistencia
Constante individual
Contradicción
Contraejemplo
Cuantificador existencial
Cuantificador universal
Descripción definida
Descriptor
Forma lógica
Fórmula
Necesidad
Identidad
Implicación
Inferencia
Lenguaje formal
Ley
Posibilidad
Premisa
Regla de inferencia
Tautología
Teorema
Validez
Variable individual
Verdad
IGUALDAD DE GÉNERO
En coherencia con el valor asumido de la igualdad de género, todas las denominaciones que en esta
Guía hacen referencia a órganos de gobierno unipersonales, de representación, o miembros de la
comunidad universitaria y se efectúan en género masculino, cuando no se hayan sustituido por
términos genéricos, se entenderán hechas indistintamente en género femenino o masculino, según el
sexo del titular que los desempeñe.