- Docente: Massimiliano Garagnani
- Credits: 6
- SSD: INF/01
- Language: Italian
- Teaching Mode: In-person learning (entirely or partially)
- Campus: Bologna
- Corso: First cycle degree programme (L) in Philosophy (cod. 9216)
-
from Apr 13, 2026 to May 21, 2026
Learning outcomes
The student will know propositional calculus and first order logic. He will be able to write and understand logical propositions and to verify them.
Course contents
The first part of the course will cover the concepts and formalism of propositional calculus, syllogistic logic, and predicate logic / first-order logic.
In the second part, the concepts acquired in the first will be extended and used to address the principles of modal / epistemic logic and action logic. The fundamental constructs of imperative programming will also be covered, along with key aspects of the concepts of information, entropy / uncertainty, and computability.
During the laboratories, specific computational platforms will be used to learn, test, and apply the theoretical concepts learned in class.
Readings/Bibliography
The following textbook can be used as a general reference for the course:
- Joan van Benthem et al. (2016) "Logic in Action" (New edition)
available HERE (in particular, Chapters 2-6).
Additional educational materials (including slides and exercises) will be made available on the "Virtuale" web-pages of the course.
Teaching methods
The course will be delivered as theory lectures (2 hours each) complemented by weekly laboratory exercises, aimed at putting into practice and consolidating the concepts learned in class.
Assessment methods
The exam will consist of a two-hour written test, comprising 10 questions (5 multiple-choice and 5 practical exerices) on concepts and methods covered during the course.
During the test, consulting books, notes, or digital devices will not be permitted; any violation will result in the exam being voided.
Each of the 10 questions can earn from 0 up to 3 points; the final grade is obtained by adding together all the points thus obtained. The minimum score required for passing is 18 points.
Students with disabilities or DSA
Students with disabilities or specific learning disorders (DSA) are entitled to special accommodations according to their condition, following evaluation by the University Service for Students with Disabilities and DSA.
Please do not contact the course coordinator directly, but get in touch with the Service to schedule an appointment. The Service will determine which accommodations - if any - are appropriate.
More information available at:
https://site.unibo.it/studenti-con-disabilita-e-dsa/it/per-studenti
Teaching tools
Any additional teaching materials (slides and other supplementary materials) will be made available on the Virtuale platform.
Office hours
See the website of Massimiliano Garagnani