Quadruplets logiques.

[Exaptator]

.

Selon cette configuration :

1 2
3 4


Avec :

1 et 2 contraires
3 et 4 sub-contraires
1 et 4 contradictoires
2 et 3 contradictoires
1 et 3 subalternes (c'est-à-dire : 1 implique 3)
2 et 4 subalternes (c'est-à-dire : 2 implique 4)



On peut peut trouver beaucoup de quadruplets comme suit :


1. NÉCESSAIRE : ______________ Ce qui ne peut pas ne pas être.
2. IMPOSSIBLE : ______________ Ce qui ne peut pas être.
3. POSSIBLE : ________________ Ce qui peut être.
4. CONTINGENT : _____________ Ce qui peut ne pas être.


1. ÉVIDENT : ________________ Ce qui ne peut pas ne pas être connu.
2. INCONNAISSABLE : _________ Ce qui ne peut pas être connu.
3. CONNAISSABLE : ___________ Ce qui peut être connu.
4. INCONNU : ________________ Ce qui peut ne pas être connu.


1. CROIRE : __________ tenir pour vraie ou fausse une assertion sans preuve objective ou purement formelle.
2. SAVOIR : ___________ être en mesure de démontrer objectivement ou de façon purement formelle.
3. IGNORER : _________ ne pas être en mesure de démontrer objectivement ou de façon purement formelle.
4. DOUTER : __________ ne pas tenir pour vraie ou fausse une assertion sans preuve objective ou purement formelle.


1. OBLIGATOIRE
2. INTERDIT
3. PERMIS
4. FACULTATIF


1. Il existe une preuve que x : ______________ Il est certain que x.
2. Il existe une preuve que ¬x : _____________ Il est exclu que x <=> Il est certain que ¬x.
3. Il n'y a pas de preuve que ¬x : ____________ Il n'est pas exclu que x <=> Il n'est pas certain que ¬x.
4. Il n'y a pas de preuve que x : _____________ Il n'est pas certain que x.


1. P(x)
2. P(¬x)
3. ¬P(¬x)
4. ¬P(x)


1. C(x)
2. C(¬x)
3. ¬C(¬x)
4. ¬C(x)


1. T(x)
2. T(¬x)
3. ¬T(¬x)
4. ¬T(x)


...

.