I argue for a version of logical pluralism based on the plurality of legitimate formalizations of the logical vocabulary. In particular, I argue that the apparent rivalry between classical and relevant logic can be resolved, given that both logics capture and formalize normative and legitimate senses of logical consequence: classical logic encodes “follows from” as truth preservation and captures the truth conditions of the logical constants, while relevant logic encodes a notion of “follows from” which, apart from preserving truth, avoids (...) the violation of certain Gricean maxims and captures a different inferential role for the same logical constants, enriching their meaning pragmatically. (shrink)

I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.

We critically investigate and refine Dunn's relevant predication, his formalisation of the notion of a real property. We argue that Dunn's original dialectical moves presuppose some interpretation of relevant identity, though none is given. We then re-motivate the proposal in a broader context, considering the prospects for a classical formalisation of real properties, particularly of Geach's implicit distinction between real and ''Cambridge'' properties. After arguing against these prospects, we turn to relevance logic, re-motivating relevant predication with Geach's distinction in mind. (...) Finally we draw out some consequences of Dunn's proposal for the theory of identity in relevance logic. (shrink)