Single Idea 13818

[catalogued under 5. Theory of Logic / G. Quantification / 2. Domain of Quantification]

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]