 Dunn has developed a theory of intrinsic and essential properties based on relevant logic. This is his theory of relevant predication. Briefly put, a thing \(i\) has a property \(F\) relevantly iff \(\forall x(x{=}i \rightarrow F(x))\). Informally, an object has a property relevantly if being that thing relevantly implies having that property. Since the truth of the consequent of a relevant implication is by itself insufficient for the truth of that implication, things can have properties irrelevantly as well as relevantly. Dunn’s formulation would seem to capture at least one sense in which we use the notion of an intrinsic property. Adding modality to the language allows for a formalisation of the notion of an essential property as a property that is had both necessarily and intrinsically (see Anderson, Belnap, and Dunn 1992, §74).