In an information state where various agents have both factual knowledge and knowledge about each other, announcements can be made that change the state of information. Such informative announcements can have the curious property that they become false because they are announced. The most typical example of that is 'fact p is true and you don't know that', after which you know that p, which entails the negation of the announcement formula. The announcement of such a formula in a given (...) information state is called an unsuccessful update. A successful formula is a formula that always becomes common knowledge after being announced. Analysis of information systems and 'philosophical puzzles' reveals a growing number of dynamic phenomena that can be described or explained by unsuccessful updates. This increases our understanding of such philosophical problems. We also investigate the syntactic characterization of the successful formulas. (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)

The paradox of the Unexpected Hanging, related prediction paradoxes, and the Sorites paradoxes all involve reasoning about ordered collections of entities: days ordered by date in the case of the Unexpected Hanging; men ordered by the number of hairs on their heads the case of the bald man version of the Sorites. The reasoning then assigns each entity a value that depends on the previously assigned value of one of the neighboring entities. The final result is paradoxical because it conflicts (...) with the obviously correct, commonsensical value. The paradox is due to the serial procedure of assigning a value based on the newly assigned value of the neighbor. An alternative procedure is to assign each value based only on the original values of neighbors - a parallel procedure. That procedure does not give paradoxical answers. (shrink)

In this paper we investigate the role of performative contradictions in legal discourse. First of all we identify the argumentative roles of performative contradictions and two possible interpretations of them. With this done, we show that one use of performative contradictions can be fruitfully applied in analysing normative speech acts implementing norm enactment, namely, those speech acts that are designed to produce new legal norms. We conclude the paper by showing that our analysis provides strong support for Robert Alexy's claim-to-correctness (...) thesis, according to which speech acts of the norm-enacting kind raise a claim to correctness. (shrink)

Self-defeating and self-justifying expressions are reflexive insofar as they pertain to themselves. However, the reflexivity involved is often pragmatic, i.e., does not entirely depend upon the logical properties of what is expressed but also upon the expressive act. In this paper I present a general account of pragmatic reflexivity and apply it to some familiar self-defeating and self-justifying expressions in epistemology. This application indicates some important, if often neglected features of the epistemological issues involved. The account I defend suggests that (...) epistemology is particularly sensitive to pragmatic reflexivity since what epistemologists do, i.e., inquire, theorize, and defend theories, is also the subject of the inquiry and resultant theories. (shrink)

The Surprise Exam Paradox continues to perplex and torment despite the many solutions that have been offered. This paper proposes to end the intrigue once and for all by refuting one of the central pillars of the Surprise Exam Paradox, the 'No Friday Argument,' which concludes that an exam given on the last day of the testing period cannot be a surprise. This refutation consists of three arguments, all of which are borrowed from the literature: the 'Unprojectible Announcement Argument,' the (...) 'Wright & Sudbury Argument,' and the 'Epistemic Blindspot Argument.' The reason that the Surprise Exam Paradox has persisted this long is not because any of these arguments is problematic. On the contrary, each of them is correct. The reason that it has persisted so long is because each argument is only part of the solution. The correct solution requires all three of them to be combined together. Once they are, we may see exactly why the No Friday Argument fails and therefore why we have a solution to the Surprise Exam Paradox that should stick. (shrink)

In this paper, we provide a Bayesian analysis of the well-known surprise exam paradox. Central to our analysis is a probabilistic account of what it means for the student to accept the teacher's announcement that he will receive a surprise exam. According to this account, the student can be said to have accepted the teacher's announcement provided he adopts a subjective probability distribution relative to which he expects to receive the exam on a day on which he expects not to (...) receive it. We show that as long as expectation is not equated with subjective certainty there will be contexts in which it is possible for the student to accept the teacher's announcement, in this sense. In addition, we show how a Bayesian modeling of the scenario can yield plausible explanations of the following three intuitive claims: (1) the teacher's announcement becomes easier to accept the more days there are in class; (2) a strict interpretation of the teacher's announcement does not provide the student with any categorical information as to the date of the exam; and (3) the teacher's announcement contains less information about the date of the exam the more days there are in class. To conclude, we show how the surprise exam paradox can be seen as one among the larger class of paradoxes of doxastic fallibilism, foremost among which is the paradox of the preface. (shrink)

The paper highlights a certain kind of self-falsifying utterance, which I shall call antiperformative assertions, not noted in speech-act theory thus far. By taking such assertions into account, the old question whether explicit performatives have a truth-value can be resolved. I shall show that explicit performatives are in fact self-verifyingly true, but they are not related to propositions the way ordinary assertions are; antiperformatives have the same unusual relation to propositions, but are self-falsifyingly false. Explicit performatives are speech acts performed (...) in situations where it is important that the speaker is self-reflectively aware of what he is doing in the speech act. Antiperformatives, on the other hand, are speech acts performed in situations where lack of direct self-reflectiveness is required. In order to situate performatives and antiperformatives, the analysis is embedded within a more general discussion of self-falsifying and self-verifying assertions. (shrink)

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)

One version of Moore’s Paradox is the challenge to account for the absurdity of beliefs purportedly expressed by someone who asserts sentences of the form ‘p & I do not believe that p’. The absurdity of these beliefs is philosophically puzzling, given that Moorean sentences are contingent and often true; and express contents that are unproblematic when presented in the third-person. In this paper I critically examine the most popular proposed solution to these two puzzles, according to which Moorean beliefs (...) are absurd because Moorean sentences are instances of pragmatic paradox; that is to say, the propositions they express are necessarily false-when-believed. My conclusion is that while a Moorean belief is a pragmatic paradox, it is not just another pragmatic paradox, because this diagnosis does not explain all the puzzling features of Moorean beliefs. In particularly, while this analysis is plausible in relation to the puzzle posed by characteristic of Moorean sentences, I argue that it fails to account for. I do so in the course of an attempt to formulate the definition of a pragmatic paradox in more precise formal terms, in order to see whether the definition is satisfied by Moorean sentences, but not by their third-person transpositions. For only an account which can do so could address adequately. After rejecting a number of attempted formalizations, I arrive at a definition which delivers the right results. The problem with this definition, however, is that it has to be couched in first-person terms, making an essential use of ‘I’. Thus the problem of accounting for first-/third-person asymmetry recurs at a higher order, which shows that the Pragmatic Paradox Resolution fails to identify the source of such asymmetry highlighted by Moore’s Paradox. (shrink)

Conventions and leaders are believed to be the two pillars of justice and order in society. This paper evaluates this proposition and draws attention to two intriguing ways in which these pillars can malfunction. The argument is constructed by creating two new games, Greta’s Dilemma and the Incarceration Game. An awareness of these problems can help us use our ‘moral intention’ to reexamine our own collective behavior and to design prior conventions, which limit the power of the leader.

In this paper we investigate the role of performative contradictions in legal discourse. First of all we identify the argumentative roles of performative contradictions and two possible interpretations of them. With this done, we show that one use of performative contradictions can be fruitfully applied in analysing normative speech acts implementing norm enactment, namely, those speech acts that are designed to produce new legal norms. We conclude the paper by showing that our analysis provides strong support for Robert Alexy's claim‐to‐correctness (...) thesis, according to which speech acts of the norm‐enacting kind raise a claim to correctness. (shrink)

From the Editor’s Introduction: "The Internal Limitations of Human Understanding." We carry, unavoidably, the limits of our understanding with us. We are perpetually confined within the horizons of our conceptual structure. When this structure grows or expands, the breadth of our comprehensions enlarges, but we are forever barred from the wished-for glimpse beyond its boundaries, no matter how hard we try, no matter how much credence we invest in the substance of our learning and mist of speculation. -/- The limitations (...) in view here are not due to the mere finitude of our understanding of ourselves and of the world in which we live. They are limitations that come automatically and necessarily with any form of understanding. They are, as we shall see, part and parcel of any organization or ordering of data that we call information. -/- The consequences of these limitations are varied: As a result of them, hermeneutics cannot help but be hermetic; scientific theories of necessity are circumscribed by the boundaries of the ideas that define them; formal systems must choose between consistency and comprehensiveness; philosophical study, because it includes itself within its own proper subject matter, is forced to be reflexive in its self-enclosure. The fundamental dynamic shared by all forms of understanding testifies to an internal limitative keystone. (shrink)

This paper advances the following criticisms against the received view of implicatures: (1) implicatures are relations of pragmatic implication and not attempts to convey particular speaker meanings; (2) conversational implicatures are non-cancellable; (3) generalised conversational implicatures and conventional implicatures are necessary to preserve the cooperative assumption employing a conversational maxim of conveyability; (4) implicatures should be divided into utterance implicatures and assumption implicatures, not speaker implicatures and sentence implicatures; (5) trivial implicatures are genuine implicatures; (6) Grice’s theory of conversation cannot (...) explain most of his examples of particularised conversational implicatures; (7) the apparent attempts of explicit cancellation of implicatures are apologies, not attempts to avoid misunderstandings. (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)