Universalis

LOGIQUE

Carte mentale
Élargissez votre recherche dans Universalis

La logique médiévale

La logique fait partie de l'enseignement dispensé dans les facultés des arts, comme troisième année du trivium. Elle est largement utilisée aussi comme moyen d'argumentation et de discussion dans les facultés supérieures, notamment celles de théologie. La longue querelle des universaux est partiellement commandée par cette division, la théologie officielle favorisant les « réaux », tandis que la doctrine des « nominaux », expressément condamnée par l'Église, visait surtout à débarrasser la logique de toute métaphysique.

Développement historique

Au début du xiie siècle, on ne connaît guère encore que les premiers livres de l'Organon. Le principal promoteur de la logique est Abélard. Inspirée de Boèce et de Priscien, sa Dialectica, qui servira longtemps de manuel, dégage le rôle de la « copule », annonce la future théorie des « conséquences », distingue expressément entre les deux façons d'entendre les propositions modales. À la fin du siècle commencera, avec une connaissance plus complète de l'œuvre d'Aristote, la période de l'ars nova, qu'on opposera alors à l'ars vetus.

Au xiiie siècle apparaissent les grands traités, dont les principaux sont les Introductiones in logicam de Guillaume de Shyreswood et les Summulae logicales de Pierre d'Espagne. Les intentions pédagogiques y sont manifestes : en témoignent l'introduction de diverses formules mnémotechniques comme barbara, celarent, darii, ferio, etc. et l'usage de procédés quasi mécaniques pour déterminer les syllogismes valables, par élimination de ceux qui violent l'une ou l'autre de quelques règles initialement posées. On introduit les modes subalternes, les syllogismes à termes singuliers (mais non la quatrième figure qui, d'origine inconnue, n'interviendra qu'à la fin du Moyen Âge) ; on cultive la logique modale, on s'intéresse aux sophismes.

Une scission s'accuse bientôt entre les antiqui et les moderni. Les premiers, attachés à la tradition, sont les grands docteurs qui intègrent la logique à ce système philosophico-théologique où Thomas d'Aquin accommode la philosophie d'Aristote à l'exposé des dogmes chrétiens. Plus hardis, les autres reprennent, sous l'impulsion de Guillaume d'Ockham, princeps nominalium, la conception d'une logique autonome, maintenue sur le plan formel de l'expression linguistique. À l'exception de Walter Burleigh, c'est à cette seconde tendance qu'appartiennent, après Ockham, les grands logiciens du xive siècle, Jean Buridan et Albert de Saxe.

Suppositions et conséquences

Les deux théories les plus originales de la logique médiévale sont celle des suppositions et celle des conséquences. La première, liée à la hiérarchie des « intentions », remplissait en partie l'office que nous demandons aujourd'hui à la distinction des niveaux du langage. La « supposition » d'un terme, c'est, au sens propre du mot, ce qui est mis sous ce terme. La principale distinction est celle de la supposition formelle (quand un terme renvoie normalement aux choses qu'il représente) et de la supposition matérielle (quand il est à lui-même son propre suppôt, comme dans « homme est un substantif »). D'autres distinctions, plus ou moins subtiles, et variant selon les auteurs, s'y ajoutaient.

Le mot de « conséquence » désigne d'abord, depuis Abélard, la proposition conditionnelle, mais bientôt aussi la validité d'un raisonnement, lequel peut s'énoncer sous la forme d'une proposition conditionnelle complexe, où la conjonction des prémisses forme l'antécédent, et la conclusion le conséquent. Pour analyser les différents sens du si ou du cum qui introduisent la condition, on est amené à distinguer[...]

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

  • 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É, Jan SEBESTIK, « LOGIQUE », Encyclopædia Universalis [en ligne], consulté le . URL :

Médias

Algèbre de Boole

Algèbre de Boole

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

Algèbre de Boole

Les opérateurs booléens et leurs combinaisons : les portes logiques.


L'algèbre de Boole est une…

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

Tripartition signe-sens-référence

Tripartition signe-sens-référence

Encyclopædia Universalis France

Tripartition signe-sens-référence

Tripartition signe-sens-référence

Encyclopædia Universalis France

Bertrand Russell

Bertrand Russell

Kurt Hutton/ Picture Post/ Getty Images

Bertrand Russell

Le philosophe anglais lord Bertrand Russell (1872-1970), en 1948. Scientifique et mathématicien,…

Kurt Hutton/ Picture Post/ Getty Images

Autres références

  • ANALOGIE

    • Écrit par Pierre DELATTRE, Universalis, Alain de LIBERA
    • 9 176 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
    • 404 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...

  • ANTINOMIE

    • Écrit par Françoise ARMENGAUD
    • 327 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 ...

  • CATÉGORIES

    • Écrit par Fernando GIL
    • 5 343 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...

  • COGNITIVES SCIENCES

    • Écrit par Daniel ANDLER
    • 16 951 mots
    • 4 médias
    Pendant longtemps,la logique a été considérée comme fournissant les règles du raisonnement idéal : n'est-elle pas la science de l'inférence valide, c'est-à-dire de l'opération permettant de passer à coup sûr de prémisses vraies, ou supposées telles, à une conclusion vraie ? Si tel de nos raisonnements...
  • Afficher les 76 références

Voir aussi

Abonnez-vous à Universalis pour 1 euro

Rejoignez-nous

Inscrivez-vous à notre newsletter