Filière : Mathématiques / Spécialité : Mathématiques

La logique au sens philosophique du terme, remonte à la période
grecque. Le premier qui a enseigné la logique est le philosophe « Aristote ».
Par la suite, ces livres ont été traduits en Arabe, par les savants musulmans
Ibn sina Farabi dans la période Abbasside.
On peut définir la logique comme :
« la science qui étudie les règles générales du raisonnement correcte »
Le but de l’étude de la logique est donc :
4. Raisonner correctement
5. Résoudre les problèmes complexes
6. Trouver les solutions rapidement
Quand à la logique mathématique, elle est apparue vers la fin du
XIXème siècle, Russel et Frege se sont parmi les fondateurs de cette
science. A cette époque il y avait beaucoup de problèmes en
mathématiques ; énoncés non encore démontrés, paradoxes, … Ces
leaders ont fondé les bases de la logique mathématique afin de résoudre
ces problèmes en représentant les énoncés mathématiques sous forme de
formules ensuite les démontrer avec des méthodes de raisonnement
rigoureuses.
L’utilisation de la logique mathématique n’est pas limitée dans le
domaine théorique pur, mais elle a fortement contribué à la naissance des
premiers ordinateurs. La binarité de la valeur de vérité est la base de tous
les circuits électronique qui composent l’ordinateur. Par la suite les bases
de la logique mathématique ont beaucoup contribué dans les applications
de l’intelligence artificielle.