Présente les principales étapes de l'histoire des théories logiques, de la création antique de la logique dans la sphère philosophique à la logique mathématique moderne et contemporaine, en passant par le rejet de la logique scolastique du Moyen Age à l'époque classique, sans oublier les logiques non occidentales.