Logique polyvalente 196726 31747476 2008-07-21T01:41:00Z Cobalttempest 384802 /* Voir aussi */ +[[es:Lógica plurivalente]] Les '''logiques polyvalentes''' sont des alternatives à la [[logique]] [[logique classique|classique]] Aristotélienne. Elles sont apparues à partir des années 20, surtout à la suite des travaux du logicien polonais [[Jan Łukasiewicz]]. Elles sont maintenant considérées comme ayant surtout un intérêt historique, mais elles ont eu leurs heures de succès car elles répondaient, en lien avec la [[physique quantique]], à une demande d'existence d'un '''état autre que le vrai ou le faux'''. Toutefois elles ont des parentées avec * la [[logique intuitionniste]] qui restreint par rapport à la [[logique classique]] ce qui est démontrable * les [[logique modale|logiques modales]]. * les modèles de [[Saul Aaron Kripke|Kripke]] de la logique intuitionniste qui ajoute de la structure à la polyvalence. * la [[logique floue]], qui ajoute à la polyvalence la prise en compte combinée de l'imprécision et de l'incertitude, et de ce fait utilisée notamment par des systèmes de régulation. == Exemple de trivalence == Le meilleur exemple de physique est le paradoxe du [[chat de Schrödinger]]. On peut se demander dans quel état est le chat à la fin de l'expérience, quand on ne l'a pas encore regardé : est-il mort, est-il vivant ? Nul ne le sait et surtout nul ne peut le démontrer (approche intuitionniste). On peut alors faire intervenir un ''nouvel état'', le chat est [[mort-vivant]]. En terme de modèle de Kripke, on dirait qu'il y a ''trois mondes possibles'', un monde où le chat est vivant, un monde où le chat est mort et un monde où on ne peut ni dire si le chat est vivant ou mort. Ces trois mondes sont tous les trois aussi possibles. En revanche le monde où le chat est mort (respectivement où le chat est vivant) est ''accessible'' depuis le monde où le chat est vivant ou mort. == Trivalence ou Polyvalence ? == La logique trivalente est la logique où l'univers des modèles de Kripke contient trois mondes possibles. On peut par ailleurs envisager d'autres formes de logiques, polyvalentes ou n-valentes, voire de valence infinie, comme on peut envisager des modèles de Kripke à <math>n</math> mondes ou même à un nombre infini de mondes. L'inconvénient de la logique polyvalente est qu'elle ''«aplatit»'' tout et ne met pas en relation les mondes ou états entre eux. == Voir aussi == * [[logique floue]], * [[principe d'incertitude]], * [[indéterminabilité]] {{logique}} [[Catégorie:Logique]] [[de:Mehrwertige Logik]] [[en:Multi-valued logic]] [[es:Lógica plurivalente]] [[fa:منطق‌های چند‌ارزشی]] [[it:Logica polivalente]] [[ja:多値論理]] [[nl:Meerwaardige logica]] [[pl:Logika wielowartościowa]] [[ru:Многозначная логика]] [[sv:Flervärd logik]] [[zh:多值逻辑]]