La logique est devenue une discipline complexe, qui se ramifie en une multiplicité de domaines et de méthodes : théorie des modèles, de la démonstration, de la décision, complexité algorithmique, etc. Un exposé des bases et des origines historiques de la logique contemporaine s'accompagne d'un éclairage des nouvelles directions qu'elle a prises, en particulier à partir des années 1950.