Cursos introdutórios à Lógica pela internet
Antonio Marmo
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:
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