Visualizza wikitesto di Filosofia del linguaggio Turno 1/2005-2006

[[Categoria:Corsi 2005-2006]]

== 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à.<br>

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

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<br>

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

Turno 2<br>

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

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

=== Orario di ricevimento studenti ===

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

===Sito del corso ===

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

=== Materiale didattico ===

Sono disponibili sul sito del corso 2 dispense complete. <br>
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<br>
- Competenza Linguistica (Sintattica-Semantica-Pragmatica)<br>
- 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 <br>
- Connettivi logici e precedenze <br>
- Formule e sottoformule <br>
- Gerarchia dei simboli (alberi)

=== Lezione di Martedì 11-10-05 ===

'''Argomenti trattati nella lezione di LINGUISTICA''':

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

=== Lezione di Giovedì 13-10-05 ===

'''Argomenti trattati nella lezione di LOGICA''':

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

=== Lezione di Martedì 18-10-05 ===

'''Argomenti trattati nella lezione di LINGUISTICA''':

- Semantica<br>
- Funzione caratteristica<br>
- Lambda Riduzioni

=== Lezione di Giovedì 20-10-05 ===

'''Argomenti trattati nella lezione di LOGICA''':

- Modelli<br>
- Conseguenze logiche<br>
- Equivalenze logiche<br>
- 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)<br><br>
- Sintassi del primo ordine<br>
- Insieme dei termini<br>
- Formule<br>
- Forme normali negative

=== Lezione di Giovedì 27-10-05 ===

'''Argomenti trattati nella lezione di LINGUISTICA''':

- Lambda riduzioni<br>
- Esercizi vari sulle lambda riduzioni

=== Lezione di Giovedì 3-11-05 ===

'''Argomenti trattati nella lezione di LOGICA''':

- Interpretazioni<br>
- Calcolo delle Interpretazioni