2017 - 2018 (Aix-Marseille University - Enseignant vacataire)
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
Logique 2 - analysis of writings of Kant, Frege, Russell, Wittgenstein, Quine