**Codi 611412**
LÒGICA PER A LINGÜISTES

1. Objectius docents
Considerem el seguent text extret de El Programa Minimista de N. Chomsky:
"De moment, doncs, els objectes sintàctics que estem considerant són dels tipus següents:
(i) unitats lèxiques
(ii) K = {, {, }}, on , són objectes i és l'identificador de K
Els objectes de tipus (i) són complexos de trets, que estan llistats en el lèxic. El pas recursiu és a (ii). Suposem que una derivació ha arribat a l'estat ={, , i,..., n}. Aleshores l'aplicació d'una operació que forma K com es fa a (ii) converteix en '={K, i,..., n}, que inclou K pero no , ."
Textos com aquest poden presentar dues menes de dificultats a l'estudiant que els llegeix: la de la comprensió de les idees i els conceptes que pertanyen pròpiament a la teoria lingüística i la de dominar l'aparell tècnic (de lògica i teoria de conjunts) que els autors pressuposen en presentar les seves idees. El curs Lògica per a lingüistes té la finalitat d'ajudar l'alumne en aquesta segona mena de dificultats. El curs vol familiaritzar l'alumne amb algunes de les eines formals bàsiques que s'usen en lingüística. El curs contribuirà a millorar la comprensió per part de l'alumne dels aspectes tècnics o formals dels treballs de recerca en lingüística, especialment d'aquells en semàntica.

2. Continguts i pla de desenvolupament
1. Introducció a la Teoria de Conjunts: Noció de conjunt. Pertinença. Inclusió. Unió. Intersecció. Conjunt potència. Producte cartesià. Parells ordenats. Relacions. Relació inversa. Composició de relacions. Propietats de relacions. Relacions d'equivalència. Particions. Funcions. Propietats de funcions. 2. Definicions per recursió: Aquest tema no es tractarà per si mateix com a tema separat sinò com a part dels altres tres temes, especialment de 3 i 4. 3. Lògica d'enunciats: Sintaxi. Taules de veritat. Semàntica. Equivalència. Conseqüència. 4. Introducció a la lògica de predicats: Sintaxi. Estructures. Veritat en una estructura. Formalització.

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

4. Bibliografia docent
ALLWOOD, J., A. LARS-GUNNAR, D. OSTEN Logic in Linguistics. Cambridge UP, 1995. BADESA,C., I. JANE, R. JANSANA, Elementos de Logica Formal. Ariel, 1998. DEAÑO, A. Introducción a la lógica formal. Alianza Universidad, 1978. ENDERTON, H. Elements of Set Theory. Academic Press. 1977. ENDERTON, H. A Mathematical Introduction to Logic. Academic Press. 1972. GAMUT, L.F.T. Logic, Language and Meaning, vol. 1. University of Chicago Press, 1991. McCAWLEY, J. Everything that linguists have always wanted to know about logic (but were ashamed to ask). Basil Blackwell. 1981. PARTEE, B., Alice ter MEULEN, Robert WALL. Mathematical Methods in Linguistics. Kluwer Academic Publishers. 1990. MATES, B. Lógica matemática elemental. Tecnos 1970. SUPPES, P. Introducción a la lógica simbólica Ed. CECSA. 1996.