De dibujos a demostraciones: Aprender a utilizar sistemas de deducción natural en lógica formal
Este artículo desarrolla una propuesta para comprender el aprendizaje en la construcción de demostraciones en sistemas deductivos en lógica formal. Se centra en la tensión entre el nivel formal, necesario y riguroso de los sistemas deductivos y la dimensión social, cambiante y flexible de la enseñan...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Artículo revista |
| Lenguaje: | Español |
| Publicado: |
Facultad de Filosofía y Humanidades. Secretaría de Investigación, Ciencia y Técnica. Secretaría Académica
2025
|
| Materias: | |
| Acceso en línea: | https://revistas.unc.edu.ar/index.php/sintesis/article/view/50277 |
| Aporte de: |
| Sumario: | Este artículo desarrolla una propuesta para comprender el aprendizaje en la construcción de demostraciones en sistemas deductivos en lógica formal. Se centra en la tensión entre el nivel formal, necesario y riguroso de los sistemas deductivos y la dimensión social, cambiante y flexible de la enseñanza y el aprendizaje. Presenta una concepción socio-constructivista del aprendizaje que resuelve esta tensión y entiende dicho nivel social como una condición de posibilidad de acceso al aspecto formal de la lógica. |
|---|