Possibilité logique - Logical possibility

La possibilité logique fait référence à une proposition logique qui ne peut pas être réfutée, en utilisant les axiomes et les règles d'un système logique donné. La possibilité logique d'une proposition dépendra du système de logique considéré, plutôt que de la violation d'une seule règle. Certains systèmes de logique restreignent les inférences à partir de propositions incohérentes ou permettent même de vraies contradictions . D'autres systèmes logiques ont plus de deux valeurs de vérité au lieu d'un binaire de telles valeurs. Cependant, lorsqu'on parle de possibilité logique, on suppose souvent que le système en question est une logique propositionnelle classique . De même, le critère de la possibilité logique est souvent basé sur le fait qu'une proposition est ou non contradictoire et, en tant que telle, est souvent considérée comme le type de possibilité le plus large.

En logique modale , une proposition logique est possible si elle est vraie dans un monde possible . L'univers des «mondes possibles» dépend des axiomes et des règles du système logique dans lequel on travaille, mais étant donné un système logique, toute collection d'énoncés logiquement cohérente est un monde possible. L'opérateur diamant modal est utilisé pour exprimer la possibilité: indique "la proposition est possible".

La possibilité logique doit être distinguée des autres sortes de possibilités subjonctives. Mais la relation entre les modalités (s'il y en a) fait l'objet de débats et peut dépendre de la façon dont on voit la logique, ainsi que de la relation entre la logique et la métaphysique , par exemple, de nombreux philosophes à la suite de Saul Kripke ont soutenu que la découverte d'identités telles que «Hespérus = Phosphore» sont métaphysiquement nécessaires car ils choisissent le même objet dans tous les mondes possibles où les termes ont un référent. Cependant, il est néanmoins logiquement possible que «Hesperus = Phosphorus» soit faux, car le nier ne viole pas une règle logique telle que la cohérence. D'autres philosophes sont également d'avis que la possibilité logique est plus large que la possibilité métaphysique, de sorte que tout ce qui est métaphysiquement possible est également logiquement possible.

Voir également

Les références