Full Idea
We can show that if empty domains are permitted, then empty names must be permitted too.
Gist of Idea
If we allow empty domains, we must allow empty names
Source
David Bostock (Intermediate Logic [1997], 8.4)
Book Reference
Bostock,David: 'Intermediate Logic' [OUP 1997], p.351
Related Idea
Idea 10007 Quantifiers for domains and for inference come apart if there are no entities [Hofweber]