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. During his PhD studies, he spent two semesters as a visiting scholar at Columbia University. Giacomo is currently a member of the CPT (Centre for Philosophy of Time) and a member of the Chronos project based at the Autonomous University of Barcelona. In his spare time, Giacomo loves to: slumber dogmatically, multiply entities without necessity, and, in general, live an unexamined life.