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)