18776 | Contextual definitions eliminate descriptions from contexts |
18774 | Definite descriptions, unlike proper names, have a logical structure |
18777 | If the King of France is not bald, and not not-bald, this violates excluded middle |
18775 | Russell showed that descriptions may not have ontological commitment |