GODOY, Evandro Carlos

Nesta dissertação, orientados pela busca da relação entre a lógica matemática e a lógica tradicional, nos dirigimos às caracterizações de lógica oferecidas por Kant e Frege. Num primeiro momento consideramos e precisamos diversos modos de entender a tese de que a lógica pode ser distinguida das outras ciências por abstrair da matéria ou conteúdo do conhecimento e tratar apenas da forma. Duas destas noções mostraram-se indispensáveis para explicitar as relações entre as concepções de lógica dos dois autores; a saber, generalidade – i.é. vigência normativa sobre todos os domínios do pensamento – e formalidade – i.é. completa abstração do conteúdo semântico. Em um segundo momento, evidenciamos o papel fundamental destas duas noções, na caracterização kantiana de lógica. Kant, em consonância com seus contemporâneos, começa caracterizando a lógica pela generalidade, mas, quando chega às teses fundamentais do seu idealismo transcendental, inova completamente ao argumentar também pela sua formalidade.

Palavras-chave: Lógica. Kant. Frege.