Hyperintensionality and Truthmaker Semantics
Distinctions finer than necessary equivalence, Fine's exact verification, and Yablo on subject matter
Planned, not yet written
This rung already has its place in the Philosophy of Language 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 definehyperintensionalitytruthmaker semanticsexact verificationsubject matter
Assumesintensionimpossible worldtruthmakerstructured proposition