Département:Logique/Présentation du département

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche

La logique, qui existe depuis l'Antiquité et qui s'est largement développée depuis, est un langage artificiel permettant de rendre compte du monde réel et le décrire de façon symbolique. Elle peut être utilisée pour structurer le raisonnement, modéliser le langage naturel, le langage mathématique, et elle est à la base du langage informatique. La logique est utilisée en philosophie analytique, en psychologie cognitive, en linguistique, en communication, en ingénierie, en informatique…

La logique est la science des possibles. Une théorie logique étant un système hypothético-déductif permettant de valider des conclusions relativement à ses hypothèses initiales (axiomes et définitions eux-mêmes non démontrés).