Time and location
Class: Thursdays and Fridays 10:30-12:30.
Sala Stefanini, Palazzo del Capitanio
Textbook
Peter Smith, An introduction to formal logic (pdf)
Program, exercises, and additional material
(will be updated as the course proceeds)
20.10. Course introduction. Deductive validity, forms of inference, proofs.
Material: Chapters 1-4 of the book.