> 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!
O dito professor, a propósito, era extremamente sedutor, muito admirado pelos alunos, e foi uma figura bem conhecida na filosofia brasileira. Mas realmente não me ensinou praticamente nada, e eu ter escolhido a Lógica como área de estudos se deu mais _a despeito_ do que _por causa_ das aulas dele... JM -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjnZaySzvrCT38hW_yV0VAVaygjzLYhu%3DS%2BBwujpngnRQ%40mail.gmail.com.
