Advanced search
Start date

Actuality operators resulting from combinations of quantified modal logics

Grant number: 21/01458-7
Support type:Scholarships in Brazil - Doctorate
Effective date (Start): August 01, 2021
Field of knowledge:Humanities - Philosophy - Logic
Principal researcher:Marcelo Esteban Coniglio
Grantee:Alan Renê Maciel Antezana
Home Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil


This work aims to develop systems of quantified modal logics that sistematize the philosophical notion of actuality. These systems will be developted through the process of algebraic fibring. The clarification of the meaning of actuality is relevant in the context of the general debate between actualists and possibilists. Possibilists believe in the existence of merely possible objects, i.e. objects that exist in some possible world, but not on the actual possible world. In the project, it is suggested a relation between the concept of truth and the concept of actuality. The relation will be approach through the analysis of modal systems with actuality operators and non-deterministic semantics. (AU)

News published in Agência FAPESP Newsletter about the scholarship:
Articles published in other media outlets (0 total):
More itemsLess items

Please report errors in scientific publications list by writing to: