Os objetos de aprendizagem digitais, quando empregados para reconhecer e analisar processos cognitivos, podem contribuir para o desenvolvimento de uma didática voltada ao aprendizado. Esta pesquisa investiga em que medida os objetos digitais de aprendizagem contribuem para identificar os processos cognitivos em desenvolvimento durante a formação do conceito do equilíbrio físico na balança. Tais conhecimentos permitem desenhar objetos digitais de aprendizagem interativos, viabilizando aos professores organizarem estratégias que possibilitem a formação de operações lógicas em seus alunos, indispensáveis ao raciocínio formal. Na Epistemologia Genética de Piaget, encontramos tanto a explicação teórica (Equilibração das Estruturas Cognitivas) como os métodos que permitem conhecer tais processos em desenvolvimento (Método Clínico Piagetiano). / The physical concepts are considered on difficult understanding for some students of the Basic School, directed only to people endowed with special talents. Such difficulty can come from the teaching method employed in Physics Education. The knowledge of the cognitive processes that grow during the formation of those concepts can contribute for the development of a teaching method aimed at learning. However, education professionals with knowledge on epistemology and specific concepts in this subject, need a thorough, interdisciplinary and permanent formation. Analyzing the cognitive processes and developing tools for their identification, we will be making available to the educators, resources capable to aid them in his/her task of discovering their students' difficulties. This research investigates in which way the digital objects of learning contribute to identify the cognitive processes in development, during the formation of the concept of the physical balance, using a scale. Such knowledge permits to design interactive digital learning objects, allowing the teachers to organize methods that make possible the formation of logical operations in their students, necessary to a formal reasoning. In the Genetic Epistemology of Piaget, we found the theoretical explanation (Cognitive Structures Equilibration) as well as the methods allowing to know the development of these processes (Piaget’s Clinical Method).

Os objetos de aprendizagem digitais, quando empregados para reconhecer e analisar processos cognitivos, podem contribuir para o desenvolvimento de uma didática voltada ao aprendizado. Esta pesquisa investiga em que medida os objetos digitais de aprendizagem contribuem para identificar os processos cognitivos em desenvolvimento durante a formação do conceito do equilíbrio físico na balança. Tais conhecimentos permitem desenhar objetos digitais de aprendizagem interativos, viabilizando aos professores organizarem estratégias que possibilitem a formação de operações lógicas em seus alunos, indispensáveis ao raciocínio formal. Na Epistemologia Genética de Piaget, encontramos tanto a explicação teórica (Equilibração das Estruturas Cognitivas) como os métodos que permitem conhecer tais processos em desenvolvimento (Método Clínico Piagetiano). / The physical concepts are considered on difficult understanding for some students of the Basic School, directed only to people endowed with special talents. Such difficulty can come from the teaching method employed in Physics Education. The knowledge of the cognitive processes that grow during the formation of those concepts can contribute for the development of a teaching method aimed at learning. However, education professionals with knowledge on epistemology and specific concepts in this subject, need a thorough, interdisciplinary and permanent formation. Analyzing the cognitive processes and developing tools for their identification, we will be making available to the educators, resources capable to aid them in his/her task of discovering their students' difficulties. This research investigates in which way the digital objects of learning contribute to identify the cognitive processes in development, during the formation of the concept of the physical balance, using a scale. Such knowledge permits to design interactive digital learning objects, allowing the teachers to organize methods that make possible the formation of logical operations in their students, necessary to a formal reasoning. In the Genetic Epistemology of Piaget, we found the theoretical explanation (Cognitive Structures Equilibration) as well as the methods allowing to know the development of these processes (Piaget’s Clinical Method).

Os objetos de aprendizagem digitais, quando empregados para reconhecer e analisar processos cognitivos, podem contribuir para o desenvolvimento de uma didática voltada ao aprendizado. Esta pesquisa investiga em que medida os objetos digitais de aprendizagem contribuem para identificar os processos cognitivos em desenvolvimento durante a formação do conceito do equilíbrio físico na balança. Tais conhecimentos permitem desenhar objetos digitais de aprendizagem interativos, viabilizando aos professores organizarem estratégias que possibilitem a formação de operações lógicas em seus alunos, indispensáveis ao raciocínio formal. Na Epistemologia Genética de Piaget, encontramos tanto a explicação teórica (Equilibração das Estruturas Cognitivas) como os métodos que permitem conhecer tais processos em desenvolvimento (Método Clínico Piagetiano). / The physical concepts are considered on difficult understanding for some students of the Basic School, directed only to people endowed with special talents. Such difficulty can come from the teaching method employed in Physics Education. The knowledge of the cognitive processes that grow during the formation of those concepts can contribute for the development of a teaching method aimed at learning. However, education professionals with knowledge on epistemology and specific concepts in this subject, need a thorough, interdisciplinary and permanent formation. Analyzing the cognitive processes and developing tools for their identification, we will be making available to the educators, resources capable to aid them in his/her task of discovering their students' difficulties. This research investigates in which way the digital objects of learning contribute to identify the cognitive processes in development, during the formation of the concept of the physical balance, using a scale. Such knowledge permits to design interactive digital learning objects, allowing the teachers to organize methods that make possible the formation of logical operations in their students, necessary to a formal reasoning. In the Genetic Epistemology of Piaget, we found the theoretical explanation (Cognitive Structures Equilibration) as well as the methods allowing to know the development of these processes (Piaget’s Clinical Method).

[pt] Neste trabalho propomos um framework lógico para sistemas de Dedução Natural rotulados. Sua meta-linguagem é baseada numa generalização dos esquemas de regras propostos por Prawitz, e o uso de rótulos permite a definição de lógicas intencionais como lógicas modais e de descrição, bem como a definição uniforme de quantificadores como o para um número não-renumerável de indivíduos vale a propriedade P (lógica de Keisler), ou para quase todos os indivíduos vale P (lógica de ultra-filtros), sem mencionar os quantificadores padrões de lógica de primeira-ordem. Mostramos também a implementação deste framework em um assistente de prova virtual disponível livremente na web, e comparamos a definição de sistemas lógicos nele com o mesmo feito em outros assistentes — Agda, Isabelle, Lean, Metamath. Como subproduto deste experimento comparativo, também contribuímos uma prova formal em Lean do postulado de Zolt em três dimensões usando o sistema Zp proposto por Giovaninni et al. / [en] We propose a Logical Framework for labelled Natural Deduction systems. Its meta-language is based on a generalization of the rule schemas proposed by Prawitz, and the use of labels allows the definition of intentional logics, such as Modal Logic and Description Logic, as well as some quantifiers, such as Keisler s for non-denumerable-many individuals property P, or for almost all individuals P holds, or generally P holds, not to mention standard first-order logic quantifiers, all in a uniform way. We also show an implementation of this framework as a freely-available web-based proof assistant. We then compare the definition of logical systems in our implementation and in other proof assistants — Agda, Isabelle, Lean, Metamath. As a sub-product of this comparison experiment, we contribute a formal proof (in Lean) of De Zolt s postulate for three dimensions, using the Zp system proposed by Giovaninni et al.