- 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: Citations
References in:
Add references
You must login to add references.
|
|
|
I propose a new semantics for intuitionistic logic, which is a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov and the condition-oriented semantics of Kripke. The new semantics shows how there might be a common semantical underpinning for intuitionistic and classical logic and how intuitionistic logic might thereby be tied to a realist conception of the relationship between language and the world. |
|
|
A well-known open problem in epistemic logic is to give a syntactic characterization of the successful formulas. Semantically, a formula is successful if and only if for any pointed model where it is true, it remains true after deleting all points where the formula was false. The classic example of a formula that is not successful in this sense is the “Moore sentence” p ∧ ¬BOXp, read as “p is true but you do not know p.” Not only is the (...) |
|
|
|
|
|
|
|
|
It is received wisdom that the skeptic has a devastating line of argument in the following. You probably think, he says, that you know that you have hands. But if you knew that you had hands, then you would also know that you were not a brain in a vat, a brain suspended in fluid with electrodes feeding you perfectly coordinated impressions that are generated by a supercomputer, of a world that looks and moves just like this one. You would (...) |
|
|
Information is a notion of wide use and great intuitive appeal, and hence, not surprisingly, different formal paradigms claim part of it, from Shannon channel theory to Kolmogorov complexity. Information is also a widely used term in logic, but a similar diversity repeats itself: there are several competing logical accounts of this notion, ranging from semantic to syntactic. In this chapter, we will discuss three major logical accounts of information. |
|
|
|
|
|
|
|
|
Harman and Lewis credit Kripke with having formulated a puzzle that seems to show that knowledge entails dogmatism. The puzzle is widely regarded as having been solved. In this paper we argue that this standard solution, in its various versions, addresses only a limited aspect of the puzzle and holds no promise of fully resolving it. Analyzing this failure and the proper rendering of the puzzle, it is suggested that it poses a significant challenge for the defense of epistemic closure. |
|
|
Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ... |
|
|
|
|
|
|
|
|
Multi-modal versions of propositional logics S5 or S4—commonly accepted as logics of knowledge—are capable of describing static states of knowledge but they do not reflect how the knowledge changes after communications among agents. In the present paper (part of broader research on logics of knowledge and communications) we define extensions of the logic S5 which can deal with public communications. The logics have natural semantics. We prove some completeness, decidability and interpretability results and formulate a general method that solves certain (...) |
|
|
|
|
|
|
|
|
The dominant response to this problem of the criterion focuses on the alleged requirement that we need to know a belief source is reliable in order for us to acquire knowledge by that source. Let us call this requirement, “The KR principle”. |
|
|
|
|
|
|
|
|
According to the Dogmatism Puzzle, knowledge breeds dogmatism: if a subject knows a proposition h, then she is justified in disregarding any future evidence against h, for she knows that such evidence is misleading. The standard, widely accepted, solution to the puzzle appeals to the defeasibility of knowledge. I argue that the defeat solution leaves intact a residual dogmatist puzzle. Solving this puzzle requires proponents of defeat to deny a plausible principle that the original puzzle relies on called Entitlement, a (...) |
|
|
I present a formal theory of the logic and aboutness of imagination. Aboutness is understood as the relation between meaningful items and what they concern, as per Yablo and Fine’s works on the notion. Imagination is understood as per Chalmers’ positive conceivability: the intentional state of a subject who conceives that p by imagining a situation—a configuration of objects and properties—verifying p. So far aboutness theory has been developed mainly for linguistic representation, but it is natural to extend it to (...) |
|
|
Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) |
|
|
|
|
|
|
|
|
|
|
|
By means of an example, shows the possibility of beliefs that are separately rational whilst together inconsistent. |
|
|
|
|
|
The paper argues that knowledge is not closed under logical inference. The argument proceeds from the openness of evidential support and the dependence of empirical knowledge on evidence, to the conclusion that knowledge is open. Without attempting to provide a full-fledged theory of evidence, we show that on the modest assumption that evidence cannot support both a proposition and its negation, or, alternatively, that information that reduces the probability of a proposition cannot constitute evidence for its truth, the relation of (...) |
|
|
Single-premise epistemic closure is the principle that: if one is in an evidential position to know that P where P entails Q, then one is in an evidential position to know that Q. In this paper, I defend the viability of opposition to closure. A key task for such an opponent is to precisely formulate a restricted closure principle that remains true to the motivations for abandoning unrestricted closure but does not endorse particularly egregious instances of closure violation. I focus (...) |
|
|
How should the contrastivist formulate closure? That is, given that knowledge is a ternary contrastive state Kspq (s knows that p rather than q), how does this state extend under entailment? In what follows, I will identify adequacy conditions for closure, criticize the extant invariantist and contextualist closure schemas, and provide a contrastive schema based on the idea of extending answers. I will conclude that only the contrastivist can adequately formulate closure. |
|
|
I provide a truthmaker semantics for Angell’s system of analytic implication and establish completeness. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The hallmark of the deductive systems known as ‘conceptivist’ or ‘containment’ logics is that for all theorems of the form , all atomic formulae appearing in also appear in . Significantly, as a consequence, the principle of Addition fails. While often billed as a formalisation of Kantian analytic judgements, once semantics were discovered for these systems, the approach was largely discounted as merely the imposition of a syntactic filter on unrelated systems. In this paper, we examine a number of prima (...) |
|
|
|
|
|
This chapter explores the different grounds for accepting the claim that all truths are knowable, the assumption central to the derivation of Fitch’s result. It argues that although there is no compelling argument for holding that all truths are knowable, there are various positions in which this feature of semantic anti-realism fits naturally; rejecting this puts serious tension into a broad range of philosophical outlooks, including theism and physicalism. In the end, the paradox should be felt by everyone, even those (...) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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-6f9648bdd6-8h97j uwo