| Full text | |
| Author(s): |
Jockwich Martinez, S.
;
Venturi, G.
Total Authors: 2
|
| Document type: | Journal article |
| Source: | JOURNAL OF PHILOSOPHICAL LOGIC; v. 50, n. 3, p. 22-pg., 2020-10-22. |
| Abstract | |
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) | |
| FAPESP's process: | 17/23853-0 - Arbitrariness and definability in the context of non-classical logics |
| Grantee: | Daniel Santiago Jockwich Martinez |
| Support Opportunities: | Scholarships in Brazil - Doctorate (Direct) |
| FAPESP's process: | 16/25891-3 - Arbitrariness and genericity: or on how to speak of the unspeakable |
| Grantee: | Giorgio Venturi |
| Support Opportunities: | Research Grants - Young Investigators Grants |