La logique en Informatique
Quel est le rôle de la logique ?
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.
Comment expliquer la logique ?
La logique — du grec λογική / logikê, qui est un terme dérivé de λόγος / lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Quelles sont les types de logique ?
Trois types de logique sont repérables dans la recherche en sciences humaines : logique intellectuelle, logique empirique et logique scientifique.
- 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.
Plus concrètement, la logique a été à l'origine d'avancées technologiques comme les langages de requêtes dans les bases de données. Beaucoup d'autres liens fondamentaux peuvent être évoqués: avec les circuits, avec la complexité, avec les jeux, avec la linguistique, etc. La logique est omniprésente en informatique.