About
I am a PhD student at the University of Campinas (UNICAMP). My supervisor is Walter Carnielli, and my research focuses on the development of logic puzzles for non-classical logics and the combination between paraconsistent logics and other types of logic. Currently, I am studying with Hans van Ditmarsch in the Institut de Recherche en Informatique de Toulouse (IRIT) as part of my PhD project. My interests include:
- Paraconsistent Logic
- Many-valued Logic
- Epistemic Logic
- Temporal Logic
- Algebraic Logic
- Dynamic Epistemic Logic
I did my undergraduate studies at the Universidade Federal do Rio Grande do Sul (UFRGS), from 2018 to 2021, under supervision of Paulo Faria and Sílvia Altmann. During my time there studying philosophy, I had the opportunity to study logic with a philosophical perspective at all times. This has stuck with me ever since.
For my master’s dissertation, from 2022 to 2024, I worked on the topic of Wittgenstein’s remarks on Gödel’s theorem. This topic is interdisciplinary between the history of philosophy and logic, and during this time I have been encouraged by Walter Carnielli to study logic with a historical perspective also. I was able to further study these topics with the collaboration of Anderson Nakano.
Now, I work mostly in paraconsistent logics and the combinations between Logics of Formal Inconsistency (LFIs) and other traditions of logic such as the Dutch School of Logic, the Torunian School of Logic, etcetera. As a true brazilian, I like to mix things. A nice collaboration with Hans van Ditmarsch started on the combination of paraconsistent and dynamic epistemic logics, and I am currently working with Tomasz Jarmusek on the combination of LFIs and Relating Logics, and with Marcelo Coniglio on the relation between LFIs and algebraic logics.
If you think my research can contribute to your work or vice-versa, make sure to contact me: ongarattorafa@gmail.com.
Rafael Ongaratto 