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)

The headquarter for 2017-2018 is the University of Valladolid

This master’s degree gives direct access to the interuniversity PhD programme in Logic and Philosophy of Science.

Logic and Philosophy of Science alumni

Encyclopedias, journals, learned societies , virtual libraries

Learn about the latest books published by our teachers

Master's Theses on Logic and Philosophy of Science

Get to know the coordinators of every University

Our staff

All information in one file

Our regular conferences

Our intellectual honesty decalogue

Our quality assurance system