"If everyone in front of you is bald, then you're bald." Does this logically mean that the first person is bald?

Suppose we have a line of people that starts with person #1 and goes for a (finite or infinite) number of people behind him/her, and this property holds for every person in the line:

If everyone in front of you is bald, then you are bald.

Without further assumptions, does this mean that the first person is necessarily bald? Does it say anything about the first person at all?

In my opinion, it means:

If there exist anyone in front of you and they're all bald, then you're bald.

Generally, for a statement that consists of a subject and a predicate, if the subject doesn't exist, then does the statement have a truth value?

I think there's a convention in math that if the subject doesn't exist, then the statement is right.

I don't have a problem with this convention (in the same way that I don't have a problem with the meaning of 'or' in math). My question is whether it's a clear logical implication of the facts, or we have to define the truth value for these subject-less statements.

Addendum:

You can read up on this matter here (too).

Solution 1:

You can see what's going on by reformulating the assumption in its equivalent contrapositive form:

If I'm not bald, then there is someone in front of me who is not bald.

Now the first person in line finds himself thinking, "There is no one in front of me. So it's not true that there is someone in front of me who is not bald. So it's not true that I'm not bald. So I must be bald!"

Solution 2:

Mathematical logic defines a statement about all elements of an empty set to be true. This is called vacuous truth. It may be somewhat confusing since it doesn't agree with common everyday usage, where making a statement tends to suggest that there is some object for which the statement actually holds (like the person in front of you in your example).

But it is exactly the right thing to do in a formal setup, for several reasons. One reason is that logical statements don't suggest anything: you must not assume any meaning in excess of what's stated explicitly. Another reason is that it makes several conversions possible without special cases. For example,

$$\forall x\in(A\cup B):P(x)\;\Leftrightarrow \forall x\in A:P(x)\;\wedge\;\forall x\in B:P(x)$$

holds even if $A$ (or $B$) happens to be the empty set. Another example is the conversion between universal and existential quantification Barry Cipra used:

$$\forall x\in A:\neg P(x)\;\Leftrightarrow \neg\exists x\in A:P(x)$$

If you are into programming, then the following pseudocode snippet may also help explaining this:

bool universal(set, property) {
  for (element in set)
    if (not property(element))
      return false
  return true
}

As you can see, the universally quantified statement is only false if there exists an element of the set for which it does not hold. Conversely, you could define

bool existential(set, property) {
  for (element in set)
    if (property(element))
      return true
  return false
}

This is also similar to other empty-set definitions like

$$\sum_{x\in\emptyset}f(x)=0\qquad\prod_{x\in\emptyset}f(x)=1$$

If everyone in front of you is bald, then you are bald.

Applying the above to the statement from your question: from

$$\bigl(\forall y\in\text{People in front of }x: \operatorname{bald}(y) \bigr)\implies\operatorname{bald}(x)$$

one can derive

$$\emptyset=\text{People in front of }x\implies\operatorname{bald}(x)$$

so yes, the first person must be bald because there is noone in front of him.

Some formalisms prefer to write the “People in front of” as a pair of predicates instead of a set. In such a setup, you'd see fewer sets and more implications:

$$\Bigl(\forall y: \bigl(\operatorname{person}(y)\wedge(y\operatorname{infrontof}x)\bigr)\implies\operatorname{bald}(y) \Bigr)\implies\operatorname{bald}(x)$$

If there is no $y$ satisfying both predicates, then the left hand side of the first implication is always false, rendering the implication as a whole always true, thus allowing us to conclude the baldness of the first person. The fact that an implication with a false antecedent is always true is another form of vacuous truth.

Note to self: this comment indicates that Alice in Wonderland was dealing with vacuous truth at some point. I should re-read that book and quote any interesting examples when I find the time.

Solution 3:

It's worth looking at the reputations of the users who've given the contradicting answers, because different groups of people use language differently and on this occasion rep seems to neatly illustrate that [Edit: update, since I wrote that there's now at least one low-rep user answering that the front person is bald, so the neat division has broken down]

So far as mathematicians and mathematical writing are concerned, universal quantifiers and vacuous truth do say that the front person must be bald (although beware clever alternative logics).

Supposing for a moment that there are no unicorns, then the statement "every unicorn has a horn" is true, and for that matter the statement "every unicorn does not have a horn" is also true. So if you're at the front, then "everyone in front of you is bald" is true. "Everyone in front of you is hairy" is also true.

The reason is that we want "for all things, X is true" to be equivalent to "there does not exist a thing for which X is false", and "there exists a thing for which X is true" to be equivalent to "it's false that for all things, X is false". We don't want a funny special case where there doesn't exist a hairy person in front of you, but it still fails to be true that "everyone who is in front of you is bald".

However, this is not always the meaning in general-purpose plain English. Real people might consider the statement "every unicorn has a horn" to be false if there are no unicorns, or they might consider it undefined whether or not it's true. That's fine, we just have to be careful interpreting what civilians say into formal logic.

Anyway when reading mathematics, it's not possible for "If everyone in front of you is bald, then you are bald" and "If everyone in front of you is hairy, then you are hairy" to both be true, since they contradict as to the baldness/hairiness of the front person. If you want to make mathematical statements along these lines, with the meanings you prefer, then you should explicitly exclude the front person.

However, there's that little word "too" at the end of your sentence, which throws a spanner in the works. The word "too" implies "as well as something else". But it doesn't really belong if this were a mathematical proposition. It's one thing to say someone is bald when there's nobody in front of them, and it's another thing entirely to say they're bald "as well as nobody". That doesn't make sense, and might cause us to reject the whole thing as unclear.

Solution 4:

So we have starting point

If everyone in front of you is bald, then you are bald too.

The first person in line sees that two properties hold:

1. Everyone in front of the first person is bald.

and

2. Everyone in front of the first person is not bald.

However, the starting point only applies to the case where everyone in front of a person is bald, so the first property, and nothing about the second property where every person is not bald.

Therefore, the first person must be bald by a combination of the starting point and property 1.

If there would be a rule depicting that

If everyone in front of you is not bald, then you are not bald too.

then this would give a contradiction. However, there is no rule about property 2, so it plays no role.