Neo-Fregean Abstraction
Deriving arithmetic from Hume's principle, and the Caesar and bad company objections
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 defineabstraction principleHume's principleneo-FregeanismCaesar problembad company objection
Assumesabstract objectmathematical platonismnominalismeasy ontologysecond-order property