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

Autor(es)

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

Afiliação do(s) autor(es)

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

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

• Tipo de documento: Artigo Científico
• Fonte: NOTRE DAME JOURNAL OF FORMAL LOGIC; v. 62, n. 2, p. 269-283, MAY 2021.
• Citações Web of Science: 0

Resumo

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)

• Processo FAPESP: 16/25891-3 - Arbitrariedade e genericidade: ou sobre como falar do indizível
• Beneficiário: Giorgio Venturi
• Modalidade de apoio: Auxílio à Pesquisa - Jovens Pesquisadores