Grize et Matalon partent des travaux réalisés à partir des années 1920 par les logiciens en vue de construire des systèmes formels susceptibles de modéliser la structure et les processus des raisonnements logiques de la pensée "naturelle" en évitant les paradoxes associés à tout calcul logique prenant en considération les seules valeurs de vérité des propositions et omettant donc de tenir compte de la signification des propositions en jeu et, donc, de la pertinence, aux yeux des sujets, des liens logiques susceptibles de relier les propositions les unes aux autres.

Bien que puisant ses outils de symbolisation dans le calcul propositionnel classique générateur de paradoxes, les essais de modélisation logistique réalisés par Piaget dans ses travaux et ceux d'Inhelder sur les structures des logiques de l’enfant (JP42) et de l’adolescent (JP55) échappaient à ces paradoxes dans la mesure où ils ne visaient que la structure logico-mathématique d’un calcul (ou d'une algèbre) des propositions exprimant toujours des opérations ou des relations de classes et de relations logico-mathématiques concrètement fondées (telles qu’on les trouve dans toute pensée logique qui, à travers propositions et raisonnements, visent des contenus de pensée jamais quelconque).

Dans cette esquisse d’étude expérimentale et formelle du raisonnement, Grize et Matalon, comme d’ailleurs par la suite, d’autres collaborateurs du CIEG, s’efforcent ou s’efforceront de construire des modélisations de la pensée logique dépassant les limitations des outils formels (générateurs de paradoxes) utilisés par Piaget et intégrant des règles de fonctionnement exprimant explicitement l'acceptation ou le choix de contenus propositionnels qui, pour la pensée "naturelle", peuvent seuls donner matière à l'activité de raisonnement. C’est à ce premier effort de cerner de près non seulement la structure du calcul propositionnel (JP52), mais également le fonctionnement du raisonnement "naturel" que ces deux proches collaborateurs de Piaget nous introduisent ici.

En plus d'ouvrir un nouveau champ de recherche pour la logique et la psychologie génétiques, la lecture d'un tel chapitre nous fait comprendre tout le défi méthodologique et théorique d'un projet visant à découvrir et modéliser non plus en priorité les structures opératoires de la pensée logique du sujet (ce qui peut se faire par le choix de situations du type "épreuves opératoires" créées en psychologie génétique "classique"), mais les décisions et le fonctionnement logique de la pensée dans des situations de jugement et de raisonnement adaptées à cette fin. Ainsi, dans le cas de l'expérience réalisée par Grize et Matalon dans laquelle des sujets sont confrontés à des situations de plausibilité, on peut se demander si les réponses des sujets sont des jugements ou des "inférences plausibles" (en d'autres termes si les sujets doivent juger de la plausibilité d'un jugement ou d'une inférence) ou si ce sont des jugements ou des inférences sur la plausibilité d'événements (en l'occurrence imaginaires). De plus, quelle que soit la justesse de l'une ou de l'autre de ces deux interprétations de ce sur quoi porte la pensée des sujets interrogés, on peut également se demander si la mesure de la plausibilité ne relève pas d'un calcul (précis ou imprécis) des probabilités voire des possibles (au même titre qu'il existe un calcul des grandeurs spatiales). On notera que le même questionnement épistémologique peut se poser à propos de ce qu'il convient d'entendre par "logique modale" ou par "logique temporelle" (expressions qui peuvent sembler paradoxales). Pour reprendre à la lettre la thèse épistémologique de Piaget sur la fonction de la logique, s'agit-il vraiment, dans le cas de ces logiques, de logique au sens d'une "morale de la pensée" visant la vérité de tout jugement, y compris ceux portant sur la plausibilité d'un jugement, ou ceux portant sur un événement par définition toujours temporellement situé? Quoi qu'il en soit de la réponse à cette interrogation épistémologique, il reste que rechercher des règles spéciales intervenant dans le raisonnement propre à la pensée "naturelle" ne peut qu'enrichir la description et la compréhension du fonctionnement logique et réel de cette pensée.