translate English to French: Formal logic is actually used in thinking.
En fait, la réflexion s’appuie sur la logique formelle.