Seminário do Grupo de Estudos de Lógica do GNEFIL

O presente grupo de estudos tem como objetivo aprofundar a compreensão dos vínculos entre os aspectos formais da lógica e os debates filosóficos centrais da tradição analítica. A proposta é articular leituras fundamentais da filosofia da matemática e da lógica com o intuito de desenvolver uma leitura crítica e coletiva sobre como a lógica opera tanto como linguagem formal quanto como instrumento filosófico. Textos em inglês disponibilizados possuem tradução não oficial. Evento sem fins lucrativos.

Metodologia

O grupo de estudos ocorrerá no formato de seminário. A cada encontro, um dos participantes será responsável por uma breve apresentação introdutória do texto, previamente lido por todos os membros. Após a apresentação, serão lidos e comentados trechos centrais do material em conjunto.

A construção do conhecimento será coletiva, e o espaço do seminário será dedicado à escuta ativa, à formulação de perguntas e à elaboração compartilhada de interpretações. Além dos textos principais, serão disponibilizadas traduções não oficiais e materiais complementares (como artigos e notas) para auxiliar na leitura.

Encontros

Os encontros acontecerão on-line, via Google Meet, aos Sábados, das 10h30 às 12h15, com periodicidade quinzenal. Os encontros não serão gravados.

• 12/04 e 26/04: Leitura dos capítulos 1 e 2 de Philosophy of Mathematics, de Øystein Linnebo.

             Objetivo: compreender o logicismo de Frege. Apresentação: Julio Cesar da Silva}

• 10/05: Apresentação sobre Frege por Aiesca.

• 24/05 e 07/06: Leitura de Da Denotação, de Bertrand Russell.

          Objetivo: analisar o uso da lógica na teoria da denotação. Apresentação: João Igor e Cícera Lima}

• 21/06 e 05/07: Leitura de Sobre o que há, de W. V. O. Quine.

         Objetivo: identificar o papel da lógica em questões ontológicas. Apresentação: Érisson Silva}

• 19/07 e 09/08: Leitura dos capítulos 1 e 2 de Mathematical Logic: On Numbers, Sets, Structures, and Symmetry}, de Roman Kossak.

        Objetivo: introduzir a lógica de primeira ordem com uma perspectiva atual.

• 23/08 e 06/09: Leitura do capítulo 1 de Introduction to Formal Philosophy, organizado por Sven Ove Hansson e Vincent F. Hendricks.

       Objetivo: conhecer outras formalizações da lógica formal.}

Avaliação (opcional)

Ao final do ciclo, será solicitada a elaboração de um texto argumentativo, opcional, com no máximo 5 páginas, discutindo criticamente um dos textos lidos. Espera-se que o texto articule os aspectos formais e filosóficos da leitura realizada, podendo conter também referências complementares.

Certificado

Será emitido certificado de participação pelo GNEFIL para os participantes que tiverem no mínimo 75% de presença nos encontros.

Bibliografia

Hansson, Sven Ove; Hendricks, Vincent F. (orgs.). Introduction to Formal Philosophy. Springer, 2018.

Kossak, Roman. Mathematical Logic: On Numbers, Sets, Structures, and Symmetry. Springer, 2021.

Linnebo, Øystein. Philosophy of Mathematics. Princeton University Press, 2017. 

Russell, Bertrand. Da Denotação. Traduções disponíveis em domínio público.

Quine, W. V. O. Sobre o que há. São Paulo: Coleção os Pensadores.