segunda-feira, 23 de setembro de 2013

Comunicações Filosóficas com Prof. Eduardo Pitt - 28/09/2013


O tema é: Por que a Begriffsschrift de Frege representa uma mudança de paradigma na História da Lógica?

Poderiamos ter uma prévia do assunto?

Vou me ater em dois objetivos específicos. 
Primeiro, vou apresentar o sistema lógico desenvolvido por Aristóteles e mostrar o alcance formal da sua teoria, em contrapartida, vou apresentar o sistema lógico desenvolvido pelos megáricos e estoicos e mostrar as razões formais de podermos considerar a lógica destes últimos mais fecunda que a lógica aristotélica. Minha intenção em comparar estes dois sistemas lógicos de escolas gregas antigas diferentes é valorizar a lógica megárico-estoica, pois esta é a versão antiga do cálculo sentencial da lógica matemática contemporânea. Segundo, a partir do trabalho logicista do lógico e matemático alemão Gottlob Frege quero mostrar como e de que maneira o livro Begriffsschrift de 1879 representa uma mudança de paradigma na história da Lógica. Minha intenção é explicar quais as noções e procedimentos formais contidos na linguagem formal de Frege na Begriffsschrift que possibilitaram um rompimento com a lógica tradicional, além de, reunir em um único sistema lógico, os dois sistema lógicos da Grécia Antiga. Em suma, no contexto da palestra quero enfatizar que a contribuição de Frege é o advento da Lógica Matemática.