| Texto completo | |
| Autor(es): |
Jockwich Martinez, S.
;
Venturi, G.
Número total de Autores: 2
|
| Tipo de documento: | Artigo Científico |
| Fonte: | JOURNAL OF PHILOSOPHICAL LOGIC; v. 50, n. 3, p. 22-pg., 2020-10-22. |
| Resumo | |
We present a case study for the debate between the American and the Australian plans, analyzing a crucial aspect of negation: expressivity within a theory. We discuss the case of non-classical set theories, presenting three different negations and testing their expressivity within algebra-valued structures for ZF-like set theories. We end by proposing a minimal definitional account of negation, inspired by the algebraic framework discussed. (AU) | |
| 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 |
| 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 |