La logique est le domaine des mathématiques qui se rapproche le plus de la philosophie, elle est donc très sujette à controverses. Ce cours a pour but d'exposer tout d’abord la logique sous son jour le plus précis et le plus formel, pour expliquer ensuite comment rattacher cette théorie à celle de la vérité mathématique.