Busca avançada
Ano de início
Entree

O paradigma aritmético: inter-relações conceituais da lógica com a aritmética

Processo: 14/04749-9
Linha de fomento:Bolsas no Brasil - Pós-Doutorado
Vigência (Início): 01 de junho de 2014
Vigência (Término): 11 de agosto de 2015
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Convênio/Acordo: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Pesquisador responsável:Itala Maria Loffredo D'Ottaviano
Beneficiário:Leandro Oliva Suguitani
Instituição-sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Vinculado ao auxílio:10/51038-0 - Logical consequence, reasoning and computation - LOGCONS, AP.TEM
Assunto(s):Aritmética   Álgebra

Resumo

George Boole inaugurou o estudo da lógica matemática tentando estabelecer, tanto quanto possível, as inter-relações da lógica com a aritmética, para que esta pudesse ser aplicada como ferramenta formal na investigação das inferências lógicas sobre uma certa categoria de proposições.Esta perspectiva original de Boole -- que chamamos de "paradigma aritmético" da lógica --foi abandonada precocemente, talvez pelas críticas recebidas e também pelo sucesso do desenvolvimento da lógica sob os chamados "paradigma algébrico", estabelecido pelos sucessores de Boole, e "paradigma linguístico", cujos principais precursores são G. Frege e B. Russel.Todavia, acreditamos que ainda há muitos resultados da lógica, em potencial, a serem explorados a partir das suas inter-relações com a aritmética. Neste Projeto de Pesquisa, pretendemos reconstruir o cenário original da lógica matemática com ferramentas lógico-algébricas modernas para esclarecer/estabelecer inter-relações que nos permitam restaurar o paradigma aritmético, sob o qual esperamos obter resultados interessantes para a lógica. (AU)

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.