Search

Abstract: Applications of formal logic often require the language of the logics to be sufficiently expressive, capturing notions such as necessity, possibility, subject-predicate sentences, quantified sentences, and identity. To this end, logics employ modal operators, first order quantifiers, and an identity relation. A logic with this kind of expressive power is called a quantified modal logic. Relevant logics are the logics that ensure the conclusions of an argument are relevant to its premises, and are able capable of making many philosophically motivated inferential distinctions. The quantified modal extensions or relevant logics have not received much attention, partially due to the historical difficulties in developing less expressive relevant logics. This work constructs a general framework for constructing quantified modal relevant logics with identity, focusing on formal semantics. The proof systems given are all Hilbert style axiom systems for a range of quantified modal logics extending the basic affixing logic B. Using insights from work on the regular modal relevant logics, as well as a recent general frame semantics for the quantified relevant logic RQ, I construct a general frame relational semantics for a wide range of logics. To this framework, I add an identity relation in a variety of ways, each of which enjoys a different philosophical motivation. Kremer's relevant indiscernibility approach to identity in relevant logics guides both approaches. The first results in a formal semantics that captures Kremer's informal interpretation of identity, the other builds on Kremer's axiom choice by giving it a semantics for which it is sound and complete. In addition, I explore possible applications in modal naïve set theory. Krajíček's open problem of the consistency of his axiomatization of modal set theory in KT is solved using a modal version of Curry's paradox, which can generalize to show the triviality of numerous other axiomatizations.