Les différentes formes du raisonnement déductif. La syllogistique aristotélicienne et les diagrammes de Venn. La logique moderne des propositions et des fonctions. Bref aperçu des calculs non classiques et de la logique modale. Les rapports entre la logique et d'autres disciplines telles que la psychologie, la mathématique et la linguistique.