The author has experience in Philosophy, focusing on Logic, Incompleteness Theorem, non-classical logics and logic puzzles. He concluded undergraduate studies in 2021 at Universidade Federal do Rio Grande do Sul, and he did his master's dissertation between 2022 and 2024 at Universidade Estadual de Campinas (UNICAMP) in Philosophy. Currently, he is a PhD student in Logic at the same institution, under supervision of Walter Carnielli. (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Logic puzzles and paradoxes are problems that make us reason rigourously, their solution, many times, being a consequence of the elucidation of thinking about its possible inferences. Traditionally, they are thought having classical logic as a basis, following the trail of our natural reasoning. However, the development of non-classical logics has allowed the adaptation of thinking to dif…
In Wittgenstein's Appendix I to Remarks on the foundations of mathematics, Wittgenstein argues against Gödel's incompleteness theorem: the philosopher intends to reevaluate the gödelian conclusion according to which there is true formulae that are not provable in formal systems capable of representing a sufficient quantity of arithmetic theory. The current project intends to evaluate the …
If we think in terms of truth, paraconsistency rivals classical logic, by introducing a third truth value. However, the brazillian school of paraconsistent logic, conceived in the works of Walter Carnielli and Marcelo Coniglio, has a desideratum of thinking about paraconsistency in terms of information instead of truth, that is, Logics of Formal Inconsistency, the logics developed in this…
| 1 / 1 | Ongoing scholarships in Brazil |
| 1 / 1 | Completed scholarships in Brazil |
| 1 / 1 | Ongoing scholarships abroad |
| 3 / 3 | All Scholarships |
| Associated processes | |
CV Lattes
ORCID