Please use this identifier to cite or link to this item: http://hdl.handle.net/2445/215519
Title: Possible worlds and the contingency of logic
Author: Mayaux, Paul
Director/Tutor: Joosten, Joost J.
van der Giessen, Iris
Keywords: Lògica
Modalitat (Lògica)
Semàntica
Treballs de fi de màster
Logic
Modality (Logic)
Semantics
Master's thesis
Issue Date: Sep-2024
Abstract: In modal semantics, when speaking of possible worlds, there seems to be the tacit assumption that logical reasoning will stay constant throughout. That is to say that a logical reasoning valid at one world is valid in all worlds, hence necessary. But what happens then if we decide to consider possible worlds semantics where different worlds may respond to different logics? What then becomes necessary? In this thesis, we expand the possible world semantics for modal logics by not assuming one ‘type’ of possible worlds in a model, but by considering that different possible worlds might reason under different logics. We focus ourselves on a setting where we combine classical and intuitionistic worlds. We use ⊢, to denote pure propositional intuitionistic reasoning even if the language contains □. In that sense, formulas of the form □ A behave as propositional variables as far as ⊢, is concerned. Likewise we consider the ⊢ relation for classical reasoning. We define so-called mixed models which are tuples ⟨W, R, {lw}w∈W , {Tw}w∈W ⟩, where lw ∈ {i, c} and Tw a set of modal formulas such that 1. ⊥ ∈/ Tw 2. Tw ⊢lw φ ⇒ φ ∈ Tw 3. □φ ∈ Tw ⇐⇒ ∀v(wRv ⇒ Tv ⊢lv φ) 4. ¬□φ ∈ Tw ⇐⇒ ∃u(wRu ∧ Tu ⊢lu ¬φ) We prove soundness of the intuitionistic normal modal logic iK+ (bem) wrt mixed models, where bem is short for ‘Box Excluded Middle’ and denotes the axiom □A ∨ ¬□A. The logic iK has well-studied birelational semantics with an R relation for the □ and ≤ for intuitionistic implication (Bozic and Dosen 1984). We prove soundness and completeness for iK + (bem) with respect to these birelational semantics together with the birelational model frame condition. w ≤ v ⇒ ∀z(wRz ⇒ vRz). We conclude completeness for iK + (bem) wrt mixed models. These results pave the way for new semantic constructions of Kripke models, raising intriguing mathematical and philosophical questions. It invites us to consider the implementation of more logics, possibly non-comparable, in this construction.
Note: Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024. Tutor: Joost J. Joosten i Iris van der Giessen
URI: http://hdl.handle.net/2445/215519
Appears in Collections:Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada

Files in This Item:
File Description SizeFormat 
TFM_Mayaux_Paul.pdf522.33 kBAdobe PDFView/Open


This item is licensed under a Creative Commons License Creative Commons