Toutes les histoires de la discipline mentionnent La Logique de Port-Royal, peu s'intéressent à ce qu'on appelle la logique classique qui va de la parution de Port-Royal (1662) jusqu'aux travaux de Boole et De Morgan, c'est-à-dire jusqu'au milieu du XIXe siècle. Une représentation réaliste de la logique classique à partir d'une modélisation qui en permet la compréhension.