Essence and Accident Logic

Origin. Kit Fine, "Essence and Modality" (Philosophical Perspectives 8, 1994), which argued that the modal account of essence — x is essentially F iff necessarily x is F if x exists — gets the extension wrong, and that essence should be understood as real definition. Fine's "The Logic of Essence" (Journal of Philosophical Logic, 1995) gave the formal system and "Semantics for the Logic of Essence" (2000) the models. Fabrice Correia's work on essence, generalized essence, and ontological dependence is the main systematic alternative. The programme reverses the traditional order of explanation: modality is defined from essence rather than essence from modality.

Models. Essence is what an object is, not merely how it must be. The operator □_x φ reads "it is true in virtue of the identity of x that φ", and is relativized to an object or to a collection of objects, so one and the same necessary truth may be essential to one thing and not to another. Necessity is recovered as the limiting case, truth in virtue of the identity of all objects, which is why every essential truth is necessary and not conversely. The relativization is what makes the logic hyperintensional: φ and ψ can be necessarily equivalent while □_x φ holds and □_x ψ fails.

Formalism.

The operator: □_x φ — true in virtue of the identity of x. □_F φ — relativized to a collection F of objects. Reading: real definition, not necessity.

Fine's counterexamples to the modal account (1994): □(Socrates ∈ {Socrates}) — necessary. Not essential to Socrates: nothing in what he is concerns that set. Essential to {Socrates}: the set is defined by its member. Necessity is symmetric here; essence is not. Also: □(Socrates ≠ the Eiffel Tower) — necessary, no part of Socrates' nature.

Necessity from essence: □φ =df □_F φ with F the collection of all objects. Hence □_x φ → □φ. The converse is what the 1994 counterexamples refute.

Constitutive and consequential essence: Constitutive: the clauses of the real definition themselves. Consequential: whatever follows logically from those clauses. Consequential essence is closed under logical consequence; constitutive is not. Without the distinction every logical truth is essential to everything.

Ontological dependence (Fine 1995): x depends on y iff y figures in some essential truth of x. Asymmetric: {Socrates} depends on Socrates, not conversely. The modal definition of dependence fails for the reason the modal account of essence does.

Essence and ground: Fine's two hyperintensional primitives. Essence: what a thing is. Ground: why a fact obtains. Neither is defined from the other.

System: Fine (1995) axiomatizes the logic of □_F. Fine (2000) supplies models and a completeness proof.

Symbols.

Symbol	Unicode	Name	Meaning
□_x	—	Essentialist operator	True in virtue of the identity of x
□_F	—	Collective essence	True in virtue of the identities of the objects in F
□	U+25A1	White square / Necessity	Essence relative to all objects
≺	U+227A	Precedes / Grounds	Explanatory priority; Fine's other primitive
=	U+003D	Equals sign / Identity	Sameness, which essence is meant to explain
≠	U+2260	Not equal to	Socrates ≠ the Eiffel Tower, the second counterexample
∈	U+2208	Element of	Socrates ∈ {Socrates}, the first counterexample
⊆	U+2286	Subset	Inclusion between collections of objects
→	U+2192	Rightwards arrow	Conditional: □_x φ → □φ
φ	U+03C6	Phi	Schematic formula
F	—	Collection	The objects whose identities are appealed to

Metatheory. Fine's (1994) case against the modal account is a pair of counterexamples rather than a theorem, but it is decisive against the biconditional it targets: Socrates belongs necessarily to {Socrates} and is necessarily distinct from the Eiffel Tower, and neither fact belongs to his real definition, while the first does belong to the set's. Since essence is object-relative and necessity is not, no modal operator defines □_x, and the failure is not a matter of choosing a stronger modal logic. The direction that survives is □_x φ → □φ, and Fine takes necessity to be essence relative to all objects, reversing the usual order of explanation. Constitutive essence must be separated from consequential essence or the system collapses: closure under logical consequence puts every logical truth into the nature of every object. Fine (1995) axiomatized the logic of the relativized operator and Fine (2000) provided models with a completeness proof. Ontological dependence is defined from essence and inherits its asymmetry, which the modal definition cannot deliver.

Applies to. Metaphysics of modality, where necessity is derived rather than primitive. Ontological dependence and fundamentality. Identity criteria for sets, artefacts and persons. Grounding theory, alongside which essence is the second hyperintensional primitive. Real definition in mathematics and in the theory of properties.

Limitations. The formal system governs consequential essence, which is closed under logical consequence and therefore assigns every logical truth to the essence of every object; constitutive essence, the notion the metaphysics wants, has no comparable formal treatment and the distinction between the two is drawn informally. Nothing in the system fixes which truths are essential to a given object — the logic of the operator is given, its extension is not — so no disputed case of essence is settled by it. The reduction of necessity to essence is only as good as its totality quantifier: truth in virtue of the identity of all objects presupposes a determinate domain, and necessities with no obvious subject, such as truths of pure logic, sit awkwardly under it. And essence is treated as an operator on objects only; essence for properties, kinds and facts is not covered.