Hugh MacColl et la Naissance de Pluralisme Logique

Hugh MacColl (1837-1909) fut un mathmaticien et logicien qui passa les premires annes de sa vie en cosse. Aprs quelques annes de travail en diffrents lieux de Grande-Bretagne, il s'installa Boulogne-sur-Mer (France), o il dveloppa la majeure partie de son oeuvre et devint citoyen franais. Hugh MacColl fut connu en son temps pour ses contributions novatrices dans le monde de la logique. MacColl reprsente la premire approche du pluralisme logique. Sa premire contribution pour l'algbre logique du 19^ime sicle fut son calcul qui n'autorise pas seulement une classe d'interprtation (comme dans l'algbre de Boole) mais aussi une interprtation propositionnelle. MacColl donna une prfrence l'interprtation propositionnelle en raison de sa gnralit et l'appela logique pure. Le connecteur principal de sa logique pure est le conditionnel et par consquent, son algbre contient un oprateur spcifique pour cet oprateur. Dans /Symbolic Logic and its Applications/ (1906) (rimprim dans notre volume), MacColl publia la version acheve de sa(ses) logique(s) o des propositions sont qualifies soit de certaines, soit de impossibles, soit de contingentes, ou encore de vraies ou de fausses. Aprs sa mort ses contributions au monde logique ne semblent pas avoir reues ni les remerciements ni les tudes systmatiques qu'elles auraient mrites. Plus encore, nombre de ses ides furent attribues ses successeurs ; les exemples les plus connus sont : la notion d'implication stricte, la premire approche formelle de la logique modale et la discussion des paradoxes de l'implication matrielle, habituellement attribue C.I. Lewis. Il en va de mme 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 systme formel capable de raisonner avec des fictions est moins connu. Ce dernier point semble tre li avec sa reconstruction formelle du syllogisme aristotlicien par le biais de la logique connexe. Le prsent volume comprend une rimpression des principaux crits logiques de MacColl.