Hugh MacColl et la Naissance de Pluralisme Logique

Hugh MacColl (1837-1909) fut un mathématicien et logicien qui passa les premičres années de sa vie en Écosse. Aprčs quelques années de travail en différents lieux de Grande-Bretagne, il s'installa ŕ Boulogne-sur-Mer (France), oů il développa la majeure partie de son oeuvre et devint citoyen français. Hugh MacColl fut connu en son temps pour ses contributions novatrices dans le monde de la logique. MacColl représente la premičre approche du pluralisme logique. Sa premičre contribution pour l'algčbre logique du 19^ičme sičcle fut son calcul qui n'autorise pas seulement une classe d'interprétation (comme dans l'algčbre de Boole) mais aussi une interprétation propositionnelle. MacColl donna une préférence ŕ l'interprétation propositionnelle en raison de sa généralité et l'appela logique pure. Le connecteur principal de sa logique pure est le conditionnel et par conséquent, son algčbre contient un opérateur spécifique pour cet opérateur. Dans /Symbolic Logic and its Applications/ (1906) (réimprimé dans notre volume), MacColl publia la version achevée de sa(ses) logique(s) oů des propositions sont qualifiées soit de certaines, soit de impossibles, soit de contingentes, ou encore de vraies ou de fausses. Aprčs sa mort ses contributions au monde logique ne semblent pas avoir reçues ni les remerciements ni les études systématiques qu'elles auraient méritées. Plus encore, nombre de ses idées furent attribuées ŕ ses successeurs ; les exemples les plus connus sont : la notion d'implication stricte, la premičre approche formelle de la logique modale et la discussion des paradoxes de l'implication matérielle, habituellement attribuée ŕ C.I. Lewis. Il en va de męme pour ce qui est de ses contributions ŕ la logique probabiliste (probabilité conditionnelle), logique plurivalente (relationnelle), logique de la pertinence et logique connexe. Le fait qu'il ait aussi exploré la possibilité de construire un systčme formel capable de raisonner avec des fictions est moins connu. Ce dernier point semble ętre lié avec sa reconstruction formelle du syllogisme aristotélicien par le biais de la logique connexe. Le présent volume comprend une réimpression des principaux écrits logiques de MacColl.