| Autor(es): |
Martinez, Santiago Jockwich
[1]
Número total de Autores: 1
|
| Afiliação do(s) autor(es): | [1] Univ Campinas UNICAMP, Barao Geraldo, SP - Brazil
Número total de Afiliações: 1
|
| Tipo de documento: | Artigo Científico |
| Fonte: | AUSTRALASIAN JOURNAL OF LOGIC; v. 18, n. 7, p. 657+, 2021. |
| Citações Web of Science: | 0 |
| Resumo | |
In this paper, we explore the possibility of constructing algebra-valued models of set theory based on Priest's Logic of Paradox. We show that we can build a non-classical model of ZFC which has as internal logic Priest's Logic of Paradox and validates Leibniz's law of indiscernibility of identicals. This is achieved by modifying the interpretation map for is an element of and = in our algebra-valued model. We end by comparing our model constructions to Priest's model-theoretic strategy and point out that we have a trade-off between a classical notion of identity and the validity of ZF and its theorems. (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 |