ECTS - University of Pisa
| Modules | Area | Type | Hours | Teacher(s) | |
| ISTITUZIONI DI 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.
Nessuno.
None.
Consigliato per esami successivi di logica.
Advisable for other courses in logic.
Lezioni frontali con ampia discussione di esempi.
Lectures with thorough discussion of examples.
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.
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, Milano 2007 (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, Milano 2007. 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.
Nessuno.
None.
Commissione: Bellotti (presidente), Moriconi, Turbanti.
Commissione supplente: Moriconi (presidente), Barrotta, Gronda.
Examiners: Bellotti (chair), Moriconi, Turbanti.
Substitutes: Moriconi (chair), Barrotta, Gronda.
