Salve João Penso que a discussão será infrutífera se não levarmos em consideração as distintas audiências de aulas de lógica. O argumento ao qual você se refere, defendido por Halina Leal na mesa sobre Lógica e Representatividade, foi apresentado de modo mui rápido, dadas as circunstâncias de sua fala, mas de todo modo diz respeito a estratégias de motivação de estudantes de Filosofia para estudar lógica. Ademais, ela (se me lembro corretamente), argumenta com base em suas experiências docentes. Não sei se pretendia generalizar ou apenas propor mais um tema para a conversa sobre didáticas para a lógica :) Um abraço, G.
Le ven. 22 janv. 2021 à 13:47, Joao Marcos <[email protected]> a écrit : > No que diz respeito a _motivações_ para se estudar algo, depois de ter > visto recentemente, durante uma das intervenções do Dia Mundial da > Lógica, um argumento segundo o qual para alguns estudantes as > dificuldades de se aprender as tecnicalidades da Lógica podem ser > vencidas se nos dedicarmos mais a falar da _história_ da Lógica, achei > interessante em particular que o Buzzard inicie seu blog post sobre a > *formalização da matemática* assim: > > "My instinct in the first lecture would be to start by listing a bunch > of reasons why learning how to formalise pure mathematics is > interesting/useful/important/whatever, and perhaps also explaining how > I got involved with it. But I could probably spend about 30 minutes on > this, and I don’t want to waste valuable lecture time on it [...] and > I cannot see the point of making the students listen to me waffle on > about my opinions/history when, after all, they have chosen to come to > the course anyway. So I’ve just decided to write the introduction > here, and then students can choose to read it at their leisure (or not > read it at all)." > > O que pensam os colegas dos argumentos (conflitantes) acima? > > Joao Marcos > > > On Thu, Jan 21, 2021 at 8:57 PM Joao Marcos <[email protected]> wrote: > > > > Por que formalizar? > > > https://xenaproject.wordpress.com/2021/01/21/formalising-mathematics-an-introduction/ > > -- > 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 [email protected]. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lggy1M244j5rwOTYgyp-PHKCJHeyOFRP%3DUUW2J-6N%3DQMw%40mail.gmail.com > . > -- Gisele Dalva Secco UFSM/Brasil +55 55 3220 8440 -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADjHNnrNK5bMYdTsitrywGN8e-R6smNnhLmg9j08JZ9_iu9CKw%40mail.gmail.com.
