Insegnamento LOGICA
| Nome del corso di laurea | Filosofia ed etica delle relazioni |
|---|---|
| Codice insegnamento | GP005043 |
| Curriculum | Filosofia |
| Docente responsabile | Francesco Federico Calemi |
| Docenti |
|
| Ore |
|
| CFU | 6 |
| Regolamento | Coorte 2021 |
| Erogato | Erogato nel 2021/22 |
| Erogato altro regolamento | |
| Attività | Caratterizzante |
| Ambito | Istituzioni di filosofia |
| Settore | M-FIL/02 |
| Anno | 1 |
| Periodo | Primo Semestre |
| Tipo insegnamento | Obbligatorio (Required) |
| Tipo attività | Attività formativa monodisciplinare |
| Lingua insegnamento | Italiano |
| Contenuti | Dalla logica informale alla logica formale |
| Testi di riferimento | Testi adottati: ¿¿1) A. Varzi, J. Nolt, D. Rohatyn, Logica, McGraw Hill, 2007. (Capp. I-VII)¿¿ 2) F. Calemi, M. Paolini Paoletti, Cattive argomentazioni: come riconoscerle, Carocci, 2014.¿¿ |
| Obiettivi formativi | I risultati di apprendimento previsti sono: (i) padronanza dei nuclei teorici fondamentali e delle metodologie della teoria dell'argomentazione; (ii) padronanza delle metodologie relative alla logica proposizionale e alla logica dei predicati del primo ordine con identità (capacità di utilizzare tavole di verità, alberi di refutazione, modelli, deduzione naturale e dimostrazioni assiomatiche); (iii) conoscenza di alcune tra le precipue proprietà metalogiche dei correlativi sistemi assiomatici; |
| Prerequisiti | Nessuno |
| Metodi didattici | Lezioni frontali, esercitazioni guidate |
| Altre informazioni | Il Docente riceve il martedì dalle 8:30 alle 10:30 su Teams (attraverso chiamata diretta), oppure su appuntamento. |
| Modalità di verifica dell'apprendimento | Gli studenti dovranno sostenere un esame scritto finale su piattaforma LibreEOL. L'esame conterrà quattro esercizi riguardanti il calcolo proposizionale e dei predicati, più una domanda aperta su uno dei restanti temi del programma e avrà una durata di 60 minuti. Per superare l'esame sarà comunque indispensabile risolvere correttamente almeno un esercizio relativo al calcolo proposizionale e uno relativo al calcolo dei predicati. Per informazioni sui servizi di supporto agli studenti con disabilità e/o DSA visitare la pagina http://www.unipg.it/disabilita-e-dsa |
| Programma esteso | Il corso introduce alla logica intesa sia nella sua dimensione informale, sia nella sua articolazione matematico-formale, ed è volto a fornire gli strumenti di base per la corretta individuazione, valutazione e formalizzazione delle argomentazioni. Verranno inoltre fornite indicazioni su alcuni sviluppi contemporanei della logica formale e ne verranno analizzate alcune applicazioni ontologiche e pratico-etiche. ¿¿¿1. Cosa significa ragionare? La teoria dell’argomentazione e il problema filosofico delle fallacie. ¿¿2. Cosa significa dedurre? La logica proposizionale tra deduzione naturale e sistemi assiomatici¿¿ 3. "Tutti e nessuno": Diagrammi di Venn e sillogistica aristotelica.¿¿ 4. Esistenza, totalità, identità: la logica dei predicati del prim’ordine. |