This is a basic course. No prior knowledge (of logic) is assumed.
The students will learn how to use classical logic to formalize natural language sentences. They will also acquire knowledge about the delicate interplay between the fundamental notions of logic, such as validity, truth, provability, etc.
The course will offer an introduction to classical logic. In particular, we will cover some of the main results about propositional and first-order logic, including both technical aspects and philosophical motivation.
V. Halbach, The Logic Manual, Oxford University Press
Frontal and online lectures
The online lectures of the course will be in this virtual room: https://unisi.webex.com/unisi/j.php?MTID=m1d6a5b0d0f305d5b33056888387e5aeb (password: qJpNUkpA296).
You can also access the virtual room by entering the Meeting Number 137 053 1648 here: https://unisi.webex.com/webappng/sites/unisi/dashboard/home.
All students should subscribe to the Moodle page of the course: https://elearning.unisi.it/course/view.php?id=4849 (password: LOGIC2020).