- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Switch to: References
Citations of:
Add citations
You must login to add citations.
|
|
|
This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) |
|
|
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 (...) |
|
|
This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) |
|
|
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 (...) |
|
|
This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We evaluate the resulting (...) |
|
|
|
|
|
The purpose of this paper is to show how the paradox of knowability loses its paradoxical character when we correctly interpret one of its premises. It is then shown how this new interpretation can be used to logically define analytical and synthetic truths. In this way, the paradox of knowability is traced back to the harmless affirmation that, in order to know every proposition with certainty, there must be no propositions whose truth is synthetic. |
|
|
In virtue of Fitch-Church proof, also known as the knowability paradox, we are able to prove that if everything is knowable, then everything is known. I present two ‘onto-theological’ versions of the proof, one concerning collective omniscience and another concerning omnificence. I claim these arguments suggest new ways of exploring the intersection between logical and ontological givens that is a grounding theme of religious thought. What is more, they are good examples of what I call semi-paradoxes: apparently sound arguments whose (...) |
|
|
|
|
|
|
|
|
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 (...) |
|
|
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 (...) |
|
|
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 (...) |
|
|
It is widely believed that for all p, or at least for all entertainable p, it is knowable a priori that (p iff actually p). It is even more widely believed that for all such p, it is knowable that (p iff actually p). There is a simple argument against these claims from four antecedently plausible premises. |
|
|
A minimal constraint on normative reasons seems to be that if some fact is a reason for an agent to φ (act, believe, or feel), the agent could come to know that fact. This constraint is threatened by a well-known type of counterexamples. Self-effacing reasons are facts that intuitively constitute reasons for an agent to φ, but that if they were to become known, they would cease to be reasons for that agent. The challenge posed by self-effacing reasons bears important (...) |
|
|
The higher order approach to consciousness attempts to build a theory of consciousness from the insight that a conscious state is one that the subject is conscious of. There is a well-known objection1 to the higher order approach, a version of which is fatal. Proponents of the higher order approach have realized that the objection is significant. They have dealt with it via what David Rosenthal calls a “retreat” (2005b, p. 179) but that retreat fails to solve the problem. |
|
|
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 (...) |
|
|
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 (...) |
|
|
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 (...) |
|
|
Is logic normative for belief? A standard approach to answering this question has been to investigate bridge principles relating claims of logical consequence to norms for belief. Although the question is naturally an epistemic one, bridge principles have typically been investigated in isolation from epistemic debates over the correct norms for belief. In this paper we tackle the question of whether logic is normative for belief by proposing a Kripkean model theory accounting for the interaction between logical, doxastic, epistemic and (...) |
|
|
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 (...) |
|
|
If proofs are nothing more than truth makers, then there is no force in the standard argument against classical logic (there is no guarantee that there is either a proof forA or a proof fornot A). The standard intuitionistic conception of a mathematical proof is stronger: there are epistemic constraints on proofs. But the idea that proofs must be recognizable as such by us, with our actual capacities, is incompatible with the standard intuitionistic explanations of the meanings of the logical (...) |
|
|
Many philosophical discussions hinge on the concept of knowability. For example, there is a blooming literature on the so-called paradox of knowability. How to understand this notion, however? In this paper, we examine several approaches to the notion: the naive approach to take knowability as the possibility to know, the counterfactual approach endorsed by Edgington (1985) and Schlöder (2019) , approaches based on the notion of a capacity or ability to know (Fara 2010, Humphreys 2011), and finally, approaches that make (...) |
|
|
|
|
|
The concept of being in a position to know is an increasingly popular member of the epistemologist’s toolkit. Some have used it as a basis for an account of propositional justification. Others, following Timothy Williamson, have used it as a vehicle for articulating interesting luminosity and anti-luminosity theses. It is tempting to think that while knowledge itself does not obey any closure principles, being in a position to know does. For example, if one knows both p and ‘If p then (...) |
|
|
|
|
|
I aim to stand the received view about verificationism on its head. It is commonly thought that verificationism is a powerful philosophical tool, which we could deploy very effectively if only it weren’t so hopelessly implausible. On the contrary, I argue. Verificationism - if properly construed - may well be true. But its philosophical applications are chimerical. |
|
|
A number of philosophers deny that contradictions can be believed. Are they correct? In this note, I show that even in quite weak logics, on pain of inconsistency, if there are false beliefs, either there are propositions which are true but unbelievable or contradictions are believable. Since the antecedent clearly holds, I offer some considerations in favor of the latter disjunct. Objections and variants of the main argument are considered. |
|
|
The knowability paradox is an instance of a remarkable reasoning pattern (actually, a pair of such patterns), in the course of which an occurrence of the possibility operator, the diamond, disappears. In the present paper, it is pointed out how the unwanted disappearance of the diamond may be escaped. The emphasis is not laid on a discussion of the contentious premise of the knowability paradox, namely that all truths are possibly known, but on how from this assumption the conclusion is (...) |
|
|
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 (...) |
|
|
In discussions of Fitch’s paradox, it is usually assumed without further argument that knowledge is factive, that if a subject knows that p, then p is true. It is argued that this common assumption is not as well-founded as it should be, and that there in fact are certain reasons to be suspicious of the unrestricted version of the factiveness claim. There are two kinds of reason for this suspicion. One is that unrestricted factiveness leads to paradoxes and unexpected results, (...) |
|
|
Epistemic relativism comes in many forms, which have been much discussed in the last decade or so in analytic epistemology. My goal is to defend a version of epistemic relativism that sources the relativity in the metaphysics of epistemic properties and relations, most saliently knowledge. I contrast it with other relativist theses. I argue that the sort of metaphysical relativism about knowledge I favor does not threaten the objectivity of the epistemological domain. |
|
|
This paper shows that the knowability paradox isn’t a paradox because the derivation of the paradox is faulty. This is explained by showing that the K operator employed in generating the paradox is used equivocally and when the equivocation is eliminated the derivation fails. |
|
|
Anti-realism is plagued by Fitch’s paradox: the remarkable result that if one accepts that all truths are knowable, minimal assumptions about the nature of knowledge entail that every truth is known. Dorothy Edgington suggests to address this problem by understanding p is knowable to be a counterfactual claim, but her proposal must contend with a forceful objection by Timothy Williamson. I revisit Edgington’s basic idea and find that Williamson’s objection is obviated by a refined understanding of counterfactual knowability that is (...) |
|
|
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 (...) |
|
|
|
|
|
I present two arguments that aim to establish logical limits on what we can know. More specifically, I argue for two results concerning what we can know about questions that we cannot answer. I also discuss a line of thought, found in the writings of Pierce and of Rescher, in support of the idea that we cannot identify specific scientific questions that will never be answered. |
|
|
The well-known argument of Frederick Fitch, purporting to show that verificationism (= Truth implies knowability) entails the absurd conclusion that all the truths are known, has been disarmed by Dorothy Edgington''s suggestion that the proper formulation of verificationism presupposes that we make use of anactuality operator along with the standardly invoked epistemic and modal operators. According to her interpretation of verificationism, the actual truth of a proposition implies that it could be known in some possible situation that the proposition holds (...) |
|
|
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 (...) |
|
|
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. |
|
|
|
|
|
|
|
|
Rationality, Symbolism and EvolutionThe Nature of Rationality By Robert Nozick Princeton University Press, 1993. Pp. xvi + 226. ISBN 0–691–07424–0. £19.95No Nonsense RightsThe Realm of Rights By Judith Jarvis Thomson Harvard University Press, 1990. Pp. viii + 383. ISBN 0–674–74948–0. £27.95.In Search of the Common MindThe Common Mind: An Essay on Psychology, Society and Politics By Philip Pettit Oxford University Press, 1993. Pp. xvi + 365. ISBN 0–19–507818–7. £30.In elucidation of the common mind: a reply to Raimo TuomelaRealism, Pure and (...) |
|
|
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 (...) |
|
|
Knowing that some state of affairs—expressed by a proposition, p—is possible, and the possibility that one knows that p have, quite obviously, different meanings. This paper focuses only on their logical relationship—whether they entail one another. I will argue for the following three claims: the basic verificationist principles of anti-realism, at least in their simplest forms, and in conjunction with some other, intuitively reasonable principles, do entail that these two concepts are substitutionally equivalent. Our pre-theoretical expectations question this outcome, as (...) |
|
|
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 (...) |
|
|
The formula A (it is noncontingent whether A) is true at a point in a Kripke model just in case all points accessible to that point agree on the truth-value of A. We can think of -based modal logic as a special case of what we call the general modal logic of agreement, interpreted with the aid of models supporting a ternary relation, S, say, with OA (which we write instead of A to emphasize the generalization involved) true at a (...) |
|
|
The best defense of the doctrine of the Incarnation implies that traditional Christianity has a special stake in the knowability paradox, a stake not shared by other theistic perspectives or by non-traditional accounts of the Incarnation. Perhaps, this stake is not even shared by antirealism, the view most obviously threatened by the paradox. I argue for these points, concluding that these results put traditional Christianity at a disadvantage compared to other viewpoints, and I close with some comments about the extent (...) |
|
|
The aim of the present paper is to introduce a system, where the epistemic state of an agent is represented truth-functionally. In order to obtain this system, we propose a four-valued logic, that we call the logic of rational agent, where the fact of knowing something is formalized at the level of valuations, without the explicit use of epistemic knowledge operator. On the basis of this semantics, a sound and complete system with two distinct truth-functional negations is provided. These negations (...) |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-zf4z4 uwo