2016 - 2017 (Aix-Marseille University - Chargé de cours)
Department of Philosophy
Logique 1 - introduction to propositional logic; from natural languages to formal languages; formal languages and operations over them; connectives as truth-functions; truth-tables; logical consequence, validity and logical equivalence; semantic properties under substitutions of atoms and formulas; functional completeness; Gentzen's natural deduction for propositional logic; correctness and completeness of propositional logic