|

Diagramme bi-littéral
"Supposons tout d'abord que le diagramme (ci-dessus) soit un
espace clos attribué à une classe de choses que nous avons choisie
pour "univers du discours"...
Supposons en deuxième lieu, que nous ayons choisie une qualité
déterminée, que l'on peut appeler x, et que nous ayons divisé
la classe à laquelle nous avons attribué la totalité du
diagramme en deux classes plus petites dont les différences
respectives sont x et non x (que l'on peut appeler x'),
et que nous ayons attribué la moitié nord du diagramme à la
première (x) et la moitié sud à la deuxième (x')...
Supposons en troisième lieu, que nous ayons choisi une autre
qualité, que l'on peut appeler y, et ayons subdivisé la classe x
en deux classes dont les différences respectives sont y et y'
; qu'en outre nous ayons attribué la cellule nord-ouest à la première
(xy) et la cellule nord-est à la seconde (xy')...
Supposons en quatrième lieu, que nous ayons subdivisé de même la
classe x' et attribué la cellule sud-ouest à la classe x'y
et la cellule sud-est à la classe x'y'...
Emploi des jetons
Nous conviendrons qu'un jeton rouge posé sur une cellule
signifie : "cette cellule est occupée", c'est-à-dire
"elle contient au moins une chose".
Nous conviendrons également qu'un jeton rouge posé sur
la ligne séparant deux cellules signifie : "l'espace formé par ces
deux cellules est occupé ; mais on ignore où exactement se trouvent ses
occupants". Il pourra par conséquent signifier : "Une au moins
des deux cellules est occupée, et peut-être les deux"...
Nous conviendrons également qu'un jeton gris, s'il est
posé dans une cellule, signifie : "cette cellule est vide",
c'est-à-dire "elle ne contient rien".
Représentation des propositions
|
Quelques X existent |

|
Aucun X n'existe |

|
|
Quelques X' existent |

|
Aucun X' n'existe |

|
|
Quelques Y existent |

|
Aucun Y n'existe |

|
|
Quelques Y' existent |

|
Aucun Y' n'existe |

|
|
Quelques XY existent
= Quelques X sont Y
= Quelques Y sont X |

|
Tout X est Y |

|
|
Quelques XY' existent
= Quelques X sont Y'
= Quelques Y' sont X |

|
Tout X est Y' |

|
|
Quelques X'Y existent
= Quelques X' sont Y
= Quelques Y sont X' |

|
Tout X' est Y |

|
|
Quelques X'Y' existent
= Quelques X' sont Y'
= Quelques Y' sont X' |

|
Tout X' est Y' |

|
|
Aucun XY n'existe
= Aucun X n'est Y
= Aucun Y n'est X |

|
Tout Y est X |

|
|
Aucun XY' n'existe
= Aucun X n'est Y'
= Aucun Y' n'est X |

|
Tout Y est X' |

|
|
Aucun X'Y n'existe
= Aucun X' n'est Y
= Aucun Y n'est X' |

|
Tout Y' est X |

|
|
Aucun X'Y' n'existe
= Aucun X' n'est Y'
= Aucun Y' n'est X' |

|
Tout Y' est X' |

|
|
Quelques X sont Y et
quelques-uns sont Y' |

|
Quelques Y sont X et
quelques-uns sont X'
|

|
|
Quelques X' sont Y et
quelques-uns sont Y' |

|
Quelques Y' sont X et
quelques-uns sont X' |

|
|