Boas vindas ao curso de Introdução à Lógica!

 

     Bem-vind@s ao curso de Introdução à Lógica!

    O propósito deste curso é introduzir uma série de noções e de técnicas que constituem a base daquilo que é classicamente chamado "lógica" e que se mostrou ser um instrumento indispensável à filosofia. Esta disciplina teve o seu início no trabalho de Aristóteles, que foi o primeiro grande filósofo a se preocupar em listar e sistematizar as chamadas formas válidas de raciocínio, isto é, formas de raciocinar que, partindo de premissas verdadeiras, nos levariam ao conhecimento de novas verdades (as conclusões dos raciocínios válidos), por oposição às formas inválidas de raciocínio (que geravam sofismas e a ilusão de conhecimento). 

(Aristóteles, 384-322 AC)

Durante praticamente dois milênios aquilo que se entendia por lógica no trabalho de grandes filósofos (como Descartes, Hume e Kant) era a formulação aristotélica da mesma. Até que no séc. XIX a disciplina recebeu uma formulação inteiramente nova e muito mais poderosa em termos de sua capacidade expressiva e profundidade conceitual no trabalho do filósofo e matemático alemão Gottlob Frege, em um pequeno ensaio intitulado Begriffsschift ("Escrita Conceitual"), publicado em 1879. 

 

(Gottlob Frege, 1848-1925)

 

 

(Begriffsschrift, edição original, 1879)

 

O trabalho de Frege foi tão impactante que a lógica, anteriormente considerada apenas uma disciplina auxiliar da filosofia, passou a ser por si só uma nova área de estudo, e acabou se mostrando essencial em muitas outras áreas tais como a linguística, a matemática, a computação e o direito. No século XX tivemos um desenvolvimento extraordinário da área através do trabalho de grandes lógicos tais como David Hilbert, Bertrand Russell, Alfred Tarski e Kurt Gödel, mas basicamente esta tradição desenvolveu as ideias contidas de maneira embrionária no trabalho de Frege.

 

    

(David Hilbert, Bertrand Russell, Alfred Tarski e Kurt Gödel)

    Neste curso faremos um estudo introdutório de alguns conceitos e técnicas introduzidas por Frege e posteriormente adotadas e desenvolvidas na tradição que se seguiu: noções como valores de verdade, regras sintáticas de composição de fórmulas, semântica, linguagem objeto e metalinguagem, conectivos verofuncionais, quantificadores, tabelas de verdade, validade e consistência.
 

    Avaliação:
    Adiantamos o mecanismo de avaliação no curso: serão requeridas ao longo do semestre 4 listas de exercícios (basicamente tomados dos capítulos do livro-texto), e duas provas. Os pesos serão os seguintes: cada lista vale 10 pontos (40 no total), e cada prova vale 30 pontos (60 no total). No final do curso somaremos todas as notas e dividiremos por 10, o que dará a sua média. Tanto as listas quanto as provas devem ser feitas (entregues) na data determinada, e não serão aceitas com atraso. Fazer as listas de exercícios é muito importante, pois é nas mesmas que as dificuldades aparecem e podem ser sanadas pelo professor ou pelo monitor. As provas serão basicamente uma repetição do conteúdo das listas.


Observação Importante: Não haverá exames nem trabalhos finais, mas apenas as listas e as provas.

    Monitoria:
O curso terá um monitor, Rafael Serra (rafaelserra19@gmail.com), que manterá horários semanais de atendimento em horário e local a serem divulgados posteriormente.

      

    Bibliografia:

    O curso terá como texto de apoio apenas o livro Introdução à Lógica, de Cezar Mortari (Editora da UNESP 2001). O pdf pode ser baixado aqui: 

https://drive.google.com/drive/folders/1mBC6Hglc5wuMzQ8zqXZlNzM-RPSyhpk2?usp=drive_link

 Boa parte do curso usará esta primeira edição. Mas alguns dos capítulos deste livro foram alterados na segunda edição, e ainda não existe um pdf da segunda edição inteira disponível. No entanto, o autor gentilmente nos enviou o pdf de alguns capítulos individuais que ele está revisando para a futura terceira edição.  Usaremos da terceira edição os capítulos 5, 6, 7, 8 e 9, e apenas a lista de exercícios do cap. 2. (Estes capítulos também estão no drive como arquivos separados.) Os demais capítulos serão da primeira edição mesmo porque não foram alterados substancialmente. 

OBS: O Cezar Mortari pede que este material em arquivos separados não seja citado, porque ainda está em fase de revisão para uma terceira edição.

Cronograma do Curso

Agosto:

Dia 4: Caps. 1 &2

Dia 11: Cap. 3

Dia 18: Cap. 4

Dia 25: Cap. 4

 

 

Setembro:

Dia 1: Cap. 5 + Entrega da Lista de Exercícios 1

Dia 7: Feriado

Dia 15: Cap. 6

Dia 22: Cap. 6 e 7

Dia 29: Cap. 6 e 7 + Entrega Lista de Exercícios 2

 

Outubro:

Dia 6: Prova 1

Dia 13: Feriado

Dia 20: Cap. 8

Dia 27: cap. 9 + Entrega Lista de Exercícios 3

 

 

Novembro:

Dia 3: Feriado

Dia 10: Cap. 10

Dia 17: Cap. 11

Dia 24: Cap. 11 + Entrega Lista de Exercícios 4

 

Dezembro:

Dia 1: Prova 2

 

 

        Blog:

    Todas as notícias importantes para o andamento do curso (avaliações, eventos, mudanças de datas, etc.) serão aqui postadas. E vocês também podem postar comentários, sugestões, dúvidas, etc.