Objetivos de la asignatura

Al finalizar esta materia, se espera que el estudiante sea capaz de:

• 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

Se estudiarán las propiedades de diversos sistemas lógicos que resultan de la extensión de la lógica clásica o divergen en algún punto de ella (las llamadas “lógicas divergentes”), así como las motivaciones filosóficas que las sustentan y sus distintas aplicaciones. 

1. Los condicionales en lógica proposicional clásica. Las paradojas del condicional material. Otros argumentos problemáticos.
2. Lógica Modal. Sistemas de lógica modal proposicional. Semántica de mundos posibles. Lógicas modales normales y no normales.
3. Lógicas condicionales: Condicional estricto y condicionales contrafácticos. Sistemas lógicos. Semánticas para ambos tipos de condicionales. Paradojas del condicional estricto. Problemas relativos a los condicionales contrafácticos.
4. Lógica Intuicionista: Motivaciones filosóficas. Semántica intuiticionista y semántica modal para la lógica intuiticionista.
5. Lógicas multivaloradas: Motivación filosófica (Huecos 'gluts' y gaps'). Supervaluaciones. Las lógicas trivaloradas de Kleene y Lukasiewicz, LP y Rm3
6. Lógicas relevantes: Motivación filosófica. Lógicas modales y multivaloradas.

Bibliografía básica y complementaria

Manual de referencia de la materia:

Graham Priest, An Introduction to Non-Classical Logic: From If to Is, Second Edition (Cambridge University Press, 2008

Bibliografía (no exhaustiva)

Barba, J. (2010): Lógica, Lógicas. Valladolid: Universidad de Valladolid.
Deaño, A., (1980): Las concepciones de la lógica. Edición a cargo de J. Muguerza y C. Solís. Madrid: Taurus.
Dummett, M. (1977): Elements of Intuitionism. Oxford: Oxford University Press.
Chellas, B. F. (1980), Modal Logic. An Introduction. CUP: USA.
D’Agostino, M., Gabbay, D., Hännle, R. y Possega, J (eds.). (1999), Handbook of Tableau Methods, Kluwer, 1999.
Fitting, M. (1983), Proof Methods for Modal and Intuitionistic Logics, Reidel: Dordrecht.
Gabbay, d. M. and Guenthner, F. (1984), Handbook of Philosophical Logic. Vol II: Extensions of Classical Logic.: Reidel: Dordrecht.
Gabbay, D. M. and Guenthner, F.(1986), Handbook of Philosophical Logic. Vol III: Alternatives to Classical Logic. Reidel: Dordrecht.
Goble, L. (ed.) (2001): The Blackwell Guide to Philosophical Logic. Oxford: Blackwell. 
Haack, S.(1974/1978), Deviant Logic. Cambridge U.P: USA (Traducción española de 1978.Filosofía de las lógicas (trad. esp.) Cátedra: Madrid.)
Hughes, G. E. and Cresswell, M. J.A (1996), New Introduction to Modal Logic, Routledge: USA.
Palau, G. [et al.], (aut.) 2002, Introducción filosófica a las lógicas no clásicas. Gedisa: Mexico. 
Recursos en la red:
Zalta E. (Editor), The Stanford Encyclopedia of Philosophy: http://plato.stanford.edu/

Competencias

Básicas:

CB6: Poseer y comprender conocimientos que aporten una base u oportunidad de ser originales en el desarrollo y/o aplicación de ideas, a menudo en un contexto de investigación.
CB7. Que los estudiantes sepan aplicar los conocimientos adquiridos y su capacidad de resolución de problemas en entornos nuevos o poco conocidos dentro de contextos más amplios (o multidisciplinares) relacionados con su área de estudio
CB9. Que los estudiantes sepan comunicar sus conclusiones –y los conocimientos y razones últimas que las sustentan- a públicos especializados y no especializados de un modo claro y sin ambigüedades.

Competencias generales

CG1 Que los estudiantes sean capaces de crear documentaciones legibles, completas, técnicamente correctas. Elaborar trabajos de investigación homologables con el nivel internacional actual de las disciplinas.

Específicas:

CE1. Identificar los conocimientos tradicionales y actuales que se plantean en el área de Lógica y filosofía de la Ciencia, así como de sus diferentes corrientes y tradiciones. 

Metodología de la enseñanza

• Teóricas/ Magistrales: Cada tema se iniciará con la motivación apropiada de la lógica que se vaya a tratar. Además se presentará el sistema lógico correspondiente (lenguaje formal, cálculo y semántica). 
• Tutorías: Se aclararán los problemas y orientará a los estudiantes en su trabajo.
• Seguimiento del trabajo del curso: El seguimiento del trabajo del curso será personalizado y consistirá en la realización de guías de lectura y/o resúmenes de lecturas obligatorias, tareas o ejercicios prácticos y un ensayo final.
• Temática para el ensayo final: versará sobre alguna de las aplicaciones de las lógicas no clásicas. Algunos ejemplos posibles: 1) aplicaciones a la metafísica, Nathan Salmon, "The Logic of What Might Have Been", David Lewis, "Anselm and Actuality" (on the ontological argument), etc.; 2) aplicaciones a la ética: Goble, ed., Blackwell Guide to Philosophical Logic, chapter 8 (deontic logic). 3) aplicaciones a la epistemología: Goble, chapter 9 (epistemic logic), artículos recientes de Stalnaker, Hendricks & Symons, y/o van Benthem; 4) aplicaciones a la comprensión de la ficción: Proudfoot, "Possible Worlds Semantics and Fiction"; 5) aplicaciones al tema del libre albedrío: van Inwagen, "When is the Will Free?" in O'Connor, ed., Agents, Causes, & Events ; 6) aplicaciones a la epistemología de la metafísica: capítulos del libro de Timothy Williamson The Philosophy of Philosophy; 7) aplicaciones a la filosofía de la matemática: artículos de Dummett.

Sistema de evaluación

• Asistencia y participación clases y tutorías 10 %
• Seguimiento del trabajo del curso 60%
• Realización del ensayo final (Máximo 4000 palabras): 30%

Tiempo de estudio y trabajo personal

• Total horas: 125
• Total H presenc.: 10
• Total clases magistrales /teóricas: 10
• Total H no presenciales (trabajo personal): 115
• Tutorías: 10
• Seguimiento del trabajo del curso: 73
• Realización de prueba final o realización de trabajo final guiado por el profesor: 32