Boy Born on a Tuesday - is it just a language trick?

The following probability question appeared in an earlier thread:

I have two children. One is a boy born on a Tuesday. What is the probability I have two boys?

The claim was that it is not actually a mathematical problem and it is only a language problem.

If one wanted to restate this problem formally the obvious way would be like so:

Definition: Sex is defined as an element of the set $\\{\text{boy},\text{girl}\\}$.

Definition: Birthday is defined as an element of the set $\\{\text{Monday},\text{Tuesday},\text{Wednesday},\text{Thursday},\text{Friday},\text{Saturday},\text{Sunday}\\}$

Definition: A Child is defined to be an ordered pair: (sex $\times$ birthday).

Let $(x,y)$ be a pair of children,

Define an auxiliary predicate $H(s,b) :\\!\\!\iff s = \text{boy} \text{ and } b = \text{Tuesday}$.

Calculate $P(x \text{ is a boy and } y \text{ is a boy}|H(x) \text{ or } H(y))$

I don't see any other sensible way to formalize this question.

To actually solve this problem now requires no thought (infact it is thinking which leads us to guess incorrect answers), we just compute

$$ \begin{align*} & P(x \text{ is a boy and } y \text{ is a boy}|H(x) \text{ or } H(y)) \\\\ =& \frac{P(x\text{ is a boy and }y\text{ is a boy and }(H(x)\text{ or }H(y)))} {P(H(x)\text{ or }H(y))} \\\\ =& \frac{P((x\text{ is a boy and }y\text{ is a boy and }H(x))\text{ or }(x\text{ is a boy and }y\text{ is a boy and }H(y)))} {P(H(x)) + P(H(y)) - P(H(x))P(H(y))} \\\\ =& \frac{\begin{align*} &P(x\text{ is a boy and }y\text{ is a boy and }x\text{ born on Tuesday}) \\\\ + &P(x\text{ is a boy and }y\text{ is a boy and }y\text{ born on Tuesday}) \\\\ - &P(x\text{ is a boy and }y\text{ is a boy and }x\text{ born on Tuesday and }y\text{ born on Tuesday}) \\\\ \end{align*}} {P(H(x)) + P(H(y)) - P(H(x))P(H(y))} \\\\ =& \frac{1/2 \cdot 1/2 \cdot 1/7 + 1/2 \cdot 1/2 \cdot 1/7 - 1/2 \cdot 1/2 \cdot 1/7 \cdot 1/7} {1/2 \cdot 1/7 + 1/2 \cdot 1/7 - 1/2 \cdot 1/7 \cdot 1/2 \cdot 1/7} \\\\ =& 13/27 \end{align*} $$

Now what I am wondering is, does this refute the claim that this puzzle is just a language problem or add to it? Was there a lot of room for misinterpreting the questions which I just missed?

There are even trickier aspects to this question. For example, what is the strategy of the guy telling you about his family? If he always mentions a boy first and not a daughter, we get one probability; if he talks about the sex of the first born child, we get a different probability. Your calculation makes a choice in this issue - you choose the version of "if the father has a boy and a girl, he'll mention the boy".

What I'm aiming to is this: the question is not well-defined mathematically. It has several possible interpretations, and as such the "problem" here is indeed of the language; or more correctly, the fact that a simple statement in English does not convey enough information to specify the precise model for the problem.

Let's look at a simplified version without days. The probability space for the make-up of the family is {BB, GB, BG, GG} (GB means "an older girl and a small boy", etc). We want to know what is $P(BB|A)$ where A is determined by the way we interpret the statement about the boys. Now let's look at different possible interpretations.

1) If there is a boy in the family, the statement will mention him. In this case A={BB,BG,GB} and so the probability is $1/3$.

2) If there is a girl in the family, the statement will mention her. In this case, since the statement talked about a boy, there are NO girls in the family. So A={BB} and so the probability is 1.

3) The statement talks about the sex of the firstborn. In this case A={BB,BG} and so the probability is $1/2$.

The bottom line: The statement about the family looks "constant" to us, but it must be looked as a function from the random state of the family - and there are several different possible functions, from which you must choose one otherwise no probabilistic analysis of the situation will make sense.

It is actually impossible to have a unique and unambiguous answer to the puzzle without explicitly articulating a probability model for how the information on gender and birthday is generated. The reason is that (1) for the problem to have a unique answer some random process is required, and (2) the answer is a function of which random model is used.

1. The problem assumes that a unique probability can be deduced as the answer. This requires that the set of children described is chosen by a random process, otherwise the number of boys is a deterministic quantity and the probability would be 0 or 1 but with no ability to determine which is the case. More generally one can consider random processes that produce the complete set of information referenced in the problem: choose a parent, then choose what to reveal about the number, gender, and birth days of its children.

2. The answer depends on which random process is used. If the Tuesday birth is disclosed only when there are two boys, the probability of two boys is 1. If Tuesday birth is disclosed only when there is a sister, the probability of two boys is 0. The answer could be any number between 0 or 1 depending on what process is assumed to produce the data.

There is also a linguistic question of how to interpret "one is a boy born on Tuesday". It could mean that the number of Tuesday-born males is exactly one, or at least one child.

I guess the following two versions of framing the question yield two different probabilities:

1. Dave has two children. Is atleast one of them a boy who is born on Tuesday? Dave answers Yes.

2. Dave has two children. I ask him to first choose and fix one child at random, and tell me if it is a boy who was born on Tuesday. Dave answers yes he is a boy born on Tuesday.

For 1st the probability (of both being boys) is 13/27, while for the second the probability is 1/2.

The way in which the question is asked, it's in line with 1st, hence the answer should be 13/27.

Well, given the unstated assumption that the writer is a mathematician and therefore not using regular english, then I agree with the 13/27 answer.

But in everyday english, from "there are two fleems, one is a glarp" we all infer that the other is not a glarp.

From "there are two fleems, one is a glarp, which is snibble" we would still infer that the other is not a glarp. Whereas from "there are two fleems, one is a glarp which is snibble" (absence of comma, or when spoken, difference in intonation) we would infer that the other is not a snibble glarp, but it could still be an unsnibble glarp.