Depuis plus de 2000 ans, la logique est essentiellement utilisée pour « modéliser des arguments exprimés en langage naturel » et pour formaliser le raisonnement : c'est-à-dire que le rôle de la logique est de fournir un moyen de répondre aux ambiguïtés qui surgissent lorsque nous utilisons notre langage.
Les travaux de George Boole, William Stanley Jevons, Gottlob Frege ont permis depuis le XIX e siècle le développement fulgurant d'une approche mathématique de la logique.
La logique (du grec λόγος, logos), signifiant à la fois raison, langage, et raisonnement, est dans une première approche l'étude des règles formelles que doit respecter toute argumentation correcte.
Le raisonnement, la construction de démonstration, de preuves sont donc les objets premiers de la logique.