Busca avançada
Ano de início
Entree

Análise da notação conceitual de Gottlob Frege

Processo: 07/00149-3
Linha de fomento:Bolsas no Brasil - Iniciação Científica
Vigência (Início): 01 de abril de 2007
Vigência (Término): 31 de março de 2008
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Itala Maria Loffredo D'Ottaviano
Beneficiário:Dante Cardoso Pinto de Almeida
Instituição-sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Assunto(s):Aritmética

Resumo

Neste Projeto de Iniciação Científica, com o objetivo de analisar diversos aspectos da sistematização da lógica clássica realizada por Friedrich Ludwig Gottlob Frege (1848-1925) na obra Begriffschrift (1879), tais como sua notação, sua relação com a filosofia e sua interpretação dos teoremas, pretendemos nos valer de recursos da lógica contemporânea. Como referência utilizaremos a obra Introduction to Metamathematics (1952) de Stephen Cole Kleene (1909-1994), que faz uso de quatro operadores lógicos primitivos e dois quantificadores, o que torna as fórmulas da linguagem menos complexas, sendo que sua notação é uma das mais usuais.