LÓGICA MODAL AVANZADA

Objetivos

  • Manejar los aspectos filosóficos y técnico-formales de los resultados contemporáneos de los distintos sistemas de lógica no-clásica;  
  • Aplicar los sistemas estudiados;  
  • Escribir ensayos que reflejen una visión personal sobre los temas vistos en clase.  
  • Realizar búsquedas bibliográficas desarrollar una metodología de trabajo adecuada y enfrentarse a los textos en solitario;  Utilizar con fluidez un buen lenguaje científico-filosófico y discutir y argumentar de forma autónoma acerca de los temas estudiados.  

Contenidos

En esta materia se estudiarán las propiedades más importantes de los distintos sistemas de la lógica modal proposicional: K, T, S4 y S5. Se estudiarán criterios de validez, procedimientos de decisión y completud, así como las relaciones entre dichos sistemas. Se abordará además el estudio de la lógica de predicados modal y sus propiedades, la semántica de Kripke y los problemas filosóficos relacionados con la lógica modal cuantificada (Quine, Barcan Marcus). El curso incluye además la posibilidad de introducir al estudiante a otros sistemas relacionados: la lógica epistémica, la lógica deóntica y la lógica temporal.

Requisitos

El estudiante deberá haber cursado cursos introductorios de lógica clásica. Se requiere un cierto conocimiento de la lógica proposicional y de predicados de primer orden. Sería recomendable el estudio en paralelo de algún curso sobre metalógica. 

TEMARIO

  1. Primer tema (dejo esto aquí para preservar 
  2.  

Bibliografía básica

Primera entrada de bibliografía (dejo esto para mantener el formato de la letra)

Bibliografía complementaria

Primera entrada de bibliografía (dejo esto para mantener el formato de la letra)

En el curso 2023-2024 la sede del máster es la Universidad de Granada

El máster da acceso al doctorado interuniversitario en Lógica y Filosofía de la Ciencia

Aquí puedes conocer a nuestros alumnos

Enciclopedias, revistas, sociedades, bibliotecas virtuales

Encuentra aquí los últimos libros publicados por nuestros profesores

Trabajos fin de máster realizados por nuestros alumnos

Conoce a los coordinadores de cada Universidad

Conoce a nuestros profesores

Toda la información en un solo texto

Ciclo de conferencias anual

Nuestro decálogo de honestidad intelectual

Nuestro sistema de garantía de calidad