| Texto completo | |
| Autor(es): |
Número total de Autores: 3
|
| Afiliação do(s) autor(es): | [1] Univ Estadual Campinas, UNICAMP, Dept Philosophy, Barao Geraldo, SP - Brazil
[2] St Xaviers Coll, 30 Mother Teresa Sarani, Kolkata 700016 - India
Número total de Afiliações: 2
|
| Tipo de documento: | Artigo Científico |
| Fonte: | JOURNAL OF PHILOSOPHICAL LOGIC; JAN 2022. |
| Citações Web of Science: | 0 |
| Resumo | |
In this paper, we argue for an instrumental form of existence, inspired by Hilbert's method of ideal elements. As a case study, we consider the existence of contradictory objects in models of non-classical set theories. Based on this discussion, we argue for a very liberal notion of existence in mathematics. (AU) | |
| Processo FAPESP: | 16/25891-3 - Arbitrariedade e genericidade: ou sobre como falar do indizível |
| Beneficiário: | Giorgio Venturi |
| Modalidade de apoio: | Auxílio à Pesquisa - Jovens Pesquisadores |
| Processo FAPESP: | 17/23853-0 - Arbitrariedade e definibilidade em lógicas não-clássicas |
| Beneficiário: | Daniel Santiago Jockwich Martinez |
| Modalidade de apoio: | Bolsas no Brasil - Doutorado Direto |