| 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) | |