Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness

Author(s)

Gilbert, David R. ^[1] ; Venturi, Giorgio ^[2]

Affiliation

^[1] Univ British Columbia, Dept Philosophy, Vancouver, BC - Canada

^[2] Univ Estadual Campinas, Dept Philosophy, Campinas - Brazil

• Document type: Journal article
• Source: NOTRE DAME JOURNAL OF FORMAL LOGIC; v. 62, n. 2, p. 269-283, MAY 2021.
• Web of Science Citations: 0

Abstract

In this paper we analyze the connection between reflexive-insensitive modal logics, logics of provability, and the modal logic of forcing. Because of the inter-definability of the o-operator that characterizes the reflexiveinsensitive logics and Boolos's boxed dot-operator, characterization results for the reflexive-insensitive logics can be used to give a partial solution of the boxdot conjecture, and to illuminate some closely related problems. In turn, this will facilitate the application of reflexive-insensitive logics to the study of the modal logic of forcing and truth and the logic of forcing persistent sentences. We then show that the modal logic of forcing, the modal logic of forcing and truth, and the modal logic of forcing persistency give rise to the same characterizability results. We conclude by arguing that the modal logic of forcing should be better understood as the modal logic of generic absoluteness. (AU)

• FAPESP's process: 16/25891-3 - Arbitrariness and genericity: or on how to speak of the unspeakable
• Grantee: Giorgio Venturi
• Support Opportunities: Research Grants - Young Investigators Grants