| Processo: | 17/23853-0 |
| Modalidade de apoio: | Bolsas no Brasil - Doutorado Direto |
| Data de Início da vigência: | 01 de março de 2018 |
| Data de Término da vigência: | 31 de dezembro de 2021 |
| Área de 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 |
| Palavra(s)-Chave do Pesquisador: | Arbitrariness | Definability | Non-classical logic | Set theory | Truth theory | Teoria dos conjuntos, Lógicas não classicas |
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) | |
| 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) | |