Este é um curso de introdução à lógica focado em estudantes de filosofia e ciências humanas que não têm muita familiaridade com a matemática. Seu conteúdo principal é a semântica da lógica formal clássica, em sua versão proposicional. Nenhum sistema de prova é apresentado. Há também uma introdução incompleta à lógica de primeira ordem, onde apenas a linguagem e algumas questões mais filosóficas são tratadas. O objetivo do curso é a apresentação da lógica como uma disciplina que trata de modo formal alguns conceitos semânticos derivados da noção de verdade. A saber: validade, consequência, necessidade, equivalência, compatibilidade (ou satisfação) e incompatibilidade (ou insatisfação). A ideia subjacente é a de que estes conceitos não são formais. É a lógica que os trata formalmente. E minha principal preocupação foi a de deixar claro que aquilo que chamamos de lógica clássica corresponde ao resultado de certas escolhas razoáveis, porém arbitrárias; que podemos divergir sobre estas escolhas, e que ao fazermos isso, obtemos lógicas divergentes. Estudantes das áreas de exatas podem ficar um pouco entediados com algumas de minhas explicações muito básicas e repetitivas. Mas se suportarem minha lentidão, podem se beneficiar dos pontos em que apresento posições mais filosóficas sobre a lógica. O livro texto de apoio a este curso é o livro Para Todxs - Natal, livremente disponível para download.
Videoaula 1
|
|
Videoaula 2
|
|
Videoaula 3
|
|
Videoaula 4
|
|
Videoaula 5
|
|
Videoaula 6
|
|
Videoaula 7
|
|
Videoaula 8
|
|
Videoaula 9
|
|
Videoaula 10
|
|
Videoaula 11
|
|
Videoaula 12
|
|
Videoaula 13
|
|
Videoaula 14
|
|
Videoaula 15
|
|
Videoaula 16
|
|