P5032204 - Lóxicas non-clásicas (Optativas de Lóxica) - Curso 2013/2014

Información

• Créditos ECTS
• Créditos ECTS: 5.00
• Total: 5.0
• Horas ECTS
• Clase Expositiva: 10.00
• Clase Interactiva Seminario: 16.00
• Horas de Titorías: 12.00
• Total: 38.0

Outros Datos

• Tipo: Materia Ordinaria Máster RD 1393/2007
• Departamentos: Lóxica e Filosofía Moral
• Áreas: Lóxica e Filosofía da Ciencia
• Centro: Facultade de Filosofía
• Convocatoria: 2º Semestre de Titulacións de Grao/Máster
• Docencia e Matrícula: Primeiro Curso (1º 1ª vez)

Profesores

Nome	Coordinador
MARTINEZ VIDAL, MARIA DE LA CONCEPCION.	SI

Horarios

Nome	Tipo Grupo	Tipo Docencia	Horario Clase	Horario exames
Grupo /CLE_01	Ordinario	Clase Expositiva	NON	NON
Grupo /CLIS_01	Ordinario	Clase Interactiva Seminario	NON	NON
Grupo /TI-ECTS01	Ordinario	Horas de Titorías	NON	NON

Programa

Existen programas da materia para os seguintes idiomas:

Castelán

Galego

Obxectivos da materia
Ao finalizar esta materia, espérase que o estudante sexa capaz de:
• Manexar os aspectos filosóficos e técnico-formais dos resultados contemporáneos dos distintos sistemas de lóxica non-clásica;
• Aplicar os sistemas estudados;
• Escribir ensaios que reflictan unha visión persoal sobre os temas vistos en clase.
• Realizar procuras bibliográficas, desenvolver unha metodoloxía de traballo adecuada e enfrontarse aos textos en solitario;
• Utilizar con fluidez unha boa linguaxe científica-filosófico e discutir e argumentar de forma autónoma acerca dos temas estudados.

Contidos
Estudaranse as propiedades de diversos sistemas lóxicos que resultan da extensión da lóxica clásica ou divergen nalgún punto dela (as chamadas ‘lóxicas diverxentes’), así como as motivacións filosóficas que as sustentan e as súas distintas aplicacións.
1. Lóxica proposicional. Os condicionais en lóxica proposicional clásica.
2. Lóxica Modal
3. Lóxicas condicionais
4. Lóxica Intuicionista
5. Lóxicas multivaloradas
6. Lóxicas relevantes

Bibliografía básica e complementaria
Manual de referencia da materia: Graham Priest, An Introduction to Non-Classical Logic: From If to Is, Second Edition (Cambridge University Press, 2008)

Bibliografía (non exhaustiva)
Barba, J. (2010): Lóxica, Lóxicas. Valladolid: Universidade de Valladolid.
Deaño, A., (1980): As concepcións da lóxica. Edición a cargo de J. Muguerza e 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. e 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 Ou.P: USA (Tradución española de 1978.Filosofía das lóxicas (trad. esp.) Cátedra: Madrid.)
Hughes, G. E. and Cresswell, M. J.A (1996), New Introduction to Modal Logic, Routledge: USA.
Palau, G. [et ao.], (aut.) 2002, Introdución filosófica ás lóxicas non clásicas. Gedisa: Mexico.

Recursos na rede:
Zalta E. (Editor), The Stanford Encyclopedia of Philosophy: http://plato.stanford.edu/


Competencias
Básicas/Xeráis
CB6: Posuír e comprender coñecementos que acheguen unha base ou oportunidade de ser orixinais no desenvolvemento e/ou aplicación de ideas, a miúdo nun contexto de investigación.
CB7 - Que os estudantes saiban aplicar os coñecementos adquiridos e a súa capacidade de resolución de problemas en entornos novos ou pouco coñecidos dentro de contextos mais amplos (ou multidisciplinares) relacionados coa súa área de estudo.
CB9 - Que os estudantes saiban comunicar as súas conclusións e os coñecementos e razóns últimas que as sustentan a públicos especializados e non especializados dun modo claro e sen ambigüedades.
CG1 - Que os estudantes sexan capaces de crear documentaciós lexibles, completas, técnicamente correctas. Elaborar traballos de investigación homologables co nivel internacional actual das disciplinas.

Específicas
CE1 - Que os estudantes sexan capaces de identificar os coñecementos tradicionais e actuais que se abordan na área de Lóxica e Filosofía da Ciencia, así como das súas diferentes correntes e tradiciones.
Metodoloxía da ensinanza
Teóricas/ Maxistrais: Cada tema iniciarase coa motivación apropiada da lóxica que se vaia a tratar. Ademais presentarase o sistema lóxico correspondente (linguaxe formal, cálculo e semántica).
Tutorías: Aclararanse os problemas e orientará aos estudantes no seu traballo.
Seguimento do traballo do curso: O seguimento do traballo do curso será personalizado e consistirá na realización de guías de lectura e/ou resumos de lecturas obrigatorias, tarefas ou exercicios prácticos e un ensaio final.
Temática para o ensaio final: versará sobre algunha das aplicacións das lóxicas non clásicas. Algúns exemplos posibles: 1) aplicacións á metafísica, Nathan Salmon, "The Logic of What Might Have Been", David Lewis, "Anselm and Actuality" (on the ontological argument), etc.; 2) aplicacións á ética: Goble, ed., Blackwell Guide to Philosophical Logic, chapter 8 (deontic logic). 3) aplicacións á epistemoloxía: Goble, chapter 9 (epistemic logic), artigos recentes de Stalnaker, Hendricks & Symons, e/ou van Benthem; 4) aplicacións á comprensión da ficción: Proudfoot, "Possible Worlds Semantics and Fiction"; 5) aplicacións ao tema do libre albedrío: van Inwagen, "When is the Will Free?" in Ou'Connor, ed., Agents, Causes, & Events ; 6) aplicacións á epistemoloxía da metafísica: capítulos do libro de Timothy Williamson The Philosophy of Philosophy; 7) aplicacións á filosofía da matemática: artigos de Dummett.

Sistema de evaluación
Asistencia e participación clases e tutorías 10 %
Seguimento do traballo do curso 60%
Realización do ensaio final (Máximo 4000 palabras): 30%

Tempo de estudo e traballo persoal
Teóricas/ Maxistrais
Horas Presenciais: 10
Horas de Traballo persoal: 10

Titorías
Horas Presenciais: 15
Horas de Traballo persoal: 15

Seguimento do traballo del curso (Guías de lectura e/o resúmenes de lecturas obligatorias; Tarefas o exercicios prácticos)
Horas presenciais: 12
Horas de traballo personal: 31
Realización de traballo final guiado polo profesor:
Horas presenciais: 4
Horas traballo personal: 28

Resumen:
Total horas: 125
Total horas presenc.: 41
Total horas traballo persoal: 84

Recomendacións para o estudo da materia
Asistencia regular a clases presenciais
Traballo regular de seguimento e tutorización