# The reference class problem in the surprise examination paradox

The classical version of the surprise examination paradox goes as follows: a teacher tells his students that an examination will take place on the next week, but they will not know in advance the precise date on which the examination will occur. The examination will thus occur surprisingly. The students reason then as follows. The examination cannot take place on Saturday, they think, otherwise they would know in advance that the examination would take place on Saturday and therefore it could not occur surprisingly. Thus, Saturday is eliminated. In addition, the examination can not take place on Friday, otherwise the students would know in advance that the examination would take place on Friday and so it could not occur surprisingly. Thus, Friday is also ruled out. By a similar reasoning, the students eliminate successively Thursday, Wednesday, Tuesday and Monday. Finally, every day of the week is eliminated. However, this does not preclude the examination of finally occurring by surprise, say on Wednesday. Thus, the reasoning of the students proved to be fallacious. However, such reasoning seems intuitively valid. The paradox lies here in the fact the students’ reasoning is apparently valid, whereas it finally proves inconsistent with the facts, i.e. that the examination can truly occur by surprise, as initially announced by the professor.

In order to introduce the dichotomous analysis (Franceschi 2005) that can be applied to the surprise examination paradox, it is worth considering first two variations of the paradox that turn out to be structurally different. The first variation is associated with the solution to the paradox proposed by Quine (1953). Quine considers then the student’s final conclusion that the examination can not take place surprisingly on any day of the week. According to Quine, the student’s error lies in the fact of not having envisaged from the beginning that the examination could take place on the last day. Because the fact of considering precisely that the examination will not take place on the last day finally allows the examination to occur by surprise on the last day. If the student had also considered this possibility from the beginning, he would not have been committed to the false conclusion that the examination can not occur surprisingly.

The second variation of the paradox that proves interesting in this context is the one associated with the remark made ​​by several authors (Hall 1999, p. 661, Williamson 2000), according to which the paradox emerges clearly when the number n of units is large. Such a number is usually associated with a number n of days, but we may as well use hours, minutes, seconds, etc.. An interesting feature of the paradox is indeed that it emerges intuitively more significantly when large values ​​of n are involved. A striking illustration of this phenomenon is thus provided by the variation of the paradox that corresponds to the following situation, described by Timothy Williamson (2000, p 139).

Advance knowledge that there will be a test, fire drill, or the like of which one will not know the time in advance is an everyday fact of social life, but one denied by a surprising proportion of early work on the Surprise Examination. Who has not waited for the telephone to ring, knowing that it will do so within a week and that one will not know a second before it rings that it will ring a second later?

The variation described by Williamson corresponds to the announcement made to someone that he/she will receive a phone call during the week, but without being able to determine in advance at what exact second the latter event will occur. This variation highlights how surprise may occur, in a quite plausible way, when the value of n is high. The unit of time considered here by Williamson is the second, in relation with a time duration that corresponds to one week. The corresponding value of n here is very high and equal to 604800 (60 x 60 x 24 x 7) seconds. However, it is not necessary to take into account a value as large of n, and a value of n equal to 365, for example, should also be well-suited.

The fact that two versions of the paradox that seem a priori quite different coexist suggests that two structurally different versions of the paradox could be inextricably intertwined within the surprise examination paradox. In fact, if we analyse the version of the paradox that leads to Quine’s solution, we find that it has a peculiarity: it is likely to occur for a value of n equal to 1. The corresponding version of the professor’s announcement is then as follows: “An examination will take place tomorrow, but you will not know in advance that this will happen and therefore it will occur surprisingly.” Quine’s analysis applies directly to this version of the paradox for which n = 1. In this case, the student’s error resides, according to Quine, in the fact of having only considered the hypothesis: (i) “the examination will take place tomorrow and I predict that it will take place.” In fact, the student should also have considered three cases: (ii) “the examination will not take place tomorrow, and I predict that it will take place” (iii) “the examination will not take place tomorrow and I do not predict that it will take place” (iv) “the examination will take place tomorrow and I do not predict that it will take place.” And the fact of having envisaged hypothesis (i), but also hypothesis (iv) which is compatible with the professor’s announcement would have prevented the student to conclude that the examination would not finally take place. Therefore, as Quine stresses, it is the fact of having only taken into account the hypothesis (i) that can be identified as the cause of the fallacious reasoning.

As we can see it, the very structure of the version of the paradox on which Quine’s solution is based has the following features: first, the non-surprise may actually occur on the last day, and second, the examination may also occur surprisingly on the last day. The same goes for the version of the paradox where n = 1: the non-surprise and the surprise may occur on day n. This allows to represent such structure of the paradox with the following matrix S[k, s] (where k denotes the day on which the examination takes place and S[k, s] denotes whether the corresponding case of non-surprise (s = 0) or surprise (s = 1) is possible (in this case, S[k, i] = 1) or not (in this case, S[k, i] = 0)):

Matrix structure of the version of the paradox corresponding to Quine’s solution for n = 7 (one week)

Matrix structure of the version of the paradox corresponding to Quine’s solution for n = 1 (one day)

Given the structure of the corresponding matrix which includes values that are equal to 1 in both cases of non-surprise and of surprise, for a given day, we shall term joint such a matrix structure.

If we examine the above-mentioned variation of the paradox set by Williamson, it presents the particularity, in contrast to the previous variation, of emerging neatly when n is large. In this context, the professor’s announcement corresponding for example to a value of n equal to 365, is the following: “An examination will take place in the coming year but the date of the examination will be a surprise.” If such a variation is analysed in terms of the matrix of non-surprise and of surprise, it turns out that this version of the paradox has the following properties: the non-surprise cannot occur on the first day while the surprise is possible on this very first day; however, on the last day, the non-surprise is possible whereas the surprise is not possible.

Matrix structure of the version of the paradox corresponding to Williamson’s variation for n = 365 (one year)

The foregoing allows now to identify precisely what is at fault in the student’s reasoning, when applied to this particular version of the paradox. Under these circumstances, the student would then have reasoned as follows. The surprise cannot occur on the last day but it can occur on day 1, and the non-surprise can occur on the last day, but cannot occur on the first day. These are proper instances of non-surprise and of surprise, which prove to be disjoint. However, the notion of surprise is not captured exhaustively by the extension and the anti-extension of the surprise. But such a definition is consistent with the definition of a vague predicate, which is characterized by an extension and an anti-extension which are mutually exclusive and non-exhaustive. Thus, the notion of surprise associated with a disjoint structure is that of a vague notion. Thus, the student’s error of reasoning at the origin of the fallacy lies in not having taken into account the fact that the surprise is in the case of a disjoint structure, a vague concept and includes therefore the presence of a penumbra corresponding to borderline cases between non-surprise and surprise. Hence, the mere consideration of the fact that the surprise notion is here a vague notion would have prohibited the student to conclude that S[k, 1] = 0, for all values ​​of k, that is to say that the examination can not occur surprisingly on any day of the period.

As we finally see it, the dichotomous analysis of the surprise examination paradox leads to consider the class of the matrices associated with the very definition of the paradox and to distinguish whether their structure is joint or disjoint. Therefore, it follows an independent solution for each of the resulting two structurally different versions of the paradox.

Franceschi, P., Une analyse dichotomique du paradoxe de l’examen surprise, Philosophiques, vol. 32-2, 2005, pp. 399-421, A dichotomic analysis of the surprise examination paradox (English translation).

Franceschi, P., “Éléments d’un contextualisme dialectique” (in english), in Liber Amicorum Pascal Engel, J. Dutant, G. Fassio & A. Meylan (éd.), Université de Genève, 2014, pp. 581-608.

Ambiguous images Arbitrary focus Bistable perception Complementarity relationship Conflict resolution Conflict resolution with matrices of concepts Conflict types relating to matrices of concepts Contrary relationship Courage Dialectical contextualism Dialectical monism Dialectical monism in Aztec philosophy Dialectical monism in Heraclitus Dichotomic analysis Dichotomic analysis applied to paradox resolution Dichotomous reasoning Disqualification of one pole Disqualification of the positive Doctrine of the mean Doomsday argument Dualities Dual poles Extreme opposition General cognitive distortions Instance of one-sidedness bias Liar paradox Matrix of concepts Maximization Mental filter Minimization Bistable cognition Omission of the neutral One-sidedness bias One-sided viewpoint Opposition relationship Principle of dialectical indifference Requalification into the other pole Reference class Reference class problem Reference class problem in philosophical paradoxes Reference class problem in the Doomsday argument Reference class problem in Hempel’s paradox Reference class problem in the surprise examination paradox Selective abstraction Sorites paradox Specific cognitive distortions Surprise examination paradox System of taxa Two-sided viewpoint Viewpoint of a duality Viewpoint of a pole

# The reference class problem in Hempel’s paradox

(adapted from Franceschi (1999) & (2014))

Hempel’s paradox is based on the fact that the two following assertions:

(H) All ravens are black

(H*) All non-black things are non-ravens

are logically equivalent. By its structure (H*) presents itself indeed as the contrapositive form of (H). It follows that the discovery of a black raven confirms (H) and also (H*), but also that the discovery of a non-black thing that is not a raven such as a red flame or even a grey umbrella, confirms (H*) and therefore (H). However, this latter conclusion turns out to be paradoxical.

We shall endeavour now to detail the dichotomous analysis on which is based the solution proposed in Franceschi (1999). The corresponding approach is based on finding a reference class associated with the statement of the paradox, which may be defined with the help of an A/Ā duality. If we scrutinise the concepts and categories that underlie propositions (H) and (H*), we first note that there are four categories:

• ravens
• black objects
• non-black objects
• non-black objects.

It turns out that three of the four classes do not pose any particular problem. To begin with, a raven is precisely defined within the taxonomy in which it inserts itself. A category such as that of the ravens can be considered well-defined, since it is based on a precise set of criteria defining the species corvus corax and allowing the identification of its instances. Similarly, the class of black objects can be accurately described, from a taxonomy of colours determined with respect to the wave lengths of light. Finally, we can see that the class of non-black objects can also be a definition that does not suffer from ambiguity, in particular from the specific taxonomy of colours which has been just mentioned.

However, what about the class of non-ravens? What does constitute then an instance of a non-raven? Intuitively, a blue blackbird, a red flamingo, a grey umbrella and even a natural number, are non-ravens. But should we consider a reference class that goes up to include abstract objects? Should we thus consider a notion of non-raven that includes abstract entities such as integers and complex numbers? Or should we limit ourselves to a reference class that only embraces the animals? Or should we consider a reference class that encompasses all living beings, or even all concrete things, also including this time the artefacts? Finally, it follows that the initial proposition (H*) is susceptible of giving rise to several variations, which are the following:

(H1*) All that is non-black among the corvids is a non-raven

(H2*) All that is non-black among the birds is a non-raven

(H3*) All that is non-black among the animals is a non-raven

(H4*) All that is non-black among the living beings is a non-raven

(H5*) All that is non-black among the concrete things is a non-raven

(H6*) All that is non-black among the concrete and abstract objects is a non-raven

Thus, it turns out that the statement of Hempel’s paradox and in particular of proposition (H*) is associated with a reference class, which allow to define the non-ravens. Such a reference class can be assimilated to corvids, birds, animals, living beings, concrete things, or to concrete and abstract things, etc.. However, in the statement of Hempel’s paradox, there is no objective criterion for making such a choice. At this point, it turns out that one can choose such a reference class restrictively, by assimilating it for example to corvids. But in an equally legitimate manner, we can choose a reference class more extensively, by identifying it for example to the set of concrete things, thus notably including umbrellas. Why then choose such or such reference class defined in a restrictive way rather than another one extensively defined? Indeed, we are lacking a criterion allowing to justify the choice of the reference class, whether we proceed by restriction or by extension. Therefore, it turns out that the latter can only be defined arbitrarily. But the choice of such a reference class proves crucial because depending on whether you choose such or such class reference, a given object such as a grey umbrella will confirm or not (H*) and therefore (H). Hence, if we choose the reference class by extension, thus including all concrete objects, a grey umbrella will confirm (H). On the other hand, if we choose such a reference class by restriction, by assimilating it only to corvids, a grey umbrella will not confirm (H). Such a difference proves to be essential. In effect, if we choose a definition by extension of the reference class, the paradoxical effect inherent to Hempel’s paradox ensues. By contrast, if we choose a reference class restrictively defined, the paradoxical effect vanishes.

The foregoing permits to describe accurately the elements of the preceding analysis of Hempel’s paradox in terms of one-sidedness bias such as it has been defined above: to the paradox and in particular to proposition (H*) are associated the reference class of non-ravens, which itself is susceptible of being defined with regard to the extension/restriction duality. However, for a given object such as a grey umbrella, the definition of the reference class by extension leads to a paradoxical effect, whereas the choice of the latter by restriction does not lead to such an effect.

Franceschi, P., « Comment l’urne de Carter et Leslie se déverse dans celle de Carter », Canadian Journal of Philosophy, vol. 29, Mars 1999, pages 139-156, The Doomsday Argument and Hempel’s problem (English translation)

Franceschi, P., “Éléments d’un contextualisme dialectique” (in english), in Liber Amicorum Pascal Engel, J. Dutant, G. Fassio & A. Meylan (éd.), Université de Genève, 2014, p. 581-608.

Ambiguous images Arbitrary focus Bistable perception Complementarity relationship Conflict resolution Conflict resolution with matrices of concepts Conflict types relating to matrices of concepts Contrary relationship Courage Dialectical contextualism Dialectical monism Dialectical monism in Aztec philosophy Dialectical monism in Heraclitus Dichotomic analysis Dichotomic analysis applied to paradox resolution Dichotomous reasoning Disqualification of one pole Disqualification of the positive Doctrine of the mean Doomsday argument Dualities Dual poles Extreme opposition General cognitive distortions Instance of one-sidedness bias Liar paradox Matrix of concepts Maximization Mental filter Minimization Bistable cognition Omission of the neutral One-sidedness bias One-sided viewpoint Opposition relationship Principle of dialectical indifference Requalification into the other pole Reference class Reference class problem Reference class problem in philosophical paradoxes Reference class problem in the Doomsday argument Reference class problem in Hempel’s paradox Reference class problem in the surprise examination paradox Selective abstraction Sorites paradox Specific cognitive distortions Surprise examination paradox System of taxa Two-sided viewpoint Viewpoint of a duality Viewpoint of a pole