avec l'empirisme aristotélicien qui a trop longtemps plombé la pensée en occident.
L'empirisme aristotélicien, ça n'existe pas, mais il y a une hyper logique aristotélicienne.
La logique d'Aristote était correcte, dans le sens ou elle ne permet pas de produire des contradiction, mais largement incomplète.
Elle était loin de pouvoir justifier toutes les inférences mêmes valides de la vie courante.
En fait elle ne suffisait même pas à satisfaire les besoin courants des mathématiciens, qui utilisaient des façons de raisonner empiriques qui leur permettaient le plus souvent d'éviter les erreurs.
En ce qui concerne les mathématiques, c'est Gottlob Frege qui a élaboré le premier une logique formelle satisfaisante (une fois débarrassée de ses contradictions).
Celle-ci a en particulier permis de justifier rigoureusement le calcul différentiel de Newton. (pour les infinitédimaux de Leibniz, cela n'est venu que bien plus tard avec l'analyse non-standard).
Pour ce qui est d'une logique applicable aux raisonnements courants, les tentatives de formalisation se poursuivent avec les logiques modales ou autres sans avoir vraiment abouti.
