LOGICA
[English] AF: 142358 AR: 63716
| Titolo corso in inglese | LOGIC |
| Anno Accademico | 2011/2012 |
| Codice Insegnamento | LM1640 |
| Crediti formativi universitari | 6 |
| Livello laurea | Laurea Magistrale dm270 |
| Settore scientifico disciplinare | M-FIL/02 |
| Periodo | 3° Periodo |
| Anno corso | 1 |
| Sede | VENEZIA |
Docenti
Corsi di laurea e percorsi
Insegnamenti mutuati
Programma
| Obiettivi Formativi | Un'introduzione alla logica elementare e alla teoria standard dell'esistenza. |
| Prerequisiti | Nessuno. |
| Contenuti |
I parte: Che cos'è la logica? - Argomenti, verità e correttezza, forma logica - Linguaggio enunciativo e predicativo - Prepariamo la tavola (di verità) - Deduzioni naturali - Pillole di insiemistica - Semantica tarskiana - Coerenza e completezza. II parte: Kant: "L'esistenza non è un predicato reale" - Frege: "L'esistenza è una proprietà di concetti"- Quine: "Essere è essere il valore di una variabile" - I pro e i contro dell'idea che esistenza è quantificazione. |
| Testi di riferimento |
Berto F., Logica da zero a Gödel, Laterza, Roma 2007. Quine W.V.O, "Su ciò che vi è", in Da un punto di vista logico, Raffaello Cortina, Milano 2004. Berto F., L'esistenza non è logica, Laterza, Roma 2010 - Parte Prima, Capp. 1, 2 e 3. |
| Modalità di verifica dell'apprendimento | scritto e orale |
| Metodi didattici | Lezioni ed esercitazioni. |
| Lingua di insegnamento |
Italiano. |
| Altre informazioni |
Potete non frequentare, ma solo se siete abbastanza svegli! Ricevo MERCOLEDÌ, alle 12:30. |
Sostenibilità
- Insegnamento sostenibile
- Utilizzo strumenti open-source
