Objetivos de la asignatura

Estudiar las aplicaciones de los métodos formales de la lógica para el análisis de la estructura y, sobre todo, el significado del lenguaje natural.

Contenidos

Partiendo de conceptos básicos sobre lenguajes lógicos y su semántica se estudiarán los conceptos básicos de la semántica formal (semántica de Montague), sus limitaciones y posibles ampliaciones y alternativas, así como algunos otros aspectos del lenguaje natural susceptibles de análisis formal.

Lenguajes lógicos. Lenguajes de primer orden: definición recursiva de las fórmulas, Concepto de modelo y definición recursiva de satisfacción. Lenguaje sin interpretar y lenguaje interpretado. Lógica modal.
Conceptos básicos de semántica formal. Abstracción lambda, cuantificadores generalizados, teorías de tipos extensional e intensional. Semántica de Montague.
Más allá de Montague: Plurales, términos de masa, eventos. Vaguedad, parcialidad, semántica de situaciones. Presuposición. Pragmática y dependencia contextual.

Bibliografía

Bibliografía básica

Bach, E. (1989): Informal Lectures on Formal Semantics, State University of New York Press, New York. LI 1502. Hay traducción castellana: Lecciones básicas de semántica formal, Ediciones del Bronce – Edicions de la Universitat de Barcelona, Barcelona 1997.

Gamut, L.T.F. (1991a): Logic, Language and Meaning vol. 2: Intensional Logic and Logical Grammar, University of Chicago Press, Chicago.

Portner, P (2005): What is meaning? Fundamentals of formal semantics, Blackwell Publishing, Oxford.

Swart, H. de (1998): Introduction to natural language semantics, CSLI, Stanford.

Bibliografía complementaria

Benthem, J.van; ter Meulen, A. (eds.) (1997): Handbook of logic and language, Elsevier.

Cann, R. (1993): Formal semantics, Cambridge U.P., Cambridge.

Chierchia, G.; McConnell-Ginet (1992): An introduction to semantics, MIT Press, Cambridge,Ma.

Davis, S. Gillon, B.S. (eds.) 2004: Semantics. A Reader, Oxford U.P.

Dowty, D.; Wall, R.; Peters, S (1981): Introduction to Montague semantics, Reidel PC, Dordrecht..

Escandell Vidal, M.T. (2004): Fundamentos de Semántica composicional, Ariel Lingüística, Barcelona.

Kadmon (2001): Formal Pragmatics, Blackwell.

Larson, R.; Segal, G. (1995): Knowledge of meaning. An introduction to semantic theory, MIT

Press, Cambridge, Massachussets.

Landman, F. (2000): Events and plurality: the Jerusalem lectures, Dordrecht [etc.] : Kluwer Academic, 2000

Lappin, S. (1996): The handbook of contemporary semantic theory, Blackwell, Cambridge.

Link, G (ed.) (1998): Algebraic semantics in language philosophy, University of Chicago Press.

Moreno Cabrera, J.C. (1985): Lógica formal y lingüística. Una introducción a la grmática de R. Montague, Ediciones de la UAM, Madrid.

Moreno Cabrera, J.C. (2000): Curso universitario de lingüística general. Tomo II: Semántica, pragmática, morfología y fonología, Síntesis, Madrid.

Portner, P.; Partee, B. (2002): Formal semantics: the essential readings, Blackwell, Oxford.

Partee B.H., Meulen A.T., Wall R.E. (1990): Mathematical Methods in Linguistics. Kluwer Dordrecht, Boston, London.

Riemer, N. (2010): Introducing Semantics, Cambridge U.P. Cambridge.

Saeed, J.I. (2009): Semantics 3rd edition, Wiley-Blackwell, Chichester.

Schein, B (1993): Plurals and Events, MIT press.

Competencias

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.

CB10. Que los estudiantes poseerán las habilidades de aprendizaje que les permitan continuar estudiando de un modo que habrá de ser en gran medida autodirigido o autónomo.

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.

Competencias específicas

CE1. Que los estudiantes sean capaces de 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.

CE2. Que los estudiantes logren un dominio del instrumental analítico de la filosofía de modo que les permita deslindar los factores semánticos, lógicos, epistemológicos, metodológicos, ontológicos, axiológicos y éticos presentes en la ciencia y la tecnología.

CE3. Que los estudiantes sean capaces de comprender las controversias, considerar y relacionar las alternativas y juzgar qué parte está mejor justificada o es más razonable.

Metodología de la enseñanza

En las clases presenciales se expondrá, por una parte, una visión general de la temática del curso y, por otra, los principales conceptos y herramientas formales necesarios (varios tipos de lenguajes formales, los correspondientes tipos de modelos, la abstracción lambda, la semántica de Montague...). La parte no presencial se dedicará a efectuar una serie de lecturas que se programarán cada año por acuerdo mutuo entre profesor y alumnos, comentarlas en el foro de la plataforma Moodle y escribir pequeños ensayos sobre ellas que serán la base de la evaluación.

Sistema de evaluación

Asistencia y participación clases y tutorías 20%
Seguimiento trabajo del curso 40 %
Prueba/trabajo final 40%

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