CV Lattes
ResearcherID
ORCID
Google Scholar Citations
Universidade de São Paulo (USP). Faculdade de Filosofia, Letras e Ciências Humanas (FFLCH) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Bachelor's at Philosophy from Universidade de São Paulo (1989), master's at Philosophy from Universidade de São Paulo (1992) and doctorate at Philosophy from Universidade de São Paulo (1995). Has experience in Philosophy, focusing on Logics, acting on the following subjects: logic , abstract logic, paraconsistent logic and category theory.. (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) |
Two theses still widely shared today go as far back as to Aristotle; that logical principles, such as the Principle of Non-Contradiction and of the Third Middle are: first principles that cannot be justified but justify all other principles; and universal parameters of rationality whose rejection inevitably leads to socially negative consequences. The premise that logical principles are, …
In this project we intend to make an identification of the notion of empirical adequacy with the notion of quasi-truth, throughout an appropriate extension in their original formulations. The relevance of such an identification lies in the fact that it presents itself as an answer to criticisms directed towards the semantical approach as well as to the notion of empirical adequacy. Nevert…
The aim of this project is to develop a unified framework for logic systems based on the Fräissé method for first order logic. Our purpose is to provide a more refined treatment to the notion of definability which can be applied to compare expressive power of logic systems. Briefly, we shall (i) to develop proper definition of logic system based on definability and contrast it to to other…
This project aims to study the concept of truth in formal theories. How can we understand the notion of formal truth in a consistent way? This creates a series of problems, the Liar paradox being one of the main ones. There are some alternatives to solve it towards a formal notion of truth. The first of them gives as a solution the abandonment of classical logic and adopts non-classical l…
(Only some records are available in English at this moment)
One of the main problems that arise when constructing formal theories of truth is undoubtedly the Liar's Paradox. A sentence that seems to be true and false at the same time comes as a threat, at least at first glance, to a coherent concept of truth. How can we solve this issue towards a coherent formal theory of truth? There are three possible alternatives: the classical solutions, the h…
The aim of the present research project is to show how is possible to do semantic for propositional languages in a categorical setting dierent from topos. I propose the denition of two kinds of categories called categories with truth morphisms (CTM) and proto-topos. In categories with truth morphisms, it can be dened the truth functions that correspond to the logical connectives of negati…
| 3 / 2 | Completed research grants |
| 1 / 1 | Ongoing scholarships in Brazil |
| 7 / 4 | Completed scholarships in Brazil |
| 2 / 2 | Completed scholarships abroad |
| 13 / 9 | All research grants and scholarships |
| Associated processes | |