Busca avançada
Ano de início
Entree

Arbitrariedade e definibilidade em lógicas não-clássicas

Processo: 17/23853-0
Linha de fomento:Bolsas no Brasil - Doutorado Direto
Vigência (Início): 01 de março de 2018
Vigência (Término): 31 de dezembro de 2021
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Giorgio Venturi
Beneficiário:Daniel Santiago Jockwich Martinez
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:16/25891-3 - Arbitrariedade e genericidade: ou sobre como falar do indizível, AP.JP
Assunto(s):Teoria dos conjuntos   Arbitrariedade   Lógicas não clássicas

Resumo

Este projeto analisa a relação problemática entre conjuntos arbitrários e a noção intencional de conjuntos. De fato, essa distinção pode ser vista nos dois desenvolvimentos axiomáticos de uma teoria de conjuntos concebidas, por um lado, por Cantor, Dedekind e Zermelo (que enfatizou a arbitrariedade dos conjuntos) e, por outro lado, por Frege e Russell (que enfatizou a possibilidade de restringir a existência de conjuntos aos tipos). Neste projeto, planejamos analisar a conexão da arbitrariedade com a definibilidade no contexto da teoria de conjuntos, usando lógicas infinitárias e lógicas paraconsistentes. (AU)

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