Constructivist epistemology posits that all truths are knowable. One might ask to what extent constructivism is compatible with naturalized epistemology and knowledge obtained from inference-making using successful scientific theories. If quantum theory correctly describes the structure of the physical world, and if quantum theoretic inferences about which measurement outcomes will be observed with unit probability count as knowledge, we demonstrate that constructivism cannot be upheld. Our derivation is compatible with both intuitionistic and quantum propositional logic. This result is implied by (...) the Frauchiger-Renner theorem, though it is of independent importance as well. (shrink)

This extended abstract summarises some of the basic points of AI ethics and policy as they present themselves now. We explain the notion of AI, the main ethical issues in AI and the main policy aims and means.

Marton ( 2019 ) argues that that it follows from the standard antirealist theory of truth, which states that truth and possible knowledge are equivalent, that knowing possibilities is equivalent to the possibility of knowing, whereas these notions should be distinct. Moreover, he argues that the usual strategies of dealing with the Church–Fitch paradox of knowability are either not able to deal with his modal-epistemic collapse result or they only do so at a high price. Against this, I argue that (...) Marton’s paper does not present any seriously novel challenge to anti-realism not already found in the Church–Fitch result. Furthermore, Edgington ( 1985 ) reformulated antirealist theory of truth can deal with his modal-epistemic collapse argument at no cost. (shrink)

The principle of sufficient reason threatens modal collapse. Some have suggested that by appealing to the indefinite extensibility of contingent truth, the threat is neutralized. This paper argues that this is not so. If the indefinite extensibility of contingent truth is developed in an analogous fashion to the most promising models of the indefinite extensibility of the concept set, plausible principles permit the derivation of modal collapse.

Famously, the Church–Fitch paradox of knowability is a deductive argument from the thesis that all truths are knowable to the conclusion that all truths are known. In this argument, knowability is analyzed in terms of having the possibility to know. Several philosophers have objected to this analysis, because it turns knowability into a nonfactive notion. In addition, they claim that, if the knowability thesis is reformulated with the help of factive concepts of knowability, then omniscience can be avoided. In this (...) article we will look closer at two proposals along these lines :557–568, 1985; Fuhrmann in Synthese 191:1627–1648, 2014a), because there are formal models available for each. It will be argued that, even though the problem of omniscience can be averted, the problem of possible or potential omniscience cannot: there is an accessible state at which all truths are known. Furthermore, it will be argued that possible or potential omniscience is a price that is too high to pay. Others who have proposed to solve the paradox with the help of a factive concept of knowability should take note :53–73, 2010; Spencer in Mind 126:466–497, 2017). (shrink)

We outline an intuitionistic view of knowledge which maintains the original Brouwer–Heyting–Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification. We argue that on this view coreflectionA→KAis valid and the factivity of knowledge holds in the formKA→ ¬¬A‘known propositions cannot be false’.We show that the traditional form of factivityKA→Ais a distinctly classical principle which, liketertium non datur A∨ ¬A, does not hold intuitionistically, but, along with the whole of (...) classical epistemic logic, is intuitionistically valid in its double negation form ¬¬(KA¬A).Within the intuitionistic epistemic framework the knowability paradox is resolved in a constructive manner. We argue that this paradox is the result of an unwarranted classical reading of constructive principles and as such does not have the consequences for constructive foundations traditionally attributed it. (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)

Epistemic theories of truth, such as those presumed to be typical for anti-realism, can be characterised as saying that what is true can be known in principle: p → ◊Kp. However, with statements of the form “p & ¬Kp”, a contradiction arises if they are both true and known. Analysis of the nature of the paradox shows that such statements refute epistemic theories of truth only if the the anti-realist motivation for epistemic theories of truth is not taken into account. (...) The motivation in a link of understandability ans meaningful- ness suggests to change the above principle and to restrict the theory to logically simple sentences, in which case the paradox does not arise. This suggestion also allows to see the deep philosophical problems for anti-realism those counterexamples are pointing at. (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)

After introducing semantic anti-realism and the paradox of knowability, the paper offers a reconstruction of the anti-realist argument from understanding. The proposed reconstruction validates an unrestricted principle to the effect that truth requires the existence of a certain kind of “demonstration”. The paper shows that that principle fails to imply the problematic instances of the original unrestricted feasible-knowability principle but that the overall view underlying the new principle still has unrestricted epistemic consequences. Appealing precisely to the paradox of knowability, the (...) paper also argues, against the BHK semantics, for the non- constructive character of the demonstrations envisaged by semantic anti-realism, and contends that, in such setting, one of the most natural arguments for a broadly intuitionist revision of classical logic loses all its force.Tras presentar el anti-realismo semántico y la paradoja de la cognoscibilidad, el artículo ofrece una reconstrucción del argumento anti-realista basado en la comprensión. La reconstrucción que se propone valida un principio irrestricto, del que se sigue que la verdad requiere la existencia de un determinado tipo de “demostración”. El artículo muestra que este principio no implica las instancias problemáticas del original principio irrestricto de la cognoscibilidad realizable, y que la concepción general que subyace al nuevo principio todavía tiene consecuencias epistémicas irrestrictas. Apelando precisamente a la paradoja de la cognoscibilidad, el artículo argumenta además, en contra de la semántica BHK, a favor del carácter no constructivo de las demostraciones que contempla el anti-realismo semántico, y defiende que, en ese marco, uno de los argumentos más naturales a favor de una revisión a grandes rasgos intuicionista de la lógica clásica pierde toda su fuerza. (shrink)

I. An argument is presented for the conclusion that the hypothesis that no one will ever decide a given proposition is intuitionistically inconsistent. II. A distinction between sentences and statements blocks a similar argument for the stronger conclusion that the hypothesis that I have not yet decided a given proposition is intuitionistically inconsistent, but does not block the original argument. III. A distinction between empirical and mathematical negation might block the original argument, and empirical negation might be modelled on Nelson''s (...) strong negation, but only on intuitionistically unacceptable assumptions. IV. Intuitionists may have to accept the original argument, and therefore be committed to a dubious view of time on which there cannot be merely inductive evidence for statements about the infinite future. (shrink)

In this paper, we provide a semantic analysis of the well-known knowability paradox stemming from the Church–Fitch observation that the meaningful knowability principle /all truths are knowable/, when expressed as a bi-modal principle F --> K♢F, yields an unacceptable omniscience property /all truths are known/. We offer an alternative semantic proof of this fact independent of the Church–Fitch argument. This shows that the knowability paradox is not intrinsically related to the Church–Fitch proof, nor to the Moore sentence upon which it (...) relies, but rather to the knowability principle itself. Further, we show that, from a verifiability perspective, the knowability principle fails in the classical logic setting because it is missing the explicit incorporation of a hidden assumption of /stability/: ‘the proposition in question does not change from true to false in the process of discovery.’ Once stability is taken into account, the resulting /stable knowability principle/ and its nuanced versions more accurately represent verification-based knowability and do not yield omniscience. (shrink)

Donald Davidson brought to our attention deviant causal chains as a problem for causal theories of action. Consider Davidson's own example: " A climber might want to rid himself of the weight and danger of holding another man on a rope, and he might know that by loosening his hold on the rope he could rid himself of the weight and danger. This belief and want might so unnerve him as to cause him to loosen his hold, and yet it (...) might be the case that he never chose to loosen his hold, nor did he do it intentionally. " The loosening of the hold on the rope is an action, according to a simple causal theory of action earlier developed by Davidson , if we can describe it in a way that renders it intentional under that description. Is there a way of describing the climber's loosening of his hold of the rope as intentional? Did he intentionally loosen his hold? Well, his loosening his hold is both rationalized and explained causally with reference to the beliefs and desires held by the climber. But there seems to be something wrong with the causal chain.Is there a simple fix? Could we not say that even if the loosening of the hold on the rope is caused by a desire held by the climber it is not caused by any proximate desire of the climber ? Or, to give a new twist to this well-known argument, could we not say that the loosening of the hold on the rope is not caused in a way that is responsive to the desire? This latter idea has recently been suggested by Markus E. Schlosser as a simple solution to the …. (shrink)

In _Truth and Objectivity_, Crispin Wright argues that the notion of superassertibility affords the antirealist (with respect to a given range of discourse) a viable alternative to the realist’s more robust notion of truth. Toward this end, he endeavors to prove that a superassertibility predicate can satisfy the traditional equivalence schema: it is true that P iff P. (Wright takes satisfaction of this schema to be a criterion of adequacy for any viable truth predicate.) In this paper, I will argue (...) that, not only does Wright’s attempt to prove that a superassertibility predicate satisfies the equivalence schema fail, an examination of its failure reveals a dilemma for the antirealist who would adopt superassertibility as a model of truth. (shrink)

Michael Dummett’s realism debate is a semantic dispute about the kind of truth conditions had by a given class of sentences. According to his semantic realist, the truth conditions are potentially verification-transcendent in that they may obtain (or not) despite the fact that we may be forever unable to recognize whether they obtain. According to Dummett’s semantic anti-realist, the truth conditions are of a different sort. Essentially, for the anti-realist, that the truth conditions obtain (whenever they do) is a matter (...) that is always recognizable by us in principle. On this view, truth cannot outrun all possible human knowledge. Unsurprisingly, the outcome of the debate is sometimes said to hinge on whether all truths are knowable.1 More carefully the point of contention is the following.. (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)

Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models . We show that Fitting models for Justification Logic naturally encode modular models and can be regarded as convenient pre-models of the (...) former. (shrink)

The present work is motivated by two questions. (1) What should an intuitionistic epistemic logic look like? (2) How should one interpret the knowledge operator in a Kripke-model for it? In what follows we outline an answer to (2) and give a model-theoretic definition of the operator K. This will shed some light also on (1), since it turns out that K, defined as we do, fulfills the properties of a necessity operator for a normal modal logic. The interest of (...) our construction also lies in a better insight into the intuitionistic solution to Fitch's paradox, which is discussed in the third section. In particular we examine, in the light of our definition, De Vidi and Solomon's proposal of formulating the verification thesis as Φ → ¬¬KΦ. We show, as our main result, that this definition excapes the paradox, though it is validated only under restrictive conditions on the models. (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)

I argue that the standard anti-realist argument from manifestability to intuitionistic logic is either unsound or invalid. Strong interpretations of the manifestability of understanding are falsified by the existence of blindspots for knowledge. Weaker interpretations are either too weak, or gerrymandered and ad hoc. Either way, they present no threat to classical logic.

In this paper, I focus on some intuitionistic solutions to the Paradox of Knowability. I first consider the relatively little discussed idea that, on an intuitionistic interpretation of the conditional, there is no paradox to start with. I show that this proposal only works if proofs are thought of as tokens, and suggest that anti-realists themselves have good reasons for thinking of proofs as types. In then turn to more standard intuitionistic treatments, as proposed by Timothy Williamson and, most recently, (...) Michael Dummett. Intuitionists can either point out the intuitionistc invalidity of the inference from the claim that all truths are knowable to the insane conclusion that all truths are known, or they can outright demur from asserting the existence of forever-unknown truths, perhaps questioning—as Dummett now suggests—the applicability of the Principle of Bivalence to a certain class of empirical statements. I argue that if intuitionists reject strict finitism—the view that all truths are knowable by beings just like us—the prospects for either proposal look bleak. (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)

I will discuss those epistemic accounts of truth that say, roughly and at least, that the truth is what all ideally rational people, with maximum evidence, would in the long run come to believe. They have been defended on the grounds that they can solve sceptical problems that traditional accounts cannot surmount, and that they explain the value of truth in ways that traditional (and particularly, minimal) accounts cannot; they have been attacked on the grounds that they collapse into idealism. (...) I show that all these claims are mistaken. The system of statements accepted by an adherent of an epistemic account who also accepts the equivalence scheme is the same as that accepted by an adherent of a traditional account who also accepts a remarkably strong thesis of epistemic optimism. The singling out of one rather than another claim within this system as defining 'true' cannot make as much difference as to imply idealism or refute scepticism. However, it can make all the difference when it is a matter of explaining the value of truth. For a crucial point in such explanation depends on what can be soundly substituted for what in intensional contexts; above all those governed by such verbs as 'know', 'hope', 'believe', 'value'. That is, it depends on what expressions are intensionally equivalent. And one point of singling out one formulation as definitional can be to settle just this. But though some epistemic theorists have deemed ability to explain the value of truth a merit of their account (and lack of this ability a fatal defect of traditional accounts, of minimal accounts in particular), it turns out that minimal accounts of 'true' fit a sound account of our valuing of truth in a way that epistemic accounts do not. In the course of this argument I rebut related positions: e.g. Dummett's, that minimal definitions fail because they cannot account for the point of having a notion of truth, and that an account of the practice of assertion is what would fill this lacuna. I argue to the contrary that if the point of the notion could not be explained on the basis of a traditional definition, it could not be explained at all. (shrink)

Verificationism is the doctrine stating that all truths are knowable. Fitch’s knowability paradox, however, demonstrates that the verificationist claim (all truths are knowable) leads to “epistemic collapse”, i.e., everything which is true is (actually) known. The aim of this article is to investigate whether or not verificationism can be saved from the effects of Fitch’s paradox. First, I will examine different strategies used to resolve Fitch’s paradox, such as Edgington’s and Kvanvig’s modal strategy, Dummett’s and Tennant’s restriction strategy, Beall’s paraconsistent (...) strategy, and Williamson’s intuitionistic strategy. After considering these strategies I will propose a solution that remains within the scope of classical logic. This solution is based on the introduction of a truth operator. Though this solution avoids the shortcomings of the non-standard (intuitionistic) solution, it has its own problems. Truth, on this approach, is not closed under the rule of conjunction-introduction. I will conclude that verificationism is defensible, though only at a rather great expense. (shrink)

I have argued that without an adequate solution to the knower paradox Fitch's Proof is- or at least ought to be-ineffective against verificationism. Of course, in order to follow my suggestion verificationists must maintain that there is currently no adequate solution to the knower paradox, and that the paradox continues to provide prima facie evidence of inconsistent knowledge. By my lights, any glimpse at the literature on paradoxes offers strong support for the first thesis, and any honest, non-dogmatic reflection on (...) the knower paradox provides strong support for the second. Whether verificationists want to go the route I've suggested is not for me todecide. As in the previous section my aim has been that of defending the mere viability of verificationism in the face of what many, many philosophers have taken to be its death-knell, namely Fitch's Proof. But, as the final objection makes clear, showing that verificationism can live in the face of Fitch's Proof is one thing; showing that it should live is another project. If nothing else, I hope that this papershows that verificationists still have a project to pursue; Fitch's Proof, contrary to popular opinion, need not bury verificationism.13. (shrink)

Husserl endorses ideal verificationism, the claim that there is a necessary correlation between truth and the ideal possibility of experience. This puts him in the company of semantic anti-realists like Dummett, Tennant, and Wright who endorse the knowability thesis that all truths are knowable. Unfortunately, there is a simple, seductive, and troubling argument due to Alonzo Church and Frederic Fitch that the knowability thesis collapses into the omniscience thesis that all truths are known. Phenomenologists should be worried. I assess the (...) damage by surveying responses that may be open to Husserl. In particular, I explore whether Husserl ought to have adopted intuitionistic logic and motivate a restriction of ideal verificationism on phenomenological grounds. (shrink)

European Journal of Philosophy, Volume 30, Issue 3, Page 1010-1027, September 2022.

In this paper, I propose a solution to Fitch’s paradox that draws on ideas from Edgington (Mind 94:557–568, 1985), Rabinowicz and Segerberg (1994) and Kvanvig (Noûs 29:481–500, 1995). After examining the solution strategies of these authors, I will defend the view, initially proposed by Kvanvig, according to which the derivation of the paradox violates a crucial constraint on quantifier instantiation. The constraint states that non-rigid expressions cannot be substituted into modal positions. We will introduce a slightly modified syntax and semantics (...) that will help underline this point. Furthermore, we will prove results about the consistency of verificationism and the principle of non-omniscience by model-theoretical means. Namely, we prove there exists a model of these principles, and delineate certain constraints they pose on a structure in which they are true. (shrink)

It has been shown that the concept of ad hocness is ambiguous when applied to natural science. Here, it is established that a similar ambiguity is present also when the concept is applied in a philosophical debate. Neil Tennant’s proposal for solving Fitch’s paradox has been accused for being ad hoc several times, and he has presented several defenses. In this paper, it is established that ad hocness is never defined, although each author uses different notions of the concept. And (...) we see that no reason to adopt a certain notion is offered. (shrink)

Poznawalność jako modalność de re: pewne rozwiązanie paradoksu Fitcha W artykule staramy się znaleźć nowe, intuicyjne rozwiązanie paradoksu Fitcha. Twierdzimy, że tradycyjne wyrażenie zasady poznawalności opiera się na błędnym rozumieniu poznawalności jako modalności de dicto. Zamiast tego proponujemy rozumieć poznawalność jako modalność de re. W artykule przedstawiamy minimalną logikę poznawalności, w której zasada poznawalności jest ważna, ale paradoks Fitcha już nie obowiązuje. Logikę charakteryzujemy semantycznie, a także poprzez podejście aksjomatyczne i tabelaryczne.

In spite of their practical importance, the connections between technology and mathematics have not received much scholarly attention. This article begins by outlining how the technology–mathematics relationship has developed, from the use of simple aide-mémoires for counting and arithmetic, via the use of mathematics in weaving, building and other trades, and the introduction of calculus to solve technological problems, to the modern use of computers to solve both technological and mathematical problems. Three important philosophical issues emerge from this historical résumé: (...) how mathematical knowledge depends on technology, the definition of the hybrid concept of a computation, and the usefulness of mathematics in technology. Each of these issues is briefly discussed, and it is shown that in order to analyze them, we need to combine tools and ideas from both the philosophy of technology and the philosophy of mathematics. In conclusion, it is argued that much more of interest can be found in the historically and philosophically unexplored terrains of the technology–mathematics relationship. (shrink)

The so-called knowability paradox results from Fitch's argument that if there are any unknown truths, then there are unknowable truths. This threatens recent versions of semantical antirealism, the central thesis of which is that truth is epistemic. When this is taken to mean that all truths are knowable, antirealism is thus committed to the conclusion that no truths are unknown. The correct antirealistic response to the paradox should be to deny that the fundamental thesis of the epistemic nature of truth (...) entails the knowability of all truths. Correctly understood, the antirealistic conditions on a proposition's truth do not require that the proposition possess a verification-procedure which, when executed under the given conditions, issues in an agent's recognition of truth, but merely that there be a verification-procedure which, under these conditions, takes the value true . The knowability paradox and the related idealism problem (that antirealism seems, but is not, committed to the necessary existence of an epistemic agent) draw attention to the fact that certain propositions, those that are about verification-procedures themselves, may under certain conditions take the value true despite their unperformability under these circumstances. Thus these propositions' procedures can only be performed when the propositions are false, and they gain the appearance of antirealistic impossibility (e.g., that there is an unknown truth). This differs from the unperformability that antirealists object to, pertaining merely to matters of execution rather than to the logical structure of the procedures themselves. The force of antirealism's notion of epistemic truth is piecemeal, rather than consisting in a blanket characterization of truth as knowable. (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)

The Knowability Paradox purports to show that the controversial but not patently absurd hypothesis that all truths are knowable entails the implausible conclusion that all truths are known. The notoriety of this argument owes to the negative light it appears to cast on the view that there can be no verification-transcendent truths. We argue that it is overly simplistic to formalize the views of contemporary verificationists like Dummett, Prawitz or Martin-Löf using the sort of propositional modal operators which are employed (...) in the original derivation of the Paradox. Instead we propose that the central tenet of verificationism is most accurately formulated as follows: if φ is true, then there exists a proof of φ Building on the work of Artemov (Bull Symb Log 7(1): 1-36, 2001), a system of explicit modal logic with proof quantifiers is introduced to reason about such statements. When the original reasoning of the Paradox is developed in this setting, we reach not a contradiction, but rather the conclusion that there must exist non-constructed proofs. This outcome is evaluated relative to the controversy between Dummett and Prawitz about proof existence and bivalence. (shrink)

Some propositions are structurally unknowable for certain agents. Let me call them ‘Moorean propositions’. The structural unknowability of Moorean propositions is normally taken to pave the way towards proving a familiar paradox from epistemic logic—the so-called ‘Knowability Paradox’, or ‘Fitch’s Paradox’—which purports to show that if all truths are knowable, then all truths are in fact known. The present paper explores how to translate Moorean statements into a probabilistic language. A successful translation should enable us to derive a version of (...) Fitch’s Paradox in a probabilistic setting. I offer a suitable schematic form for probabilistic Moorean propositions, as well as a concomitant proof of a probabilistic Knowability Paradox. Moreover, I argue that traditional candidates to play the role of probabilistic Moorean propositions will not do. In particular, we can show that violations of the so-called ‘Reflection Principle’ in probability need not yield structurally unknowable propositions. Among other things, this should lead us to question whether violating the Reflection Principle actually amounts to a clear case of epistemic irrationality, as it is often assumed. This result challenges the importance of the principle as a tool to assess both synchronic and diachronic rationality—a topic which is largely independent of Fitch’s Paradox—from a somewhat unexpected source. (shrink)

The intuitionistic conception of truth defended by Dummett, Martin Löf and Prawitz, according to which the notion of proof is conceptually prior1 to the notion of truth, is a particular version of the epistemic conception of truth. The paradox of knowability (first published by Frederic Fitch in 1963) has been described by many authors2 as an argument which threatens the epistemic, and the intuitionistic, conception of truth. In order to establish whether this is really so, one has to understand what (...) the epistemic conception of truth really is. So I shall start inpart I with a description of the matter at issue between theepistemic conception of truth and the opposite position, therealistic conception of truth. Inpart II I shall very briefly describe the paradox. Inpart III I shall try to answer the question which appears in the title of this paper: What can we learn from the paradox of knowability?. My conclusion will be that the paradox of knowability is not a refutation of the epistemic conception of truth, but helps us to better formulate (and understand) such a view. (shrink)

In an attempt to improve upon Alexander Pruss’s work (The principle of sufficient reason: A reassessment, pp. 240–248, 2006), I (Weaver, Synthese 184(3):299–317, 2012) have argued that if all purely contingent events could be caused and something like a Lewisian analysis of causation is true (per, Lewis’s, Causation as influence, reprinted in: Collins, Hall and paul. Causation and counterfactuals, 2004), then all purely contingent events have causes. I dubbed the derivation of the universality of causation the “Lewisian argument”. The Lewisian (...) argument assumed not a few controversial metaphysical theses, particularly essentialism, an incommunicable-property view of essences (per Plantinga’s, Actualism and possible worlds, reprinted in: Davidson (ed.) Essays in the metaphysics of modality, 2003), and the idea that counterfactual dependence is necessary for causation. There are, of course, substantial objections to such theses. While I think a fight against objections to the Lewisian argument can be won, I develop, in what follows, a much more intuitive argument for the universality of causation which takes as its inspiration a result from Frederic B. Fitch’s work (J Symb Logic 28(2):135–142, 1963) [with credit to who we now know was Alonzo church’s, Referee Reports on Fitch’s Definition of value, in: (Salerno (ed.), New essays on the knowability paradox, 2009)] that if all truths are such that they are knowable, then (counter-intuitively) all truths are known. The resulting Church–Fitch proof for the universality of causation is preferable to the Lewisian argument since it rests upon far weaker formal and metaphysical assumptions than those of the Lewisian argument. (shrink)

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)

Die gegenwärtig unter dem Titel ›Realismus‹ geführten Debatten in der Philosophie befinden sich nach allgemeiner Ansicht in einem Zustand größter Verwirrung, so daß es nützlich erscheint, ein wenig Ordnung in die theoretischen Optionen zu bringen bevor man für die eine oder andere Auffassung Partei ergreift. In der vorliegenden Arbeit wird dafür argumentiert, daß sich ein systematisch zusammenhängendes Zentrum dieser Debatten mit Hilfe des Begriffes der Referenz ordnen läßt. Nach der Analyse einiger klassischer Positionen soll ein Rahmen erstellt werden, innerhalb dessen (...) die Positionen eingeordnet und die zentralen Probleme fruchtbar diskutiert werden können. Zu diesem Zwecke ist es erforderlich, für die Einordnung der Positionen theoretische Kriterien zu benennen, die sich an den Problemen orientieren von denen hier argumentiert wird, das sie zentral seien. Sehr knapp ausgedrückt wird hier die Auffassung vertreten, Realismus sei als metaphysische These aufzufassen, welche eine von menschlichen epistemischen und semantischen Möglichkeiten unabhängige Existenz behauptet; in den gegenwärtigen Debatten typischerweise die Existenz einer Art von Dingen, nicht die eines individuellen Gegenstandes. Diese metaphysische These wird jedoch in der gegenwärtigen Debatte mit semantischen Argumenten untermauert, bzw. angegriffen und jene semantischen Argumente wiederum verwenden epistemische Erwägungen – die Frage betreffend, was man wissen kann und was nicht. Der Beginn der gegenwärtigen Realismusdebatten mit der soeben skizzierten zentralen Stellung semantischer Argumente ist, der hier vertretenen Auffassung zufolge, die Kritik am traditionellen Fregeschen Referenzbegriff durch Kripke und den frühen Putnam um 1970 (Kap. 2). Aus dieser neu zu bewertenden Kritik und der von den Autoren daraus entwickelten externalistischen realistischen Semantik für Artausdrücke läßt sich das erste Kriterium für eine Position in einer Realismusdebatte ableiten und klären (Kap. 3): Hält man die fragliche Art für eine natürliche Art und meint also, sie habe ihren ›Zusammenhalt‹ von Natur aus? Wenn ja, dann ist die fragliche Position eine realistische (das Kriterium ist dank des engen Zusammenhangs von Realismus und Externalismus sowohl hinreichend als auch notwendig). Hält man die Art nicht für eine natürliche Art, ist man Antirealist. Damit geht jeweils not- wendig eine bestimmte Semantik für den auf die Art referierenden Ausdruck einher. Es zeigt sich zugleich, daß es zwei Varianten des Realismus zu unterscheiden gilt, die hier als klassischer bzw. als moderater Realismus bezeichnet werden. Im folgenden (Kap. 4.1) wird argumentiert, daß der Begriff der Wahrheit nicht eigentlich der zentrale Punkt in den in Frage stehenden Realismusdebatten sein sollte, wie vielfach behauptet wurde, sondern seine Brisanz vielmehr aus zugrundeliegenden semantischen Fragen gewinnt die also in der weiteren Aufdeckung der Kriterien die zentrale Rolle spielen müssen. In der Analyse der Kritik an der in Kap. 3 entwickelten Position des ›klassischen Realismus‹ läßt sich ein zweites unterscheidendes Kriterium für Positionen in Realismusdebatten entwickeln: begriffliche Relativität. Nach der Ablehnung von Putnams Auffassungen zu diesem Thema, werden zwei Varianten vorgeschlagen, starke und schwache begriffliche Relativität (Kap. 4.2). Die Anwendung dieses Merkmals zwingt, so wird argumentiert, in einigen Fällen zu einer Kombination einer realistischen Auffassung von Arten als natürliche mit begrifflicher Relativität. Diese mittlere Position zwischen klassischem Realismus und Antirealismus wird als »moderater Realismus« bezeichnet. Der im ersten Kriterium verwendete Begriff der natürlichen Art, und damit die Optionen in den Debatten, wird schließlich mittels einer Dis- kussion des Phänomens der Vagheit noch weiter verdeutlicht (Kap. 4.3). Ab- schließend werden die drei Optionen zusammenfassend dargestellt und ein Versuch unternommen, ihre Fruchtbarkeit für diverse Realismusdebatten anzudeuten. (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.

The Knowability Paradox is a logical argument that, starting from the plainly innocent assumption that every true proposition is knowable, reaches the strong conclusion that every true proposition is known; i.e. if there are unknown truths, there are unknowable truths. The paradox has been considered a problem for every theory assuming the Knowability Principle, according to which all truths are knowable and, in particular, for semantic anti-realist theories. A well known criticism to the Knowability Paradox is the so called restriction (...) strategy. It bounds the scope of the universal quantification in (KP) to a set of formulas whose logical form avoids the paradoxical conclusion. Specifically, Tennant suggests to restrict the quantifier in (KP) to propositions whose knowledge is provably inconsistent. He calls them Anti-Cartesian propositions and distinguished them in three kinds. In this paper we will not be concerned with the soundness of the restriction proposal and the criticisms it has received. Rather, we are interested in analyzing the proposed distinction. We argue that Tennant’s distinction is problematic because it is not completely clear, it is not grounded on an adequate logical analysis, and it is incomplete. We suggest an alternative distinction, and we give some reasons for accepting it: it results logically grounded and more complete than Tennant’s one, inclusive of it and independent from non-epistemic notions. (shrink)

The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...) yields a general soundness and completeness result for a variety of (positive) substructural logics with respect to multimodal Kripke frames with binary accessibility relations. In addition, an epistemic interpretation of pair models is provided. (shrink)