Hegel vs. logique formelle
La logique formelle traite les raisonnements comme des opérations purement syntaxiques — que les prémisses soient vraies ne l’intéresse pas. La logique hégélienne montre ceci : la forme même du raisonnement a un contenu. Le syllogisme de l’existence est pauvre en contenu (tautologique), le syllogisme de nécessité est riche en contenu (il saisit l’essence). La forme se développe — et avec elle ce qui peut valoir comme « preuve ». La logique formelle se rapporte à la logique hégélienne comme l’échiquier au jeu d’échecs : les règles sont nécessaires, mais le jeu les dépasse.