Alguns liames com aulas interessantes de Lógica. Trazem informações abertas para a consulta de quem quiser aprender. A maioria deles trata de lógica contemporânea.
(1) O primeiro deles é um módulo de uma disciplina da graduação ministrada no MIT: https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2015/proofs/tp2-2/ A disciplina, no entanto, não se chama “introdução à Lógica”, mas “Matemática para Ciência da Computação”. É um módulo bem básico de lógica matemática com vídeos vários em Inglês. Apresenta as questões gerais de uma forma talvez simplificada demais, mas compreende-se isto por conta dos seus objetivos. Uma continuação desse módulo também aparece no YouTube: https://m.youtube.com/watch?v=UroprmQHTLc https://m.youtube.com/watch?v=T1AtlGrCoU8 https://m.youtube.com/watch?v=L5uBeAGJV1k (2) Já outros cursos, “Lógica I” e “Lógica II”, ministrados no Departamento de Linguística e Filosofia, pelo professor Vann McGee e Ephraim Glick, também na graduação, traz apontamentos das aulas: https://ocw.mit.edu/courses/linguistics-and-philosophy/24-241-logic-i-fall-2009/ https://ocw.mit.edu/courses/linguistics-and-philosophy/24-242-logic-ii-spring-2004/index.htm Lógica II já é, porém, de um nível pouco mais aprofundado que o citado em (1), enquanto que Lógica I é outra maneira de abordar os conteúdos de (1). (3) Há também o curso aberto da Stanford: https://online.stanford.edu/courses/sohs-xlpl-sp-language-proof-and-logic (4) Este outro curso começa com apontamentos filosóficos importantes: http://www.openculture.com/symbolic-logic-a-free-online-course -- 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 postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0CFD94E6-0631-442F-8C27-8CEC8E5D036C%40gmail.com.
