The paradox of knowability is a logical result suggesting that, necessarily, if all truths are knowable in principle then all truths are in fact known. The contrapositive of the result says, necessarily, if in fact there is an unknown truth, then there is a truth that couldn't possibly be known. More specifically, if p is a truth that is never known then it is unknowable that p is a truth that is never known. The proof has been used (...) to argue against versions of anti-realism committed to the thesis that all truths are knowable. For clearly there are unknown truths; individually and collectively we are non-omniscient. So, by the main result, it is false that all truths are knowable. The result has also been used to draw more general lessons about the limits of human knowledge. Still others have taken the proof to be fallacious, since it collapses an apparently moderate brand of anti-realism into an obviously implausible and naive idealism. (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)

There is an argument (first presented by Fitch), which tries to show by formal means that the anti-realistic thesis that every truth might possibly be known, is equivalent to the unacceptable thesis that every truth is actually known (at some time in the past, present or future). First, the argument is presented and some proposals for the solution of Fitch's Paradox are briefly discussed. Then, by using Wehmeier's modal logic with subjunctive marks (S5*), it is shown how the derivation (...) can be blocked if one respects adequately the distinction between the indicative and the subjunctive mood. Essentially, this proposal amounts to the one by Edgington which was formulated with the help of the actuality-operator. Finally it is shown how the criticisms by Williamson against Edgington can be answered by the formulation of a new conception of possible knowledge that \alpha (thereby \alpha being in the indicative mood and thus referring to the actual world). This conception is based on the concept of same de re knowledge in different possible worlds. (shrink)

It is already known that Fitch’s knowability paradox can be solved by typing knowledge within ramified theory of types. One of the aims of this paper is to provide a greater defence of the approach against recently raised criticism. My second goal is to make a sufficient support for an assumption which is needed for this particular application of typing knowledge but which is not inherent to ramified theory of types as such.

According to the “paradox of knowability”, the moderate thesis that all truths are knowable – ... – implies the seemingly preposterous claim that all truths are actually known – ... –, i.e. that we are omniscient. If Fitch’s argument were successful, it would amount to a knockdown rebuttal of anti-realism by reductio. In the paper I defend the nowadays rather neglected strategy of intuitionistic revisionism. Employing only intuitionistically acceptable rules of inference, the conclusion of the argument is, (...) firstly, not ..., but .... Secondly, even if there were an intuitionistically acceptable proof of ..., i.e. an argument based on a different set of premises, the conclusion would have to be interpreted in accordance with Heyting semantics, and read in this way, the apparently preposterous conclusion would be true on conceptual grounds and acceptable even from a realist point of view. Fitch’s argument, understood as an immanent critique of verificationism, fails because in a debate dealing with the justification of deduction there can be no interpreted formal language on which realists and anti-realists could agree. Thus, the underlying problem is that a satisfactory solution to the “problem of shared content” is not available. I conclude with some remarks on the proposals by J. Salerno and N. Tennant to reconstruct certain arguments in the debate on anti-realism by establishing aporias. (shrink)

Fitch’s Paradox shows that if every truth is knowable, then every truth is known. Standard diagnoses identify the factivity/negative infallibility of the knowledge operator and Moorean contradictions as the root source of the result. This paper generalises Fitch’s result to show that such diagnoses are mistaken. In place of factivity/negative infallibility, the weaker assumption of any ‘level-bridging principle’ suffices. A consequence is that the result holds for some logics in which the “Moorean contradiction” commonly thought to underlie (...) the result is in fact consistent. This generalised result improves on the current understanding of Fitch’s result and widens the range of modalities of philosophical interest to which the result might be fruitfully applied. Along the way, we also consider a semantic explanation for Fitch’s result which answers a challenge raised by Kvanvig. (shrink)

Recently predominant forms of anti-realism claim that all truths are knowable. We argue that in a logical explanation of the notion of knowability more attention should be paid to its epistemic part. Especially very useful in such explanation are notions of group knowledge. In this paper we examine mainly the notion of distributed knowability and show its effectiveness in the case of Fitch’s paradox. Proposed approach raised some philosophical questions to which we try to find responses. (...) We also show how we can combine our point of view on Fitch’s paradox with the others. Next we give an answer to the question: is distributed knowability factive? At the end, we present some details concerning a construction of anti-realist modal epistemic logic. (shrink)

A variation of Fitch’s paradox is given, where no special rules of inference are assumed, only axioms. These axioms follow from the familiar assumptions which involve rules of inference. We show (by constructing a model) that by allowing that possibly the knower doesn’t know his own soundness (while still requiring he be sound), Fitch’s paradox is avoided. Provided one is willing to admit that sound knowers may be ignorant of their own soundness, this might offer a (...) way out of the paradox. (shrink)

Fitch’s paradox shows, from fairly innocent-looking assumptions, that if there are any unknown truths, then there are unknowable truths. This is generally thought to deliver a blow to antirealist positions that imply that all truths are knowable. The present paper argues that a probabilistic version of antirealism escapes Fitch’s result while still offering all that antirealists should care for.

1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed by Hoshi (2009) : TPAL (Temporal Public Announcement Logic), TAPAL (Temporal Arbitrary Public Announcement Logic) and TPAL+P ! (Temporal Public Announcement Logic with Labeled Past Operators). We will show how Hoshi stated the Verificationist Thesis in the language of TAPAL and analyze his argument on (...) why this version of it is immune from paradox. (3) Edgington (1985) offered an interpretation of the Verificationist Thesis that blocks Fitch’s paradox and we will propose a way to formulate it in a TAPAL‑based lan‑ guage. The language we will use is a combination of TAPAL and TPAL+P ! with an Indefinite (Unlabeled) Past Operator (TAPAL+P !+P). Using indexed satisfi‑ ability relations (as introduced in (Wang 2010 ; 2011)) we will offer a prospec ‑ tive semantics for this language. We will investigate whether the tentative re‑ formulation of Edgington’s Verificationist Thesis in TAPAL+P !+P is free from paradox and adequate to Edgington’s ideas on how „all truths are knowable“ should be interpreted. (shrink)

I argue that if one applies the standard intuitionistic criterion for truth to Kp in (p) (p&Kp), one avoids Fitch’s paradox, but with disastrous consequences having to do with the expressive resources of one’s semantics. On the other hand, if one conceives of Kp as a function recording what happens in the actual world, one gets a double benefit. First, the semantics become tolerably expressive. Second, and because of the same move, the paradox can be blocked. (The (...) solution I provide bares resemblances with the ones proposed by Edgington 1985, 2009 and Kvanvig 1995, 2006, and especially with this latter as it has been reformulated by Brogaard and Salerno 2007). Finally, I shown that in some models for temporal intuitionistic logic (Kapantaïs 2009), and which are extensions of Beth models, (i) the knowability principle can be assumed to be valid, (ii) the paradox is blocked in the above mentioned way, and also (iii) a sentence saying that we will come to know something we now ignore becomes true and known in some worlds. (shrink)

Fitch´s problem and the "knowability paradox" involve a couple of argumentations that are to each other in the same relation as Cantor´s uncollected multitudes theorem and Russell´s paradox. The authors exhibit the logical nature of the theorem and of the paradox and show their philosophical import, both from an anti-realist and from a realist perspective. In particular, the authors discuss an anti-realist solution to Fitch´s problem and provide an anti-realist interpretation of the problematic statement "It is (...) knowable that r is known and yet unknown". Then, it is argued that the knowability paradox has a solution even if one adopts a realist point of view. The authors provide a solution that takes into account the ambiguity of the term 'knowability' by deploying a temporal possible world semantics for epistemic modalities. (shrink)

A number of authors have noted that the key steps in Fitch’s argument are not intuitionistically valid, and some have proposed this as a reason for an anti-realist to accept intuitionistic logic (e.g. Williamson 1982, 1988). This line of reasoning rests upon two assumptions. The first is that the premises of Fitch’s argument make sense from an anti-realist point of view – and in particular, that an anti-realist can and should maintain the principle that all truths are knowable. (...) The second is that we have some independent reason for thinking that classical logic is not appropriate in this area. This paper explores these two assumptions in the context of Michael Dummett’s version of anti-realism, with particular reference to the argument from indefinite extensibility developed at various points in Dummett’s writings (e.g. Dummett 1991 Ch. 24). -/- Dummett argues that certain concepts, the indefinitely extensible concepts, are such that we cannot form a clear and determinate conception of all the objects that fall under them. The most familiar examples of indefinitely extensible concepts are mathematical. Dummett discusses the concepts ordinal number, real number, and natural number, which are indefinitely extensible because any conception that one might form of their complete extension can be extended to a more inclusive conception (as, for example, in Cantor’s proof of the non-denumerability of the set of real numbers). This paper argues that the concept of a truth is indefinitely extensible. This gives a Dummettian anti-realist an independent motivation for rejecting the classical understanding of the quantifiers in this area. At the same time, however, it places in doubt the admissibility of the knowability principle, which seems to involve quantification over the “totality” of truths. As Dummett is at pains to point out (1991: 316), some sentences that purport to quantify over the extension of an indefinitely extensible concept plainly have a truth-value (we can truly say, for example, that every ordinal number has a successor, even though when we say that we are not quantifying over the set of all ordinals). But is the knowability principle one of these sentences? (shrink)

Recently, there have been several attempts to use the kind of reasoning found in Fitch’s knowability paradox to argue for rather sweeping metaphysical claims: Jago (2020) uses such reasoning to argue that every truth has a truthmaker, and Loss (2021) does so to argue that every fact is grounded. This strategy has been criticized by Trueman (2021), who points out that the same kind of reasoning could be used to establish entirely opposite conclusions. In response, Jago (2021) (...) has offered a revised argument that is meant to avoid Trueman’s objection. I argue that this revised argument is in fact undermined by an objection quite similar to Trueman’s. (shrink)

To save antirealism from Fitch's Paradox, Tennant has proposed to restrict the scope of the antirealist principle that all truths are knowable to truths that can be consistently assumed to be known. Although the proposal solves the paradox, it has been accused of doing so in an ad hoc manner. This paper argues that, first, for all Tennant has shown, the accusation is just; second, a restriction of the antirealist principle apparently weaker than Tennat's yields a non-ad hoc (...) solution to Fitch's Paradox; and third, the alternative is only apparently weaker than, and even provably equivalent to, Tennant's. It is thereby shown that the latter is not ad hoc after all. (shrink)

Fitch’s paradox of knowability is an apparently valid reasoning from the assumption (typical of semantic anti-realism) that every true proposition is knowable to the unacceptable conclusion that every true proposition is known. The paper develops a critical dialectic wrt one of the best motivated solutions to the paradox which have been proposed on behalf of semantic anti-realism—namely, the intuitionistic solution. The solution consists, on the one hand, in accepting the intuitionistically valid part of Fitch’s reasoning (...) while, on the other hand, exploiting the characteristic weakness of intuitionistic logic in order to preserve the consistency of such acceptance with the denial of omniscience. It is first remarked how the solution still commits one to acceptance of modal claims which are unwarranted even by the lights of standard intuitionistic semantics. A novel form of the paradox is then introduced, which focuses on infallibility rather than omniscience and derives, from semantic anti-realism and a highly plausible constraint on knowledge, that every believed proposition is not untrue. Because of the logical form of this conclusion, an analogue of the intuitionistic solution for the novel form of the paradox would require drawing the characteristic intuitionistic distinctions wrt decidable propositions, which cannot be done. Semantic anti-realism still intuitionistically entails the unacceptable conclusion that every believed (decidable) proposition is true. (shrink)

It is often claimed that anti-realism is a form of transcendental idealism or that Kant is an anti-realist. It is also often claimed that anti-realists are committed to some form of knowability principle and that such principles have problematic consequences. It is therefore natural to ask whether Kant is so committed, and if he is, whether this leads him into difficulties. I argue that a standard reading of Kant does indeed have him committed to the claim that all empirical (...) truths are knowable and that this claim entails that there is no empirical truth that is never known. I extend the result to a priori truths and draw some general philosophical lessons from this extension. However, I then propose a re-examination of Kant’s notion of experience according to which he carefully eschews any commitment to empirical knowability. Finally I respond to a remaining problem that stems from a weaker, justified believability principle. (shrink)

In a recent paper, Alexander argues that relaxing the requirement that sound knowers know their own soundness might provide a solution to Fitch’s paradox and introduces a suitable axiomatic system where the paradox is avoided. In this paper an analysis of this solution is proposed according to which the effective move for solving the paradox depends on the axiomatic treatment of the ontic modality rather than the limitations imposed on the epistemic one. It is then shown (...) that, once the ontic modality is standardly introduced, the paradox still follows and, in addition, some puzzling consequences arise. (shrink)

(T5) ϕ → ◊Kϕ |-- ϕ → Kϕ where ◊ is possibility, and ‘Kϕ’ is to be read as ϕ is known by someone at some time. Let us call the premise the knowability principle and the conclusion near-omniscience.2 Here is a way of formulating Fitch’s proof of (T5). Suppose the knowability principle is true. Then the following instance of it is true: (p & ~Kp) → ◊K(p & ~Kp). But the consequent is false, it is not (...) possible to know p & ~Kp. That is because the supposition that it is known is provably inconsistent.3 The inconsistency requires us to deny the possibility of the supposition, yielding ~◊K(p & ~Kp). This, together with the above instance of the knowability principle, entails ~(p & ~Kp), which is (classically) equivalent to p → Kp. Since p occurs in none of our undischarged assumptions, we may generalize to get near-omniscience, ϕ → Kϕ. QED. (shrink)

I argue that Fitch’s ‘paradox of knowability’ presents no special problem for the epistemic anti-realist who believes that reality is epistemically accessible to us. For the claim which is the target of the argument (If p then it is possible to know p) is not a commitment of anti-realism. The epistemic anti-realist’s commitment is (or should be) to the recognizability of the states of affairs which render true propositions true, not to the knowability of the propositions (...) themselves. A formal apparatus for discussing the recognizability of states of affairs is offered, and other prima facie similar approaches to the paradox argument are reviewed. (shrink)

Addresses the question of why we find Fitch's knowability 'paradox' argument surprising.

Reformulation strategies for solving Fitch’s paradox of knowability date back to Edgington. Their core assumption is that the formula \, from which the paradox originates, does not correctly express the intended meaning of the verification thesis, which should concern possible knowledge of actual truths, and therefore the contradiction does not represent a logical refutation of verificationism. Supporters of these solutions claim that can be reformulated in a way that blocks the derivation of the paradox. Unfortunately, (...) these reformulation proposals come with other problems, on both the logical and the philosophical side. We claim that in order to make the reformulation idea consistent and adequate one should analyze the paradox from the point of view of a quantified modal language. An approach in this line was proposed by, among others, Kvanvig but was not fully developed in its technical details. Here we approach the paradox by means of a first order hybrid modal logic, a tool that strikes us as more adequate to express transworld reference and the rigidification needed to consistently express this idea. The outcome of our analysis is ambivalent. Given a first order formula we are able to express the fact that it is knowable in a way which is both consistent and adequate. However, one must give up the possibility of formulating as a substitution free schema of the kind \. We propose that one may instead formulate by means of a recursive translation of the initial formula, being aware that many alternative translations are possible. (shrink)

Anti-realist epistemic conceptions of truth imply what is called the knowability principle: All truths are possibly known. The principle can be formalized in a bimodal propositional logic, with an alethic modality ${\diamondsuit}$ and an epistemic modality ${\mathcal{K}}$, by the axiom scheme ${A \supset \diamondsuit \mathcal{K} A}$. The use of classical logic and minimal assumptions about the two modalities lead to the paradoxical conclusion that all truths are known, ${A \supset \mathcal{K} A}$. A Gentzen-style reconstruction of the Church–Fitch paradox (...) is presented following a labelled approach to sequent calculi. First, a cut-free system for classical bimodal logic is introduced as the logical basis for the Church–Fitch paradox and the relationships between ${\mathcal {K}}$ and ${\diamondsuit}$ are taken into account. Afterwards, by exploiting the structural properties of the system, in particular cut elimination, the semantic frame conditions that correspond to KP are determined and added in the form of a block of nonlogical inference rules. Within this new system for classical and intuitionistic “knowability logic”, it is possible to give a satisfactory cut-free reconstruction of the Church–Fitch derivation and to confirm that OP is only classically derivable, but neither intuitionistically derivable nor intuitionistically admissible. Finally, it is shown that in classical knowability logic, the Church–Fitch derivation is nothing else but a fallacy and does not represent a real threat for anti-realism. (shrink)

Fitch's argument purports to show that if all truths are knowable then all truths are known. The argument exploits the fact that the knowledge predicate or operator is untyped and may thus apply to sentences containing itself. This article outlines a response to Fitch's argument based on the idea that knowledge is typed. The first part of the article outlines the philosophical motivation for the view, comparing it to the motivation behind typing truth. The second, formal part presents a logic (...) in which knowledge is typed and demonstrates that it allows nonlogical truths to be knowable yet unknown. (shrink)

An interesting recent reply to the Paradox of Knowability is Neil Tennant's proposal: to restrict the anti-realist's knowability thesis to truths the knowing of which is logically consistent. However, this proposal is egregiously ad hoc unless motivated by something other than the wish to save anti-realism from embarrassment. We examine Tennant's argument that his restriction is motivated by parallel considerations in cases that are neutral with respect to debates about realism. We conclude that the cases are not (...) neutral, nor the considerations parallel. The failure of Tennant's argument provides an opportunity to reflect on, among other things, the nature of Moore's paradox, and the role of idealization in doxastic logic. (shrink)

A well-known proof by Alonzo Church, first published in 1963 by Frederic Fitch, purports to show that all truths are knowable only if all truths are known. This is the Paradox of Knowability. If we take it, quite plausibly, that we are not omniscient, the proof appears to undermine metaphysical doctrines committed to the knowability of truth, such as semantic anti-realism. Since its rediscovery by Hart and McGinn (1976), many solutions to the paradox have been offered. (...) In this article, we present a new proof to the effect that not all truths are knowable, which rests on different assumptions from those of the original argument published by Fitch. We highlight the general form of the knowability paradoxes, and argue that anti-realists who favour either an hierarchical or an intuitionistic approach to the Paradox of Knowability are confronted with a dilemma: they must either give up anti-realism or opt for a highly controversial interpretation of the principle that every truth is knowable. (shrink)

Saul Kripke is one of the most original and creative philosophers writing today. His work has had a tremendous impact on the direction that philosophy has taken in the last thirty years and continues to dominate some of its most fundamental aspects. Given Kripke's importance it is perhaps surprising that there is no introduction to his philosophy available to the general student. This book fills that gap. As much of Kripke's work is highly technical, the book's central aim is to (...) provide clear exposition of Kripke's ideas in a form that is understandable to a beginning readership as well as a commentary on them that more advanced students will find useful. The book begins with a discussion of Kripke's early work on modal logic, which provides the foundation for many of his later philosophical contributions, before examining in detail Kripke's central ideas and arguments contained in Naming and Necessity. In further chapters, Kripke's work on semantic paradoxes and his theory of truth are outlined as well as his controversial interpretation of Wittgenstein's famous private language argument. Kripke's ideas are situated alongside those of his precursors and some of the most important and interesting responses to them are explored. The reader is thus able to appreciate the path-breaking nature of Kripke's contributions, how they have challenged fundamentally traditional interpretations, and how they have sparked some of the most important philosophical debates of recent years. (shrink)

A logical argument known as Fitch’s Paradox of Knowability, starting from the assumption that every truth is knowable, leads to the consequence that every truth is also actually known. Then, given the ordinary fact that some true propositions are not actually known, it concludes, by modus tollens, that there are unknowable truths. The main literature on the topic has been focusing on the threat the argument poses to the so called semantic anti-realist theories, which aim to epistemically (...) characterize the notion of truth; according to those theories, every true proposition must be knowable. But the paradox seems to be a problem also for epistemology and philosophy of science: the conclusion of the paradox – the claim that there are unknowable truths – seems to seriously narrow our epistemic possibilities and to constitute a limit for knowledge. This fact contrasts with certain views in philosophy of science according to which every scientific truth is in principle knowable and, at least at an ideal level, a perfected, “all-embracing”, omniscient science is possible. The main strategies proposed in order to avoid the paradoxical conclusion, given their effectiveness, are able to address only semantic problems, not epistemological ones. However, recently Bernard Linsky (2008) proposed a solution to the paradox that seems to be effective also for the epistemological problems. In particular, he suggested a possible way to block the argument employing a type-distinction of knowledge. In the present paper, firstly, we introduce the paradox and the threat it represents for a certain views in epistemology and philosophy of science; secondly, we show Linsky’s solution; thirdly, we argue that this solution, in order to be effective, needs a certain kind of justification, and we suggest a way of justifying it in the scientific field; fourthly, we show that the effectiveness of our proposal depends on the degree of reductionism adopted in science: it is available only if we do not adopt a complete reductionism. (shrink)

Saul Kripke is one of the most original and creative philosophers writing today. His work has had a tremendous impact on the direction that philosophy has taken in the last thirty years and continues to dominate some of its most fundamental aspects. Given Kripke's importance it is perhaps surprising that there is no introduction to his philosophy available to the general student. This book fills that gap. As much of Kripke's work is highly technical, the book's central aim is to (...) provide clear exposition of Kripke's ideas in a form that is understandable to a beginning readership as well as a commentary on them that more advanced students will find useful. The book begins with a discussion of Kripke's early work on modal logic, which provides the foundation for many of his later philosophical contributions, before examining in detail Kripke's central ideas and arguments contained in Naming and Necessity. In further chapters, Kripke's work on semantic paradoxes and his theory of truth are outlined as well as his controversial interpretation of Wittgenstein's famous private language argument. Kripke's ideas are situated alongside those of his precursors and some of the most important and interesting responses to them are explored. The reader is thus able to appreciate the path-breaking nature of Kripke's contributions, how they have challenged fundamentally traditional interpretations, and how they have sparked some of the most important philosophical debates of recent years. (shrink)

Alvin Plantinga has recently argued that there are certain propositions which are necessary but known only a posteriori. If Plantinga is correct then he has shown that the traditional view that all necessary truths are knowable a priori is false. Plantinga's examples deserve special attention because they differ in important respects from other proposed examples of necessary a posteriori truths. His examples depend on a certain conception of possible worlds and in particular on his conception of the actual world. It (...) will be argued that these examples of necessary a posteriori propositions can be understood in two different ways. According to one way of understanding Plantinga, the propositions turn out to be contingent a posteriori truths, and according to the other way they turn out to be necessary a priori truths. The plausibility of Plantinga's position is due to a confusion between the two possible interpretations. (shrink)

Since its disc overy by Fitch, the paradox of knowability has been a thorn in the anti‐realist's side. Recently both Dummett and Tennant have sought to relieve the anti‐realist by restricting the applicability of the knowability principle – the principle that all truths are knowable – which has been viewed as both a cardinal doctrine of anti‐realism and the assumption for reductio of Fitch's argument. In this paper it is argued that the paradox of knowability (...) is a peculiarly acute manifestation of a syndrome affecting anti‐realism, against which Dummett's and Tennant's manoeuvres are not finally efficacious. The anti‐realist can only cope with the syndrome by being much clearer about her notion of knowability. In fact, she'll have to offer an account which relativises the notion of knowability both to the world at which knowability is assessed and to the content of the proposition to which it is applied. This is not, however, merely an ad hoc manoeuvre to counter the problematic syndrome; rather it is just what we should expect from the anti‐realist's intuitive use of the notion. A preliminary investigation indicates that there is no way of providing a general, systematic explanation of such a notion of knowability and thus an inherent restriction on the principle of knowability – but one differing from those offered by either Dummett or Tennant – is developed. (shrink)

The paradox of knowability and the debate about it are shortly presented. Some assumptions which appear more or less tacitly involved in its discussion are made explicit. They are embedded and integrated in a Russellian framework, where a formal paradox, very similar to the Russell-Myhill paradox, is derived. Its solution is provided within a Russellian formal logic introduced by A. Church. It follows that knowledge should be typed. Some relevant aspects of the typing of knowledge are (...) pointed out. (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)

Since its disc overy by Fitch, the paradox of knowability has been a thorn in the anti-realist's side. Recently both Dummett and Tennant have sought to relieve the anti-realist by restricting the applicability of the knowability principle -- the principle that all truths are knowable -- which has been viewed as both a cardinal doctrine of anti-realism and the assumption for reductio of Fitch's argument. In this paper it is argued that the paradox of knowability (...) is a peculiarly acute manifestation of a syndrome affecting anti-realism, against which Dummett's and Tennant's manoeuvres are not finally efficacious. The anti-realist can only cope with the syndrome by being much clearer about her notion of knowability. In fact, she'll have to offer an account which relativises the notion of knowability both to the world at which knowability is assessed and to the content of the proposition to which it is applied. This is not, however, merely an ad hoc manoeuvre to counter the problematic syndrome; rather it is just what we should expect from the anti-realist's intuitive use of the notion. A preliminary investigation indicates that there is no way of providing a general, systematic explanation of such a notion of knowability and thus an inherent restriction on the principle of knowability -- but one differing from those offered by either Dummett or Tennant -- is developed. (shrink)

The paper attempts to give a solution to the Fitch's paradox though the strategy of the reformulation of the paradox in temporal logic, and a notion of knowledge which is a kind of ceteris paribus modality. An analogous solution has been offered in a different context to solve the problem of metaphysical determinism.

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 presents a generalized form of Fitch's paradox of knowability, with the aim of showing that the questions it raises are not peculiar to the topics of knowledge, belief, or other epistemic notions. Drawing lessons from the generalization, the paper offers a solution to Fitch's paradox that exploits an understanding of modal talk about what could be known in terms of capacities to know. It is argued that, in rare cases, one might have the capacity to (...) know that p even if it is metaphysically impossible for anyone to know that p, and that recognizing this fact provides the resources to solve Fitch's paradox. (shrink)

Jago and Loss have recently used variations on Fitch's paradox to argue that every truth has a truthmaker, and that every fact is grounded. In this paper, I show that Fitch's paradox can also be adapted to prove the exact opposite conclusions: no truth has a truthmaker, and no fact is grounded. All of these arguments are as dialectically effective as each other, and so they are all in bad company.

The paradox of knowability, derived from a proof by Frederic Fitch in 1963, is one of the deepest paradoxes concerning the nature of truth. Jonathan Kvanvig argues that the depth of the paradox has not been adequately appreciated. It has long been known that the paradox threatens antirealist conceptions of truth according to which truth is epistemic. If truth is epistemic, what better way to express that idea than to maintain that all truths are knowable? In (...) the face of the paradox, however, such a characterization threatens to undermine antirealism. If Fitch's proof is valid, then one can be an antirealist of this sort only by endorsing the conclusion of the proof that all truths are known.Realists about truth have tended to stand on the sidelines and cheer the difficulties faced by their opponents from Fitch's proof. Kvanvig argues that this perspective is wholly unwarranted. He argues that there are two problems raised by the paradox, one that threatens antirealism about truth and the other that threatens everybody's view about truth, realist or antirealist. The problem facing antirealism has had a number of proposed solutions over the past 40 years, and the results have not been especially promising with regard to the first problem. The second problem has not even been acknowledged, however, and the proposals regarding the first problem are irrelevant to the second problem. This book thus provides a thorough investigation of the literature on the paradox, and also proposes a solution to the deeper of the two problems raised by Fitch's proof. It provides a complete picture of the paradoxicality that results from Fitch's proof, and presents a solution to the paradox that claims to address both problems raised by the original proof. (shrink)

Fitch's knowability paradox shows that for each unknown truth there is also an unknowable truth, a result which has been thought both odd in itself and at odds with views which impose epistemic constraints on truth and/or meaningfulness. Here a solution is considered which has received little attention in the debate but which carries prima facie plausibility. The decidability solution is to accept that Fitch sentences are unknowably true but deny the significance of this on the grounds that (...) Fitch sentences are nevertheless decidable. The decidability solution is particularly attractive for those whose primary concern is an epistemic constraint on meaningfulness (‘verificationists’). For those whose main concern is truth (‘anti-realists’), the situation is more complex: Melia takes the solution to exonerate anti-realism completely; Williamson sees it as completely irrelevant. The truth lies between these two extremes: there is one broad anti-realist commitment to which the solution does not apply, but there is also one, the “fundamental tenet” of anti-realism according to Dummett, to which it does. (shrink)

We can find in the passages that set out the Master Argument a precursor to the paradox of knowability. That paradox shows that if all truths are knowable, all truths are known. Similarly, Berkeley might be read as proposing that if all sensible objects are (distinctly) conceivable, then all sensible objects are conceived.

This article shows that although Fitch’s paradox has been extremely widely studied, up to now no correct formalization of the problem has been proposed. The purpose of this article is to present the paradox front the viewpoint of combining logics. It is argued that the correct minimal logic to state the paradox is composed by a fusion of modal frames, and a fusion of modal languages and logics.

Résumé — Toute vérité est-elle connaissable en principe ? Une réponse négative à cette question suit d’un argument logique dû à F. Fitch, voisin du paradoxe de Moore, et connu sous le nom de paradoxe de la connaissabilité. Le paradoxe de Fitch constitue un obstacle à la conception antiréaliste de la vérité et, plus généralement, semble-t-il, à l’idéal positiviste d’après lequel toute vérité devrait nous être accessible en principe. Dans cet article, j’examine différentes tentatives pour préserver le principe selon lequel (...) toute vérité est connaissable, chacune inspirée d’une forme propre d’antiréalisme . Ces différentes approches sont comparées à une conception réaliste du positivisme, évoquée récemment par Burgess, qui postulerait seulement que toute vérité nécessaire est connaissable. Selon cette conception, certaines vérités contingentes sont effectivement inconnaissables, mais l’accessibilité de principe des vérités nécessaires demeure suffisante pour garantir la confiance positiviste dans la science.— Are all truths knowable ? A negative answer to this question follows from a logical argument related to the Moore Paradox and due to F. Fitch, also known as Fitch’s Knowability Paradox. Fitch’s paradox is widely considered to be an obstacle to the antirealist conception of truth, but even for a realist, it appears to threaten the positivist faith in the accessibility of all truths to our minds. In this paper, I first review different strategies to circumvent the paradox, each of them inspired by a different form of antirealism . I then compare these approaches to a realist version of positivism, discussed recently by Burgess, which would only postulate that all necessary truths are knowable. On that view, some contingent truths are indeed unknowable, but the idea that all necessary truths are within our reach remains sufficient to maintain the positivist faith in scientific knowledge. (shrink)

A dynamic epistemic logic is presented in which the single agent can reason about his knowledge stages before and after announcements. The logic is generated by reinterpreting multi agent private announcements in a single agent environment. It is shown that a knowability principle is valid for such logic: any initially true ϕ can be known after a certain number of announcements.

Tr(A) iff ‡K(A) To remedy the error, Dummett’s proposes the following inductive characterization of truth: (i) Tr(A) iff ‡K(A), if A is a basic statement; (ii) Tr(A and B) iff Tr(A) & Tr(B); (iii) Tr(A or B) iff Tr(A) v Tr(B); (iv) Tr(if A, then B) iff (Tr(A) Æ Tr(B)); (v) Tr(it is not the case that A) iff ¬Tr(A), where the logical constant on the right-hand side of each biconditional clause is understood as subject to the laws of intuitionistic (...) logic.2 The only other principle in play in Dummett’s discussion is (+) A iff Tr(A), which, as he notes, the anti-realist is likely to accept. (shrink)