| Processo: | 07/00149-3 |
| Modalidade de apoio: | Bolsas no Brasil - Iniciação Científica |
| Data de Início da vigência: | 01 de abril de 2007 |
| Data de Término da vigência: | 31 de março de 2008 |
| Área de 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 |
| Palavra(s)-Chave do Pesquisador: | Aritmetica | Begriffschrift | Frege | Fundamentacao | Logica Fomral | Lógica Clássica |
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. | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |