Présentation
1972.
Essai de logique opératoire.
Deuxième partie: les opérations interpropositionnelles. Chap.7: La quantification des opérations interpropositionnelles et la syllogistique classique
Essai de logique opératoire / J. Piaget, 1972 (2e éd. révisée du Traité de logique: essai de logistique opératoire de 1949)
Texte PDF mis à disposition le 24.11.2010
[Texte de présentation. Version au 25 octobre 2010.]
Dans ce chapitre, Piaget traite deux problèmes. Premièrement, il montre comment, tout en étant isomorphe au calcul des classes, le calcul des propositions bivalentes ne se réduit pas à ce dernier, dans la mesure où son objet n’est plus composé de classes et de relations concrètes (contenus non-propositionnels de jugements ou de propositions élémentaires qui les produisent et les expriment), mais (1) d’ensembles de propositions hypothétiquement conçues comme pouvant être vraies ou fausses (abstraction faite de leur contenu), auxquels nous pouvons bien sûr ajouter (2) les opérations interpropositionnelles qui lient ces propositions hypothétiquement vraies ou fausses les unes aux autres (la conjonction, la négation, la conditionnelle, l’incompatibilité, etc.) et qui toutes ensembles composent le groupement des opérations interpropositionnelles (exposé au chapitre 6), ainsi que (3) chapeautant le tout, les opérations du groupe INRC (identité générale, inversion, réciprocité, corrélative) qui assurent la réversibilité au sein du groupement.
Le deuxième problème, qui se rattache au premier, concerne la quantification logique. Y a-t-il, à côté des quantifications propres à la logique des classes (tous, quelques, aucun) une quantification liée aux opérations de la logique des propositions bivalentes? Piaget répond affirmativement à cette question en illustrant sa démonstration au moyen d’un examen de la syllogistique classique, c’est-à-dire de l’ancienne théorie du raisonnement logique qui reposait simultanément sur une logique (encore lacunaire) des classes et une logique (également lacunaire) des propositions. Il montre comment, à côté des quantificateurs «tous», «quelques» et «aucun» sur lesquels reposent les raisonnements syllogistiques et qui font intervenir l’extension des classes sur lesquelles ces raisonnements se fondent (ex.: tous les A sont des B, aucun B n’est C, dont aucun A n’est C), il y a bien une quantification implicite qui intervient dans le calcul des propositions. Par exemple la comparaison entre (1) la conjonction de deux propositions p et q et (2) l’implication de l’une par l’autre, révèle que la portée de vérité de «p implique q» est plus générale que celle de la conjonction «p et q»: toutes les classes d’arguments qui vérifient celle-ci vérifient nécessairement celle-là sans que l’inverse ne soit vrai: il y a des classes d’arguments qui vérifient l’implication «p implique q» qui ne vérifient pas la conjonction «p et q». Piaget montre cependant que la signification des quantificateurs implicites qui interviennent dans le calcul des propositions n’est pas nécessairement une simple traduction ou un simple reflet des quantificateurs propres à la logique des classes (ex.: la classe Q = quelques hommes est d’extension moindre à la classe P = tous les hommes; cependant la proposition p = tous les hommes sont mortels a une classe d’arguments vérifiant p de moindre extension que la proposition q = quelques hommes sont mortels).
Piaget conclut ce chapitre en dégageant les deux raisons profondes du caractère incomplet de la théorie des raisonnements syllogistiques (toujours composés de deux prémisses et une conclusion) —y compris sous la forme combinatoire systématique que lui ont donnée Leibniz ou encore (au début du 20e siècle) Goblot— par rapport à l’ensemble des 256 combinaisons possibles de trois propositions que permet la logique des propositions. La première raison de ce caractère incomplet de la théorie syllogistique, jusqu’à ses développements les plus modernes, tient à l’absence d’une «théorie rigoureuse de la réversibilité opératoire». La deuxième raison tient à l’absence de prise en considération des opérations multiplicatives ou des emboîtements multiplicatifs intervenant (1) dans l’affirmation complète: toutes les quatre combinaisons possibles de la vérité et de la fausseté de deux propositions sont possibles, ces combinaisons explicitant l’ensemble des quatre combinaisons de classe qu’il est possible de construire au moyen de deux sous-classes A1 et A2 d’une classe B et de leur complémentaire respective: non-A1 et non-A2) et (2) dans la disjonction non exclusive (toutes les combinaisons de la vérité et de la fausseté de deux propositions sont possibles, à l’exception de celle qui tient pour fausse chacune de ces deux propositions).
En définitive, ce court chapitre est intéressant en ce que Piaget prend position et adopte une conception originale non seulement par rapport à la logique moderne des propositions telle qu’elle est issue d’auteurs tels que Russell et Whitehead, mais également par rapport à la théorie classique de la démonstration issue des travaux des logiciens grecs (dont Aristote).
[Texte de présentation. Version au 25 octobre 2010.]
Dans ce chapitre, Piaget traite deux problèmes. Premièrement, il montre comment, tout en étant isomorphe au calcul des classes, le calcul des propositions bivalentes ne se réduit pas à ce dernier, dans la mesure où son objet n’est plus composé de classes et de relations concrètes (contenus non-propositionnels de jugements ou de propositions élémentaires qui les produisent et les expriment), mais (1) d’ensembles de propositions hypothétiquement conçues comme pouvant être vraies ou fausses (abstraction faite de leur contenu), auxquels nous pouvons bien sûr ajouter (2) les opérations interpropositionnelles qui lient ces propositions hypothétiquement vraies ou fausses les unes aux autres (la conjonction, la négation, la conditionnelle, l’incompatibilité, etc.) et qui toutes ensembles composent le groupement des opérations interpropositionnelles (exposé au chapitre 6), ainsi que (3) chapeautant le tout, les opérations du groupe INRC (identité générale, inversion, réciprocité, corrélative) qui assurent la réversibilité au sein du groupement.
Le deuxième problème, qui se rattache au premier, concerne la quantification logique. Y a-t-il, à côté des quantifications propres à la logique des classes (tous, quelques, aucun) une quantification liée aux opérations de la logique des propositions bivalentes? Piaget répond affirmativement à cette question en illustrant sa démonstration au moyen d’un examen de la syllogistique classique, c’est-à-dire de l’ancienne théorie du raisonnement logique qui reposait simultanément sur une logique (encore lacunaire) des classes et une logique (également lacunaire) des propositions. Il montre comment, à côté des quantificateurs «tous», «quelques» et «aucun» sur lesquels reposent les raisonnements syllogistiques et qui font intervenir l’extension des classes sur lesquelles ces raisonnements se fondent (ex.: tous les A sont des B, aucun B n’est C, dont aucun A n’est C), il y a bien une quantification implicite qui intervient dans le calcul des propositions. Par exemple la comparaison entre (1) la conjonction de deux propositions p et q et (2) l’implication de l’une par l’autre, révèle que la portée de vérité de «p implique q» est plus générale que celle de la conjonction «p et q»: toutes les classes d’arguments qui vérifient celle-ci vérifient nécessairement celle-là sans que l’inverse ne soit vrai: il y a des classes d’arguments qui vérifient l’implication «p implique q» qui ne vérifient pas la conjonction «p et q». Piaget montre cependant que la signification des quantificateurs implicites qui interviennent dans le calcul des propositions n’est pas nécessairement une simple traduction ou un simple reflet des quantificateurs propres à la logique des classes (ex.: la classe Q = quelques hommes est d’extension moindre à la classe P = tous les hommes; cependant la proposition p = tous les hommes sont mortels a une classe d’arguments vérifiant p de moindre extension que la proposition q = quelques hommes sont mortels).
Piaget conclut ce chapitre en dégageant les deux raisons profondes du caractère incomplet de la théorie des raisonnements syllogistiques (toujours composés de deux prémisses et une conclusion) —y compris sous la forme combinatoire systématique que lui ont donnée Leibniz ou encore (au début du 20e siècle) Goblot— par rapport à l’ensemble des 256 combinaisons possibles de trois propositions que permet la logique des propositions. La première raison de ce caractère incomplet de la théorie syllogistique, jusqu’à ses développements les plus modernes, tient à l’absence d’une «théorie rigoureuse de la réversibilité opératoire». La deuxième raison tient à l’absence de prise en considération des opérations multiplicatives ou des emboîtements multiplicatifs intervenant (1) dans l’affirmation complète: toutes les quatre combinaisons possibles de la vérité et de la fausseté de deux propositions sont possibles, ces combinaisons explicitant l’ensemble des quatre combinaisons de classe qu’il est possible de construire au moyen de deux sous-classes A1 et A2 d’une classe B et de leur complémentaire respective: non-A1 et non-A2) et (2) dans la disjonction non exclusive (toutes les combinaisons de la vérité et de la fausseté de deux propositions sont possibles, à l’exception de celle qui tient pour fausse chacune de ces deux propositions).
En définitive, ce court chapitre est intéressant en ce que Piaget prend position et adopte une conception originale non seulement par rapport à la logique moderne des propositions telle qu’elle est issue d’auteurs tels que Russell et Whitehead, mais également par rapport à la théorie classique de la démonstration issue des travaux des logiciens grecs (dont Aristote).