Tem experiência na área de Filosofia, com ênfase em Lógica, Teorema da Incompletude, Lógicas não-clássicas e enigmas lógicos. Graduado em filosofia em 2021 pela Universidade Federal do Rio Grande do Sul, fez mestrado de 2022 a 2024 na Universidade Estadual de Campinas (UNICAMP) em Filosofia, e atualmente faz Doutorado em Lógica pela mesma instituição, sob orientação de Walter Carnielli. (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) |
Puzzles e paradoxos lógicos são problemas que nos inclinam a raciocinar rigorosamente, sendo sua solução, muitas vezes, fruto do esclarecimento do pensamento sobre suas inferências possíveis. Tradicionalmente, eles são pensados tendo como base a lógica clássica, seguindo a trilha de nosso raciocínio natural. No entanto, o desenvolvimento de lógicas não-clássicas permitiu a adaptação do pe…
No Apêndice I às Observações sobre os fundamentos da matemática, Wittgenstein elabora um caso contra o teorema da incompletude de Gödel: o filósofo pretende reavaliar a conclusão gödeliana segundo a qual há fórmulas verdadeiras, mas que não são demonstráveis em sistemas formais capazes de representar uma quantidade suficiente da teoria aritmética. O presente projeto pretende avaliar as di…
Se nós pensarmos em termos de verdade, a paraconsistência rivaliza com a lógica clássica, introduzindo um terceiro valor de verdade. Entretanto, a escola brasileira de lógica paraconsistente, concebida nos trabalhos de Walter Carnielli e Marcelo Coniglio, tem um desideratum de pensar sobre a paraconsistência em termos de informação ao invés de verdade, isto é, Lógicas de Inconsistência Fo…
| 1 | Bolsas no país contratadas |
| 1 | Bolsas no país concluídas |
| 1 | Bolsas no exterior contratadas |
| 3 | Todas as Bolsas |
| Processos vinculados | |
CV Lattes
ORCID