Guillaume de Sherwood : les Introductiones in Logicam

Guillaume de Sherwood, les Introductiones in Logicam

Introductiones in Logicam

Les Introductiones in Logicam

Guillaume de Sherwood (v. 1200-1266) est un maître anglais qui enseigne à Paris puis à Oxford. Son ouvrage principal, les Introductiones in Logicam, est l’un des premiers manuels de logique complets du XIIIe siècle. Guillaume y organise la logique en un parcours pédagogique clair (termes, propositions, syllogisme, dialectique, sophismes) et développe la théorie des propriétés des termes, en particulier la suppositio : la façon dont un terme « tient lieu » de quelque chose dans une proposition. Dans « L’homme court », le terme « homme » suppose pour les hommes réels ; dans « L’homme est une espèce », il suppose pour la nature universelle ; dans « Homme a cinq lettres », il suppose pour le mot lui-même.

Les trois suppositions

Guillaume de Sherwood distingue trois grands types de supposition. La supposition personnelle est celle où le terme renvoie aux individus concrets qu'il désigne : dans « L'homme court », c'est tel ou tel homme singulier qui est visé. La supposition simple, en revanche, se vérifie quand le terme renvoie non pas aux individus mais à la nature universelle, c'est-à-dire au concept même : dire « L'homme est une espèce » ne parle d'aucun homme en particulier, mais de l'humanité considérée en elle-même. La supposition matérielle, enfin, survient quand le terme se désigne lui-même en tant que signe linguistique : « Homme est un mot de cinq lettres » ne porte ni sur des individus ni sur une nature, mais sur le mot comme réalité phonétique ou graphique.

Déjouer le sophisme d'équivoque

Cette triple distinction permet de déjouer le sophisme d'équivoque, qui naît précisément de la confusion entre ces registres : celui qui passe subrepticement d'un usage personnel à un usage simple ou matériel du même terme trompe son auditoire. En identifiant avec précision le mode de supposition en jeu, le logicien démasque le paralogisme. Cette analyse anticipe de manière remarquable la théorie moderne de la référence, qui s'efforce elle aussi de distinguer l'usage d'un signe pour parler du monde, pour parler d'un concept, ou pour parler du signe lui-même.

Cette analyse du langage est une contribution majeure de la logique médiévale.