Logique aléthique
|
A
Nécessaire
|
Contraires
|
E
¬◊
Impossible
|
|
Implication
↓
|
Contradictoires
|
Implication
↓
|
|
I
◊
Possible
|
Sub-contraires
|
O
¬
Contingent
|
Logique aléthique avec seulement deux signes logiques :
|
A
Nécessaire
|
Contraires
|
E
¬
Impossible
Soit « nécessaire que pas »
|
|
Implication
↓
|
Contradictoires
|
Implication
↓
|
|
I
¬¬
Possible qui s’écrit « pas
impossible »
soit « pas nécessaire que pas »
|
Sub-contraires
|
O
¬
Contingent
Soit « pas nécessaire »
|
Logique modale :
Axiome de distribution de Kripke :
(A→B) →A →B
En ajoutant d'autres types d'axiomes on obtient d'autre types de
logiques modales :
|
P
→ ◊P
|
La nécessité implique la possibilité
|
P → ¬¬P
|
|
P → ◊P
|
Le fait implique la possibilité
|
P → ¬¬P
|
|
P → P
|
Soit
|
P →P
|
|
P → ◊P
|
Soit
|
P → ¬¬P
|
|
◊P → ◊P
|
Soit
|
¬¬P → ¬¬P
|
Composés entre eux avec l’axiome de Kripke, ces différents axiomes
peuvent permettre de constituer un plus grand nombre de logiques
Logique « Déontique » :
|
(Obligatoire noté « O »)
|
|
(Interdit noté « I »)
|
|
|
|
|
|
(Permis noté « P »)
|
|
(Facultatif noté « F»)
|
Logique temporelle :
|
Toujours
|
|
Jamais
¬◊
|
|
|
|
|
|
Un jour ◊
|
|
(Pas toujours?) ¬
|
X : demain ou immédiatement après
F : un jour
G : toujours
U : jusqu'à
R : release : défoulement,
accomplissement, déclenchement, déblocage, libération, émancipation.
Logique psy
|
O
¬
Obsession du « Contingent »
|
Contradictoires
|
A
Paranoïa du « Nécessaire »
|
|
↑
Implication
|
Contraires et Sub-contraires
|
Implication
↓
|
|
E
¬◊
Schizophrénie de l’ « Impossible »
|
Contradictoires
|
I
◊
Hystérie du « Possible »
|
Si on l'applique à ma structure la logique temporelle on obtient :
|
Pas toujours ¬
|
Contradictoires
|
Toujours
|
|
↑
Implication
|
Contraires et
Sub-contraires
|
Implication
↓
|
|
Jamais mais
maintenant
¬◊
|
Contradictoires
|
Un jour ◊
|
leaux
