The pressure to individuate propositions more finely than intensionally—that is, hyper-intensionally—has two distinct sources. One source is the philosophy of mind: one can believe a proposition without believing an intensionally equivalent proposition. The second source is metaphysics: there are intensionally equivalent propositions, such that one proposition is true in virtue of the other but not vice versa. I focus on what our theory of propositions should look like when it's guided by metaphysical concerns about what is true in virtue of (...) what. In this paper I articulate and defend a metaphysical theory of the individuation of propositions, according to which two propositions are identical just in case they occupy the same nodes in a network of invirtuation relations. Invirtuation is here taken to be a primitive relation of metaphysical explanation exemplified by propositions that, in conjunction with truth, defines the notion of true in virtue of. After formulating the theory, I compare it with a view.. (shrink)

An area of consensus in debates about culpability for ignorance concerns the importance of an agent’s epistemic situation, and the information available to them, in determining what they ought to know. On this understanding, given the excesses of our present epistemic situation, we are more culpable for our morally-relevant ignorance than ever. This verdict often seems appropriate at the level of individual cases, but I argue that it is over-demanding when considered at large. On the other hand, when we describe (...) an obligation to know that avoids over-demandingness at large, it fails to be sufficiently demanding in individual cases. The first half of this paper is dedicated to setting up this dilemma. In the second half, I show that it cannot be easily escaped. Finally, I suggest that this dilemma impedes our ability to morally appraise one another’s ignorance, and even our own. (shrink)