Higher-Order Metaphysics
Asking the questions in a typed higher-order language instead of a first-order one, and watching several of them change shape
Planned, not yet written
This rung already has its place in the Ontology ladder and a fixed job in the order. The prose is what is missing. Writing it out of sequence would break the guarantee that nothing here uses a term before an earlier article defines it.
Will definehigher-order quantificationtype distinctionproperty identity conditionshigher-order metaphysics
Assumesplural quantificationsecond-order propertycategory of beingideologyprimitive notion