Unit LOGIC
- Course
- Philosophy and ethics of relationships
- Study-unit Code
- GP005055
- Curriculum
- Didattico
- Teacher
- Francesco Federico Calemi
- Teachers
-
- Francesco Federico Calemi
- Hours
- 36 ore - Francesco Federico Calemi
- CFU
- 6
- Course Regulation
- Coorte 2021
- Offered
- 2021/22
- Learning activities
- Caratterizzante
- Area
- Istituzioni di filosofia
- Academic discipline
- M-FIL/02
- Type of study-unit
- Obbligatorio (Required)
- Type of learning activities
- Attività formativa monodisciplinare
- Language of instruction
- Italian
- Contents
- From informal logic to formal logic
- Reference texts
- 1. T. Sider, Logic for Philosophy, Oxford University Press, 2010.¿2. R. J. Gula, Nonsense: Red Herrings, Straw Men and Sacred Cows: How We Abuse Logic in Our Everyday Language, Axios Press, 2007.
- Educational objectives
- 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;
- Prerequisites
- Nessuno
- Teaching methods
- Lezioni frontali, esercitazioni guidate
- Other information
- Il Docente riceve il martedì dalle 8:30 alle 10:30 su Teams (attraverso chiamata diretta), oppure su appuntamento.
- Learning verification modality
- 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
- Extended program
- 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.