Quelle sera la fonction d'une logique si le formalisme l'oblitère? On l'a caractérisée sur deux états disjoints : la phénoménologie catégoriale, dont Kant avait épuisé les ressources, et le formulaire quantificationnel.