Consider a version of the semantics for
first-order logic in which models with empty domains are allowed. Give
at least two examples of sentences that are valid according to the
standard semantics but not according to the new semantics. Discuss which
outcome makes more intuitive sense for your examples.
Consider a version of the semantics for first-order logic in which models with empty domains are allowed. Give at least two examples of sentences that are valid according to the standard semantics but not according to the new semantics. Discuss which outcome makes more intuitive sense for your examples.