Advanced search
Start date
Betweenand

First-order modal logic and RI-Logics

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
Articles published in other media outlets ( ):
More itemsLess items
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)