Actuality operators resulting from combinations of quantified modal logics

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

Abstract

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)