La logique stoïcienne et les propositions

Logica Stoica

La logique des propositions

La logique stoïcienne est une révolution. Là où Aristote raisonnait sur des termes, Chrysippe de Solès (281-208 av. J.-C.) construit une logique des propositions liées par des connecteurs : si…alors, et, ou. Il formule cinq indémontrables dont le modus ponens. Le lekton (le « dicible ») distingue le sens de la proposition, du signe physique et de la chose désignée, anticipant la distinction moderne signe/signifié. Boèce transmet le syllogisme hypothétique stoïcien au Moyen Âge.

L'Argument Dominant

Avant Chrysippe, Diodore Cronos avait déjà bouleversé la réflexion logique par son célèbre Argument Dominant (kurieuôn logos), qui porte sur les futurs contingents : si tout ce qui est passé est nécessaire, et si l'impossible ne peut découler du possible, alors tout ce qui est possible est ou sera. C'est un déterminisme logique que les Stoïciens durent affronter pour concilier destin et responsabilité morale.

L'héritage médiéval

Au Moyen Âge, cette tradition trouve un prolongement décisif chez Pierre Abélard, qui introduit la distinction entre conséquence formelle et conséquence matérielle. La conséquence formelle vaut par sa structure seule, indépendamment du contenu des propositions, préfigurant la notion moderne de validité logique. La conséquence matérielle, en revanche, dépend de la vérité factuelle des termes engagés. Cette distinction permit aux logiciens médiévaux de préciser considérablement l'héritage stoïcien et aristotélicien, ouvrant la voie aux Summulae logicales de Pierre d'Espagne et, plus tard, à la logique formelle contemporaine.

Chrysippe formule les cinq indémontrables (briques du raisonnement valide) deux millénaires avant la logique formelle moderne