Obrigado pelos comentários, Bruno! > >> _pesquisa empírica sobre pedagogia e didática_ que ajude a dar suporte à > >> afirmação de que estudos históricos possam nos ajudar a _usar_ melhor, > >> digamos, uma determinada estratégia de demonstração, ou a _demonstrar_ um > >> certo resultado. > > Me parece que a sua questão está posta de modo ambíguo. Por um lado, a > questão pode querer significar o seguinte: há alguma evidência de que a > atenção para o contexto histórico de desenvolvimento de certos conceitos/ > teorias em lógica ajuda a *entender melhor* o significado dos mesmos?
Você tem toda a razão. O que eu escrevi acima precisaria ter sido contextualizado com relação ao que escrevi na minha primeira mensagem, isto é, a pergunta sobre "usar melhor" um certo conceito ou "demonstrar" certos resultados pretendia ter sido colocada no contexto do *ensino* de Lógica. > Se a questão que você propôs deve ser lida nesses termos, então me parece que > a resposta é afirmativa -- não por qualquer razão empírica, mas por uma razão > filosófica. Por vezes, é no contexto histórico do debate sobre certos > problemas que o desenvolvimento de determinado conceito/ teoria ganha > sentido. Nesses casos, não apresentar o contexto histórico rouba o sentido do > conceito o que pode, presumivelmente, atrapalhar o eventual processo de > ensino. Para dar um exemplo talvez provocativo: não roubaria o sentido da > teoria de conjuntos ensiná-la aos estudantes sem mencionar sua gênese > histórica no debate sobre fundamentos da matemática? Eu acho que a resposta à sua provocação depende de que "teoria" dos conjuntos temos em mente. Estou oferecendo neste exato momento um curso introdutório sobre "Conjuntos & Funções". Meu objetivo é ajudar os alunos a aprender a demonstrar asserções matemáticas acerca destes tópicos. Aqui alguns exercícios resolvidos que preparei para as duas primeiras semanas de aula: https://youtube.com/playlist?list=PLekOxW8qKsV-nKSww7St_IvZj_nRutDEv Nos slides que apresento (https://sites.google.com/site/sequiturquodlibet/courses/tdc), falo _muito_ brevemente sobre a origem de alguns conceitos, mas me parece que gastar tempo falando sobre o seu desenvolvimento histórico não apenas não me ajuda muito a problematizar a compreensão destes conceitos como de fato não ajuda _nada_ no processo de aprendizagem sobre o uso prático destes conceitos em demonstrações. Neste contexto (não se trata de um curso sobre Teoria Axiomática dos Conjuntos, mas de um curso sobre Matemática Discreta), eu reservaria talvez uma aula para debater Fundamentos da Matemática (em particular, para apresentar os axiomas de Zermelo-Fraenkel) para daqui a uns dois ou três meses *sem nenhum prejuízo para o aprendizado dos tópicos que me interessam neste curso*. Sei que alguns dos meus colegas discordam desta ordem de apresentação, e gostam de começar a falar destas coisas apresentando o paradoxo de Russell etc, mas também devo dizer que não encontrei ainda quaisquer evidências de que os alunos que vêem estas coisas mais cedo do que tarde aprendem melhor a trabalhar com o que estamos querendo lhes ensinar. Note, em particular, que em um dos meus vídeos na playlist acima eu mostro como _verificar_ que uma certa implementação de pares ordenados _funciona_, e discuto como o *axioma da regularidade* é fundamental para esta verificação. Mas não, eu _não_ apresento o axioma, não conto nenhuma história da vida do Von Neumann, nada disso... Conto o que fiz como "motivação", de todo modo, talvez equivocadamente... Ainda gostaria de ser convencido de que meus alunos _aprenderiam mais_ se eu adotasse uma estratégia diferente de ensino. Tudo de bom, Joao Marcos PS: Eu já falei disso aqui antes, mas não consigo deixar de me lembrar do primeiro curso que fiz de Lógica na graduação em Filosofia, há quase trinta anos, na UFMG, em que o professor passou o semestre todo falando de silogismos e não apresentou nada que seja hoje útil para mim ao trabalhar, digamos, sobre Lógica de Primeira Ordem. Eu não apenas não aprendi a demonstrar nada, mas sequer ouvi falar na existência dos metateoremas de correção e de completude! -- http://sequiturquodlibet.googlepages.com/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhgGij4_DqpD%3Des_dFK6XERFvs6nqQH32Dw8Us_4Js4AQ%40mail.gmail.com.
