ECTS - University of Pisa
| Modules | Area | Type | Hours | Teacher(s) | |
| LOGICA | M-FIL/02 | LEZIONI | 36 |
|
Conoscenze di base di logica formale moderna.
Basic knowledge of modern formal logic.
Esame orale.
Oral exam.
Analisi critica della correttezza di semplici argomentazioni.
Critical analysis of the correctness of simple arguments.
Discussione di esempi in classe.
Discussion of examples in the classroom.
Nessuno.
None.
Nessuna.
None.
Nessuno.
None.
Lezioni frontali con ampia discussione di esempi.
Lectures with thorough discussion of examples.
Introduzione alla logica contemporanea
Il corso è un'introduzione alla logica formale contemporanea. A partire dall'analisi della struttura logica degli enunciati, si introdurranno i primi elementi della logica proposizionale e di quella predicativa. Il corso è di livello elementare e non presuppone alcuna conoscenza filosofica o matematica.
Introduction to contemporary logic
The course is an introduction to contemporary formal logic. Beginning with the analysis of the logical structure of sentences, the basic elements of propositional logic and predicate logic will be introduced. It is a beginning course, without any philosophical or mathematical prerequisite.
Manuale: Varzi, A. et al. Logica, McGraw-Hill, 3a ed., Milano 2022 (le parti in programma saranno indicate durante il corso). In caso di difficoltà, il materiale sarà reso disponibile online dal docente, nel rispetto del diritto d'autore.
Textbook: Varzi A. et al. Logica, McGraw-Hill, 3rd ed., Milano 2022. For international students other textbooks will be suggested. The necessary material will be available online, respecting copyright.
Il corso deve essere frequentato. Nel caso, contattare il docente per email.
Attending the course is necessary. In case, please contact the instructor by email.
Prova orale, con discussione di esempi e semplici esercizi. La prova orale è superata se lo studente è in grado di argomentare correttamente nella discussione. E' necessario aver partecipato alle lezioni.
Oral exam, with discussion of examples and simple exercises. The exam is passed if the student is able to argue correctly in the discussion. It is necessary to participate in the discussion sections.
Nessuno.
None.
Commissione: Bellotti (presidente), Moriconi, Turbanti.
Commissione supplente: Moriconi (presidente), Barrotta, Gronda.
Inizio corso: 19/09.
Examiners: Bellotti (chair), Moriconi, Turbanti.
Substitutes: Moriconi (chair), Barrotta, Gronda.
The course begins on September 19.
