A transparent truth predicate T is one that, paired with some quotation device , allows, for any wff A, for the claim T A to be substituted for A or vice versa, in all extensional contexts in all arguments without change in validity. This paper presents and defends a way to add a transparent truth predicate to classical logic, a way that builds on our earlier work on vagueness in [Cobreros et al., 2011b, Cobreros et al., 2011a]. A number of (...) other authors have sought a transparent truth predicate, and reached it by weakening classical logic in various ways. The key advantage of our approach, from which a number of other advantages will follow, lies in its keeping to classical logic. (shrink)
The paper examines the logic and semantics of knowledge attributions of the form “ s knows whether A or B”. We analyze these constructions in an epistemic logic with alternative questions, and propose an account of the context-sensitivity of the corresponding sentences and of their presuppositions.
We say that a sentence A is a permissive consequence of a set of premises Gamma whenever, if all the premises of Gamma hold up to some standard, then A holds to some weaker stan- dard. In this paper, we focus on a three-valued version of this notion, which we call strict-to-tolerant consequence, and discuss its fruitfulness toward a uni ed treatment of the paradoxes of vagueness and self-referential truth. For vagueness, st-consequence supports the principle of tolerance; for truth, it (...) supports the requisit of transparency. Permissive consequence is non-transitive, however, but this feature is argued to be an essential component to the understanding of paradoxical reasoning in cases involving vagueness or self-reference. . (shrink)
This paper examines an hypothesis put forward by Pettit and Knobe 2009 to account for the Knobe effect. According to Pettit and Knobe, one should look at the semantics of the adjective “intentional” on a par with that of other gradable adjectives such as “warm”, “rich” or “expensive”. What Pettit and Knobe’s analogy suggests is that the Knobe effect might be an instance of a much broader phenomenon which concerns the context-dependence of normative standards relevant for the application of gradable (...) expressions. I adduce further evidence in favor of this view and go on to examine the predictions one obtains when assuming that “intentional” involves a two-dimensional scale, which implies evaluating how much an action or outcome is desired on the one hand, and how much it can be foreseen as a consequence of one’s actions on the other. (shrink)
The conceptual spaces approach has recently emerged as a novel account of concepts. Its guiding idea is that concepts can be represented geometrically, by means of metrical spaces. While it is generally recognized that many of our concepts are vague, the question of how to model vagueness in the conceptual spaces approach has not been addressed so far, even though the answer is far from straightforward. The present paper aims to fill this lacuna.
In a previous paper (see ‘Tolerant, Classical, Strict’, henceforth TCS) we investigated a semantic framework to deal with the idea that vague predicates are tolerant, namely that small changes do not affect the applicability of a vague predicate even if large changes do. Our approach there rests on two main ideas. First, given a classical extension of a predicate, we can define a strict and a tolerant extension depending on an indifference relation associated to that predicate. Second, we can use (...) these notions of satisfaction to define mixed consequence relations that capture non-transitive tolerant reasoning. Although we gave some empirical motivation for the use of strict and tolerant extensions, making use of them commits us to the view that sentences of the form ‘ p∨¬p ’ and ‘ p∧¬p ’ are not automatically valid or unsatisfiable, respectively. Some philosophers might take this commitment as a negative outcome of our previous proposal. We think, however, that the general ideas underlying our previous approach to vagueness can be implemented in a variety of ways. This paper explores the possibility of defining mixed notions of consequence in the more classical super/sub-valuationist setting and examines to what extent any of these notions captures non-transitive tolerant reasoning. (shrink)
In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P , then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of (...) it, which we call tolerant truth and strict truth. We characterize the space of consequence relations definable in terms of those and discuss the kind of solution this gives to the sorites paradox. We discuss some applications of the framework to the pragmatics and psycholinguistics of vague predicates, in particular regarding judgments about borderline cases. (shrink)
We discuss the 'problem of convergent knowledge', an argument presented by J. Schaffer in favour of contextualism about knowledge attributions, and against the idea that knowledge- wh can be simply reduced to knowledge of the proposition answering the question. Schaffer's argument centrally involves alternative questions of the form 'whether A or B'. We propose an analysis of these on which the problem of convergent knowledge does not arise. While alternative questions can contextually restrict the possibilities relevant for knowledge attributions, what (...) Schaffer's puzzle reveals is a pragmatic ambiguity in what 'knowing the answer' means: in his problematic cases, the subject knows only a partial answer to the question. This partial knowledge can be counted as adequate only on externalist grounds. (shrink)
In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...) which we call tolerant truth and strict truth. We characterize the space of consequence relations definable in terms of those and discuss the kind of solution this gives to the sorites paradox. We discuss some applications of the framework to the pragmatics and psycholinguistics of vague predicates, in particular regarding judgments about borderline cases. (shrink)
Moral considerations and our normative expectations influence not only our judgments about intentional action or causation but also our judgments about exact probabilities and quantities. Whereas those cases support the competence theory proposed by Knobe in his paper, they remain compatible with a modular conception of the interaction between moral and nonmoral cognitive faculties in each of those domains.
In this paper we compare different models of vagueness viewed as a specific form of subjective uncertainty in situations of imperfect discrimination. Our focus is on the logic of the operator “clearly” and on the problem of higher-order vagueness. We first examine the consequences of the notion of intransitivity of indiscriminability for higher-order vagueness, and compare several accounts of vagueness as inexact or imprecise knowledge, namely Williamson’s margin for error semantics, Halpern’s two-dimensional semantics, and the system we call Centered semantics. (...) We then propose a semantics of degrees of clarity, inspired from the signal detection theory model, and outline a view of higher-order vagueness in which the notions of subjective clarity and unclarity are handled asymmetrically at higher orders, namely such that the clarity of clarity is compatible with the unclarity of unclarity. (shrink)
This volume brings together twelve papers by linguists and philosophers contributing novel empirical and formal considerations to theorizing about vagueness. Three main issues are addressed: gradable expressions and comparison, the semantics of degree adverbs and intensifiers (such as 'clearly'), and ways of evading the sorites paradox.
This volume brings together twelve papers by linguists and philosophers contributing novel empirical and formal considerations to theorizing about vagueness. Three main issues are addressed: gradable expressions and comparison, the semantics of degree adverbs and intensifiers (such as 'clearly'), and ways of evading the sorites paradox.
Preface: The Review of Philosophy and Psychology Content Type Journal Article Pages 1-3 DOI 10.1007/s13164-010-0024-1 Authors Dario Taraborelli, University of Surrey Centre for Research in Social Simulation Guilford GU2 7XH United Kingdom Roberto Casati, Institut Jean Nicod, Ecole Normale Supérieure 29 rue d’Ulm 75005 Paris France Paul Egré, Institut Jean Nicod, Ecole Normale Supérieure 29 rue d’Ulm 75005 Paris France Christophe Heintz, Central European University Budapest Hungary Journal Review of Philosophy and Psychology Online ISSN 1878-5166 Print ISSN 1878-5158 Journal Volume (...) Volume 1 Journal Issue Volume 1, Number 1. (shrink)
Standard Kripke models are inadequate to model situations of inexact knowledge with introspection, since positive and negative introspection force the relation of epistemic indiscernibility to be transitive and euclidean. Correlatively, Williamson’s margin for error semantics for inexact knowledge invalidates axioms 4 and 5. We present a new semantics for modal logic which is shown to be complete for K45, without constraining the accessibility relation to be transitive or euclidean. The semantics corresponds to a system of modular knowledge, in which iterated (...) modalities and simple modalities are not on a par. We show how the semantics helps to solve Williamson’s luminosity paradox, and argue that it corresponds to an integrated model of perceptual and introspective knowledge that is psychologically more plausible than the one defended by Williamson. We formulate a generalized version of the semantics, called token semantics, in which modalities are iteration-sensitive up to degree n and insensitive beyond n. The multi-agent version of the semantics yields a resource-sensitive logic with implications for the representation of common knowledge in situations of bounded rationality. (shrink)
Editorial: Objects and Sound Perception Content Type Journal Article Pages 5-17 DOI 10.1007/s13164-009-0006-3 Authors Nicolas J. Bullot, École des Hautes Études en Sciences Sociales Centre de Recherches sur les Arts et le Langage (CRAL/CNRS) 96 Bd Raspail 75006 Paris France Paul Égré, Institut Jean-Nicod (ENS/EHESS/CNRS) Département d’Etudes Cognitives de l’ENS 29 rue d’Ulm 75005 Paris France Journal Review of Philosophy and Psychology Online ISSN 1878-5166 Print ISSN 1878-5158 Journal Volume Volume 1 Journal Issue Volume 1, Number 1.
In chapter 5 of Knowledge and its Limits, T. Williamson formulates an argument against the principle (KK) of epistemic transparency, or luminosity of knowledge, namely “that if one knows something, then one knows that one knows it”. Williamson’s argument proceeds by reductio: from the description of a situation of approximate knowledge, he shows that a contradiction can be derived on the basis of principle (KK) and additional epistemic principles that he claims are better grounded. One of them is a reflective (...) form of the margin for error principle defended by Williamson in his account of knowledge. We argue that Williamson’s reductio rests on the inappropriate identification of distinct forms of knowledge. More specifically, an important distinction between perceptual knowledge and non-perceptual knowledge is wanting in his statement and analysis of the puzzle. We present an alternative account of this puzzle, based on a modular conception of knowledge: the (KK) principle and the margin for error principle can coexist, provided their domain of application is referred to the right sort of knowledge. (shrink)
Attitude verbs fall in different categories depending on the kind of sentential complements which they can embed. In English, a verb like know takes both declarative and interrogative complements. By contrast, believe takes only declarative complements and wonder takes only interrogative complements. The present paper examines the hypothesis, originally put forward by Hintikka (1975), that the only verbs that can take both that -complements and whether -complements are the factive verbs. I argue that at least one half of the hypothesis (...) is empirically correct, namely that all veridical attitude verbs taking that -complements take whether -complements. I distinguish veridical verbs from factive verbs, and present one way of deriving the generalization. Counterexamples to both directions of the factivity hypothesis are discussed, in particular the case of emotive factive verbs like regret , and the case of non-veridical verbs that licence whether complements, in particular tell, guess, decide and agree . Alternative accounts are discussed along the way, in particular Zuber (1982), Ginzburg (1995) and Saebø (2007). (shrink)
This paper propounds a systematic examination of the link between the Knower Paradox and provability interpretations of modal logic. The aim of the paper is threefold: to give a streamlined presentation of the Knower Paradox and related results; to clarify the notion of a syntactical treatment of modalities; finally, to discuss the kind of solution that modal provability logic provides to the Paradox. I discuss the respective strength of different versions of the Knower Paradox, both in the framework of first-order (...) arithmetic and in that of modal logic with fixed point operators. It is shown that the notion of a syntactical treatment of modalities is ambiguous between a self-referential treatment and a metalinguistic treatment of modalities, and that these two notions are independent. I survey and compare the provability interpretations of modality respectively given by Skyrms, B. (1978, The Journal of Philosophy 75: 368–387) Anderson, C.A. (1983, The Journal of Philosophy 80: 338–355) and Solovay, R. (1976, Israel Journal of Mathematics 25: 287–304). I examine how these interpretations enable us to bypass the limitations imposed by the Knower Paradox while preserving the laws of classical logic, each time by appeal to a distinct form of hierarchy. (shrink)
