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
• Status: Discontinued
• 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

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)