Abstrait

Calcul relationnel

Karrie Williams

Bien que l'on trouve dans la littérature sur les relations quelques énoncés isolés abordant la notion de connexions, le sujet de cet article a suivi un cheminement historique curieux et plutôt erratique. Les fondements de la théorie actuelle des relations se trouvent dans les travaux d'A. De Morgan, qui a mené des recherches substantielles dans ce domaine dans les années 1950. De Morgan était bien conscient des limites de la logique traditionnelle pour exprimer et justifier non seulement des arguments plus complexes en mathématiques et en sciences, mais aussi des arguments simples dans la vie ordinaire ; en témoigne son célèbre aphorisme : « Tout le raisonnement d'Aristote ne nous permet pas, à partir du fait qu'un cheval est en effet un animal. » Il a concentré son attention sur l'idée générale de relations et a pleinement réalisé son importance dans sa quête pour échapper aux limites de la logique traditionnelle et étendre les frontières de l'investigation logique. DeMorgan, en revanche, ne peut pas être crédité d'avoir inventé les fondements théoriques des relations puisqu'il manquait de moyens pour aborder le sujet qui l'intéressait et n'a pas été en mesure d'en développer un. Ses études sur les relations révèlent une confusion et une discipline qui peuvent expliquer pourquoi elles ont été négligées dans les années qui ont suivi.