LOGIQUE
L'ère de la logique dite « classique »
Déclin de la logique
À partir de la Renaissance, la logique connaît une longue période de relative torpeur. L'humaniste naissant s'oppose à tout ce qui rappelle l'enseignement scolastique et l'autorité d'Aristote. L'intérêt se déplace de la logique vers l'art de la dialectique et la recherche d'une méthode. Ces deux traits se remarquent dans le premier ouvrage de logique écrit en français, la Dialectique (1555) de Pierre de la Ramée (Ramus), qui avait commencé sa carrière par de violentes attaques contre Aristote. Les modifications qu'il apporte à la syllogistique sont assez anodines, mais les modi ramistorum ont été célèbres et ont rivalisé pendant un temps avec ceux d'Aristote. Succédant à l'humanisme de la Renaissance, l'avènement de la physique moderne, qui demande son organon à la mathématique, et non plus à la logique, ajoute au discrédit où celle-ci est tombée. Ce que veulent maintenant les philosophes, c'est une méthode pour connaître la vérité des choses, et non pour assurer seulement la cohérence du discours. Cet esprit nouveau anime, assez paradoxalement, la plus célèbre des logiques de l'époque, celle dite de Port-Royal (1662) où, pendant deux siècles, les « honnêtes gens » prendront contact avec cette discipline. Elle y est réduite à ses éléments essentiels et traitée sur des exemples concrets ; son propos est d'apprendre à juger sainement plutôt qu'à raisonner correctement ; elle est couronnée, comme chez Pierre de la Ramée, par des conseils de méthode, directement inspirés de Descartes et de Pascal.
Leibniz
L'exception la plus considérable à cette désaffection générale pour la logique est celle de Leibniz. En logique comme ailleurs, ce philosophe de la continuité évite la rupture. Il accepte ce qui a été fait, il le reprend, mais pour l'approfondir. La logique traditionnelle n'est qu'un échantillon d'une logique générale, qui reste à établir. La syllogistique est une des plus belles inventions de l'esprit humain, car, dans la mesure où elle réussit à mettre en forme les raisonnements, un art d'infaillibilité y est contenu. Mais elle n'y parvient qu'imparfaitement, étant trop assujettie au langage naturel, avec ses irrégularités logiques, et à la forme orale de ce langage. Le modèle dont il faut s'inspirer, c'est celui de l' algèbre, dont le langage est constitué entièrement de symboles visuels, et dont les opérations consistent à manier ces symboles selon certaines règles précises qui en garantissent la correction. Seulement, le langage algébrique est limité à la quantité ; il s'agit, en s'inspirant de son exemple, de généraliser le procédé, de manière à pouvoir ramener tout raisonnement, quel qu'en soit l'objet, à un simple calcul sur des signes, par une suite d'opérations expressément réglées. D'où les deux projets étroitement associés pour parvenir à cette nouvelle logique, unissant la généralité de la logique traditionnelle à la rigueur de l'algèbre : construire une lingua characteristica universalis et, par son moyen, un calculus ratiocinator. Cette conception audacieuse marque le passage de la logique ancienne à la logique moderne, même si la première survit longtemps à Leibniz et si la seconde ne devait se développer que bien après lui. Avec l'introduction des variables, Aristote avait créé la logique formelle ; avec la réduction du raisonnement à un calcul, on accède à une logique formaliste.
En une multitude de brouillons, de notes, d'essais, Leibniz a, durant toute sa vie, travaillé à l'élaboration de cette algèbre générale ou mathématique universelle, en abordant de diverses manières son double problème.
Partant[...]
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Robert BLANCHÉ : professeur honoraire à la faculté des lettres et des sciences humaines de Toulouse
- Jan SEBESTIK : docteur ès lettres, chargé de recherche au C.N.R.S.
Classification
Pour citer cet article
Robert BLANCHÉ et Jan SEBESTIK. LOGIQUE [en ligne]. In Encyclopædia Universalis. Disponible sur : (consulté le )
Médias
Algèbre de Boole
Planeta Actimedia S.A.© Encyclopædia Universalis France pour la version française.
Tripartition signe-sens-référence
Encyclopædia Universalis France
Bertrand Russell
Kurt Hutton/ Picture Post/ Getty Images
Autres références
-
ANALOGIE
- Écrit par Pierre DELATTRE, Universalis, Alain de LIBERA
- 10 427 mots
Dès les années 1200, et pour une large période, l'analyse du phénomène logico-sémantique de l'équivocité se voit lestée de thèmes directement empruntés à Avicenne. C'est sous son influence que l'équivocité « selon l'antérieur et le postérieur » est reconnue par les logiciens (... -
ANALYTIQUE PROPOSITION
- Écrit par Françoise ARMENGAUD
- 459 mots
Le mot « analytique » a au moins trois sens.
1. Au sens large, une proposition est dite analytique si elle est vraie en vertu de la signification des termes qu'elle contient. La simple considération des significations suffit à donner l'assurance de sa vérité. À ce sens se rattachent le...
-
ANTINOMIE
- Écrit par Françoise ARMENGAUD
- 372 mots
N'est pas antinomie n'importe quelle contradiction, mais seulement celle qui joue entre des lois — soit des lois juridiques ou théologiques, soit des lois de la raison (Kant), soit des thèses déduites de lois logiques (théorie des ensembles) —, ni n'importe quel paradoxe...
-
CATÉGORIES
- Écrit par Fernando GIL
- 6 071 mots
Körner énonce encore un quatrième fait, la logique sous-jacente aux cadres catégoriaux, selon qu'elle est plus ou moins rigide. En effet, de très nombreux travaux récents ont mis en relief le fonctionnement d'une pensée constructive et stratégique, proche de la logique intuitionniste, dont les exigences... - Afficher les 76 références
Voir aussi
- ATTRIBUT & PRÉDICAT, logique
- CLASSES, logique
- REPRÉSENTATION & CONNAISSANCE
- ÉQUIVALENCE RELATION D'
- LOGIQUE MATHÉMATIQUE
- RELATIONS, mathématiques
- SIGNIFICATION
- VENN DIAGRAMME DE
- SUPPOSITIONS, logique
- CONSÉQUENCES, logique
- DÉDUCTION
- ART COMBINATOIRE
- ANTIQUE PHILOSOPHIE
- TYPES THÉORIE DES, logique mathématique
- GRECQUE PHILOSOPHIE
- VARIABLE, mathématiques
- CONNECTEUR, logique
- VÉRITÉ, logique
- EXTENSION, logique
- LOGIQUE HISTOIRE DE LA
- MÉDIÉVALES PHILOSOPHIES & THÉOLOGIES, du XIIIe au XVe s.
- MOYEN TERME, logique
- LOGICISME
- INCLUSION
- MÉDIÉVALE PENSÉE
- LOGIQUES NON CLASSIQUES
- GERGONNE JOSEPH DIEZ (1771-1859)
- SUBSTITUTION, logique
- IDEMPOTENCE
- DISJONCTION, logique
- PRÉMISSES, logique
- PHILON LE MÉGARIQUE (IVe s. av. J.-C.)
