In this paper I consider the surprise examination paradox from a practical perspective, paying special attention to the communicative role of the teacher’s promise to the students. This perspective, which places the promise within a practice, rather than viewing it in the abstract, imposes constraints on adequate solutions to the paradox. In the light of these constraints, I examine various solutions which have been offered, and suggest two of my own.

Knowledge and its Limits presents a systematic new conception of knowledge as a kind of mental stage sensitive to the knower's environment. It makes a major contribution to the debate between externalist and internalist philosophies of mind, and breaks radically with the epistemological tradition of analyzing knowledge in terms of true belief. The theory casts new light on such philosophical problems as scepticism, evidence, probability and assertion, realism and anti-realism, and the limits of what can be known. The arguments are (...) illustrated by rigorous models based on epistemic logic and probability theory. The result is a new way of doing epistemology and a notable contribution to the philosophy of mind. (shrink)

Sorensen here offers a unified solution to a large family of philosophical puzzles and paradoxes through a study of "blindspots": consistent propositions that cannot be rationally accepted by certain individuals even though they might by true.

Deductive and inductive logic confront this skeptical challenge: we can justify any logical principle only by means of an argument but we can acquire justification by means of an argument only if we are already justified in believing some logical principle. We could solve this problem if probative arguments do not require justified belief in their corresponding conditionals. For if not, then inferential justification would not require justified belief in any logical principle. So even arguments whose corresponding conditionals are epistemically (...) dependent upon their conclusions--epistemically self-supporting arguments--need not be viciously circular. R. B. Braithwaite and James Van Cleve use internalist and externalist versions of this strategy in their proposed solutions to the problem of induction. Unfortunately, their arguments for self-support are unsound and any theory of inferential justification that does not require justified belief in the corresponding conditionals of justification-affording arguments is unacceptably arbitrary. So self-supporting arguments cannot be justification-creating. (shrink)

This is a defense and extension of Stephen Yablo's claim that self-reference is completely inessential to the liar paradox. An infinite sequence of sentences of the form 'None of these subsequent sentences are true' generates the same instability in assigning truth values. I argue Yablo's technique of substituting infinity for self-reference applies to all so-called 'self-referential' paradoxes. A representative sample is provided which includes counterparts of the preface paradox, Pseudo-Scotus's validity paradox, the Knower, and other enigmas of the genre. I (...) rebut objections that Yablo's paradox is not a genuine liar by constructing a sequence of liars that blend into Yablo's paradox. I rebut objections that Yablo's liar has hidden self-reference with a distinction between attributive and referential self-reference and appeals to Gregory Chaitin's algorithmic information theory. The paper concludes with comments on the mystique of self-reference. (shrink)

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

A teacher announced to his pupils that on exactly one of the days of the following school week (Monday through Friday) he would give them a test. But it would be a surprise test; on the evening before the test they would not know that the test would take place the next day. One of the brighter students in the class then argued that the teacher could never give them the test. "It can't be Friday," she said, "since in that (...) case we'll expect it on Thurday evening. But then it can't be Thursday, since having already eliminated Friday we'll know Wednesday evening that it has to be Thursday. And by similar reasoning we can also eliminate Wednesday, Tuesday, and Monday. So there can't be a test!" The students were somewhat baffled by the situation. The teacher was well-known to be truthful, so if he said there would be a test, then it was safe to assume that there would be one. On the other hand, he also said that the test would be a surprise. But it seemed that whenever he gave the test, it wouldn't be a surprise. Well, the teacher gave the test on Tuesday, and, sure enough, the students were surprised. (shrink)

The professor announces a surprise exam for the upcoming week; her clever student purports to demonstrate by reductio that she cannot possibly give such an exam. Diagnosing his puzzling argument reveals a deeper puzzle: Is the student justified in believing the announcement? It would seem so, particularly if the upcoming 'week' is long enough. On the other hand, a plausible principle states that if, at the outset, the student is justified in believing some proposition, then he is also justified in (...) believing that he will continue to be justified in believing that proposition. It follows from this 'confidence' principle that the student is not justified in believing the announcement, regardless of the number of days in the week. I argue that the key to resolving this dilemma is to distinguish the confidence principle from a slightly weaker principle governing the student's justified degrees of belief. Representing these degrees of belief as probabilities, and taking 'justified belief' to mean 'justified degree of belief above a certain threshold', I show that we can uphold the weaker, probabilistic analog to the confidence principle, and maintain that, provided the 'week' is long enough, the student can justifiably believe the announcement. The resulting probabilistic analysis of the story leads to a new diagnosis of the logical flaw in the student's reasoning, and suggests, finally, that even those early stages of it which are logically impeccable exhibit another kind of flaw: circularity. (shrink)

On the basis of arguments showing that none of the most influential analyses of Moore’s paradox yields a successful resolution of the problem, a new analysis of it is offered. It is argued that, in attempting to render verdicts of either inconsistency or self-contradiction or self-refutation, those analyses have all failed to satisfactorily explain why a Moore-paradoxical proposition is such that it cannot be rationally believed. According to the proposed solution put forward here, a Moore-paradoxical proposition is one for which (...) the believer can have no non-overridden evidence. The arguments for this claim make use of some of Peter Klein’s views on epistemic defeasibility. It is further suggested that this proposal may have important meta-epistemological implications. (shrink)

One tradition of solving the surprise exam paradox, started by Robert Binkley and continued by Doris Olin, Roy Sorensen and Jelle Gerbrandy, construes surpriseepistemically and relies upon the oddity of propositions akin to G. E. Moore’s paradoxical ‘p and I don’t believe that p.’ Here I argue for an analysis that evolves from Olin’s. My analysis is different from hers or indeed any of those in the tradition because it explicitly recognizes that there are two distinct reductios at work in (...) the student’s paradoxical argument against the teacher. The weak reductio is easy to fault. Its invalidity determines the structure of the strong reductio, so-calledbecause it is more difficult to refute, but ultimately unsound because of reasons associated with Moore-paradoxicality. Previous commentators have not always appreciated this difference, with the result that the strong reductio is not addressed, or the response to the weak reductio is superfl uous. This is one reason why other analyses in the tradition are vulnerable to objections to which mine is not. (shrink)

An argument whose conclusion C is essential evidence for one of its premises can provide its target audience with justification for believing C. This is possible because we can enhance our justification for believing a proposition C by integrating it into an explanatory network of beliefs for which C itself provides essential evidence. I argue for this in light of relevant features of doxastic circularity, epistemic circularity, and explanatory inferences. Finally, I confirm my argument with an example and respond to (...) objections. (shrink)

(1984). Conditional blindspots and the knowledge squeeze: A solution to the prediction paradox. Australasian Journal of Philosophy: Vol. 62, No. 2, pp. 126-135.

The Russell class does not exist because the conditions purporting to specify that class are contradictory, and hence fail to specify any class. Equally, the conditions purporting to specify the Liar statement are contradictory and hence, although the Liar sentence is grammatically in order, it fails to yield a statement. Thus the common source of these and related paradoxes is contradictory (or tautologous) specifying conditions-for such conditions fail to specify. This is the diagnosis. The cure consists of seeking and destroying (...) the deep-seated preconceptions that make almost irresistible our belief in the existence of items which provably do not exist. (shrink)