ISBN-13: 9781904987826 / Francuski / Miękka / 2008 / 512 str.
ISBN-13: 9781904987826 / Francuski / Miękka / 2008 / 512 str.
Hugh MacColl (1837-1909) fut un mathematicien et logicien qui passa les premieres annees de sa vie en Ecosse. Apres quelques annees de travail en differents lieux de Grande-Bretagne, il s'installa a Boulogne-sur-Mer (France), ou il developpa la majeure partie de son oeuvre et devint citoyen francais. Hugh MacColl fut connu en son temps pour ses contributions novatrices dans le monde de la logique. MacColl represente la premiere approche du pluralisme logique. Sa premiere contribution pour l'algebre logique du 19 DEGREESieme siecle fut son calcul qui n'autorise pas seulement une classe d'interpretation (comme dans l'algebre de Boole) mais aussi une interpretation propositionnelle. MacColl donna une preference a l'interpretation propositionnelle en raison de sa generalite et l'appela logique pure. Le connecteur principal de sa logique pure est le conditionnel et par consequent, son algebre contient un operateur specifique pour cet operateur. Dans /Symbolic Logic and its Applications/ (1906) (reimprime dans notre volume), MacColl publia la version achevee de sa(ses) logique(s) ou des propositions sont qualifiees soit de certaines, soit de impossibles, soit de contingentes, ou encore de vraies ou de fausses. Apres sa mort ses contributions au monde logique ne semblent pas avoir recues ni les remerciements ni les etudes systematiques qu'elles auraient meritees. Plus encore, nombre de ses idees furent attribuees a ses successeurs; les exemples les plus connus sont: la notion d'implication stricte, la premiere approche formelle de la logique modale et la discussion des paradoxes de l'implication materielle, habituellement attribuee a C.I. Lewis. Il en va de meme pour ce qui est de ses contributions a la logique probabiliste (probabilite conditionnelle), logique plurivalente (relationnelle), logique de la pertinence et logique connexe. Le fait qu'il ait aussi explore la possibilite de construire un systeme formel capable de raisonner avec des fictions est moins connu. Ce dernier point semble etre lie avec sa reconstruction formelle du syllogisme aristotelicien par le biais de la logique connexe. Le present volume comprend une reimpression des principaux ecrits logiques de MacColl."
Hugh MacColl (1837-1909) fut un mathématicien et logicien qui passa les premieres années de sa vie en Écosse. Apres quelques années de travail en différents lieux de Grande-Bretagne, il sinstalla a Boulogne-sur-Mer (France), ou 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 premiere approche du pluralisme logique. Sa premiere contribution pour lalgebre logique du 19^ieme siecle fut son calcul qui nautorise pas seulement une classe dinterprétation (comme dans lalgebre de Boole) mais aussi une interprétation propositionnelle. MacColl donna une préférence a linterprétation propositionnelle en raison de sa généralité et lappela logique pure. Le connecteur principal de sa logique pure est le conditionnel et par conséquent, son algebre 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) ou des propositions sont qualifiées soit de certaines, soit de impossibles, soit de contingentes, ou encore de vraies ou de fausses. Apres sa mort ses contributions au monde logique ne semblent pas avoir reçues ni les remerciements ni les études systématiques quelles auraient méritées. Plus encore, nombre de ses idées furent attribuées a ses successeurs ; les exemples les plus connus sont : la notion dimplication stricte, la premiere approche formelle de la logique modale et la discussion des paradoxes de limplication matérielle, habituellement attribuée a C.I. Lewis. Il en va de meme pour ce qui est de ses contributions a la logique probabiliste (probabilité conditionnelle), logique plurivalente (relationnelle), logique de la pertinence et logique connexe. Le fait quil ait aussi exploré la possibilité de construire un systeme formel capable de raisonner avec des fictions est moins connu. Ce dernier point semble etre 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.