General Theory
-If there are no unicorns, what is the truth value of the sentence , where Ux = x is a unicorn, and Mx = x is mortal?

Question

General Theory
-If there are no unicorns, what is the truth value of the sentence  , where Ux = x is a unicorn, and Mx = x is mortal?

Quizplus · Accepted Answer

The Answer is The sentence

The sentence will be true. To see this, consider the expansion of this sentence for larger and larger universes of discourse. First, in a two-individual universe of discourse, its expansion is , which will be true since each conditional will have a false antecedent. Then for larger universes, each new conjunction added will have a false antecedent and thus be true (on the assumption nothing is a unicorn).

will be true. To see this, consider the expansion of this sentence for larger and larger universes of discourse. First, in a two-individual universe of discourse, its expansion is

, which will be true since each conditional will have a false antecedent. Then for larger universes, each new conjunction added will have a false antecedent and thus be true (on the assumption nothing is a unicorn).

General Theory -If There Are No Unicorns, What Is the Truth Value