**Codi 611413**
SEMÀNTICA FORMAL

1. Objectius docents
Introduir l'alumne a la metodologia i a alguns dels temes bàsics en semàntica.

2. Continguts i pla de desenvolupament
La semàntica estudia la relació entre les estructures sintàctiques i el seu significat. Procedeix determinant, per una banda, el tipus de significat de les diferents menes d'expressions bàsiques, i per altra, la forma en què el significat d'estructures més complexes depèn del d'estructures més simples (per exemple: com el significat d'un V' format per un verb i un sintagma nominal, depèn del significat del verb i del significat del SN). La semàntica formal estudia el significat de les llengües naturals tot fent ús de les eines que ens proporcionen la teoria de conjunts i l'estudi dels llenguatges de la lògica.
El temari del curs serà el següent:
1. Qüestions bàsiques. Composicionalitat.
2. Noms propis, verbs intransitius, verbs transitius
3. Elements vacus. Predicats no verbals.
4. L'article definit. Presuposicions.
5. Clàusules de relatiu. Variables i abstracció de predicats. Pronoms.
6. La quantificació en les llengües naturals. Determinants.
7. Una mirada endavant: Breu introducció a alguns dels temes que no s'hauran tractat.
(Anàfora, el.lipsi, focus, negació, temps, aspecte, plurals, termes de massa, genèrics, contextos intensionals)

3. Criteris i formes d'avaluació
Exercicis durant tot el quatrimestre i un examen.

4. Bibliografia docent
CHIERCHIA, Gennaro, Sally McCONNELL-GINET. (1990). Meaning and Grammar: An introduction to Semantics. Cambridge: MIT Press.
GAMUT, L.F.T. (1991). Logic, Language and Meaning, vol. 1. University of Chicago Press.
HEIM, Irene, Angelika KRATZER. (1997). Semantics in Generative Grammar
LAPPIN, Shalom (ed.) (1996). The Handbook of Contemporary Semantic Theory. Blackwell.
LARSON, Richard, Gabriel SEGAL (1996). Knowledge of meaning: Semantic value and Logical Form. Cambridge: MIT Press.
PARTEE, B., Alice ter MEULEN, Robert WALL. (1990) Mathematical Methods in Linguistics. Kluwer Academic Publishers.

5. Observacions
Cal haver cursat Lògica per a Lingüistes, o tenir coneixements equivalents.