Leibniz claims that for every possible substance S there is an individual concept that includes predicates describing everything that will ever happen to S, if S existed. Many commentators have thought that this leads Leibniz to think that all properties are had essentially, and thus that it is not metaphysically possible for substances to be otherwise than the way their individual concept has them as being. I argue against this common way of reading Leibniz’s views on the metaphysics of modality. (...) I develop a model in which individual concepts are innocent; that is, individual concepts are divine ideas that permit God to know everything that will ever happen to all possible substances, if created, but these individual concepts neither require that all properties are had essentially nor require that it is metaphysically necessary for substances to be the way their individual concepts have them as being. (shrink)

Can I be free to perform an action if God has decided to ensure that I do not choose that action? I show that Molinists and simple foreknowledge theorists are committed to answering in the affirmative. This is problematic for their status as theological incompatibilists. I suggest that strategies for preserving their theological incompatibilism in light of this result should be based on sourcehood. However, the path is not easy here either, since Leibniz has shown how theological determinists can offer (...) an extremely robust form of sourcehood. Proponents of these views must identify a valuable form of sourcehood their theories allow that Leibniz’s theory doesn’t. (shrink)