« La logique formelle est une science qui détermine quelles sont les formes correctes (ou valides) de raisonnement ».
Si vous voulez bien comprendre les raisonnements scientifiques, il est important de comprendre la logique formelle .
Né au milieu du XIXe siècle, avec les travaux de George Boole, la logique permet de régir un système au travers de règles.
Aristote (384-322 av.
J. -C.) est certes le père fondateur de la logique classique2, mais il est également à mon sens largement à l'origine de la philosophie occidentale du langage.
C'est plus Euclide qui écrivit les premiers fondements de la logique formelle mathématique dans son œuvre : "Les éléments" vers 300 avant Jésus Christ.