This paper is the first part of an exploration into the logical properties of relative identity. After providing the semantic grounds for various monadic logics of relative identity, I define the minimal system and its nine extensions. It is suggested that despite their purely formal origin at least some of them may contain nontrivial philosophical insights. All logics are axiomatized by means of sound and complete sequent calculi. I show their affinities with existing formalizations.

In this paper, I consider the philosophical consequences of one tradition in Trinitarian theology, which emphasizes that each of the persons of the Trinity is wholly God. I pay special attention to Leftow’s claim that the persons of the Godhead must be divine in the same sense of the word ‘divine’ as the Godhead itself. I argue that the existing philosophical account of the Trinity which best captures this view is what I have termed the ‘Strong Theory of Relative Identity,’ (...) first proposed Peter Geach. I then develop what I take to be the most pressing objection to this account of the Trinity, namely that it cannot be supplemented with a coherent model-theoretic semantics. I end with a suggestion for responding to this objection. (shrink)