Compossible
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche à compléter concernant les mathématiques, vous pouvez partager vos connaissances en le modifiant. |
En Mathématiques, sont compossibles deux éléments qui peuvent exister ensemble dans un même espace.
"[..] la notion leibnizienne de compossible retient l'idée fondamentale suivant laquelle le possible est déterminé par le possible." Roberto Miguelez (Les règles de l'interaction, Essais en philosophie sociologique p.299, Les presses de l'Université Laval). Le terme est employé en particulier par Leibniz, David Lewis et Gilles Deleuze.
Chez Leibniz, le compossible est associé à l'idée de monde possible. Notre monde a la particularité d'être le meilleur des mondes possibles, mais il n'en est qu'un parmi d'autres. Dans ces autres mondes, les choses auraient pu être radicalement différentes de ce qu'elles sont dans notre monde. Certaines vérités nécessaires dans notre monde, comme les lois de la nature, pourraient ne pas exister dans d'autres monde. C'est pourquoi il faut distinguer la possibilité entre les mondes, et la possibilité à l'intérieur d'un monde, qui est la compossibilité.
Si l'on prend l'ensemble des mondes possibles, alors on peut dire que tout ce qui n'est pas contradictoire par soi-même est possible. Une chose qui n'existe pas dans notre monde, ou qui ne peut pas exister, peut très bien exister dans un autre. Par contre, à l'intérieur de notre monde, tout n'est pas possible. Car certaines choses, de fait existent, et des choses qui contrediraient celles qui existent ne pourraient pas venir à l'existence. D'où le terme de compossible: est compossible une chose qui est possible compte tenu de toutes les choses qui sont dans le monde. On dirait aujourd'hui "compatible". Cela explique le "cum" ("avec") de "com-possible". Une chose est compossible si elle reste possible , non pas absolument, mais lorsqu'elle est avec les choses existantes.
