Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Possibilité et impossibilité
Résumé
La possibilité logique fait référence à une proposition qui peut être la conséquence logique d'une autre, basée sur les axiomes d'un système logique donné. Par conséquent, une proposition logiquement possible est celle qui est cohérente avec les axiomes du système logique dans lequel elle se trouve. formulé. Par conséquent, la possibilité d'une proposition dépendra du système logique utilisé.
Certains systèmes logiques restreignent les inférences basées sur des propositions incohérentes ou permettent de vraies contradictions, tandis que d'autres ont une logique à plusieurs valeurs au lieu du système binaire à deux valeurs de vérité : vrai ou faux. Cependant, en ce qui concerne la possibilité logique, on suppose généralement que le système en question est une logique propositionnelle classique.
La possibilité logique doit être différenciée des autres types de possibilités subjonctives. Par exemple, il peut être logiquement possible que les lois physiques de l'univers soient différentes de ce qu'elles sont réellement. Dans ce cas, beaucoup de choses deviennent logiquement possibles : par exemple, voyager plus vite que la lumière ou s'échapper de trous noirs peut être possible. De nombreux philosophes ont donc soutenu que ces scénarios sont logiquement possibles, mais en pratique impossibles du fait des lois physiques.
Avec cette compréhension de la possibilité logique à l'esprit, d'autres modalités logiques peuvent être définies :
une proposition est logiquement nécessaire s'il n'est pas possible qu'elle soit fausse dans un système logique ;
une proposition est logiquement impossible s'il n'est pas possible qu'elle soit vraie dans un système logique ;
une proposition est logiquement contingente si elle peut être logiquement soit vraie soit fausse.
La possibilité logique se distingue de la possibilité métaphysique : alors que la première se réfère à ce qui est permis dans un système logique, la seconde concerne ce qui peut être vrai (ou exister) dans l'absolu.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.