Universalis
Abonnez-vous à Universalis pour 1 euro

LOGIQUE

Ce n'est qu'à une époque relativement récente qu'on a vraiment commencé à s'intéresser à l'histoire de la logique. Jusqu'au milieu du xixe siècle régnait en effet l'idée que la logique n'avait pas d'histoire, étant, pour l'essentiel, sortie « close et achevée » de l'esprit d' Aristote. Le renouveau de la logique depuis 1850 environ a peu à peu permis de replacer Aristote dans une perspective historique, de comprendre la signification et la portée de la logique stoïcienne, d'apprécier les travaux des scolastiques, de reconnaître en Leibniz un précurseur des conceptions modernes. Si on laisse à part la logique indienne qui s'est développée indépendamment, l'histoire de la logique occidentale nous apparaît aujourd'hui ponctuée par trois grandes époques créatrices, où cette discipline prend chaque fois une forme originale : la logique grecque avec Aristote et les stoïciens, la logique médiévale qui culmine au xive siècle, enfin, depuis le milieu du xixe siècle, la logique symbolique moderne. Entre elles, s'intercalent deux longues périodes de relative stagnation.

L'essor de la logique en Grèce

La logique aristotélicienne

On s'accorde toujours à faire commencer la logique avec celles des œuvres d'Aristote qui seront ultérieurement rassemblées sous le titre commun d'Organon – mot qui marque bien le caractère instrumental et préparatoire à la philosophie qu'Aristote lui reconnaissait. Elle avait été préparée par le développement de la dialectique, qu'Aristote fait remonter à Zénon d'Élée ; mais celle-ci était conçue comme un art plutôt que comme une science, donnant des préceptes pour la pratique de la discussion publique. Aristote la prolonge avec ses Topiques et ses Réfutations des sophismes ; mais c'est seulement avec l'Hermeneia et les Premiers Analytiques qu'il crée la logique. Ce dernier ouvrage apporte en effet deux innovations capitales. La plus remarquée a été l'invention du syllogisme, à laquelle Aristote parvient en découvrant, par une réflexion sur l'insuffisance du procédé platonicien de la division, le rôle du moyen terme. Mais la plus fondamentale, car c'est proprement avec elle que commence la logique en tant que science formelle, est l'introduction des variables, c'est-à-dire la substitution à une proposition concrète telle que « L'homme est mortel », du simple schéma formel de cette proposition, dont le contenu a été évacué : « A est B » ou, comme dit plutôt Aristote, « B appartient à A, est prédiqué de A ». Il n'est d'ailleurs pas certain qu'il ait perçu d'emblée toute la portée du procédé. Au contraire, la syllogistique a été aussitôt célèbre.

— Robert BLANCHÉ

Bien qu'Aristote traite les syllogismes comme des inférences, au sens strict, un syllogisme catégorique est une proposition conditionnelle complexe – une implication – de la forme (p∧q) → r. Il se compose de trois propositions (deux prémisses p et q et une conclusion r) et comprend trois termes ; chacune des propositions p, q, r comprend deux termes reliés par l'une des quatre relations syllogistiques, et chaque terme figure dans deux propositions exactement. Dans une forme syllogistique qui est appelée aussi « mode », à la place des termes (des concepts) figurent des lettres (des variables). Les scolastiques formuleront les syllogismes explicitement sous forme de schémas d'inférence « p, q, donc r ». La prémisse appelée majeure relie le moyen terme (symbolisé ci-dessous par B) au majeur (A), qui est le prédicat de la conclusion ; la mineure relie le moyen terme au mineur (C), qui est le sujet de la conclusion ; la conclusion, obtenue par l'intermédiaire du moyen terme, relie le mineur au majeur. Le moyen[...]

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écouvrez nos offres

Déjà abonné ? Se connecter

Écrit par

  • : professeur honoraire à la faculté des lettres et des sciences humaines de Toulouse
  • : docteur ès lettres, chargé de recherche au C.N.R.S.

Carte mentale
Élargissez votre recherche dans Universalis

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 - crédits : Planeta Actimedia S.A.© Encyclopædia Universalis France pour la version française.

Algèbre de Boole

Planeta Actimedia S.A.© Encyclopædia Universalis France pour la version française.

Tripartition signe-sens-référence - crédits : Encyclopædia Universalis France

Tripartition signe-sens-référence

Encyclopædia Universalis France

Bertrand Russell - crédits : Kurt Hutton/ Picture Post/ Getty Images

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

Abonnez-vous à Universalis pour 1 euro

Rejoignez-nous

Inscrivez-vous à notre newsletter