[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).

[Modification FJP 20 avril 2012: nous avons corrigé la courte note insérée en avril 2008 au bas de la page 229 de ce chapitre de conclusion.] [Texte de présentation, version du 8 avril 2008.]

Piaget s'appuie sur les résultats des enquêtes exposées dans les chapitres précédents de cet ouvrage ainsi que sur l'examen fait par G. Henriques de la théorie mathématique des morphismes et des catégories pour relier entre elles, d'un côté les transformations opératoires avec les structures qu'elles composent, et de l'autre les compositions de morphismes ou "transformations morphismiques", génératrices de nouveaux morphismes ou instruments de comparaison.

Un passage de la première page de ces conclusion permet de capturer le sens profond de cette épistémologie génétique des morphismes et catégories (mathématiques) mise au programme du CIEG dans les années 1970: Piaget y rappelle la conception de L. Couturat (reflétant le platonisme de B. Russell) qui, dans ses travaux d'épistémologie de la logique et des mathématiques, critiquait la notion d'opération mathématique en la considérant comme anthropomorphique, car associant aux êtres mathématiques une activité humaine qui leur est extérieure, ces êtres ne comportant pas d'actions ou d'opérations, mais étant exclusivement composés de relations et de formes. Pendant longtemps Piaget, dans sa conception de la réalité mathématique, a pris le contre-pied de Couturat en privilégiant la conception, défendue par L. Brunschvicg, selon laquelle les êtres mathématiques sont un produit de l'activité humaine, c'est-à-dire que les actions et opérations logico-mathématiques engendrent le réel mathématique. Ce n'est que dès la fin des années 1960, en portant au programme du CIEG la notion de fonction mathématique, que Piaget a enrichi sa propre vision en concevant que l'activité intellectuelle ou que l'intelligence humaine se compose non seulement d'activités de transformations (des objets réels, représentés sur lesquels elles portent), mais également d'activités de mises en correspondance ou d'activités de comparaison. D'où ce programme de recherche sur ces dernières activités proposé par Piaget dans les années 70, programme qui le conduit à mettre en évidence, à un certain niveau de développement, des transformations morphismiques engendrant de nouveaux instruments de comparaison. Cette découverte soulève dès lors le problème de relier ces transformations aux transformations opératoires qui portent sur des contenus "extramorphiques", problème auquel ces conclusions apportent une ébauche de solution.

Notons également le caractère hautement ambitieux de ces conclusions qui englobent sous une même analyse comparative et avec le même appareil conceptuel des faits qui relèvent de l'épistémologie mathématique (relations entre structures opératoires et morphismes), des faits qui relèvent de la psychogenèse (activités opératives versus activités comparatives, et enfin des faits qui relèvent de la biologie (filiation des espèces biologiques versus homologies pouvant être établies transversalement entre, par exemple, les pattes antérieures des mammifères tetrapodes et les ailes des oiseaux). C'est la triple orientation de l'activité scientifique permanente de Piaget qui se retrouve ainsi réunies dans ces quelques pages: la biologie, la psychologie et l'épistémologie des sciences, d'où d'ailleurs le caractère très abstrait des propositions de l'auteur, mais dont il faut se souvenir qu'elles se rattachent chez lui à des décennies de recherches très concrètes en ces domaines, à l'exception des études nécessairement plus abstraites consacrées à l'épistémologie des sciences.

Enfin, les dernières pages de ces conclusions montrent comment Piaget s'appuie sur la théorie des "catégories" (au sens mathématique) pour enrichir son ancienne modélisation des groupements VI et X de multiplications co-univoques des classes et des relations (JP42).

Dans ce chapitre très abstrait, E. Ascher cherche à rendre manifeste la parenté profonde entre (1) la conception constructiviste développée en épistémologie génétique à partir de l'étude du développement de la pensée naturelle et (2) le "style catégoriel", c'est-à-dire la façon dont les mathématiciens recourent de manière thématisée ou non aux catégories ou à la démarche catégorielle (au sens de la théorie mathématique) dans leurs travaUX de construction de nouveaux êtres mathématiques.

Physicien de formation, excellent connaisseur de l'épistémologie des sciences, Ascher a travaillé de manière régulière au CIEG pendant les dernières années de recherches dirigées par Piaget, puis pendant les 2 ultimese années du Centre dirigées par Gil Henriques, après le décès de Piaget.

Rédigé par Gil Henriques, philosophe et mathématicien, ce chapitre théorique à la fois très abstrait, synthétique et éclairant se base sur la distinction, introduite par l'auteur, entre invariant de remplacement et invariant de transformation. Les premiers, qui concernent les comparaisons d'objets ou de formes de tout niveau et donc en particulier les morphismes, ont leur source dans le processus d'assimilation et dans l'activité comparative qui en découle. Un même schème s'applique à différents objets qui, sous réserve des accommodations qu'ils nécessitent, offrent une équivalence fonctionnelle, une même "forme" par rapport au schème activé; d'où la notion d'invariant de remplacement proposée par Henriques pour caractériser ces objets, qu'ils concernent les réalités matérielles qui s'offrent aux schèmes d'action les plus élémentaires du sujet, ou les objets sur lesquels portent les morphismes mathématiques.

Quant aux invariants transformationnels, ils ont leur source dans l'action elle-même en tant que celle-ci n'entraîne pas seulement une assimilation d'un objet au schème d'action concerné, mais une modification ou une transformation de cet objet. Cette activité de transformation (et non pas simplement de comparaison), ainsi que les coordinations que le sujet est amené à introduire entre les transformations qu'il fait subir aux objets, sont à la source des structures opératoires et des invariants de transformation qu'impliquent nécessairement leur fermeture opérationnelle (comme l'illustre la construction des notions de conservation des quantités physiques et logico-mathématiques étudiées en épistémologie et en psychologie génétiques).

Mais ces deux familles d'activité assimilatrice et comparative, d'un côté, et de transformation, de l'autre, ne se développent pas sans que des liens s'établissent entre elles. L'application de l'activité comparative aux structures opératoires donnera en particulier naissance, au niveau de la science mathématique, à la théorie des structures mathématiques. Et en sens inverse, l'application des transformations opératoires (et des structures qu'elles composent) aux activités comparatives productrices des morphismes conduira dans les années 1940-1950 à la théorie mathématique des catégories. Par ailleurs, Henriques prend appui sur les résultats des enquêtes psychogénétiques exposées dans "Morphismes et catégories" pour souligner que de tels liens croisés entre activités de comparaison et leurs produits, d'un côté, et les activités de transformation et leurs produits, de l'autre, peuvent déjà se produire lors de la psychogenèse de la pensée opératoire chez l'enfant et l'adolescent.

Dans ce texte, après avoir résumé les caractéristiques de la pensée formelle telle qu’elle a été découverte chez des adolescents genevois, Piaget expose trois hypothèses pouvant expliquer la non-généralisabilité de cette découverte à tous les adolescents de même âge, et même la possible absence de cette forme de pensée lorsque les conditions sociales ne permettent pas les échanges nécessaires à son développement. Une première hypothèse repose sur le caractère plus ou moins stimulant de l’environnement social dans lequel se développement la pensée de l’enfant et de l’adolescent. Les deux autres hypothèses reposent sur la spécialisation croissante des formes de pensée à partir de l’adolescence. Dans la deuxième hypothèse, seules certaines aptitudes et spécialisations aboutiraient à la construction de la pensée hypothético-déductive chez l’adolescent. Dans la troisième hypothèse, sauf exception, tous les adolescents vivant dans un environnement suffisamment stimulant auraient la possibilité d’atteindre la pensée formelle, mais pour certains, dans leur domaine de spécialisation seulement.

Le chapitre 12 n’a pas fait l’objet d’une relecture finale. Merci de nous faire part de vos remarques permettant de procéder à la révision de ce chapitre en envoyant un courriel...

Ce texte est une première version d’un chapitre d’un ouvrage en préparation. Vu son importance concernant l’épistémologie des systèmes biologiques et cybernétiques, nous avons décidé de le mettre en valeur sur le site de la Fondation Jean Piaget, en dépit de son inachèvement relatif.