I was learning mathematical logic in the context of (some) model theory and FOL using the language of L-structures (or just structures). Recall the definition of an L-structure. Its a set together with a language $L$ and way to interpret formulas and sentences formed from those symbols, usually denoted as (page 25 these notes):
$$ \mathcal A = ( A; L ) = (A; (R^{\mathcal A})_{R \in L^R,} (F^{\mathcal A})_{F \in L^F} )$$
L-structures make things completely unambiguous and was trying to arrive to a formulation to understand why in "standard logic" (informally speaking about mathematics/meta-logic) we consider statements of the form:
" all elements of the empty set have property P(x)"
to be true. After reading the wikipedia article of vacuous truth it became clear to me that for vacuous truths (which I will define it as when "the set $A$ is empty") of the informal form:
$$ \forall x \in A : Q(x)$$
must be equivalent to:
$$ \forall x (\varphi^A(x) \to Q(x)) $$
for some definable set (i.e. $\varphi^A = \{ a \in A : \mathcal A \models \varphi( \underline a) \}$ where $\underline a$ is the name of $a$) using L-formula $\varphi^A$. This is the only way for this to make sense since if the definable set $\varphi^A$ is empty (or \varphi^A) is always False, then it would make sense that whole L-sentence to be True (from the definition of material implication, since nothing is an element of the empty set). In other words if one takes such an $\varphi^A$ and defines the short hand $x \in \varphi^A =\emptyset $ just to be $\varphi^A(x) = False$ then one can express the above "vacuous truth" as follows:
$$ \forall x (x \in \emptyset \to Q(x)) $$
and its clear that the statement is true.
However, for me the natural interpretation was that:
$$ \forall x \in A : Q(x)$$
should be the L-sentence:
$$ \forall x Q(x)$$
under the L-structure $\mathcal A = (A ; L)$ (and allow $A$ to be empty of course). If one takes that interpretation then intuitively it becomes clear that since no element exists that can never be true, so the L-sentence should be False. So my question is:
- why are vacuous truths not defined that way but instead favour the material implication definition?
- Is the main reason that its defined with the material implication definition because L-structures cannot be empty for some reason? (why can't they be empty?)
I think its interesting to bring up also the informal notion of:
$$ \exists x \in A : Q(x)$$
(as well as the one considered originally in the question $ \forall x \in A : Q(a)$)). The reason is because how would we interpret $ \exists x \in A : Q(a)$? If we interpret it as:
$$ \exists x ( \varphi^A(x) \to Q(x) ) $$
then it would seem to be that this would also should evaluate to true vacuously. Is this correct?
If we accept that the right interpretation of
$$ \forall x \in A : Q(x)$$
is:
$$ \forall x Q(x)$$
in some empty L-structure then it does make sense that its true if we accept the following:
$$ \forall x Q(x) = \land_{a \in A} Q(a)$$
i.e. that the for all is a conjunction as large as we might need it. If we accept this as the definition/model for fall statement then that would be an empty conjunction, which are defined to be True. This is because we can always tac on an empty conjunction the same way we can add 0 and for the proposition to remain unchanged under conjunction an empty conjunction must be true. In other words:
$$ P \land (\land_{a \in \emptyset } Q(a) ) = P \land True = P$$
similarly for exists we must have an "infinite disjunction":
$$ \exists x Q(x) = \lor_{a \in A} Q(a)$$
and when its empty be defined to be zero (since tacking on a empty disjunction and let things unchanged, then the disjunction must be originally have been False):
$$ P \lor (\lor_{a \in \emptyset } Q(a) ) = P \lor False = P$$
honestly, this is the only definition that seems consistent to me and makes sense and doesn't randomly introduce material implication out of the blue and then doesn't explain if we should add material implication also out of the blue to exists. So I think this is the one that makes most sense to me. I hope its correct, but really only care to know the truth.
I also want to emphasize that the two interpretations are not logically equivalent (in a fixed large L-structure $\mathcal A'$ where $A \subseteq A$) since:
$$ \forall x Q(x) \not \equiv \forall x ( \varphi^A(x) \to Q(x) )$$
one can see this by writing $\varphi^A(x) \to Q(x)$ as $ \neg \varphi^A(x) \lor Q(x)$. Thus, for them to be equivalent we need:
$$ \neg \varphi^A(x) \lor Q(x) \equiv Q(x) $$
which are only equivalent when $\neg \varphi^A(x) = False $ so when $\varphi^A(x) = True$. So if $A$ is empty and thus $\varphi^A(x)$ always true, means that the implication interpretation of the statement $\forall x \in A: Q(x)$ is NOT equivalent to $\forall x Q(x)$. Intuitively it should be obvious because $\forall x Q(x)$ requires some property of every element in the L-structure (the universe in question) while $\forall x (\varphi^A(x) \to Q(x))$ only requires it for things in $A$ (not that for things not in $A$ play no role in determining the truth of the for all statement because they are always true since $\varphi^A(x)$ is false so the implication is true. I see it as the "trick" of how material implications invoke the identity of conjunctions to make things that play no rule in determining the consequent affect the truth value of the whole implication).
I've also read somewhere that some inference rules are NOT valid when the structure is empty (some inference rules having to do with quantifiers). What are they and why are they not valid?
