In this paper, I consider a popular version of the clever student’s reasoning in the surprise examination case, and demonstrate that a valid argument can be constructed. The valid argument is a reductio ad absurdum with the proposition that the student knows on the morning of the first day that the teacher’s announcement is fulfilled as its reductio. But it would not give rise to any paradox. In the process, I criticize Saul Kripke’s solution and Timothy Williamson’s (...) attack on a key step of the student’s reasoning. I then consider the condemned prisoner case in W. V. Quine’s paper ‘On a So-Called Paradox’. I argue that the prisoner’s reasoning as conceived by Quine is more relevant and reasonable than the student’s argument in the popular version of the surprise examination case. I also argue that Quine’s criticism of the prisoner’s reasoning is correct, and therefore that the condemned prisoner case, and the surprise examination case as well, would not generate any paradox. (shrink)

This paper presents a dichotomic analysis of the surprise examination paradox. In section 1, I analyse the surprise notion in detail. I introduce then in section 2, the distinction between a monist and dichotomic analysis of the paradox. I also present there a dichotomy leading to distinguish two basically and structurally different versions of the paradox, respectively based on a conjoint and a disjoint definition of the surprise. In section 3, I describe the (...) solution to SEP corresponding to the conjoint definition. Lastly, I expose in section 4, the solution to SEP based on the disjoint definition. (shrink)

Fitch's Paradox and the Paradox of the Knower both make use of the Factivity Principle. The latter also makes use of a second principle, namely the Knowledge-of-Factivity Principle. Both the principle of factivity and the knowledge thereof have been the subject of various discussions, often in conjunction with a third principle known as Closure. In this paper, we examine the well-known Surprise Examination paradox considering both the principles on which this paradox rests and some (...) formal characterisations of the surprise notion, crucial in this paradox. Standard formalizations of the Surprise Examination paradox in modal logic do not seem, at first glance, to depend on either factivity or knowledge-of-factivity, but we will argue that both factivity and knowledge-of-factivity play a key implicit role in the paradox. Namely, they are implicitly, perhaps unintentionally, used in order to simplify the definition of surprise. We analyze modal logical formalizations of three versions of the paradox concluding that the Surprise Examination paradox is the result of two flaws: the assumption of knowledge-of-factivity, and the over-simplification of the definition of "surprise" accordingly. By fixing these two flaws, the Surprise Examination paradox vanishes. (shrink)

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.

We examine the paradox of the surprise examination using dynamic epistemic logic. This logic contains means of expressing epistemic facts as well as the effects of learning new facts, and is therefore a natural framework for representing the puzzle. We discuss a number of different interpretations of the puzzle in this context, and show how the failure of principle of success, that states that sentences, when learned, remain to be true and come to be believed, plays a (...) central role in understanding the puzzle. (shrink)

The students’ argument against the possibility of a surprise exam assumes that the following would not occur: the teacher decides to give the exam on a certain day; the teacher believes that the exam would be a surprise on that day; but, actually, the exam would not be a surprise on that day. I give a reason to reject this assumption, and I point out that an attempt to reformulate the surprise exam paradox in order (...) to allow for the assumption does not result in an acceptable argument. (shrink)

Presents a /simple/ epistemic solution to the paradox of the surprise test, suitable for undergraduates. Given the Gazette's audience, recalcitrant versions, such as Sorenson's, would have been inappropriate to even mention. It is also classified under "logical paradoxes," because it can be argued that given the existence of logical, rather than epistemic, solutions, so also the paradox is logical, rather than epistemic. -/- The author was not sent proofs, because the /Gazette/ was then run on a "shoestring (...) budget"; the 2009 article is just as intended, and the journal is now typeset well. (shrink)

In this paper, I analyze the "surprise exam paradox". I think that the paradox can be avoided and I am going to focus on three points: 1) A conflict arises between reasoning and the confidence in the person that makes the original statement. If we examine the situation by reasoning we conclude that the statement is not going to come true, because we trust the person that states it. However, if it is not possible to happen, it (...) happens, and the person told the truth; 2) There is a disjunction among the days of the week: “or it is the first day or it is the second day or … it is the last day” (or Monday or Tuesday or Wednesday or Thursday or Friday). If I still have not been given the exam by Friday, the only possible conclusion is that the exam will be given on Friday. On Thursday, however, thesituation is completely different; 3) It seems that this paradox is a case of contingent futures, which branching time logics usually solve. The truth-value of the sentences is only relative to the branch that takes place in the end. (shrink)

I identify an assumption that the students should not rely on: if the teacher believes that the exam would not be a surprise on a certain day, the teacher will not give the exam on that day. The reason I present for not making this assumption does not involve doubting the moral goodness of the teacher. But it does involve making a value judgment.

Philosophers often claim that forgiveness is a paradoxical phenomenon. I here examine two of the most widespread ways of dealing with the paradoxical nature of forgiveness. One of these ways, emblematized by Aurel Kolnai, seeks to resolve the paradox by appealing to the idea of repentance. Somehow, if a wrongdoer repents, then forgiving her is no longer paradoxical. I argue that this influential position faces more problems than it solves. The other way to approach the paradox, exemplified here (...) by the work of Jacques Derrida, is just too obscure to be by itself helpful. Yet, I argue that what I take to be its spirit is on the right track. I recommend distinguishing between the definition and the justification of forgiveness, and also between forgiveness understood as a mental phenomenon and an overt, communicative act. These distinctions are not given their due in the specialized literature, and I expose the nefarious consequences of this neglect. By focusing on forgiveness as a mental phenomenon I seek to analyze the root of the talk of paradoxes which surrounds the discussion of forgiveness. Finally, I present an analysis of forgiveness as a pure mental phenomenon, and argue that this analysis is the most important step in understanding forgiveness in any other sense. While my analysis reveals interesting aspects of forgiveness, it reveals, too, that forgiveness is not quite as paradoxical after all. (shrink)

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)

After explaining the philosophical significance of the paradox and explaining what an adequate dissolution must do, i show that the story of the unexpected exam hides within it two distinctly different paradoxes. the first turns on a problem of self-reference, but all previous attempts to dissolve the paradox fail to dissolve the second. i then dissolve it.

The Goodman paradox presents us with the problem of selecting the hypotheses that are confirmed by their positive instances. In a recent paper, Stephen Hetherington proposes a criterion that enables us to specify the hypotheses that are subjectively confirmed by these instances. But there is also an objective aspect to be considered here because, as a matter of fact, the hypotheses selected by the criterion have often been highly reliable even if they were based on the observation of only (...) a few positive instances. In the present note, I examine this aspect and I point out that Hume not only dealt with the reliability phenomenon but also gave a plausible explanation of the phenomenon. I also point out that Hume's explanation is surprisingly similar to the explanation given lately by a number of naturalistic philosophers to the reliability phenomenon. (shrink)

Certain paradoxes set us reeling endlessly. In surprise examination paradoxes, pupils' reasonings lead them to reel between expecting an examination and expecting none. With Newcomb's puzzle, choosers reel between reasoning in favour of choosing just one box and choosing two. The paradoxes demand an answer to what it is rational to believe or do. Highlighting other reelings and puzzles, this paper shows that the paradoxes should come as no surprise. The paradoxes demand an end to our (...) reasoning when the conditions they set ensure no end. They equivocate between, so to speak, reasoning in heaven and reasoning on earth; and, on the conditions set, not even an infinite god could reach a conclusion. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Interpretation of Plato's Parmenides: Zeno s Paradox and the Theory of Forms R. E. ALLEN PLATO'S Parmenides is divided into three main parts, of uneven length, and distinguished from each other both by their subject matter and their speakers. In the first and briefest part (127d-130a), Socrates offers the Theory of Forms in solution of a problem raised by Zeno. In the second (130a-135d), Parmenides levels a (...) series of objections against Socrates' theory, objections putatively meant as refutation. Then, after an interlude to explain an unfamiliar method of dialectic (135d-137c), that method is applied in the third part by Parmenides, with the help of the young Aristoteles (137c-166c). This final part forms more than two-thirds of the whole. I propose here to examine the first part of the dialogue, the interchange between Zeno and Socrates, and to examine it with special attention to the bearing which questions of dialectical structure and dramatic characterization may have upon its interpretation. It is perhaps here proper to indicate the general view of the dialogue which this discussion will help serve to recommend. Briefly, it is this. The Parmenides is a sustained examination of Plato's Theory of Forms, and the manner of examination is Socratic: the student is presented, not with a body of conclusions, but with a series of arguments whose implications he is left to think through for himself. When he has done so, he will realize that the Theory of Forms is proof against the objections here brought against it: the Parmenides provides no direct support for the thesis, currently popular, that Plato in later life ceased to believe that Forms exist. But though sound as far as it goes, the Theory of Forms does not go far enough: the Parmenides demonstrates that there is a range of problems, bound up with the application of unrestricted predicates, which Forms do not solve but are prey to. A broader theory is required, though a theory which may well contain the Theory of Forms as a part. The Parmenides, whose purpose is critical, leaves unanswered the question of what that theory may be. Zeno's Paradox and the Theoryof Forms (127d-130a) It is Zeno who begins the dialectic of the Parmenides,and fittingly, he begins it with a paradox. If there are many things, the same things must be both [143] 144 HISTORY OF PHILOSOPHY like and unlike. But this is impossible: unlike things cannot be like, nor like things unlike. Therefore, there cannot be many things (127e). Socrates' reply begins with a solution, and ends with a challenge. There exists, alone by itself, a Form of Likeness, and also a Form of its opposite, Unlikeness. The things we call 'many' are both like and unlike; but in this they differ from the Forms in which they partake. For things which are just alike (abr& r& 6uoLa)1 cannot be unlike, nor things just unlike alike. But it is no more surprising that the same things should partake both in Likeness and Unlikeness than it is that a thing should be both one and many by partaking in both Unity and Plurality. Still, Unity itself is not many, nor Plurality one. And so with other Forms: Socrates would be filled with wonder if someone could show that Likeness and Unlikeness, Unity and Plurality, Rest and Motion, and the other Forms, can be combined with (~v'rK~p&vvwOaO and separated from (SLaKotp~0a,) each other. Forms cannot be qualified by their opposite. 2 Socrates' denial is a conjunction. Several translators, including Cornford and Taylor, have rendered ~v3,~p&vvvaOa~ ~as &aKps as though it were a disjunction, 'combined or separated'. The reason for this was no doubt stylistic; but the Greek means, not 'or' but 'and', and logically, the difference is important. Zeno and Parmenides are challenged to prove, not one of two alternatives, but both together. This conclusion rests on more than a Kas In the Sophist, knowing how to separate (&a~ps 253e 3) according to kinds is equivalent to distinguishing (&a~m~a0a~ 253d 1) according to kinds, and both are equivalent to not believing that the same Form is different or a different Form the same (253d 1... (shrink)

Humility is a paradoxical virtue. This should come as no great surprise. It doesn’t take much explanation for one to realize that if someone is boasting about how humble he is, then he probably is not humble. In fact, as we shall see, the paradoxical nature of humility has a long history, going back to at least Thomas Aquinas in the thirteenth century. While it may not be a novel claim that there exists an apparent paradox of humility, (...) I will argue that there is more than one humility paradox, perhaps as many as five: the epistemic paradox, the paradox of self-attribution, the inculcation paradox, the agentic paradox, and the axiological paradox. All these paradoxes are distinct, yet seemingly intertwined. Upon examining them each in turn, we will be left with a Gordian knot of humility paradoxes. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Interpretation of Plato's Parmenides: Zeno s Paradox and the Theory of Forms R. E. ALLEN PLATO'S Parmenides is divided into three main parts, of uneven length, and distinguished from each other both by their subject matter and their speakers. In the first and briefest part (127d-130a), Socrates offers the Theory of Forms in solution of a problem raised by Zeno. In the second (130a-135d), Parmenides levels a (...) series of objections against Socrates' theory, objections putatively meant as refutation. Then, after an interlude to explain an unfamiliar method of dialectic (135d-137c), that method is applied in the third part by Parmenides, with the help of the young Aristoteles (137c-166c). This final part forms more than two-thirds of the whole. I propose here to examine the first part of the dialogue, the interchange between Zeno and Socrates, and to examine it with special attention to the bearing which questions of dialectical structure and dramatic characterization may have upon its interpretation. It is perhaps here proper to indicate the general view of the dialogue which this discussion will help serve to recommend. Briefly, it is this. The Parmenides is a sustained examination of Plato's Theory of Forms, and the manner of examination is Socratic: the student is presented, not with a body of conclusions, but with a series of arguments whose implications he is left to think through for himself. When he has done so, he will realize that the Theory of Forms is proof against the objections here brought against it: the Parmenides provides no direct support for the thesis, currently popular, that Plato in later life ceased to believe that Forms exist. But though sound as far as it goes, the Theory of Forms does not go far enough: the Parmenides demonstrates that there is a range of problems, bound up with the application of unrestricted predicates, which Forms do not solve but are prey to. A broader theory is required, though a theory which may well contain the Theory of Forms as a part. The Parmenides, whose purpose is critical, leaves unanswered the question of what that theory may be. Zeno's Paradox and the Theoryof Forms (127d-130a) It is Zeno who begins the dialectic of the Parmenides,and fittingly, he begins it with a paradox. If there are many things, the same things must be both [143] 144 HISTORY OF PHILOSOPHY like and unlike. But this is impossible: unlike things cannot be like, nor like things unlike. Therefore, there cannot be many things (127e). Socrates' reply begins with a solution, and ends with a challenge. There exists, alone by itself, a Form of Likeness, and also a Form of its opposite, Unlikeness. The things we call 'many' are both like and unlike; but in this they differ from the Forms in which they partake. For things which are just alike (abr& r& 6uoLa)1 cannot be unlike, nor things just unlike alike. But it is no more surprising that the same things should partake both in Likeness and Unlikeness than it is that a thing should be both one and many by partaking in both Unity and Plurality. Still, Unity itself is not many, nor Plurality one. And so with other Forms: Socrates would be filled with wonder if someone could show that Likeness and Unlikeness, Unity and Plurality, Rest and Motion, and the other Forms, can be combined with (~v'rK~p&vvwOaO and separated from (SLaKotp~0a,) each other. Forms cannot be qualified by their opposite. 2 Socrates' denial is a conjunction. Several translators, including Cornford and Taylor, have rendered ~v3,~p&vvvaOa~ ~as &aKps as though it were a disjunction, 'combined or separated'. The reason for this was no doubt stylistic; but the Greek means, not 'or' but 'and', and logically, the difference is important. Zeno and Parmenides are challenged to prove, not one of two alternatives, but both together. This conclusion rests on more than a Kas In the Sophist, knowing how to separate (&a~ps 253e 3) according to kinds is equivalent to distinguishing (&a~m~a0a~ 253d 1) according to kinds, and both are equivalent to not believing that the same Form is different or a different Form the same (253d 1... (shrink)

In this paper, I examine the view that, surprisingly, the more citizens deliberate about politics, the less likely they are to participate in the realm of the political, and vice versa. In the first part of the paper, I approach the problem from the perspective of the paradox of voting, the claim that voting itself is instrumentally irrational because of the very low probability that a single vote will make any difference at the elections. In the second part of (...) the paper, I argue that rather than analyzing voting instrumentally, it is better to view it as part of the civic commitments that constitute what it means to be a citizen in a democratic society. The act of voting is not primarily an individual?s attempt to decisively influence any particular outcome, but an affirmation of the key practice that upholds the democratic society in which citizens play a part. This reveals a meta-paradox of voting. Namely, to not vote is to exhibit a type of behavior that implies acceptance of democracy simultaneously with rejecting its defining component. Because of that, I will claim, not voting is itself irrational. In light of that conclusion, in the third part of the paper, I explore the extant divide between deliberation and participation by referring back to the analysis of civic commitments. Whereas participation without deliberating reveals ideological bias, deliberation without participation expresses a lack of understanding of what it means to be a citizen. The way to connect them is to engage in a process of attaining reflective equilibrium between the two, starting from the practice of deliberation that would be fully informed by the awareness of our democratic commitments and disconnected from ideologically motivated participation. (shrink)

The Paradox of the Surprise Examination has been a testing ground for a variety of frameworks in formal epistemology, from epistemic logic to probability theory to game theory and more. In this paper, I treat a related paradox, the Paradox of the Undiscoverable Position, as a test case for the possible-worlds style representation of epistemic states. I argue that the paradox can be solved in this framework, further illustrating the power of possible-worlds style modeling. (...) The solution also illustrates an important distinction between anti-performatory and unassimilable announcements of information. (shrink)

In a number of recent papers I have been developing the theory of "nomic probability," which is supposed to be the kind of probability involved in statistical laws of nature. One of the main principles of this theory is an acceptance rule explicitly designed to handle the lottery paradox. This paper shows that the rule can also handle the paradox of the preface. The solution proceeds in part by pointing out a surprising connection between the paradox of (...) the preface and the gambler's fallacy. (shrink)

The objective of this study was to address the paradox of citizenship cost by hypothesizing an indirect rather than a direct effect of altruistic citizenship behavior on employee work–family conflict through coworker support. Data were gathered in a three-wave longitudinal survey of employees from private commercial banks. A multiple linear autoregressive longitudinal mediation model was analyzed with partial least squares structural equation modeling. The results indicate that rather than directly, ACB affects indirectly employee WFC through CWS. This indirect effect (...) is negative, which reflects that the costs of citizenship behavior are paradoxical. The present study contributes to the ongoing debate on the positive and negative outcomes of employee citizenship behavior by providing empirical evidence on the beneficial rather than harmful effect of performing such behavior. For organizational managers, promoting a culture of CWS by encouraging altruistic behaviors can be a most viable strategy to reduce WFC among their employees. The study discusses its limitations and provides future research directions. (shrink)

In a number of recent papers I have been developing the theory of “nomic probability,“ which is supposed to be the kind of probability involved in statistical laws of nature. One of the main principles of this theory is an acceptance rule explicitly designed to handle the lottery paradox. This paper shows that the rule can also handle the paradox of the preface. The solution proceeds in part by pointing out a surprising connection between the paradox of (...) the preface and the gambler's fallacy. (shrink)

The paradox of the Aged Care Act 1997: the marginalisation of nursing discourse This paper examines the marginalisation of nursing discourse, which followed the enactment of the Aged Care Act 1997. This neo‐reform period in aged care, dominated by theories of economic rationalism, enshrined legislation based upon market principles and by implication, the provision of care at the cheapest possible price. This paper exposes some of the gaps in the neo‐reform period and challenges the assertion that the amalgamation of (...) nursing homes and hostels in such an environment can provide better quality of care and life for residents. It argues that this amalgamation entails a transformation towards a social model of care and fails to address the professional healthcare needs of the acutely sick and complex extreme old person and makes evident new gaps in the provision of aged care services. The paper proceeds to present strategies where the future for nursing practice in aged care necessarily involves a judicious balancing of individual cases alongside economic prescriptions of care and ever‐changing public policy initiatives. It concludes that this can be achieved through a more interactive public, professional and advocacy discourse. The methodology involves extensive analysis of public documents including media, academic journals, government reports and interviews with recognised leaders in the field of aged care. The study utilises a critical interpretative framework consistent with the logic of Michel Foucault. (shrink)

The surprise exam paradox is an apparently sound argument to the apparently absurd conclusion that a surprise exam cannot be given within a finite exam period. A closer look at the logic of the paradox shows the argument breaking down immediately. So why do the beginning stages of the argument appear sound in the first place? This paper presents an account of the paradox on which its allure is rooted in a common probabilistic mistake: the (...) base rate fallacy. The account predicts that the paradoxical argument should get less and less convincing as it goes along—a prediction I take to be welcome. On a bleaker note, the account suggests that the base rate fallacy may be more widespread than previously thought. (shrink)

Some formulations of the surprise paradox involve a pair of unnecessary and controversial assumptions. After casting doubt on these assumptions, I propose a solution to the paradox.

This article examines whether the common paradox of the Dao 道 arises in the Laozi 老子. More specifically, it inquires if the Laozi text really asserts that the Dao is ineffable, while also speaking of the Dao. Most scholars recognize that the common paradox of the Dao arises in the Laozi, though others disagree. This article argues that neither of the representative claims—for and against the common paradox of the Dao—is successful. Instead, it proposes a revised form (...) of the paradox of the Dao, the name paradox, through alternative interpretations of related passages of the Laozi. (shrink)

In this regular series Michael Clark, editor of the journal Analysis, presents a number of the most intriguing philosophical paradoxes. Here we examine the paradox of the unexpected examination.

Epistemic logic in the tradition of Hintikka provides, as one of its many applications, a toolkit for the precise analysis of certain epistemological problems. In recent years, dynamic epistemic logic has expanded this toolkit. Dynamic epistemic logic has been used in analyses of well-known epistemic “paradoxes”, such as the Paradox of the Surprise Examination and Fitch’s Paradox of Knowability, and related epistemic phenomena, such as what Hintikka called the “anti-performatory effect” of Moorean announcements. In this paper, (...) we explore a variation on basic dynamic epistemic logic—what we call sequential epistemic logic—and argue that it allows more faithful and fine-grained analyses of those epistemological topics. (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)

The three puzzles here considered are shown to have a common structure. And in each, an agent is thrust into a cleverly contrived deliberatively unstable situation. The paper advocates a resolutely Pyrrhonian abandonment of the futile reasoning in which the agent is trapped and advocates an alternative strategy for escape.

This paper (first published under the same title in Journal of Mathematical Economics, 29, 1998, p. 331-361) is a sequel to "Consistent Bayesian Aggregation", Journal of Economic Theory, 66, 1995, p. 313-351, by the same author. Both papers examine mathematically whether the the following assumptions are compatible: the individuals and the group both form their preferences according to Subjective Expected Utility (SEU) theory, and the preferences of the group satisfy the Pareto principle with respect to those of the individuals. While (...) the 1995 paper explored these assumptions in the axiomatic context of Savage's (1954-1972) SEU theory, the present paper explores them in the context of Anscombe and Aumann's (1963) alternative SEU theory. We first show that the problematic assumptions become compatible when the Anscombe-Aumann utility functions are state-dependent and no subjective probabilities are elicited. Then we show that the problematic assumptions become incompatible when the Anscombe-Aumann utility functions are state-dependent, like before, but subjective probabilities are elicited using a relevant technical scheme. This last result reinstates the impossibilities proved by the 1995 paper, and thus shows them to be robust with respect to the choice of the SEU axiomatic framework. The technical scheme used for the elicitation of subjective probabilities is that of Karni, Schmeidler and Vind (1983). (shrink)

Despite having been solved numerous times, the surprise quiz paradox persists in the intellectual imagination as a riddle. This dialogue aims to dispel the fallacies of the paradox in an intuitive way through the causal format of a dialogue. Along the way, two contributions are made to the literature. Even if the student knew there would be a quiz at the end of a quizless Thursday, the fact that the quiz will be a surprise Friday would (...) provide a Gettier-style defeater for his supposed knowledge that he will have a quiz Friday. In addition, pace Sorensen (1988), the dialogue explains why the temporal retention of knowledge is essential to the puzzle and not a mere accident. (shrink)

Epistemic logic in the tradition of Hintikka provides, as one of its many applications, a toolkit for the precise analysis of certain epistemological problems. In recent years, dynamic epistemic logic has expanded this toolkit. Dynamic epistemic logic has been used in analyses of well-known epistemic “paradoxes”, such as the Paradox of the Surprise Examination and Fitch’s Paradox of Knowability, and related epistemic phenomena, such as what Hintikka called the “anti-performatory effect” of Moorean announcements. In this paper, (...) we explore a variation on basic dynamic epistemic logic—what we call sequential epistemic logic—and argue that it allows more faithful and fine-grained analyses of those epistemological topics. (shrink)

This paper brings the intellectual tools of cognitive science to bear on resolving the “paradox of the active user” [Interfacing Thought: Cognitive Aspects of Human–Computer Interaction, Cambridge, MIT Press, MA, USA]—the persistent use of inefficient procedures in interactive tasks by experienced or even expert users when demonstrably more efficient procedures exist. The goal of this paper is to understand the roots of this paradox by finding regularities in these inefficient procedures. We examine three very different data sets. For (...) each data set, we first satisfy ourselves that the preferred procedures used by some subjects are indeed less efficient than the recommended procedures. We then amass evidence, for each set, and conclude that when a preferred procedure is used instead of a more efficient, recommended procedure, the preferred procedure tends to have two major characteristics: (1) the preferred procedure is a well‐practiced, generic procedure that is applicable either within the same task environment in different contexts or across different task environments, and (2) the preferred procedure is composed of interactive components that bring fast, incremental feedback on the external problem states. The support amassed for these characteristics leads to a new understanding of the paradox. In interactive tasks, people are biased towards the use of general procedures that start with interactive actions. These actions require much less cognitive effort as each action results in an immediate change to the external display that, in turn, cues the next action. Unfortunately for the users, the bias to use interactive unit tasks leads to a path that requires more effort in the long run. Our data suggest that interactive behavior is composed of a series of distributed choices; that is, people seldom make a once‐and‐for‐all decision on procedures. This series of biased selection of interactive unit tasks often leads to a stable suboptimal level of performance. (shrink)

This paper further develops the system of illocutionary logic presented in ?Propositional logic of supposition and assertion? (Notre Dame Journal of Formal Logic 1997, 38, 325-349) to accommodate an ?I believe that? operator and resolve Moore's Paradox. This resolution is accomplished by providing both a truth-conditional and a commitment-based semantics. An important feature of the logical system is that the correctness of some arguments depends on who it is that makes the argument. The paper then shows that the logical (...) system can be expanded to resolve the surprise execution paradox puzzle. The prisoner's argument showing that he can't be executed by surprise is correct but his beliefs are incoherent. The judge's beliefs (and our beliefs) about this situation are not incoherent. (shrink)

The twenty first century has witnessed a heightened interest in Muslim settlers in western democracies. In Britain, following the suicide bombings of 9/11 and particularly in the aftermath of the 7th July 2005 bombings in London, much of this focus has been on the threat of terror attacks emanating from radicalised Muslims. It is clearly the case that the same focus also applies to other west European countries which have witnessed similar attacks. The question arises as to the kind of (...) milieu in which domestic jihadist perpetrators have been raised and live. In most cases—though not all—an upbringing in segregated Muslim neighbourhoods is a recurring theme. These can be deemed ‘closed communities’, yet they are situated in open societies underpinned by a secular, liberal democratic polity. This paper provides reasons and evidence for the epithet of closed communities with respect to Muslims in Britain and explores how these—in many significant respects—differ from mainstream, liberal, secular society. The tensions that inevitably arise are considered together with their implications. The inspiration for this paper stems from Karl Popper’s The Open Society and its Enemies. (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)

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)

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)