Dictionnaire historique de la langue française

❏ Logique, « science des lois du raisonnement », est employé par métonymie à propos d'un traité de cette discipline (1290) et s'applique également à l'analyse philosophique des lois et formes de la pensée.

Dans ce contexte, le mot est longtemps resté dépendant de la pensée aristotélicienne. Les premiers emplois en français, à l'image du latin logica et du grec logikê, concernent surtout cette théorie, axée sur l'analyse syllogistique, notamment dans le cadre de l'enseignement (XIIIe-XVIe s.). Les sources en sont les éléments connus d'Aristote, Galenus, Boèce, alors que la logique stoïcienne, transmise notamment par saint Augustin, connaît une faveur moins grande. Cependant, la logique médiévale, qui, en France, s'exprime en latin, d'Abélard à Buridan, intègre les deux problématiques, et manifeste nettement la proximité, voire l'amalgame de la logique grecque avec une sémantique. Kant considère encore que la logique, « système de la raison pure », n'est plus capable de progrès après Aristote. ◆ Cependant, la notion de logique avait évolué à partir de la science moderne et du développement des mathématiques (XVIIe s.). Après La Logique ou l'art de penser de Arnauld et Nicole (dite Logique de Port-Royal), c'est essentiellement l'œuvre de Leibniz (en partie écrite en français) et celle de Lambert (en allemand) qui préparent le développement d'une nouvelle logique. Celle-ci, nommée logique mathématique, parfois et vaguement logique moderne, ou encore logique formelle, dépend des travaux de Boole (inventeur de la logique binaire), Frege, puis, au tournant du XXe s., de Russell et Whitehead. Cette logique a été récemment (v. 1970) rebaptisée logique classique, par opposition à des formes plus récentes ou dont l'objet est plus large (logiques d'ordre supérieur), mais logique classique, ambigu, s'emploie plus souvent en comparaison avec logiques modernes. Tous ces syntagmes, comme logique des propositions, logique propositionnelle, logique des prédicats, ne sont attestés qu'au XXe s. et sont didactiques. ◆ Depuis le début du XVIIIe s. (1718), le mot est employé avec le sens plus large de « manière de raisonner », en général « manière correcte », mais sans conformité nécessaire avec les règles de la logique formelle. ◆ Logique a aussi pris (1762) la valeur d'« enchaînement cohérent d'idées » et de « raisonnement juste ». Depuis la même époque, le mot concerne aussi, par métonymie, une suite cohérente et régulière d'actes, d'événements. Récemment, cet emploi s'est répandu et généralisé pour désigner un type de régularité, d'enchaînement de faits attribué à certaines situations (la logique de la crise, de la paix, une logique de crise, etc.).

■ L'emploi technique du mot s'est naturellement intégré au vocabulaire de l'informatique, pour une suite d'opérations destinées à obtenir un résultat, d'où logiciel (ci-dessous).

L'adjectif LOGIQUE est emprunté (1536) au latin logicus « logique, raisonnable », lui-même repris à l'adjectif grec logikos « qui concerne le raisonnement ».

■ Il est apparu avec le sens courant de « conforme au bon sens » (d'une chose, d'un être), développant tardivement (1821) la valeur didactique de « relatif à la science de la logique », puis de « conforme aux règles de la logique » (1833), d'où familièrement « cohérent, prévisible » et même « normal ». ◆ La philosophie l'utilise au sens de « qui se rapporte à la raison » (1867), comblant ainsi l'absence d'un adjectif correspondant à entendement. ◆ Plus largement, logique qualifie ce qui se rapporte non seulement à l'entendement mais à l'intelligence (intelligent étant ambigu). Il est employé en grammaire dans analyse logique (1867) ; au XXe s., il est entré dans le vocabulaire de l'informatique (circuits logiques).

■ En est dérivé LOGIQUEMENT adv. (1769), souvent employé à l'oral en tête de phrase au sens vague de « normalement, en principe » (av. 1854).

Par préfixation, l'adjectif a servi à former trois antonymes : ALOGIQUE adj., apparu le premier au sens de « déraisonnable » (1564), sorti d'usage au XVIIe, a été repris au XIXe s. en philosophie, probablement pour rendre l'allemand alogisch « étranger aux déterminations de la logique ». ◆ Les deux autres sont apparus au XIXe s. : ANTILOGIQUE adj. chez Stendhal (1836), et ILLOGIQUE adj. (v. 1819), le seul à être entré dans l'usage général et qui correspond à logique au sens courant. ◆ Ce dernier entraîne la formation de ILLOGIQUEMENT adv. (1842), et du terme didactique ILLOGISME n. m. (1852, Proudhon) « manque de logique (d'une chose ou d'une personne) ».

■ PRÉLOGIQUE adj. s'applique chez Lévy-Bruhl (1910) à la mentalité supposée des sociétés dites primitives, caractérisée par le fait qu'elle admet la contradiction. En psychologie génétique (mil. XXe s.) le stade prélogique est celui où l'enfant est indifférent aux règles logiques, notamment à l'idée de causalité.

■ D'après l'adjectif latin logicus, on a formé LOGICIEN, IENNE n. et adj. (1245) « personne versée dans l'étude de la logique » et, par extension, « personne qui raisonne avec rigueur » (1718 ; 1721 adj.).

■ L'élément LOGICO- entre dans la formation de composés didactiques récents : LOGICO-MATHÉMATIQUE adj. (v. 1960), LOGICO-POSITIVISME n. m. et LOGICO-SÉMANTIQUE adj. (v. 1970).

LOGISTIQUE n. f. a été emprunté à plusieurs reprises depuis le XVIe s. (1546) au dérivé grec logistikos, « relatif au calcul », « qui concerne le raisonnement », substantivé avec le premier sens au féminin logistikê, avec le second au neutre logistikôn. Le mot est dérivé de logizomai « calculer, raisonner, réfléchir », lui-même formé sur logos. Le français l'a introduit comme nom propre de la raison dans la traduction du Songe de Poliphile et pour désigner « celui qui pratique le raisonnement » (1593). ◆ Il l'a repris une deuxième fois (1611) pour désigner la partie de l'arithmétique et de l'algèbre concernant les quatre opérations ; ce sens disparu a fourni un adjectif (1765), « qui concerne le calcul ». ◆ Depuis 1904, logistique est appliqué à la logique symbolique dans une volonté de différenciation des autres logiques (sens abandonné progressivement lorsque logique s'est appliqué normalement aux formalismes). ◆ C'est dans ce sens qu'il a produit LOGISTICIEN, IENNE adj. et n. (1908).

■ Quant au sens militaire de logistique, « art de combiner des moyens de transport, de ravitaillement et de logement des troupes » (1840), il procéderait soit de logistique, soit (selon l'Oxford Dictionary) de loger*. Par extension, le mot recouvre l'ensemble des moyens et méthodes concernant l'organisation (1960) et s'emploie aussi adjectivement au sens correspondant (1970).

■ Du radical de logique (n. f.) est dérivé au XXe s. le terme didactique LOGICISME n. m. (1920) « attitude qui tend à faire prévaloir le point de vue ou les méthodes de la logique (dans un domaine de la connaissance) », d'où LOGICISTE n. (attesté 1930).

Le terme d'informatique LOGICIEL n. m. a été formé (v. 1970) sur le radical latin de logique avec la finale de matériel* pour remplacer l'anglicisme software. Il désigne l'ensemble des programmes, procédés et règles utilisés sur un matériel informatique. Le mot est, avec ordinateur, un des rares succès dans l'effort de francisation de la terminologie informatique, largement anglo-américaine. ◆ Logiciel a donné naissance, par son élément final, à de nombreux composés mal formés (mots-valises). PROGICIEL n. m., mot-valise formé de produit et logiciel (1962), désigne un ensemble de programmes commercialisés en vue de fournir une documentation pour une même application (progiciel de gestion pour bases de données). DIDACTICIEL n. m. est formé en français de didactique et logiciel (1979) pour un logiciel à usage pédagogique, scolaire ou non.