Logica e Linguaggio: A.A. 11-12
Filosofia del Linguaggio: A.A. 11-12
Gli studenti interessati al corso sono pregati di compilare e consegnare questo modulo
- 28-03-2012
- Il 24 Aprile (15:00-17:00) si svolgeranno gli esercizi scritti che saranno poi oggetto dell'esame orale nell'appello di Giugno.
- 20-03-2012
- Su richiesta degli studenti frequentati, la simulazione dell'esame ci svolgerà il 04.04.2012 14:00-16:00, anzichè
- 08-03-2012
- Si noti che Martedi 13, 20, 27 e giovedi 22 Aprile le lezioni saranno dalle 16:00 alle 18:00.
- 13-02-2012
- L'inizio del corso e' posticipato dal 16.02 al 20.02 causa malattia.
Materiale Didattico
Libro di Testo:
Per la prima parte ("Logica"): Achille Varzi, John Nolt, Dennis Rohatyn. Logica. McGraw-Hill, 2007. Cap. 1-6. Il libro è disponibile in Biblioteca.
Per gli studenti di filosofia del linguaggio, il testo Carlo Penco "Introduzione alla filosofia del linguaggio" Cap 1-11. In più, dopo l'inizio del corso, saranno proposte una serie di letture che verranno indicate qui
Informazioni sulle varie tipologie di esami vedere qui.
Il materiale usato durante la lezione verrà caricato qui di seguito alla fine della lezione stessa.
| Data | Slides | Argomenti | Materiale didattico extra |
|---|---|---|---|
| 20/02/12 | Introduzione a LoLa | Nozioni base: Insiemi e Funzioni Logica: di cosa si occupa; significato; funzione di valutazione; Composizionalità | |
| 23/02/12 | Logica Proposizionale I Esercizi: PL I (con soluzioni) |
Sintassi di PL; Semantica di PL; Tavole di verità | Esempi di formalizzazione in PL (S. Zucchi). |
| 27/02/12 | Logica Proposizionale II Esercizi: PL II |
Ragionamento | Varzi: pp. 65-68Introduzione a PL in Italiano (S. Zucchi) |
| 28/02/12 | Riepilogo esercizi PL | Read: Tarski's paper Condizione Materiale (S. Zucchi) |
|
| 01/03/12 | Tableaux PL Esercizi: PL con tableaux | ||
| 05/03/12 | Logica di Primo
Ordine I Esercizi: FOL I |
Motivazioni; Sintassi di FOL | Varzi: pp.51--64; Esempi di Formalizzazioni in FOL (G. Corsi) |
| 06/03/12 | esercizi | formalizzazione frasi in FOL, modelli | |
| 08/03/12 | Tableaux per FOL Esercizi: FOL | Tableaux | Gamut: Cap.1 (traduzione) |
| 12/03/12 | Formalizzazione problemi in FOL | ||
| 13/03/12 | Logica e Linguaggio | Frege, Montague, e sintassi termini lambda; operazioni calcolo di lambda | |
| 15/03/12 | Calcolo di Lambda I Esercizi: Lambda | termini lambda | |
| 19/03/12 | Calcolo di Lambda II | funzioni di secondo grado: quantificatori | |
| 20/03/12 | Calcolo di Lambda III | pronomi relativi e astrazione | Ch1 PhD Thesis, Bernardi |
| 22/03/12 | Ripasso generale | ||
| 27/03/12 | presentazione relazioni | ||
| 04/04/12 14:30-16:30 |
simulazione esame |