Fondée par Aristote comme science, la logique fixe les règles qui gouvernent la raison dans ses calculs et raisonnements hypothético déductifs. Les paradoxes (insolubles) montrent les limites de tout formalisme ou plutôt l’impossibilité de tout formalisme absolu.