Filosofia del linguaggio Turno 1/2005-2006

Da WikiDsy.
Versione del 27 lug 2006 alle 08:15 di Yoruno (discussione | contributi)
(diff) ← Versione meno recente | Versione attuale (diff) | Versione più recente → (diff)


Informazioni generali

Il corso intende essere una introduzione alla semantica dei linguaggi naturali e si suddivide in due parti, la prima orientata agli strumenti logici, la seconda alle tematiche più squisitamente linguistiche. Il corso non richiede particolari prerequisiti o propedeuticità.

Parte Prima: Elementi essenziali di logica: linguaggi elementari e strutture, calcolo dei tableaux, cenni sulla sintassi del lambda-calcolo.

Parte Seconda: Introduzione alla semantica modellistica: principio di composizionalità, determinanti, sintagmi nominali, distinzioni di ambito, pronomi, aggettivi e modificatori, pronomi relativi, cenni sui costrutti intensionali.

Docenti

Silvio Ghilardi, Giulio Pavesi

Avvisi

Il primo compitino si terrà martedì 29 novembre alle ore 10:30 in aula V1.

Orari delle lezioni

Turno 1

Martedì 10:30-12:30 Aula V1 (333 posti, via Venezian 15)
Giovedì 08:30-10:30 Aula V1 (333 posti, via Venezian 15)

Turno 2

Martedì 17:30-19:30 Aula V2 (116 posti, via Venezian 15)
Venerdì 17:30-19:30 Aula V2 (116 posti, via Venezian 15)

Non vi è obbligo di frequenza, si può seguire indifferentemente qualsiasi turno.

Orario di ricevimento studenti

Prof. S. Ghilardi: venerdì, h. 11.30, st. P130
dott.ssa A. Bucalo: martedì, h. 11.30

Sito del corso

http://homes.dsi.unimi.it/~bucalo/fdl/

Materiale didattico

Sono disponibili sul sito del corso 2 dispense complete.
Saranno inoltre pubblicati dei pacchetti esplicativi, lezione per lezione,ai quali si potrà accedere con una password che vi comunicheremo al più presto.

Modalità d'esame

Vi saranno 2 compitini in itinere relative alle due parti fondamentali del corso. Il primo intorno alla fine di ottobre e il secondo prima delle vacanze natalizie. La prova è sufficiente se entrambe le parti sono valutate con voto maggiore o uguale a 18/30. La votazione finale è data dalla media dei due voti riportati.

Diario del corso

Lezione di Martedì 4-10-05

Argomenti trattati nella lezione di LINGUISTICA:

- Introduzione
- Competenza Linguistica (Sintattica-Semantica-Pragmatica)
- Modello del Linguaggio Naturale (regole, simbologia e categorie lessicali)

Lezione di Giovedì 6-10-05

Argomenti trattati nella lezione di LOGICA:

- Logica del primo ordine
- Connettivi logici e precedenze
- Formule e sottoformule
- Gerarchia dei simboli (alberi)

Lezione di Martedì 11-10-05

Argomenti trattati nella lezione di LINGUISTICA:

- Categorie lessicali e derivate
- Grammatica libera dal contesto
- Ambiguità sintattica e semantica

Lezione di Giovedì 13-10-05

Argomenti trattati nella lezione di LOGICA:

- Tavole di verità
- Leggi di De Morgan e di distributività
- Tautologie, formule soddisfacibili e contraddizioni

Lezione di Martedì 18-10-05

Argomenti trattati nella lezione di LINGUISTICA:

- Semantica
- Funzione caratteristica
- Lambda Riduzioni

Lezione di Giovedì 20-10-05

Argomenti trattati nella lezione di LOGICA:

- Modelli
- Conseguenze logiche
- Equivalenze logiche
- Esercizi vari sulle tavole di verità, alberi

Lezione di Martedì 25-10-05

Argomenti trattati nella lezione di LOGICA:

(scambio con il prof ghilardi del giorno di lezione)

- Sintassi del primo ordine
- Insieme dei termini
- Formule
- Forme normali negative

Lezione di Giovedì 27-10-05

Argomenti trattati nella lezione di LINGUISTICA:

- Lambda riduzioni
- Esercizi vari sulle lambda riduzioni

Lezione di Giovedì 3-11-05

Argomenti trattati nella lezione di LOGICA:

- Interpretazioni
- Calcolo delle Interpretazioni