Logo

Lógica

Código: 108426
Créditos: 6
2026/2027
Titulación Tipo Curso
Filosofía FB 1

Profesor/a de contacto

Nombre :
María Pilar Dellunde Clave
Correo electrónico :
pilar.dellunde@uab.cat

Equipo docente

Roger Deulofeu Batllori

Idiomas de los grupos

Puede consultar esta información al final del documento.

Prerrequisitos

Esta asignatura no tiene prerequisitos.

Objetivos

El objetivo general de esta asignatura es introducir al alumnado en el estudio de la lógica como herramienta fundamental para el análisis del razonamiento y de la argumentación. Se trata, por un lado, de familiarizarse con algunas nociones básicas que permiten evaluar la corrección de los argumentos deductivos y, por otro, de adquirir técnicas para identificar su estructura, distinguir entre inferencias válidas e inválidas y expresar con mayor precisión las relaciones entre premisas y conclusiones. La asignatura presta especial atención a los razonamientos filosóficos, pero las competencias que se trabajan en ella —claridad conceptual, rigor argumentativo y capacidad de análisis crítico— son igualmente relevantes para estudiantes de otros ámbitos.

Resultados de aprendizaje

  • CM08 (Validar con supervisión el propio proceso de aprendizaje aplicando criterios de autoevaluación y empleando estrategias de mejora continua.) Validar con supervisión el propio proceso de aprendizaje aplicando criterios de autoevaluación y empleando estrategias de mejora continua.
  • CM09 (Generar pensamiento crítico y riguroso mediante el uso consciente de herramientas lógicas y metodológicas sobre un tema filosófico, evaluando posibles sesgos de género en los conceptos, argumentos y marcos teóricos utilizados.) Generar pensamiento crítico y riguroso mediante el uso consciente de herramientas lógicas y metodológicas sobre un tema filosófico, evaluando posibles sesgos de género en los conceptos, argumentos y marcos teóricos utilizados.
  • KM08 (Identificar los principios y estructuras fundamentales del razonamiento lógico formal y su relevancia en el análisis filosófico.) Identificar los principios y estructuras fundamentales del razonamiento lógico formal y su relevancia en el análisis filosófico.
  • KM09 (Reconocer los recursos digitales y documentales más relevantes y actualizados para la búsqueda, organización y gestión de información en el estudio de la filosofía.) Reconocer los recursos digitales y documentales más relevantes y actualizados para la búsqueda, organización y gestión de información en el estudio de la filosofía.
  • KM10 (Describir las convenciones y técnicas básicas del trabajo académico en filosofía en diferentes formatos.) Describir las convenciones y técnicas básicas del trabajo académico en filosofía en diferentes formatos.
  • SM08 (Aplicar reglas lógicas básicas para evaluar la validez de argumentos detectando errores de razonamiento formal y falacias.) Aplicar reglas lógicas básicas para evaluar la validez de argumentos detectando errores de razonamiento formal y falacias.
  • SM09 (Evaluar la pertinencia, fiabilidad y actualidad en la búsqueda autónoma de fuentes filosóficas primarias y secundarias.) Evaluar la pertinencia, fiabilidad y actualidad en la búsqueda autónoma de fuentes filosóficas primarias y secundarias.
  • SM10 (Utilizar herramientas formales y bibliográficas (bases de datos, catálogos, gestores de citas, etc.) para fundamentar el trabajo filosófico.) Utilizar herramientas formales y bibliográficas (bases de datos, catálogos, gestores de citas, etc.) para fundamentar el trabajo filosófico.

Contenidos

1. Introducción a la asignatura: ¿Por qué lógica? Psicología del razonamiento deductivo. Lógica e inteligencia artificial.

2.Introducción a la lógica proposicional.

  • Primeros pasos hacia la simbolización. Conectivas. Enunciados.
  • Semántica de la lógica proposicional. Asignación de valores de verdad. Tablas de verdad. Tautologías, contradicciones y fórmulas contingentes.
  • Satisfacibilidad y consecuencia lógica. Equivalencia lógica.
  • Deducción natural para la lógica proposicional.

3.Razonamiento categórico.

  • Proposiciones categóricas.
  • Silogismos categóricos.
  • Diagramas de Venn.

4.Intorducción a la lógica de 1r orden.

-Sintaxis y semántica de la lógica de primer orden.

5.El ensayo argumentativo.


Actividades formativas y Metodología

Título Horas ECTS Resultados de aprendizaje
Estudio de conceptos 25 1 CM09, KM10, SM10
Resolución de problemas en clase 41 1,64 CM08, CM09, KM08, SM08
Taller de juegos deductivos y de rol 20 0,8 CM09, KM08, SM08, SM09, SM10
Análisis de argumentos 24 0,96 CM08, CM09, KM08, SM08
Resolución de problemas 15 0,6 KM08, SM08

La asignatura combinará sesiones teóricas y sesiones prácticas. En las sesiones teóricas, el profesorado introducirá los conceptos, las herramientas y los procedimientos fundamentales de cada bloque temático, promoviendo la participación del alumnado mediante preguntas, la discusión de ejemplos y el análisis de casos de razonamiento. Estas sesiones tienen como objetivo proporcionar el marco conceptual necesario para comprender las nociones lógicas básicas y su aplicación al análisis de argumentos.

Las sesiones prácticas se orientarán a la resolución de ejercicios, problemas y actividades de aplicación. Se trabajará tanto individualmente como en grupo, con el objetivo de consolidar progresivamente las competencias de análisis, formalización y evaluación de razonamientos. En estas sesiones se fomentará el aprendizaje activo mediante estrategias de trabajo cooperativo, la corrección compartida de ejercicios y la discusión razonada de las distintas soluciones posibles.

Asimismo, en algunos puntos del temario se incorporarán dinámicas de aprendizaje basado en juegos, con la finalidad de reforzar la motivación, facilitar la práctica reiterada de procedimientos lógicos y favorecer una participación más activa del alumnado. Estas metodologías se concebirán como un complemento al trabajo formal propio de la asignatura y se orientarán a mejorar la comprensión, la autonomía y la capacidad de aplicar las herramientas lógicas en contextos diversos.

La perspectiva de género se incorporará de manera transversal en la asignatura mediante la atención a los sesgos que pueden intervenir en el razonamiento, en la formulación de ejemplos y en la evaluación de argumentos. Aunque la lógica formal estudia estructuras de inferencia con independencia del contenido concreto de los enunciados, la asignatura prestará atención al hecho de que los argumentos que aparecen en contextos reales pueden contener presupuestos, estereotipos o generalizaciones problemáticas.

Nota: se reservarán 15 minutos de una clase dentro del calendario establecido por el centro o por la titulación para que el alumnado rellene las encuestas de evaluación de la actuación del profesorado y de evaluación de la asignatura o módulo.

Evaluación

Actividades de evaluación continuada

Título Peso Horas ECTS Resultados de aprendizaje
Test de síntesis 2 30% 4 0,16 CM09, KM08, KM10, SM08
Prácticas en clase 30% 15 0,6 CM08, CM09, KM08, KM09, KM10, SM08, SM09, SM10
Participación en clase 10% 2 0,08 CM08, CM09, KM08, KM09, KM10, SM08, SM09, SM10
Test de síntesis 1 30% 4 0,16 CM09, KM08, KM10, SM08

Esta asignatura no prevé el sistema de evaluación única.

Para ser evaluado de las prácticas, será necesario haber asistido a un mínimo del 80%. Si no se alcanza este porcentaje, el estudiante obtendrá 0 puntos en esta parte. Las prácticas no son recuperables.

Para poder ser evaluado, el estudiante deberá presentarse obligatoriamente a los dos tests de síntesis de la asignatura. La no realización de uno de los dos tests comportará la calificación de «No evaluable».

La participación se evaluará a partir de la entrega puntual de ejercicios, reflexiones metacognitivas y autoevaluaciones en las clases teóricas.

La recuperación de la asignatura constará de un examen y solo podrán presentarse a ella los estudiantes que hayan obtenido como mínimo un 3,5 de media entre tests, prácticas y participación. En aquellas situaciones en las que, de acuerdo con el artículo 264 de la Normativa Académica y con la documentación acreditativa correspondiente, deban reprogramarse pruebas evaluativas previstas para el primer periodo evaluativo, estas se realizarán el mismo día de la prueba del segundo periodo evaluativo de la asignatura o, si procede, durante el periodo de recuperación. Si la incidencia afecta a una prueba del segundo periodo evaluativo, esta se reprogramará para el día previsto de recuperación, sin que ello afecte al proceso establecido. En cualquier caso, atendiendo a las circunstancias concurrentes, la Coordinación de la titulación, de acuerdo con la Coordinación de la asignatura, podrá determinar una fecha alternativa si lo considera oportuno.

El profesorado informará al alumnado de la realización de las actividades evaluativas, así como del procedimiento y de la fecha de revisión de las calificaciones, a través del Campus Virtual.

En caso de que el estudiante cometa cualquier irregularidad que pueda conducir a una variación significativa de la calificación de un acto de evaluación, este se calificará con 0, con independencia del proceso disciplinario que pueda instruirse. Si se producen diversas irregularidades en los actos de evaluación de una misma asignatura, la calificación final será 0.

Los estudiantes Erasmus que soliciten adelantar un examen deberán presentar al profesorado un documento escrito de su universidad de origen que justifique la solicitud.

Uso de la IA

En esta asignatura se permite el uso de tecnologías de inteligencia artificial (IA) exclusivamente en tareas de apoyo, como la búsqueda bibliográfica o de información, la corrección de textos o la realización de traducciones, si procede. En caso de utilizarlas, el estudiante deberá identificar claramente qué partes han sido generadas con esta tecnología, especificar las herramientas empleadas e incluir una reflexión crítica sobre cómo han influido en el proceso y en el resultado final de una actividad concreta. La falta de transparencia en el uso de la IA se considerará una falta de honestidad académica y podrá comportar una penalización parcial o total en la calificación final, o sanciones más graves en casos de especial gravedad. En las clases prácticas no se permite el uso de la IA, salvo que el profesor lo indique explícitamente.

Bibliografía

Obligatoria

Dellunde, P., & Deulofeu, R. (Trad. i adapt.). (2026). Forallx Barcelona. Basat en P. D. Magnus, Forallx. University at Albany, State University of New York. Llicència Creative Commons.


Secundaria

  1. Badesa, C., Jané, I., & Jansana, R. (2007). Elementos de lógica formal. Ariel.
  2. Copi, I. M., Cohen, C., & Rodych, V. (2018). Introduction to logic (15a ed.). Routledge.
  3. Doxiadis, A., & Papadimitriou, C. H. (2011). Logicomix: Una búsqueda épica de la verdad. Sinsentido.
  4. Kelley, D. (2013). The art of reasoning: An introduction to logic and critical thinking. W. W. Norton & Company.
  5. Lavin, A. (2025). Thinking well: A logic and critical thinking textbook. https://human.libretexts.org/Bookshelves/Philosophy/Logic_and_Reasoning/Thinking_Well_-_A_Logic_and_Critical_Thinking_Textbook_4e_(Lavin)
  6. Sider, T. (2010). Logic for philosophy. Oxford University Press.


Software

No se utilizará programario específico.

Grupos e idiomas de la asignatura

La información proporcionada es provisional hasta el 30 de noviembre. A partir de esta fecha, podrá consultar el idioma de cada grupo a través de este enlace. Para acceder a la información, será necesario introducir el CÓDIGO de la asignatura

Tipo de docencia Grupo Idioma Semestre Turno
(TE) Teoría 1 Catalán primer cuatrimestre manaña-mixto
(TE) Teoría 2 Catalán primer cuatrimestre manaña-mixto
(PAUL) Prácticas de aula 11 Catalán primer cuatrimestre manaña-mixto
(PAUL) Prácticas de aula 12 Catalán primer cuatrimestre manaña-mixto
(PAUL) Prácticas de aula 21 Catalán primer cuatrimestre manaña-mixto