Ce cours est une introduction aux concepts fondamentaux de la logique et du raisonnement déductif. Nous introduisons d’abord la logique propositionnelle, les tables de vérité, les valeurs de vérité et l’équivalence logique. Puis, l’analyse des énoncés universels et particuliers dans le syllogisme aristotélicien, le carré des oppositions logiques et les inférences immédiates. Ensuite, nous analyserons la structure interne des phrases déclaratives au moyen des notions de prédicat/arguments. Enfin, avec la logique de premier ordre (ou de prédicats), nous nous focaliserons sur la formalisation de phrases au moyen des quantificateurs universel et existentiel, les problèmes de portée et l’ambiguïté. 

• Blanché, R. (1957), Introduction à la logique contemporaine, éd. Armand Colin.
• Rivenc, F. (2003), Introduction à la logique, éd. Payot.
• Vernant, D. (2001), Introduction à la logique standard, éd. Flammarion.
• Wagner, P. (2014), Logique et philosophie, Ellipses.