ABSTRACT
In “Structured Propositions as Types,” Hanks applies the inheritance model directly to explain why propositions have truth-conditional properties: propositions are types that inherit their truth-conditional properties from their tokens. For example, SUPPLICATE is true if and only if Mother Teresa supplicates because it inherits being true if and only if Mother Teresa supplicates from its tokens. To paraphrase what Hanks says about a different example, ‘A token assertion that Mother Teresa supplicates is a paradigm of the sort of thing that can be true or false, and the type that is SUPPLICATE inherits its truth-value from its tokens. The reason that SUPPLICATE is true if and only if Mother Teresa supplicates is that tokens of this proposition, particular assertions that Mother Teresa supplicates, are true if and only if Mother Teresa supplicates.’14
