RELATION

La méthode axiomatique permet d'aborder le problème de la nature de la relation par un tout autre biais. Elle consiste à donner une caractérisation implicite de la notion en énonçant certaines propositions dans lesquelles elle figure ; le contenu de la notion est alors déterminé par les possibilités déductives contenues dans ces propositions (c'est-à-dire qu'il est exprimé par ces propositions et toutes celles qui en dérivent). C'est dans le cadre de la logique mathématique que cette méthode a été appliquée à la notion de relation. Auguste De Morgan (1806-1871) est considéré comme le véritable fondateur de la théorie logique des relations. On en trouve cependant déjà quelques anticipations chez les logiciens grecs et chez les scolastiques. Les premiers développements d'une théorie des relations ont été élaborés par Gottfried Ploucquet (1716-1790) et surtout par Johann Heinrich Lambert (1728-1777). De Morgan introduit les opérations élémentaires sur les relations et en étudie les propriétés. Des contributions importantes ont été apportées, dans la seconde moitié du xix^e siècle, à la théorie des relations par Ernst Schröder (1841-1902) et, indépendamment de lui, par Charles Sanders Peirce (1839-1887).

C'est surtout dans l'œuvre de Bertrand Russell (1872-1970) que la théorie moderne des relations prend tout son essor. On peut discerner deux étapes dans l'élaboration de la doctrine russellienne des relations : celle des Principles of Mathematics (1903) et celle des Principia Mathematica (publiés par Russell, en collaboration avec Alfred North Whitehead, en 3 volumes, de 1910 à 1913). Dans les Principles, Russell adopte une théorie intensionnelle des relations. Alors qu'il adopte un traitement extensionnel des classes (consistant à traiter une classe comme l'ensemble des in [...]