Formal Logic

Logic is about reasoning. We all reason, but logic helps us distinguishing what is good reasoning from bad reasoning. The study of logic improves our natural capacity to reason, and it proves especially helpful when our reasoning faces abstract and challenging questions.

Formal logic is the study of what follows from what, or what inferences are valid. It originated with the work of Aristotle and it has been developing ever since. Nowadays it is used in Philosophy, Artificial Intelligence, Linguistics, and other fields. Logic studies reasoning by means of a regimented formal language that aims at clarifying our natural languages.

In class we will cover the following topics: the nature of an inference, reasoning fallacies, validity and soundness, how to set up a formal language, logical connectives, quantifiers, truth tables, predicate calculus, and some basics of modal logic (the study of what is possible and impossible).

Giacomo Andreoletti:

Giacomo Andreoletti studied philosophy at the State University of Milan. During his BA and MA, he mostly focused on philosophy of language working on the problem of propositional attitude reports. He achieved his PhD in Philosophy and Human Sciences at the State University of Milan in May 2017 under the supervision of Dr. Giuliano Torrengo. He also spent two semesters as a visiting scholar at Columbia University (sponsor and supervisor: Prof. Achille Varzi). His dissertation on the metaphysics of time and fatalism addressed issues related to time, free will, time travel, and the (un)changeability of past and future. A list of publications can be found here. Giacomo is also a senior member of the CPT (Centre for Philosophy of Time).