David Corfield dependence

Idea

How do things depend on other things? Should be cases where dependent types are needed.

Kinds of dependence

Simons,§8.2 for list.

Ontological

[5,§2.1] and [19,§1] Galton.

Smiles, holes,

Specific or rigid dependence if of one element on another, a smile on a particular face.

This has to be wrong:

$a$ is dependent on $b$ $=_{def} \Box(Exists(a) \to Exists(b))$

References

• Antony Galton, On generically dependent entities, Applied Ontology

• Peter Simons, Parts: a Study in Ontology, Clarendon Press, Oxford, 1987