Busca avançada
Ano de início
Entree

Arbitrariedade e definibilidade em lógicas não-clássicas

Processo: 17/23853-0
Modalidade de apoio:Bolsas no Brasil - Doutorado Direto
Data de Início da vigência: 01 de março de 2018
Data de Término da vigência: 31 de dezembro de 2021
Área de conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Giorgio Venturi
Beneficiário:Daniel Santiago Jockwich Martinez
Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Vinculado ao auxílio:16/25891-3 - Arbitrariedade e genericidade: ou sobre como falar do indizível, AP.JP
Assunto(s):Teoria dos conjuntos   Arbitrariedade   Lógicas não clássicas
Palavra(s)-Chave do Pesquisador:Arbitrariness | Definability | Non-classical logic | Set theory | Truth theory | Teoria dos conjuntos, Lógicas não classicas

Resumo

Este projeto analisa a relação problemática entre conjuntos arbitrários e a noção intencional de conjuntos. De fato, essa distinção pode ser vista nos dois desenvolvimentos axiomáticos de uma teoria de conjuntos concebidas, por um lado, por Cantor, Dedekind e Zermelo (que enfatizou a arbitrariedade dos conjuntos) e, por outro lado, por Frege e Russell (que enfatizou a possibilidade de restringir a existência de conjuntos aos tipos). Neste projeto, planejamos analisar a conexão da arbitrariedade com a definibilidade no contexto da teoria de conjuntos, usando lógicas infinitárias e lógicas paraconsistentes. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Publicações científicas (4)
(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)
JOCKWICH MARTINEZ, S.; VENTURI, G.. On Negation for Non-classical Set Theories. JOURNAL OF PHILOSOPHICAL LOGIC, v. 50, n. 3, p. 22-pg., . (17/23853-0, 16/25891-3)
JOCKWICH, SANTIAGO; TARAFDER, SOURAV; VENTURI, GIORGIO. Ideal Objects for Set Theory. JOURNAL OF PHILOSOPHICAL LOGIC, . (16/25891-3, 17/23853-0)
MARTINEZ, SANTIAGO JOCKWICH. lgebra-valued models for LP-Set Theor. AUSTRALASIAN JOURNAL OF LOGIC, v. 18, n. 7, p. 657+, . (17/23853-0)
JOCKWICH MARTINEZ, S.; VENTURI, G.. Non-classical Models of ZF. STUDIA LOGICA, v. 109, n. 3, . (16/25891-3, 17/23853-0)
Publicações acadêmicas
(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)
MARTINEZ, Daniel Santiago Jockwich. Models of non-classical set theory. 2021. Tese de Doutorado - Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas Campinas, SP.