Lógica
(Curso Académico 2024 - 2025)

Mostrar Todo Ocultar Todo

• CE3 - Habilidad para construir y criticar argumentos formales e informales, reconociendo su fuerza o debilidad y cualquier falacia relevante.
• CE4 - Conocer la lógica del lenguaje, siendo capaces de usarlo con precisión y estando atentos a los engaños y errores que pueden derivarse de su mala utilización.
• CE12 - Facilidad para revisar ideas nuevas o poco familiares con una mente abierta y una buena disposición o voluntad de cambiar las propias cuando éstas se vean equivocadas o perjudiciales.
• CE16 - Aptitud para dialogar con otros, con flexibilidad mental para apreciar diferentes perspectivas de un mismo problema, defendiendo las propias posiciones, respetando las de los demás y asumiendo las críticas.
• CE18 - Capacidad para redactar artículos, comentarios e informes sobre problemas y actividades diversas, así como para su expresión oral, emitiendo sus propios juicios razonados y proponiendo alternativas.
• CE19 - Capacidad de participar en congresos, actividades culturales y reuniones científicas con distintos tipos de participación y de intervenir en los debates.
• CE20 - Habilidad para el manejo de la metodología científica en sus aspectos analíticos y sintéticos, de inducción y deducción.
• CE21 - Habilidad para documentarse por medios diversos, sabiendo buscar los datos más importantes en las fuentes originales y en los comentarios provenientes de la filosofía de las ciencias y otras remas de la cultura, o de la misma experiencia.
• CE22 - Habilidad para organizar y recuperar la información encontrada.
• CE23 - Habilidad para trabajar de forma autónoma y organizar el trabajo tomando decisiones metodológicas.
• CE24 - Capacidad de planificar el trabajo en secuencias temporales realizables.
• CE25 - Capacidad para saber orientarse en el mundo de las ideas y de la práctica, con autonomía e independencia de juicio.
• CE26 - Capacidad para trabajar en equipo.
• CE27 - Manejo de las tecnologías de la información y la comunicación.

• CB1 - Que los estudiantes hayan demostrado poseer y comprender conocimientos en un área de estudio que parte de la base de la educación secundaria general, y se suele encontrar un nivel que, si bien se apoya en libros de texto avanzados, incluye también algunos aspectos que implican conocimientos procedentes de la vanguardia de su campo de estudio.

• CB2 - Que los estudiantes sepan aplicar sus conocimientos a su trabajo o vocación de una forma profesional y posean las competencias que suelen demostrarse por medio de la elaboración y defensa de argumentos y la resolución de problemas dentro de su área de estudio.
• CB3 - Que los estudiantes tengan la capacidad de reunir e interpretar datos relevantes (normalmente dentro de su área de estudio) para emitir juicios que incluyan una reflexión sobre temas relevantes de índole social, científica o ética.
• CB4 - Que los estudiantes puedan transmitir información, ideas, problemas y soluciones a un público tanto especializado como no especializado.
• CB5 - Que los estudiantes hayan desarrollado aquellas habilidades de aprendizaje necesarias para emprender estudios posteriores con un alto grado de autonomía.

Tema 1. La lógica clásica de proposiciones :
1. El lenguaje formal de la lógica de proposiciones (Lp).
2. Formalización de fragmentos del lenguaje natural en el lenguaje de Lp.
3. La semántica de tablas de verdad para el lenguaje formal de Lp.
4. El método de árboles para Lp.
5. Derivaciones en un sistema de deducción natural para Lp.

Tema 2. Lógica de predicados:
6. El lenguaje formal de la lógica de predicados (LP).
7. Formalización de fragmentos del lenguaje natural en el lenguaje de LP.
8. El método de árboles para LP.

Tema 3. Teoría de conjuntos:
9. Nociones conjuntistas básicas

Tema 4. Más allá de la lógica clásica:
10. Introducción a las lógicas no clásicas
11. La lógica modal


 

0.5 creditos de esta asignatura serán en inglés. Para ello se usarán textos originales en inglés correspondientes a los cuatro temas y programas informáticos en inglés.

El cuatrimestre se divide en 14 semanas. Todas las semanas hay clases teóricas y prácticas. En semanas alternas hay seminarios y otras actividades complementarias los viernes.

Actividades formativas	Horas presenciales	Horas de trabajo autónomo	Total horas	Relación con competencias
Clases teóricas	30,00	0,00	30,0	[CE3], [CE12], [CB4], [CE25], [CE4], [CE27], [CE21], [CE19], [CB3], [CB5], [CE24], [CB2], [CB1], [CE26], [CE18], [CE20], [CE16], [CE22], [CE23]
Clases prácticas (aula / sala de demostraciones / prácticas laboratorio)	15,00	0,00	15,0	[CE3], [CE12], [CE25], [CE4], [CE27], [CE21], [CE19], [CE24], [CB1], [CE26], [CE18], [CE20], [CE16], [CE22], [CE23]
Realización de seminarios u otras actividades complementarias	10,00	5,00	15,0	[CE3], [CE12], [CE25], [CE4], [CE27], [CE21], [CE19], [CE24], [CB1], [CE26], [CE18], [CE20], [CE16], [CE22], [CE23]
Realización de trabajos (individual/grupal)	0,00	20,00	20,0	[CE3], [CE12], [CE25], [CE4], [CE27], [CE21], [CE19], [CE24], [CB1], [CE26], [CE18], [CE20], [CE16], [CE22], [CE23]
Estudio/preparación de clases teóricas	0,00	25,00	25,0	[CE3], [CE12], [CE25], [CE4], [CE27], [CE21], [CE19], [CE24], [CB1], [CE26], [CE18], [CE20], [CE16], [CE22], [CE23]
Estudio/preparación de clases prácticas	0,00	25,00	25,0	[CE3], [CE12], [CE25], [CE4], [CE27], [CE21], [CE19], [CE24], [CB1], [CE26], [CE18], [CE20], [CE16], [CE22], [CE23]
Preparación de exámenes	0,00	15,00	15,0	[CE3], [CE12], [CE25], [CE4], [CE27], [CE21], [CE19], [CE24], [CB1], [CE26], [CE18], [CE20], [CE16], [CE22], [CE23]
Realización de exámenes	5,00	0,00	5,0	[CE3], [CE12], [CE25], [CE4], [CE27], [CE21], [CE19], [CE24], [CB1], [CE26], [CE18], [CE20], [CE16], [CE22], [CE23]
Total horas
Total ECTS

Falguera, J. L. y C. Martínez (1999) Lógica clásica de primer orden: estrategias
de deducción, formalización y evaluación. Madrid, Trotta.
Liz, M. y M. Vázquez (1990) Teoría intuitiva de conjuntos y lógica clásica de proposiciones, La
Laguna, Secretariado de Publicaciones de la Univ. de La Laguna.
Ojeda, T., M. Ponte y M. Vázquez (2004) Ejercicios de lógica, La Laguna, Arte.

Barwise, J. y J. Etchemendy (2002) Language, Proof and Logic. California,
Center for the Study of Language and Information.


 
Haack, S. (1978). Philosophy of Logics. Cambridge University Press. Traducción española en editorial Cátedra.
Hughes, G.E. y M.J. Cresswell  (1996) A
new introduction to Modal Logic. Routledge.
 

Programas de ordenador en inglés:
Fitch, un entorno para construir pruebas de deducción natural.
Boole, una aplicación para construir tablas de verdad.an
Tarski's World, un entorno para investigar la semántica de los enunciados de primer orden en un mundo de bloques.

Evaluación continua
1. Participación en clase 10% (hasta 1 punto)
2. Entrega de tres tareas 30% (hasta 3 puntos)
3. Tres exámenes 60% (hasta 6 puntos)

La participación a clase se contabilizará al finalizar el cuatrimestre. Las tareas y los exámenes se harán a lo largo del cuatrimestre. Cada una de las tareas vale un 10%. Una de las táreas es en inglés, la correspondiente al tema de lógica de predicados. Los exámenes valen el primero un 15%, el segundo un 30% y el tercero un 15%.

Requisitos de la evaluación continua:
• Es obligatoria la realización de los tres exámenes para aprobar la evaluación continua.
• Una vez realizados los tres exámenes (60% de la nota final), no se podrá cambiar a evaluación única.
• Si se realizan los tres examenes y no se aprueba alguno (al menos 5 puntos sobre 10 en cada uno), se suspende la evaluación continua. 

El alumnado que no apruebe la evaluación continua:
• Aparecerá en el acta de la primera convocatoria con la suma de las notas de los exámenes realizados ponderadas por su peso en la calificación final, no se calificarán las tareas ni la participación. 
• Realizará la evaluación única en las siguientes convocatorias.

Evaluación única
• Examen (hasta 10 Puntos)

Preguntas frecuentes:
¿Prueba final con peso en la calificación entre el 40% y el 50 %? NO
¿Porcentaje de actividades realizadas a partir del que se pierde la posibilidad de optar a evaluación única? Una vez realizados los tres exámenes (60% de la nota final), no se podrá cambiar a evaluación única.
¿Requisitos de la evaluación continua (si los hay)? Realizar los tres exámenes y sacar al menos 5 puntos sobre 10 en cada uno.
¿Cuándo se consume la evaluación continua? Una vez realizados los tres exámenes.
¿Qué calificación se pone cuando no se cumplen los requisitos de evaluación continua (contemplando el caso en que se saque un 5 o más en la calificación de la asignatura) y se ha consumido la evaluación continua? Aparecerá en el acta de la primera convocatoria con la suma de las notas de los exámenes realizados ponderadas por su peso en la calificación final, no se calificarán las tareas ni la participación.
¿Cuentan las actividades realizadas en la evaluación continua en la evaluación única? No, en ninguna convocatoria.
¿En qué consiste la evaluación única? En un examen de todo el temario, incluyendo las actividades prácticas. El examen se califica hasta 10 puntos.

El alumnado que se encuentre en la quinta o posteriores convocatorias y desee ser evaluado por un Tribunal, deberá presentar una solicitud a través del procedimiento habilitado en la sede electrónica, dirigida a la persona responsable de su Facultad o Escuela (recomendable concretar según la titulación: Decana, Decano, Director o Directora). Dicha solicitud deberá realizarse con una antelación mínima de diez días hábiles al comienzo del periodo de exámenes.

Tipo de prueba	Competencias	Criterios	Ponderación
Pruebas de desarrollo	[CE3], [CE12], [CB4], [CE25], [CE4], [CE27], [CE21], [CE19], [CB3], [CB5], [CE24], [CB2], [CB1], [CE26], [CE18], [CE20], [CE16], [CE22], [CE23]	Dominio de los conocimientos teóricos y prácticos de la materia	60,00 %
Trabajos y proyectos	[CE3], [CE12], [CB4], [CE25], [CE4], [CE27], [CE21], [CE19], [CB3], [CB5], [CE24], [CB2], [CB1], [CE26], [CE18], [CE20], [CE16], [CE22], [CE23]	Realización de las tareas asignadas. Calidad de los resultados obtenidos	30,00 %
Asistencia y participación en clase	[CE3], [CE12], [CB4], [CE25], [CE4], [CE27], [CE21], [CE19], [CB3], [CB5], [CE24], [CB2], [CB1], [CE26], [CE18], [CE20], [CE16], [CE22], [CE23]	Participación en las clases y seminarios.	10,00 %

*La distribución de los temas por semana es orientativo, puede sufrir cambios según las necesidades de organización docente. También la entrega de tareas y exámenes. Aunque los seminarios de los viernes son en semanas alternas, se pone igual carga de trabajo presencial todas las semanas para facilitar los cálculos.

Semana	Temas	Actividades de enseñanza aprendizaje	Horas de trabajo presencial	Horas de trabajo autónomo	Total
Semana 1:	Tema 1	Clases teóricas + Clases prácticas	4.00	5.00	9.00
Semana 2:	Tema 1	Clases teóricas + Clases prácticas + Entrega tarea	4.00	7.00	11.00
Semana 3:	Tema 1	Clases teóricas + Clases prácticas	4.00	5.00	9.00
Semana 4:	Tema 1	Clases teóricas + Clases prácticas + Examen	4.00	9.00	13.00
Semana 5:	Tema 1	Clases teóricas + Clases prácticas	4.00	5.00	9.00
Semana 6:	Tema 1	Clases teóricas + Clases prácticas + Entrega tarea	4.00	7.00	11.00
Semana 7:	Tema 1	Clases teóricas + Clases prácticas	4.00	5.00	9.00
Semana 8:	Tema 1	Clases teóricas + Clases prácticas + Examen	4.00	9.00	13.00
Semana 9:	Tema 2	Clases teóricas + Clases prácticas	4.00	5.00	9.00
Semana 10:	Tema 2	Clases teóricas + Clases prácticas + Entrega tarea inglés	4.00	7.00	11.00
Semana 11:	Tema 3	Clases teóricas + Clases prácticas	4.00	5.00	9.00
Semana 12:	Tema 3	Clases teóricas + Clases prácticas + Entrega tarea	4.00	9.00	13.00
Semana 13:	Tema 3	Clases teóricas + Clases prácticas	4.00	5.00	9.00
Semana 14:	Tema 4	Clases teóricas + Clases prácticas +	4.00	5.00	9.00
Semana 15 a 17:			4.00	2.00	6.00
Total			60.00	90.00	150.00