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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Dassie Wilke, Milena
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:
demostraciones
aprendizaje
lógica formal
proofs
learning
formal logic
Acceso en línea:https://revistas.unc.edu.ar/index.php/sintesis/article/view/50277
Aporte de:
Síntesis de Universidad Nacional de Córdoba
id I10-R356-article-50277
record_format ojs
spelling I10-R356-article-502772025-12-23T17:03:27Z De dibujos a demostraciones: Aprender a utilizar sistemas de deducción natural en lógica formal From drawings to proofs: Learning to use natural deduction systems in formal logic Dassie Wilke, Milena demostraciones aprendizaje lógica formal proofs learning formal logic 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. This article develops a proposal for understanding learning in the construction of proofs in deductive systems in formal logic. It focuses on the tension between the formal, necessary, and rigorous characteristics of deductive systems and the social and flexible dimension of teaching and learning. It presents a socio-constructivist conception of learning that resolves this tension and understands said social dimension as a condition of possibility of access to the formal aspect of logic. Facultad de Filosofía y Humanidades. Secretaría de Investigación, Ciencia y Técnica. Secretaría Académica 2025-12-20 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion application/pdf text/html https://revistas.unc.edu.ar/index.php/sintesis/article/view/50277 Síntesis; Núm. 18 (2025): Síntesis; 155–167 2314-291X 1851-8060 spa https://revistas.unc.edu.ar/index.php/sintesis/article/view/50277/51686 https://revistas.unc.edu.ar/index.php/sintesis/article/view/50277/51828 Derechos de autor 2025 Síntesis https://creativecommons.org/licenses/by-nc-nd/4.0
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-356
container_title_str Síntesis
language Español
format Artículo revista
topic demostraciones
aprendizaje
lógica formal
proofs
learning
formal logic
spellingShingle demostraciones
aprendizaje
lógica formal
proofs
learning
formal logic
Dassie Wilke, Milena
De dibujos a demostraciones: Aprender a utilizar sistemas de deducción natural en lógica formal
topic_facet demostraciones
aprendizaje
lógica formal
proofs
learning
formal logic
author Dassie Wilke, Milena
author_facet Dassie Wilke, Milena
author_sort Dassie Wilke, Milena
title De dibujos a demostraciones: Aprender a utilizar sistemas de deducción natural en lógica formal
title_short De dibujos a demostraciones: Aprender a utilizar sistemas de deducción natural en lógica formal
title_full De dibujos a demostraciones: Aprender a utilizar sistemas de deducción natural en lógica formal
title_fullStr De dibujos a demostraciones: Aprender a utilizar sistemas de deducción natural en lógica formal
title_full_unstemmed De dibujos a demostraciones: Aprender a utilizar sistemas de deducción natural en lógica formal
title_sort de dibujos a demostraciones: aprender a utilizar sistemas de deducción natural en lógica formal
description 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.
publisher Facultad de Filosofía y Humanidades. Secretaría de Investigación, Ciencia y Técnica. Secretaría Académica
publishDate 2025
url https://revistas.unc.edu.ar/index.php/sintesis/article/view/50277
work_keys_str_mv AT dassiewilkemilena dedibujosademostracionesaprenderautilizarsistemasdededuccionnaturalenlogicaformal
AT dassiewilkemilena fromdrawingstoproofslearningtousenaturaldeductionsystemsinformallogic
first_indexed 2025-12-27T05:24:14Z
last_indexed 2025-12-27T05:24:14Z
_version_ 1852637765230919680

Ejemplares similares