Unit LOGIC
- Course
- Philosophy and ethics of relationships
- Study-unit Code
- GP005043
- Curriculum
- Filosofia
- Teacher
- Francesco Federico Calemi
- Teachers
-
- Francesco Federico Calemi
- Hours
- 36 ore - Francesco Federico Calemi
- CFU
- 6
- Course Regulation
- Coorte 2020
- Offered
- 2020/21
- 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 logic to ontology.
- 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 (capacità di utilizzare tavole di verità, alberi di refutazione, modelli, deduzione naturale e dimostrazioni assiomatiche); (iii) conoscenza dei sistemi rappresentativi delle asserzioni categoriche e dei sillogismi diretti e aristotelici
- Prerequisites
- None
- Teaching methods
- seminars, frontal lessons
- Learning verification modality
- written exam
- Extended program
- Il corso approfondisce la 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