Essence and Accident Logic

Origin. Fine (1994), Correia. Essential vs accidental properties. Not reducible to necessity. Object-relative modality. Foundation for metaphysics.

Models. Essential properties: constitutive of identity. Accidental: contingent features. Different from necessary. Grounding relations.

Formalism.

Essential predication: □_x P(x): P is essential to x. Not merely necessary but definitional.

Distinction from necessity: □(Socrates ∈ {Socrates}): necessary. Not essential to Socrates! Set's existence depends on Socrates.

Fine's criterion: P essential to x iff: P is part of what x is. P defines x's nature/identity.

Constitutive essence: Properties without which x couldn't be x. Intrinsic to identity.

Consequential essence: Follows from constitutive essence. Derived necessary properties.

Formal representation: □_x φ(x): φ holds in virtue of what x is. Relativized necessity.

Dependence: x depends on y iff y essential to x. Ontological dependence. Not symmetric.

Ground: φ because ψ. ψ grounds φ. Explanatory, not merely modal.

Identity criteria: Essential properties determine identity. x = y iff same essence. Leibniz's law relativized.

Symbols.

Symbol	Unicode	Name	Meaning
□_x	—	Essence	Essential to x
≺	U+227A	Grounds	Explanatory priority
=	—	Identity	Same thing

Metatheory. Not reducible to S5 necessity. Hyperintensional. Grounding logic. Different semantics proposed.

Applies to. Metaphysics. Philosophy of identity. Ontology. Grounding theory.

Limitations. Contested semantics. Hyperintensional. Philosophical disagreement. No standard formalization.