Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

On Existence in Set Theory

Texto completo
Autor(es):
Freire, Rodrigo A. [1]
Número total de Autores: 1
Afiliação do(s) autor(es):
[1] Univ Estadual Campinas, Ctr Log Epistemol & Hist Sci, BR-13083859 Campinas, SP - Brazil
Número total de Afiliações: 1
Tipo de documento: Artigo Científico
Fonte: NOTRE DAME JOURNAL OF FORMAL LOGIC; v. 53, n. 4, p. 525-547, 2012.
Citações Web of Science: 2
Resumo

The aim of the present paper is to provide a robust classification of valid sentences in set theory by means of existence and related notions and, in this way, to capture similarities and dissimilarities among the axioms of set theory. In order to achieve this, precise definitions for the notions of productive and nonproductive assertions, constructive and nonconstructive productive assertions, and conditional and unconditional productive assertions, among others, will be presented. These definitions constitute the result of a semantical analysis of the notions involved. The conceptual clarification developed here results in a classification of valid sentences of set theory that goes against the standard view that extensionality is not an existence assertion. (AU)

Processo FAPESP: 09/10751-8 - O significado das sentenças aritméticas, a definibilidade conjuntista e o papel da teoria das categorias na semântica de sistemas lógicos
Beneficiário:Rodrigo de Alvarenga Freire
Linha de fomento: Bolsas no Brasil - Pós-Doutorado