Modala logiko

From Wikipedia

Modala logiko esas logiko ad qua on adjuntas di modifikivi, qua on povus komprenar en gramatiko kom adverbi.


Indexo

[redaktar] Diferanta modala logiko

Ul existas multa tipi di modala logiki, do la modi esas :

  • klasika (o de aristoteles) :
    • necesa, notita \Box
    • kontingenteso, (ne necesa) notita \neg \Box
    • posibla, notita \Diamond
    • ne posibla, notita \neg \Diamond
  • épistémiques (relatifs à la connaissance) :
    • konocajo per l'agento i, notita Ki
    • contestable
    • exclu
    • plausible
    • connaissance commune du groupe G d'agents, notée CG
  • déontiques (moraux) :
    • obligatoire, notita O
    • interdit, notita I
    • permis, notita P
    • facultatif, notita F
  • temporels
    • toujours, notita \Box
    • un jour, notita \Diamond
    • jamais, notita \neg \Diamond
    • demain, notita X
    • jusqu'à ce que, opérateur binaire noté U
    • désormais, notita G
    • un jour futur, notita F
    • toujours dans le passé, notita H
    • un jour passé, notita P
  • Doxastique (sur les croyances)
    • cru, notita B
  • Contrefactuelle
    • Si A était vrai, où l'on sait que A n'est pas vrai.
  • Linéaire (fondement du calcul des séquents dûe à Jean-Yves Girard, pour régler la duplication des ressources en logique)
    • bien sûr notita !
    • pourquoi pas notita ?.
  • Dynamique (effet d'actions, notées a, sur des propositions)
    • peut-être après a, notita \langle a\rangle
    • sûrement après a, notita [a].

[redaktar] Logique modale classique

Il est clair, en logique classique, que nous pouvons exprimer les quatre opérateurs à l’aide d’un seul (ici la nécessité) et de la négation. Ainsi:

  • impossible est \square \neg
  • possible est \neg \square \neg

Une proposition nécessaire ne peut pas être fausse sans impliquer de contradiction, a contrario d’une proposition contingente qui peut impliquer une contradiction.

La logique intuitionniste peut être construite sur la logique classique comme une logique modale.

[redaktar] Axiomes de logique modale

Chaque logique modale vient avec une série d'axiomes qui sont supposés refléter le sens de la modalité. Une logique modale est dite normale ou de Kripke ssi elle admet

  • 1) la règle d'inférence de nécessitation:

Si A est un théorème, alors \Box A aussi.

  • 2) l'axiome de distribution de Kripke:

\Box(A\supset B) \supset( (\Box A)\supset(\Box B))

Certaines d'entre elles admettent les axiomes:

  • D: \Box P \supset \Diamond P soit la nécessité implique la possibilité
  • T: P \supset \Diamond P soit le fait implique la possibilité"

[redaktar] Modèles de la logique modale

Les modèles de Kripke, ou modèles de mondes possibles, donnent une sémantique simple au logiques modales.

Le problème de la correspondance entre modèles et axiomatique est le suivant: quel axiome exprime une propriété de la relation d'accessibilité, et inversément?

[redaktar] Voir aussi

  • Contingent
  • Théorie Dezert-Smarandache

Catégorie:Logiko