According to an influential contextualist solution to skepticism advanced by Keith DeRose, denials of skeptical hypotheses are, in most contexts, strong yet insensitive. The strength of such denials allows for knowledge of them, thus undermining skepticism, while the insensitivity of such denials explains our intuition that we do not know them. In this paper we argue that, under some well-motivated conditions, a negated skeptical hypothesis is strong only if it is sensitive. We also consider how a natural response on behalf (...) of DeRose appears to be equally available to his primary rival (viz., the sensitivity theorist). (shrink)

The No-No Paradox consists of a pair of statements, each of which ?says? the other is false. Roy Sorensen claims that the No-No Paradox provides an example of a true statement that has no truthmaker: Given the relevant instances of the T-schema, one of the two statements comprising the ?paradox? must be true (and the other false), but symmetry constraints prevent us from determining which, and thus prevent there being a truthmaker grounding the relevant assignment of truth values. Sorensen's view (...) is mistaken: situated within an appropriate background theory of truth, the statements comprising the No-No Paradox are genuinely paradoxical in the same sense as is the Liar (and thus, on Sorensen's view, must fail to have truth values). This result has consequences beyond Sorensen's semantic framework. In particular, the No-No Paradox, properly understood, is not only a new paradox, but also provides us with a new type of paradox, one which depends upon a general background theory of the truth predicate in a way that the Liar Paradox and similar constructions do not. (shrink)

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term (...) itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike. (shrink)

This volume is about abstract objects and the ways we refer to them in natural language. Asher develops a semantical and metaphysical analysis of these entities in two stages. The first reflects the rich ontology of abstract objects necessitated by the forms of language in which we think and speak. A second level of analysis maps the ontology of natural language metaphysics onto a sparser domain--a more systematic realm of abstract objects that are fully analyzed. This second level reflects the (...) commitments of real metaphysics. The models for these commitments assign truth conditions to natural language discourse. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

A unified answer is offered to two distinct fundamental questions: whether a nonclassical solution to the semantic paradoxes should be extended to other apparently similar paradoxes and whether a nonclassical logic should be expressed in a nonclassical metalanguage. The paper starts by reviewing a budget of paradoxes involving the logical properties of validity, inconsistency, and compatibility. The author’s favored substructural approach to naive truth is then presented and it is explained how that approach can be extended in a very natural (...) way so as to solve a certain paradox of validity. However, three individually decisive reasons are later provided for thinking that no approach adopting a classical metalanguage can adequately account for all the features involved in the paradoxes of logical properties. Consequently, the paper undertakes the task to do better, and, building on the system already developed, introduces a theory in a nonclassical metalanguage that expresses an adequate logic of naive truth and of some naive logical properties. (shrink)

Milne [2005] argued that a sentence saying of itself that it does not have a truthmaker is true but does not have a truthmaker. López de Sa and Zardini [2006] worried that, by parity of reasoning, one should conclude that a sentence saying of itself that it is not both true and short is true but not short. Recently, Milne [2013] and Gołosz [2015] have replied to López de Sa and Zardini’s worry, arguing in different ways that the worry is (...) illfounded. In this paper, I’ll address these replies and argue that they fail to dispel López de Sa and Zardini’s worry, bringing out in the process some broader points concerning the use of self-referential sentences in arguments in philosophy of logic. (shrink)

This paper addresses the question: given some theory T that we accept, is there some natural, generally applicable way of extending T to a theory S that can prove a range of things about what it itself (i.e. S) can prove, including a range of things about what it cannot prove, such as claims to the effect that it cannot prove certain particular sentences (e.g. 0 = 1), or the claim that it is consistent? Typical characterizations of Gödel’s second incompleteness (...) theorem, and its significance, would lead us to believe that the answer is ‘no’. But the present paper explores a positive answer. The general approach is to follow the lead of recent (and not so recent) approaches to truth and the Liar paradox. (shrink)

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)

What the world needs now is another theory of vagueness. Not because the old theories are useless. Quite the contrary, the old theories provide many of the materials we need to construct the truest theory of vagueness ever seen. The theory shall be similar in motivation to supervaluationism, but more akin to many-valued theories in conceptualisation. What I take from the many-valued theories is the idea that some sentences can be truer than others. But I say very different things to (...) the ordering over sentences this relation generates. I say it is not a linear ordering, so it cannot be represented by the real numbers. I also argue that since there is higher-order vagueness, any mapping between sentences and mathematical objects is bound to be inappropriate. This is no cause for regret; we can say all we want to say by using the comparative truer than without mapping it onto some mathematical objects. From supervaluationism I take the idea that we can keep classical logic without keeping the familiar bivalent semantics for classical logic. But my preservation of classical logic is more comprehensive than is normally permitted by supervaluationism, for I preserve classical inference rules as well as classical sequents. And I do this without relying on the concept of acceptable precisifications as an unexplained explainer. The world does not need another guide to varieties of theories of vagueness, especially since Timothy Williamson (1994) and Rosanna Keefe (2000) have already provided quite good guides. I assume throughout familiarity with popular theories of vagueness. (shrink)

A number of authors have taken a family of paradoxes, whose members trace back to theorems due either in whole or in part to Richard Montague, to pose a serious, possibly fatal challenge to theories of fine-grained, hyperintensional content. These paradoxes all assume that we can represent attitudes such as knowledge and belief with sentential predicates, and this assumption is at the heart of the purported challenge: the thought is that we must reject such predicates to avoid the paradoxes, and (...) that hyperintensionality precludes such a rejection. In this paper I examine in more detail both parts of this thought. I first argue that while there are relatively few satisfactory alternatives to rejecting sentential attitude predicates, we cannot conclusively rule them all out—there are, at least, bullets that proponents of hyperintensionality can bite. I then argue that while most forms of hyperintensional content do in fact guarantee the existence of sentential attitude predicates, one relatively underexplored sort of content, due to Max Cresswell, does not. I thus conclude that while these Montagovian paradoxes present a serious challenge to nearly every popular theory of hyperintensionality, they do not on their own require that we retreat all the way to a familiar, coarse-grained, possible-worlds account of propositions. (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)

Mark Jago argues for truthmaker maximalism in some recent papers based on a key premise: that every truth could have a truthmaker. Jago contends that many would pretheoretically accept this principle and that counterexamples to it would be difficult to find. In this note, I show how truthmaker non-maximalists can use a modified version of Peter Milne's argument against maximalism to provide a counterexample to this key premise.

Since Montague’s work it is well known that treating a single modality as a predicate may lead to paradox. In their paper “No Future”, Horsten and Leitgeb show that if the two temporal modalities are treated as predicates paradox might arise as well. In our paper we investigate whether paradoxes of multiple modalities, such as the No Future paradox, are genuinely new paradoxes or whether they “reduce” to the paradoxes of single modalities. In order to address this question we develop (...) a notion of reducibility based on a version of Smoryński Diagonalized Operator Logic. We show that there are reducible multimodal paradoxes as well as irreducible paradoxes of interaction. In particular, we show the No Future paradox to be an irreducible paradox according to our notion of reducibility. (shrink)

Patrick Grim has presented arguments supporting the intuition that any notion of a totality of truths is incoherent. We suggest a natural semantics for various logics of belief which reflect Grim’s intuition. The semantics is a topological semantics, and we suggest that the condition can be interpreted to reflect Grim’s intuition. Beyond this, we present a natural canonical topological model for K4 and KD4.

SummaryJ.R. Lucas has argued that it follows from Godel's Theorem that the mind cannot be a machine or represented by any formal system. Although this notorious argument against the mechanism thesis has received considerable attention in the literature, it has not been decisively rebutted, even though mechanism is generally thought to be the only plausible view of the mind. In this paper I offer an analysis of Lucas's argument which shows that it derives its persuasiveness from a subtle confusion. In (...) particular, I examine Benacerraf's reconstruction of Lucas's argument, thereby permitting a precise re‐statement of my own analysis and reinforcement of my conclusions regarding Lucas's mistake. This examination of Benacerraf's reconstruction permits us to evaluate certain radical and highly paradoxical conclusions concerning empirical psychology which Benacerraf draws, and this, in turn, permits us to consider certain suggestive implications for the mind which may, after all, follow from Godel's Theorem.RésuméJ.R. Lucas a dérivé du théorème de Gödel la conclusion que ľesprit ne peut pas être une machine ou être représenté par un systeme formel. Bien que cet argument célèbre contre la thése du mécanisme ait éveillé un interêt considérable dans la littérature, il ňa pas été réfuté de façon décisive, même si ľopinion générate prévaut que le mécanisme est la seule conception possible de ľesprit. Dans cet article, je propose une analyse du raisonnement de Lucas qui montre que sa force persuasive provient ?on;une subtile confusion. En particulier, j'examine la reconstruction, par Benacerraf, de la démonstration de Lucas, ce qui me pérmet de préciser ma propre analyse et de confirmer mes conclusions quant àľerreur de Lucas. Cet examen de la reconstruction de Benacerraf nous fournit ľoccasion de discuter certaines conclusions radicales et hautement paradoxals qu'il en tire concernant la psychologie expérimentale et nous conduit à certaines implications suggestives concernant ľesprit et qui pourraient finalement decouler du théorème de Gödel.ZusammenfassungJ.R. Lucas hat argumentiert, aus Gödels Theorem mUsse folgen, dass der menschliche Geist keine Maschine sein oder durch ein formales System dargestellt werden kann. Obschon dieses bekannte Argument gegen die mechanistische These in der Literatur beträchtliche Beachtung gefunden hat, ist es bisher noch nie eigentlich widerlegt worden, obgleich eine mechanistische Betrachtungsweise allgemein als die einzig plausible gilt. In dieser Arbeit biete ich eine Analyse von Lucas Argument an, die zeigen soil, dass seine Überzeugungskraft auf einer subtilen Konfusion beruht. Im besonderen untersuche ich Benacerrafs Rekonstruktion des Arguments, was rnirerlaubt, meine eigene Analyse in genauer Weise zu formulieren und meine Schlussfolgerung bezüglich des von Lucas gemachten Fehlers zu erharten. Diese Untersuchung von Benacerrafs Rekonstruktion ermöglicht es, gewisse radikale und im höchsten Grad paradoxe Schlüsse, die Benacerraf hinsichtlich der empirischen Psychologie zieht, zu beurteilen. Das wiederum erlaubt uns, gewisse den Geist betreffende Implikationen zu erörtern, die tatsächlich aus Gödels Theorem folgen kUnnten. (shrink)

SummaryJ.R. Lucas has argued that it follows from Godel's Theorem that the mind cannot be a machine or represented by any formal system. Although this notorious argument against the mechanism thesis has received considerable attention in the literature, it has not been decisively rebutted, even though mechanism is generally thought to be the only plausible view of the mind. In this paper I offer an analysis of Lucas's argument which shows that it derives its persuasiveness from a subtle confusion. In (...) particular, I examine Benacerraf's reconstruction of Lucas's argument, thereby permitting a precise re‐statement of my own analysis and reinforcement of my conclusions regarding Lucas's mistake. This examination of Benacerraf's reconstruction permits us to evaluate certain radical and highly paradoxical conclusions concerning empirical psychology which Benacerraf draws, and this, in turn, permits us to consider certain suggestive implications for the mind which may, after all, follow from Godel's Theorem.RésuméJ.R. Lucas a dérivé du théorème de Gödel la conclusion que ľesprit ne peut pas être une machine ou être représenté par un systeme formel. Bien que cet argument célèbre contre la thése du mécanisme ait éveillé un interêt considérable dans la littérature, il ňa pas été réfuté de façon décisive, même si ľopinion générate prévaut que le mécanisme est la seule conception possible de ľesprit. Dans cet article, je propose une analyse du raisonnement de Lucas qui montre que sa force persuasive provient?on;une subtile confusion. En particulier, j'examine la reconstruction, par Benacerraf, de la démonstration de Lucas, ce qui me pérmet de préciser ma propre analyse et de confirmer mes conclusions quant àľerreur de Lucas. Cet examen de la reconstruction de Benacerraf nous fournit ľoccasion de discuter certaines conclusions radicales et hautement paradoxals qu'il en tire concernant la psychologie expérimentale et nous conduit à certaines implications suggestives concernant ľesprit et qui pourraient finalement decouler du théorème de Gödel.ZusammenfassungJ.R. Lucas hat argumentiert, aus Gödels Theorem mUsse folgen, dass der menschliche Geist keine Maschine sein oder durch ein formales System dargestellt werden kann. Obschon dieses bekannte Argument gegen die mechanistische These in der Literatur beträchtliche Beachtung gefunden hat, ist es bisher noch nie eigentlich widerlegt worden, obgleich eine mechanistische Betrachtungsweise allgemein als die einzig plausible gilt. In dieser Arbeit biete ich eine Analyse von Lucas Argument an, die zeigen soil, dass seine Überzeugungskraft auf einer subtilen Konfusion beruht. Im besonderen untersuche ich Benacerrafs Rekonstruktion des Arguments, was rnirerlaubt, meine eigene Analyse in genauer Weise zu formulieren und meine Schlussfolgerung bezüglich des von Lucas gemachten Fehlers zu erharten. Diese Untersuchung von Benacerrafs Rekonstruktion ermöglicht es, gewisse radikale und im höchsten Grad paradoxe Schlüsse, die Benacerraf hinsichtlich der empirischen Psychologie zieht, zu beurteilen. Das wiederum erlaubt uns, gewisse den Geist betreffende Implikationen zu erörtern, die tatsächlich aus Gödels Theorem folgen kUnnten. (shrink)

Self-referential sentences have troubled our understanding of language for centuries. The most famous self-referential sentence is probably the Liar, a sentence that says of itself that it is false. The Liar Paradox has encouraged many philosophers to establish theories of truth that manage to give a proper account of the truth predicate in a formal language. Kripke’s Fixed Point Theory from 1975 is one famous example of such a formal theory of truth that aims at giving a plausible notion of (...) truth by allowing truth value gaps. However, not only the concept of truth gives rise to paradoxes. A syntactical treatment of epistemic notions like belief and knowledge leads to contradictions that very much resemble the Liar Paradox. Therefore, it seems to be fruitful to apply the established theories of truth to epistemic concepts. In this paper, I will present one such attempt of solving the epistemic paradoxes: I adapt Kripke’s Fixed Point Theory and interpret truth, knowledge and belief within the framework of a partial logic. Thereby I find not only the fixed point of truth but also the fixed points of knowledge and belief. In this fixed point, the predicates of truth, belief and knowledge find their definite interpretation and the paradoxes are avoided. (shrink)

Justified belief is a core concept in epistemology and there has been an increasing interest in its logic over the last years. While many logical investigations consider justified belief as an operator, in this paper, we propose a logic for justified belief in which the relevant notion is treated as a predicate instead. Although this gives rise to the possibility of liar-like paradoxes, a predicate treatment allows for a rich and highly expressive framework, which lives up to the universal ambitions (...) of investigating epistemological concepts. We start with a base theory for justified belief, and then systematically present putative additional axioms for justified belief. We provide an overview of consistency results when the additional principles are added to the base theory, and discuss their philosophical plausibility. (shrink)

This article shows that there is a liar-like paradox that arises for rational credence that relies only on very weak logical and credal principles. The paradox depends on a weak rational reflection principle, logical principles governing conjunction, and principles governing the relationship between rational credence and proof. To respond to this paradox, we must either reject even very weak rational reflection principles or reject some highly plausible logical or credal principle.

kk states that knowing entails knowing that one knows, and K¬K states that not knowing entails knowing that one does not know. In light of the arguments against kk and K¬K⁠, one might consider modally qualified variants of those principles. According to weak kk, knowing entails the possibility of knowing that one knows. And according to weakK¬K⁠, not knowing entails the possibility of knowing that one does not know. This paper shows that weak kk and weakK¬K are much stronger than (...) they initially appear. Jointly, they entail kk and K¬K⁠. And they are susceptible to variants of the standard arguments against kk and K¬K⁠. This has interesting implications for the debate on positive introspection and for deeper issues concerning the structure and limits of knowability. (shrink)

After introducing Fitch’s paradox of knowability and the knower paradox, the paper critically discusses the dialetheist unified solution to both problems that Beall and Priest have proposed. It is first argued that the dialetheist approach to the knower paradox can withstand the main objections against it, these being that the approach entails an understanding of negation that is intolerably weak and that it commits dialetheists to jointly accept and reject the same thing. The lesson of the knower paradox, according to (...) dialetheism, is that human knowledge is inconsistent. The paper also argues that this inconsistency has not been shown by dialetheists to be wide enough in its scope to justify their approach to Fitch’s problem. The connection between the two problems is superficial and therefore the proposed unified solution fails. (shrink)

Evidence is drawn together to connect sources of inconsistency that Frege discerned in his foundations for arithmetic with the origins of the paradox derived by Russell in "Basic Laws" I and then with antinomies, paradoxes, contradictions, riddles associated with modal and intensional logics. Examined are: Frege's efforts to grasp logical objects; the philosophical arguments that compelled Russell to adopt a description theory of names and a eliminative theory of descriptions; the resurfacing of issues surrounding reference, descriptions, identity, substitutivity, paradox in (...) the debates concerning modal and intensional logics; the development of the New Theory of Reference. I consider this to be the philosophical ground upon which the debates regarding that theory should take place. (shrink)

Tarski's Undefinability of Truth Theorem comes in two versions: that no consistent theory which interprets Robinson's Arithmetic (Q) can prove all instances of the T-Scheme and hence define truth; and that no such theory, if sound, can even express truth. In this note, I prove corresponding limitative results for validity. While Peano Arithmetic already has the resources to define a predicate expressing logical validity, as Jeff Ketland has recently pointed out (2012, Validity as a primitive. Analysis 72: 421-30), no theory (...) which interprets Q closed under the standard structural rules can define nor express validity, on pain of triviality. The results put pressure on the widespread view that there is an asymmetry between truth and validity, viz. that while the former cannot be defined within the language, the latter can. I argue that Vann McGee's and Hartry Field's arguments for the asymmetry view are problematic. (shrink)

Logical orthodoxy has it that classical first-order logic, or some extension thereof, provides the right extension of the logical consequence relation. However, together with naïve but intuitive principles about semantic notions such as truth, denotation, satisfaction, and possibly validity and other naïve logical properties, classical logic quickly leads to inconsistency, and indeed triviality. At least since the publication of Kripke’s Outline of a theory of truth , an increasingly popular diagnosis has been to restore consistency, or at least non-triviality, by (...) restricting some classical rules. Our modest aim in this note is to briefly introduce the main strands of the current debate on paradox and logical revision, and point to some of the potential challenges revisionary approaches might face, with reference to the nine contributions to the present volume.For a recent introduction to non-classical theories of truth and other semantic notions, see the excellent Beall a .. (shrink)

Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of this paper (...) is to respond to Field’s objections and to point to a coherent notion of validity which underwrites a coherent reading of Beall and Murzi’s principles: grounded validity. The notion, first introduced by Nicolai and Rossi, is a generalisation of Kripke’s notion of grounded truth, and yields an irreflexive logic. While we do not advocate the adoption of a substructural logic, we take the notion of naïve validity to be a legitimate semantic notion that points to genuine expressive limitations of fully structural revisionary approaches. (shrink)

It is often argued that fully structural theories of truth and related notions are incapable of expressing a nonstratified notion of defectiveness. We argue that recently much-discussed non-contractive theories suffer from the same expressive limitation, provided they identify the defective sentences with the sentences that yield triviality if they are assumed to satisfy structural contraction.

The Knower Paradox has had a brief but eventful history, and principles of epistemic closure (which say that a subject automatically knows any proposition she knows to be materially implied, or logically entailed, by a proposition she already knows) have been the subject of tremendous debate in epistemic logic and epistemology more generally, especially because the fate of standard arguments for and against skepticism seems to turn on the fate of closure. As far as I can tell, however, no one (...) working in either area has emphasized the result I emphasize in this paper: the Knower Paradox just falsifies even the most widely accepted general principles of epistemic closure. After establishing that result, I discuss five of its more important consequences. (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)

We consider a language containing partial predicates for subjective knowability and truth. For this language, inductive hierarchy rules are proposed which build up the extension and anti-extension of these partial predicates in stages. The logical interaction between the extension of the truth predicate and the anti-extension of the knowability predicate is investigated.

The epistemic paradox of 'belief instability' has recently received notable attention from many philosophers. Understanding this paradox is very important because belief is a central notion of psychologically motivated semantic theories in philosophy, linguistics, and cognitive science, and this paradox poses serious problems for these theories. In this dissertation I criticize previous proposals and offer a new proposal, which I call a 'revision theory of belief'. ;My revision theory of belief is in many respects an application of Gupta's and Belnap's (...) revision theory of truth, which is proposed to deal with the Liar paradox. They argue that truth is a circular notion because Tarski biconditionals provide circular, partial definitions of truth. And this circularity of truth is the source of the Liar paradox. I offer a similar proposal for handling the paradox of belief instability. In particular, I argue that our notion of belief involved in the paradox of belief instability is circular, and that is why this paradox arises. ;If the notion of belief involved in the paradox is circular, we have to employ a hypothetical evaluation of the belief predicate, and if we do so through a revision process, we can avoid the contradiction which seems to be generated by some paradoxical belief sentences. But it is not easy to show that our notion of belief is circular. Especially, there is nothing like Tarski biconditionals in the case of belief. Nonetheless, I show in this dissertation that there is a certain schema, which I call the B-schema, whose instances can be taken as circular, partial definitions of a notion of belief, and it is that notion of belief which is involved in the paradox of belief instability. In this dissertation I also show that the revision approach can be extended for handling the Knower paradox. I argue that the Knower paradox arises because our notion of knowledge involved in the paradox is circular. (shrink)

The article states that the Knower paradox exposes the circularity of the conceptualization of knowledge. The article provides an explanation of the Knower paradox for the purpose of demonstrating how the paradox arises. A modification to the concept of knowledge is presented to solve the paradox and structure knowledge.

Patrick Grim advances arguments meant to show that the doctrine of divine omniscience—the classical doctrine according to which God knows all truths—is false. In particular, we here have in mind to focus on two such arguments: the set theoretic argument and the semantic argument. These arguments due to Grim run parallel to, respectively, familiar paradoxes in set theory and naive truth theory. It is beyond the purview of this article to adjudicate whether or not these are successful arguments against the (...) classical doctrine of omniscience. What we are here interested in is a way in which these arguments can be generalized. In particular, we show how generalizations of those arguments can target, explicitly, alternatives to the classical doctrine of omniscience, including what we here call 'restricted omniscience' and 'open future open theism'. As a corollary, considerations of Grim-style arguments do not support these alternatives to the classical doctrine of omniscience over the classical doctrine. We conclude that what is paradoxical is not the classical doctrine of omniscience just as such; rather, what is paradoxical is a core commitment shared by the classical doctrine and its more modest alternatives, namely, the thesis that God is a perfectly logical reasoner. (shrink)

It is epistemological orthodoxy that the object of propositional knowledge is the truth of propositions. This traditional view is based on what I call the ‘KT-schema’, viz, ‘S knows that p, iff, S knows that “p” is true’. The purpose of this paper is to reject the KT-schema. By showing the paradoxical upshot of the KT-schema and providing counterexamples to the KT-schema, this paper argues that ‘knowing that p’ is more than ‘knowing that “p” is true’. Consequently, we shall rethink (...) the object problem of propositional knowledge – if knowing that p is not merely knowing that ‘p’ is true, then what is indeed the object of propositional knowledge? I will also attempt to solve this problem by proposing a complementary answer: knowing that p requires at least knowing the truth of p, plus, understanding the content of p. (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)

Although the notion of common or mutual belief plays a crucial role in game theory, economics and social philosophy, no thoroughly representational account of it has yet been developed. In this paper, I propose two desiderata for such an account, namely, that it take into account the possibility of inconsistent data without portraying the human mind as logically and mathematically omniscient. I then propose a definition of mutual belief which meets these criteria. This account takes seriously the existence of computational (...) limitations. Finally, I point out that the epistemic logic (or theory) needed to make the definition work is subject to the Kaplan/Montague Paradox of the Knower. I argue that this is not a defect of the account, and I discuss briefly the bearing of recent work on the paradox of the Liar upon this problem. (shrink)

This essay contains material which will hopefully be of interest not only to philosophers, but also to those social scientists whose research concerns the analysis of communication, verbal or non-verbal. Although most of the topics taken up here are central to issues in the philosophy of language, they are, in my opinion, indistinguishable from topics in descriptive social psychology. The essay aims to provide a conceptual framework within which various key aspects of communication can be described, and it presents a (...) formal language, using techniques from modern modal logic, in which such descriptions can themselves be formulated. It is my hope that this framework, or parts of it, might also turn out to be of value in future empirical work. There are, therefore, essentially two sides to this essay: the development of a framework of concepts, and the construction of a formal language rich enough to express the elements of which that framework is composed. The first of these two takes its point of departure in the statement quoted from Lewis (1972) on the page preceding this introduction. The distinction drawn there by Lewis is accepted as a working hypothesis, and in one sense this essay may be seen as an attempt to explore some of the consequences of that hypothesis. (shrink)

The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is factive, and that we can use logical/mathematical reasoning to extend our knowledge via very weak single-premise closure principles. I argue that classical logic, not any of these epistemic principles, is the culprit. I develop a consistent theory validating (...) all these principles by combining Hartry Field's theory of truth with a modal enrichment developed for a different purpose by Michael Caie. The only casualty is classical logic: the theory avoids paradox by using a weaker-than-classical K3 logic. I then assess the philosophical merits of this approach. I argue that, unlike the traditional semantic paradoxes involving extensional notions like truth, its plausibility depends on the way in which sentences are referred to--whether in natural languages via direct sentential reference, or in mathematical theories via indirect sentential reference by Gödel coding. In particular, I argue that from the perspective of natural language, my non-classical treatment of knowledge as a predicate is plausible, while from the perspective of mathematical theories, its plausibility depends on unresolved questions about the limits of our idealized deductive capacities. (shrink)

The logical omniscience problem, whereby standard models of epistemic logic treat an agent as believing all consequences of its beliefs and knowing whatever follows from what else it knows, has received plenty of attention in the literature. But many attempted solutions focus on a fairly narrow specification of the problem: avoiding the closure of belief or knowledge, rather than showing how the proposed logic is of philosophical interest or of use in computer science or artificial intelligence. Sentential epistemic logics, as (...) opposed to traditional possible worlds approaches, do not suffer from the problems of logical omniscience but are often thought to lack interesting epistemic properties. In this paper, I focus on the case of rule-based agents, which play a key role in contemporary AI research but have been neglected in the logical literature. I develop a framework for modelling monotonic, nonmonotonic and introspective rule-based reasoners which have limited cognitive resources and prove that the resulting models have a number of interesting properties. An axiomatization of the resulting logic is given, together with completeness, decidability and complexity results. (shrink)

This article contains an overview of the main problems, themes and theories relating to the semantic paradoxes in the twentieth century. From this historical overview I tentatively draw some lessons about the way in which the field may evolve in the next decade.

The difficulties with formalizing the intensional notions necessity, knowability and omniscience, and rational belief are well-known. If these notions are formalized as predicates applying to (codes of) sentences, then from apparently weak and uncontroversial logical principles governing these notions, outright contradictions can be derived. Tense logic is one of the best understood and most extensively developed branches of intensional logic. In tense logic, the temporal notions future and past are formalized as sentential operators rather than as predicates. The question therefore (...) arises whether the notions that are investigated in tense logic can be consistently formalized as predicates. In this paper it is shown that the answer to this question is negative. The logical treatment of the notions of future and past as predicates gives rise to paradoxes due the specific interplay between both notions. For this reason, the tense paradoxes that will be presented are not identical to the paradoxes referred to above. (shrink)