more on this theme | more from this thinker | more from this text
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 Ref
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]