LOGIC

This course is an introduction to logic for students of philosophy.
It covers (i) basic approaches to logic, including proof theory and especially
model theory, (ii) some elementary philosophy of logic.
It prepares students to read the logically sophisticated articles philosophy journals.
In short, it teaches some of the logic indispensable for every philosophical scholar.
Classical, modal, epistemic logic. Many-valued logic.

A basic knowledge of formal logic and set theory. Understanding of the deep links of philosophy with formal logic.

This course does not require prerequisites.

Elements of set theory.
Paradoxes.
Propositional logic.
Tables of truth.
Axiomatizations and theorems of completeness.
Natural deduction.
Model Theory.
A brief history of logic.
Classical, modal, epistemic logic.
Many-valued logic.

Berto F. "Logica da zero a Gödel" ed. Laterza
D'Agostini F. "Le ali del pensiero" ed. Carocci.

The students will by evaluated on the basis of their participation to the discussions in classroom. They will write papers.
The final exam consists of an interview.

Lectures and exercises held by the teacher

Italian

Accessibility, Disability and Inclusion

Ca' Foscari abides by Italian Law (Law 17/1999; Law 170/2010) regarding support services and accommodation available to students with disabilities. This includes students with mobility, visual, hearing and other disabilities (Law 17/1999), and specific learning impairments (Law 170/2010). If you have a disability or impairment that requires accommodations (i.e., alternate testing, readers, note takers or interpreters) please contact the Disability and Accessibility Offices in Student Services: disabilita@unive.it.

oral