IMPLICATION, philosophie

Il y a implication, au sens usuel, lorsqu'une chose en contient une autre, de manière non apparente mais réelle, de sorte que la chose contenue, d'abord inaperçue, peut être rendue manifeste.

En philosophie, la définition est plus stricte : un objet de connaissance en implique un autre si cet autre résulte nécessairement du premier ; le premier étant posé, le second se trouve posé également, avec la même valeur et aux mêmes conditions que le premier. Une idée en implique une autre si elle ne peut être pensée sans l'autre (quand l'autre idée ne peut être pensée sans la première, l'implication est réciproque). Un fait en implique un autre lorsque l'expérience confirme qu'ils sont toujours liés, donnés ensemble (la difficulté est de déterminer lequel entraîne l'autre). Certains philosophes, par exemple O. Hamelin, distinguent une implication descendante et une implication dialectique : la première est analytique (d'un concept, on peut extraire ce qui est contenu dans sa définition) ; la seconde est synthétique (elle fait progresser la pensée : par exemple, l'unité n'implique pas analytiquement la pluralité, qui n'implique pas analytiquement la totalité, mais la première appelle la seconde, et l'une et l'autre appellent la troisième).

De façon générale, les philosophes estiment qu'il y a implication lorsqu'un rapport de nécessité logique rattache le conséquent à l'antécédent. À leurs yeux, ce rapport qui fonde la déductibilité n'est vraiment saisi que si l'on recourt à des considérations sémantiques. L'idée de conséquence logique suppose, en effet, deux choses : un lien nécessaire entre principe et conséquence, mais aussi, entre les deux propositions, une congruence de signification (R. Blanché).

La logistique, ne pouvant faire entrer dans le calcul formel aucune nécessité intelligible, s'efforce de ramener tout rapport entre propositions à des jonctions assertoriques (modalité d'existence, distincte d'une modalité de nécessité : les jugements assertoriques sont vrais en f […]