Modal Ecumenism through RNmatrices: Theory, Implementation, and Verification
From body to image: mediated presence in contemporary audiovisual media
Grant number: | 17/23602-7 |
Support Opportunities: | Scholarships in Brazil - Scientific Initiation |
Start date: | January 01, 2018 |
End date: | December 31, 2018 |
Field of knowledge: | Humanities - Philosophy - Logic |
Principal Investigator: | Giorgio Venturi |
Grantee: | Pedro Teixeira Yago |
Host Institution: | Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil |
Associated research grant: | 16/25891-3 - Arbitrariness and genericity: or on how to speak of the unspeakable, AP.JP |
Abstract This project aims to be an introductory study of first-order modal logics, i.e., first-order logics that possess modal operators among their connectives, so that the axiomatization of reflexive insensitive logics may be extended. In order to do so, the completeness of such sorts of logics, their axiomatic systems and canonical models, and the different sorts of quantifier domains will be explored. Furthermore, for a better understanding of the motivations guiding the development of such logics, some philosophical problems, such as Frege's puzzles, the identity of indiscernibles and the consequences of accepting a specific interpretation of the Barcan formula will be discussed. (AU) | |
News published in Agência FAPESP Newsletter about the scholarship: | |
More itemsLess items | |
TITULO | |
Articles published in other media outlets ( ): | |
More itemsLess items | |
VEICULO: TITULO (DATA) | |
VEICULO: TITULO (DATA) | |