logique combinatoire
Elaborée à partir des années trente par Curry, la logique combinatoire a pour particularité d’être une reconstruction axiomatique de la logique, basée sur un certain nombre d’opérateurs élémentaires agissant sur des objets quelconques (opérateurs de répétition, de substitution, d’identification, d’association, de permutation, etc.). L’avantage d’une telle approche est que le logicien n’a plus besoin d’utiliser la notion de variable. Piaget a utilisé les suggestions fournies par cette formalisation de la logique dans des recherches sur la fonction mathématique conduites au Centre d’épistémologie.


© Fondation Jean Piaget 2024 - Mise à jour: 5 février 2024