2. La logique modale traditionnelle
La logique modale est née de l'intérêt qu'ont manifesté les philosophes, dès l'Antiquité, pour les notions de nécessité et de possibilité, et pour une élucidation de leurs fonctions dans le discours. Le fondateur de la logique modale proprement dite est Aristote, qui l'aborde dans le De interpretatione (paragr. 12 et 13) et dans les Premiers Analytiques (I, 3 et 13 ; I, 8-22). Dans le De interpretatione, Aristote se demande quelles sont les négations d'énoncés modaux et soulève, à ce propos, la question de savoir si la modalité porte sur le prédicat ou sur la phrase entière. Sa réponse sur ce second point n'est pas nette. Les médiévaux distingueront clairement le cas où les modalités modifient une proposition complète (« nécessairement l'homme est animal ») – en ce sens, la modalité est dite de dicto (ou in sensu composito) – du cas où la modalité porte sur le prédicat (« l'homme est nécessairement animal ») – en ce sens la modalité est de re (ou in sensu diviso) et qualifie le type d'inhérence du prédicat au sujet. Mais Aristote ne formule pas explicitement cette distinction et adopte tantôt la première, tantôt la seconde interprétation, qui lui ont été respectivement attribuées par les commentateurs. Une autre possibilité, suggérée par Granger (1976), serait qu'Aristote traite les modalités non pas comme des opérateurs, mais comme des prédicats métalinguistiques portant sur ce qui peut être dit d'un sujet, et non pas sur ses propriétés inhérentes. Aristote distingue néanmoins toujours la nécessité comme apodicticité, qui qualifie le lien entre les prémisses et la conclusion d'un raisonnement syllogistique, et qui est une relation entre des propositions, de la nécessité ontologique, qualifiant des relations d'inhérence entre les entités dénotées par des termes, c'est-à-dire des substances et leurs attributs.
Aristote établit les combinaisons des propositions modales et, en particulier, les équivalences et implications auxquelles elles donnent lieu, que les médiévaux figureront dans un « carré des modalités ».
Aristote distingue deux sens du possible, le possible au sens large, […]
… pour nos abonnés, l'article se prolonge sur 11 pages…
