 While it would take us too far afield to address the question of the normativity of rationality, there is a related strand of Kolodny’s argument that is more directly relevant to our discussion. The claim in question, put forth in Kolodny 2007 &amp; 2008, is that there simply is no reason for postulating the existence of formal coherence requirements as such at all. This may seem surprising. After all, to take Kolodny’s simplest example, we certainly do have the intuition that an agent who, at a given time, believes both \(p\) and \(\neg p\) is violating a requirement—a requirement, presumably, of something like the following form: