We represent the well-known surprise exam paradox in constructive and computable mathematics and offer solutions. One solution is based on Brouwer’s continuity principle in constructive mathematics, and the other involves type 2 Turing computability in classical mathematics. We also discuss the backward induction paradox for extensive form games in constructive logic.

This paper offers a new solution to the Surprise Test Paradox. The paradox arises thanks to an ingenious argument that seems to show that surprise tests are impossible. My solution to the paradox states that it relies on a questionable closure principle. This closure principle says that if one knows something and competently deduces something else, one knows the further thing. This principle has been endorsed by John Hawthorne and Timothy Williamson, among others, and I trace its motivation back to (...) work by Alvin Goldman. I provide counterexamples to the principle and explain the flaw in the reasoning of those who defend it. (shrink)

This paper proposes a new framework to solve the surprise examination paradox. I survey preliminary the main contributions to the literature related to the paradox. I introduce then a distinction between a monist and a dichotomic analysis of the paradox. With the help of a matrix notation, I also present a dichotomy that leads to distinguish two basically and structurally different notions of surprise, which are respectively based on a conjoint and a disjoint structure. I describe then how Quine’s solution (...) applies to the version of the paradox corresponding to the conjoint structure. Lastly, I expose a solution to the paradox based on the disjoint structure. (shrink)

This paper proposes a new framework to solve the surprise examination paradox. I survey preliminary the main contributions to the literature related to the paradox. I introduce then a distinction between a monist and a dichotomic analysis of the paradox. With the help of a matrix notation, I also present a dichotomy that leads to distinguish two basically and structurally different notions of surprise, which are respectively based on a conjoint and a disjoint structure. I describe then how Quine's solution (...) and Hall's reduction apply to the version of the paradox corresponding to the conjoint structure. Lastly, I expose a solution to the version of the paradox based on the disjoint structure. (shrink)

Can victims of the oracle paradox, which is known primarily through its unexpected hanging and surprise examination versions, extricate themselves from their difficulties of reasoning? No. For they do not, contrary to recent opinion, commit errors of fallacious elimination. As I shall argue, the difficulties of reasoning faced by these victims do not originate in the domain of concepts, propositions and their entailment relations; nor do they result from misapprehensions about limitations on what can be known. The difficulties of reasoning (...) flow, instead, from conflicts that arise in the practical dimension of life. The oracle paradox is in this way more evocative of problems faced in the theory of computation than it is like the celebrated Russell’s paradox. (shrink)

RÉSUMÉ: Les philosophes, au cours des cinquante dernières années, se sont efforcés de démontrer qu’un professeur peut, d’une manière cohérente et exacte, annoncer à ses étudiants qu’un examen surprise aura lieu lors d’une journée non spécifiée d’une période donnée, le problème étant qu’une telle annonce peut sembler s’annuler ellemême lorsqu’elle est soumise à une induction régressive. Deux grandes approches, l’une épistémique et l’autre logique, one été développées à ce propos. Le présent article adopte une approche logique, mais repose aussi d’une (...) manière cruciale sur une compréhension épistémique du problème, pour essayer de montrer que l’annonce du professeur peut effectivement être cohérente et exacte. (shrink)

RÉSUMÉ: Les philosophes, au cours des cinquante dernières années, se sont efforcés de démontrer qu’un professeur peut, d’une manière cohérente et exacte, annoncer à ses étudiants qu’un examen surprise aura lieu lors d’une journée non spécifiée d’une période donnée, le problème étant qu’une telle annonce peut sembler s’annuler ellemême lorsqu’elle est soumise à une induction régressive. Deux grandes approches, l’une épistémique et l’autre logique, one été développées à ce propos. Le présent article adopte une approche logique, mais repose aussi d’une (...) manière cruciale sur une compréhension épistémique du problème, pour essayer de montrer que l’annonce du professeur peut effectivement être cohérente et exacte. (shrink)