2024 - 2025 (University of Siena - docenza a contratto) [in collaboration with Antonio Negro]
Department of Social, Political and Cognitive Sciences
Philosophy of logic - An introduction to propositional and first-order logic (informal notion of valid argument; from natural language to formal languages; basic semantic principles; formal language for propositional logic; binary semantics; truth-tables; consequence, validity and equivalence at the propositional level; Natural Deduction for propositional logic; quantifiers; formal language for first-order logic; models).
Bibliography
V. Halbach, The logic manual, Oxford University Press. Chapters from 1 to 5, plus Section 6.1.
On this site, you will find additional resources for the preparation to the exam. Particularly useful will be the booklets of exercises. From this booklet, you may want to check the exercises from Sections 1, 2, 3, 4 and 7, plus exercises 5.1 and 5.2 from Section 5, and exercises 6.1 and 6.2 from Section 6. From this booklet, instead, you could check exercises from Sections 1, 2, 3 and 4, exercises 5.1, 5.2 and 5.3 from Section 5, exercise 6.1 from Section 6, and exercises 7.1, 7.2 and 7.3 from Section 7.Â
Class exercises December 11th 2024 with solutions
Class exercises December 18th 2024 with solutions
Class exercises January 14th 2025 with solutions
Written test January 15th 2025 with solutions
Written test January 17th 2025 with solutions