Pour le psychologue Jean Piaget, le développement intellectuel de l'enfant se construit et est caractérisé par une série de paliers d'acquisition décrits comme des stades. Ces différents paliers sont hiérarchisés et les structures constitutives d'un stade inférieur servent de base et deviennent parties intégrantes du stade suivant. Il a décrit cette théorie dans son livre "Les origines de l'intelligence chez l'enfant" en 1936. Cette théorie a été révisée par Piaget et a fait l'objet de nombreuses études ultérieures.
Cognitive development is a field of study in neuroscience and psychology focusing on a child's development in terms of information processing, conceptual resources, perceptual skill, language learning, and other aspects of the developed adult brain and cognitive psychology. Qualitative differences between how a child processes their waking experience and how an adult processes their waking experience are acknowledged (such as object permanence, the understanding of logical relations, and cause-effect reasoning in school-age children).
L’apprentissage est un ensemble de mécanismes menant à l'acquisition de savoir-faire, de savoirs ou de connaissances. L'acteur de l'apprentissage est appelé apprenant. On peut opposer l'apprentissage à l'enseignement dont le but est de dispenser des connaissances et savoirs, l'acteur de l'enseignement étant l'enseignant.
Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Le constructivisme social (parfois nommé constructionnisme social ou socioconstructivisme) est un courant de la sociologie contemporaine popularisé par Peter L. Berger et Thomas Luckmann dans leur livre The Social Construction of Reality (1966) qui développent des arguments théorisés auparavant par Émile Durkheim s'appuyant eux-mêmes sur une tradition philosophique plus ancienne. Cette approche, à l'instar de la conception constructiviste développée en épistémologie, envisage la réalité sociale et les phénomènes sociaux comme étant « construits », c'est-à-dire créés, institutionnalisés et, par la suite, transformés en traditions.