CV Lattes
ORCID
Google Scholar Citations
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas (IFCH) (Instituição Sede da última proposta de pesquisa) País de origem: Itália
Bachelor degree in philosophy from from the Università degli Studi di Torino (2005), bachelor in mathemaitcs from the Università degli Studi di Torino (2007) and master in mathematics from Università degli Studi di Torino (2009). PhD thesis in philosophy (2014) Scuola Normale Superiore di Pisa (under the supervision of Profesor Gabriele Lolli). PhD in mathematics (2014) Université Paris Diderot (under the supervision of Professor Boban Velickovic). In 2014-2017 post-doc at Unicamp (CLE) with a projected founded by FAPESP. In 2015-2016 visiting post-doc at the Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) in Paris. Since 2017, assitant professor at Unicamp. Areas of specializations: mathematical logic, set theory, modal logic, history of logic, philosophy of mathematics and philosophy of language. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O presente plano de atividades tem por finalidade desenvolver a nova abordagem fundacional para o forcing proposta inicialmente no artigo "An Axiomatic Approach to Forcing and Generic Extensions", de Rodrigo Freire, cobrindo casos ainda não contemplados. Paralelamente, para alcançar esse fim, uma análise conceitual dos conceitos envolvidos no forcing deverá ser desenvolvida, com consequen…
Embora hoje os paradoxos sejam amplamente reconhecidos como fontes frutíferas de novos entendimentos, tanto na lógica quanto na matemática, ainda falta uma caracterização precisa e abrangente do que é um paradoxo. Este workshop reúne pesquisadores que trabalham na lógica e na filosofia dos paradoxos em diferentes áreas: teoria da verdade, teoria da prova, teoria dos conjuntos e história d…
Pretendemos desenvolver a teoria dos modelos de teorias de conjuntos não clássicas, em particular para-consistentes. Em trabalhos anteriores, o pesquisador visitante desenvolveu um modelo paraconsistente de teoria de conjuntos, que valida o fragmento de ZF que consiste de formulas sem negação. Foi mostrado que neste modelo a lei de Leibniz de indiscernibilidade dos idênticos não vale. Nes…
O objetivo primário da pesquisa a ser empreendida consiste em esclarecer a natureza da força ilocucionária correspondente às hipóteses em lógica e em Matemática, bem como em explicar seu papel na estruturação lógica da linguagem Matemática. Assim, ela fará convergirem iniciativas dos projetos de pesquisa Hypotheses, liderado pelo Prof. Peter Schroeder-Heister (Uni-Tübingen), e Genericity …
Neste projeto proponho-me a estudar as principais ontologias desenvolvidas para lidar com mundos possíveis e o arcabouço de lógica modal a elas subjacentes. Dentre as principais ontologias que serão estudadas encontram-se o realismo modal sustentado por David Lewis (1986), o atualismo, cujos principais proponentes são Plantinga e Stalnaker (1979), o combinatorialismo defendido por Cresswe…
Muitos matemáticos debruçam-se cotidianamente no estudo de objetos matemáticos, como conjuntos, funções, matrizes, etc. Todavia, até que ponto podemos dizer que essas entidades existem? Essa parece uma questão difícil inclusive quando tratamos das entidades matemáticas que, aparentemente, são as mais fundamentais como é o caso dos números. Além disso, assumir uma das posições, ou seja, di…
A pesquisa do aluno centrar-se-á na disputa metaontológica entre neoquineanos e neomeinongianos, e pretende verificar qual é a melhor solução para o chamado paradoxo dos existenciais negativos, que sintetiza o conflito entre as duas tradições filosóficas em estudo. No cerne da disputa entre neoquineanos e neomeinongianos está a tese de que quantificar sobre um determinado domínio de objet…
Neste projeto eu aprofundo a análise da lógica interna da teoria dos conjuntos - tema do meu projeto FAPESP - propondo uma análise lógica da noção de consistência e a sua função na prática da teoria dos conjuntos. Este projeto possui um ponto de vista multidisciplinar e procura combinar a reflexão filosófica sobre a prática matemática com a descrição de uma estrutura matemática. Especific…