ABSTRACT
Finally, those who endorse the inheritance model might restrict inheritance to types that are propositions.
Propositional Semantic Inheritance is an improvement over Semantic Inheritance, since it doesn’t require types that are not propositions to have semantic properties. But Propositional Semantic Inheritance is ad hoc. Propositional Semantic Inheritance, like Semantic Inheritance before it, trades on a distinction between semantic and non-semantic properties. According to Propositional Semantic Inheritance, semantic properties are inherited (by the relevant type under the right conditions), whereas non-semantic properties need not be. What is it about semantic properties in virtue of which they are inherited, while other properties need not be?26
