Éléments de logique stoïciens
La forme moderne mathématisée de la logique stoïcienne est le calcul des propositions ou des énoncés, moyennant l’usage de variables propositionnelles et des connecteurs logiques. Les premières renvoient à la notion stoïcienne de proposition simple : par exemple, il fait jour se transcrira a ; il fait clair : b.
Les propositions composées sont celles qui résultent de l’articulation des propositions simples au moyen des fonctions lo- giques exprimées par les connecteurs : conjonction, disjonction, implication. Par exemple, s’il fait jour, il fait clair se trans- crit : a b. Les Stoïciens ont été les premiers à définir les fonctions logiques d’une manière qui prélude de loin aux “ tables de vérité …afficher plus de contenu…
Dans la logique stoïcienne, les propositions ne sont pas analysées, et elles ne peuvent donc servir comme telles à conclure quoi que ce soit. Un syllogisme aristotélicien se transcrit en logique stoïcienne sous la forme : (a b) c
Ce schéma ne permet pas à lui seul de dire quelque chose de la vérité de c, mais seulement de calculer la vérité de la pro- position composée en fonction de la vérité ou de la fausseté supposée de ses variables. Pour qu’il y ait syllogisme, c'est-à- dire raisonnement déductif, il faut ajouter quelque chose à ce schéma. Et la conclusion d’un tel syllogisme ne pourra