 The principle OI is intuitively plausible, but as noted by C. I. Lewis, assuming it leads to one of the paradoxes of the material conditional. For assuming that \(A\) entails \(A\vee B\) (disjunction introduction), and that the latter entails \(\neg A&gt;B\), by transitivity it should follow that \(A\) entails \(\neg A&gt;B\). Various options exist in the face of the paradox: to deny disjunction introduction, to deny transitivity, or indeed to deny the validity of OI. Stalnaker (1975) for one defends the invalidity of OI, arguing that OI is a pragmatically reasonable principle, but that the inference is context-sensitive.