The purpose of this course is to provide basic knowledge and mastery of formal classical logic (roughly ¾ of the course), as well as a short introduction to a few topics in the philosophy of logic (roughly ¼ of the course). The formal part of the course covers propositional logic (syntax, semantics, proofs in natural deduction) and first order logic (same thing, no or almost no meta-theorem). The philosophical part will most probably broach the justification of logical principles and the relationship between logic and psychology.
- Enseignant.e: Isabelle Drouet