Exact Truthmakers, Modality, and Essence

Non-reductive essentialist explanations of necessities and possibilities in general locate their source in a special, basic or fundamental kind of necessities—those directly arising from the essences of things. All remaining necessities and possibilities can be seen as grounded, more or less indirectly, in these basic necessities. If this idea is on the right lines, it ought to be possible to distinguish clearly between those necessities which are directly grounded in the natures of things, and those which are indirectly so grounded. Special interest is shown in this question, treated within the framework of Fine’s version of truthmaker semantics. We might expect that within this framework, it would be possible to capture the distinction between what is directly true in virtue of essence, and what is only indirectly true.