logique [lɔʒik]

nom féminin

(lat. logica, gr. logikê, de logos, raison)

1. Discipline qui étudie le raisonnement en lui-même, abstraction faite de la matière sur laquelle il porte, comme de tout processus psychologique : Aristote est le fondateur de la logique traditionnelle.
2. Manière de raisonner juste ; suite cohérente d'idées : Sa conversation manque de logique (SYN.  cohérence).
3. Manière de raisonner et d'agir propre à un individu, un groupe : La logique de l'enfant.
4. Manière dont les faits s'enchaînent, découlent les uns des autres ; ensemble des relations qui règlent l'apparition de phénomènes : Ce serait dans la logique des choses qu'il gagne. Instaurer une logique de préservation de l'environnement.
5. Ensemble des procédés d'établissement de la vérité ; leur étude : La logique de la médecine expérimentale.
6. Logique formelle ou symbolique, étude des raisonnements déductifs, abstraction faite de leur application à des cas particuliers.

   Logique mathématique, théorie scientifique des raisonnements, excluant les processus psychologiques mis en œuvre, et qui se divise en calcul des propositions (ou logique) et calcul (ou logique) des prédicats.► Son développement a permis de mener à bien la formalisation des mathématiques.