Truth-Value Gluts

Noniterative approaches to the sorites paradox accept single steps of soritical reasoning, but deny that these can be combined into valid chains of soritical reasoning. The distributed sorites is a puzzle designed to undermine noniterative approaches to the sorites paradox, by deriving an inconsistent conclusion using only single steps, but not chains, of soritical reasoning. This paper shows how a dialetheist version of the noniterative approach, the strict-tolerant approach, also solves the distributed sorites paradox, at no further cost, by accepting (...) the inconsistent conclusion. (shrink)

Jc Beall is known for defending modest dialetheism; this is the view that there are dialetheia, but only in the form of “spandrels” arising otherwise reasonable semantic terminology (e.g., the Liar paradox). Beall also regards his view as modest in partaking of a deflationary view of truth, a view where ‘true’ is a device of disquotational inference which expresses no “substantive property.” Beall supports deflationism by an appeal to Ockham’s razor; however, the premise that ‘true’ is fundamentally disquotational is found (...) dubious. Nonetheless, we can craft an ultra-modest dialetheism which assumes only that at least one utterance of ‘This sentence is not true’ uses ‘true’ as a disquotational device, and maintains neturality on whether it expresses a substantive property. The limited scope of the ultra-modest view will be disappointing to formal semanticists hoping to capture the behavior of ‘true’ throughout the language. But its modest basis gives dialetheism the best hope for wider acceptance in the discipline. (shrink)

I argue that one need not be an inferentialist in order to model inconsistent concepts, contrary to what some have thought. Representationalists can do so by adopting a form of bilateralism about contents. It remains unclear, however, why conceptual inconsistency would constitute a defect to be eliminated, rather than a vindication of dialetheism to be embraced. I suggest some answers to explore that involve accepting a descriptive form of dialetheism but denying its normative forms.

This book argues that the standard (orthodox) doctrine of incarnation (of "God enfleshed") is best understood along glut-theoretic lines: the incarnate God is a contradictory being. Example: because God, the Christ figure is all-knowing; but because human, ignorant. And so on. Standard theological theory in the tradition recognizes the apparent contradiction in its core doctrines; Beall argues that the appearance should be accepted as veridical.

One way in which we might approach the challenge posed by the Sorites Paradox is considering that Sorites-susceptible predicates have several candidate extensions, or several ways in which these expressions can be made precise. For example, a candidate extension for the predicate ‘is a baby’ is the set of humans of less than two years, but also the set of those less than two years and one second, and of those less than two years and two seconds. In this chapter (...) we present and discuss two theories for vague predicates based on this idea: supervaluationism and subvaluationism. The chapter is structured in three parts. The first presents the super- and subvaluationist theories: their similarities and differences in the semantics, the resulting logics with their most characteristic features. The second reviews the super- and subvaluationist solutions to the Sorites Paradox and provides discussion on several controversies surrounding these theories. The third part introduces proof procedures for s’valuationist logics. (shrink)

Supervaluationism is a well known theory of vagueness. Subvaluationism is a less well known theory of vagueness. But these theories cannot be taken apart, for they are in a relation of duality that can be made precise. This paper provides an introduction to the subvaluationist theory of vagueness in connection to its dual, supervaluationism. A survey on the supervaluationist theory can be found in the Compass paper of Keefe (2008); our presentation of the theory in this paper will be short (...) to get rapidly into the logical issues. This paper is relatively self-contained. A modest background on propositional modal logic is, though not strictly necessary, advisable. The reader might find useful the Compass papers Kracht (2011) and Negri (2011) (though these papers cover issues of more complexity than what is demanded to follow this paper). (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)

Paraconsistent approaches have received little attention in the literature on vagueness (at least compared to other proposals). The reason seems to be that many philosophers have found the idea that a contradiction might be true (or that a sentence and its negation might both be true) hard to swallow. Even advocates of paraconsistency on vagueness do not look very convinced when they consider this fact; since they seem to have spent more time arguing that paraconsistent theories are at least as (...) good as their paracomplete counterparts, than giving positive reasons to believe on a particular paraconsistent proposal. But it sometimes happens that the weakness of a theory turns out to be its mayor ally, and this is what (I claim) happens in a particular paraconsistent proposal known as subvaluationism. In order to make room for truth-value gluts subvaluationism needs to endorse a notion of logical consequence that is, in some sense, weaker than standard notions of consequence. But this weakness allows the subvaluationist theory to accommodate higher-order vagueness in a way that it is not available to other theories of vagueness (such as, for example, its paracomplete counterpart, supervaluationism). (shrink)

In everyday language, we can call someone ‘consistent’ to say that they’re reliable, that they don’t change over time. Someone who’s consistently on time is always on time. Similarly, we can call someone ‘inconsistent’ to say the opposite: that they’re changeable, mercurial. A student who receives inconsistent grades on her tests throughout a semester has performed better on some than on others. With our philosophy hats on, though, we mean something quite different by ‘consistent’ and ‘inconsistent’. Something consistent is simply (...) something that’s not contradictory. There’s nothing contradictory about being on time, so anyone who’s on time at all is consistently on time, in this sense of ‘consistent’. And only a student with an unusual teacher can receive inconsistent grades on her tests throughout a semester, in this sense of ‘inconsistent’. In this paper, I’ll use ‘consistent’ and ‘inconsistent’ in their usual philosophical sense: to mark the second distinction. By contrast, I’ll use ‘constant’ and ‘inconstant’ to mark the first distinction. And although we can, should, and do sharply distinguish the two distinctions, they are related. In particular, they have both been used to account for some otherwise puzzling phenomena surrounding vague language. According to some theorists, vague language is inconstant. According to others, it is inconsistent. I do not propose here to settle these differences; only to get a bit clearer about what the differences amount to, and to show what it would take to settle.. (shrink)

In this paper, I start by showing that sorites paradoxes are inclosure paradoxes. That is, they fit the Inclosure Scheme which characterizes the paradoxes of self-reference. Given that sorites and self-referential paradoxes are of the same kind, they should have the same kind of solution. The rest of the paper investigates what a dialetheic solution to sorites paradoxes is like, connections with a dialetheic solution to the self-referential paradoxes, and related issues—especially so called "higher order" vagueness.

A rational interpretation is proposed for two ancient Indian logics: the Jaina saptabhaṅgī, and the Mādhyamika catuṣkoṭi. It is argued that the irrationality currently imputed to these logics relies upon some philosophical preconceptions inherited from Aristotelian metaphysics. This misunderstanding can be corrected in two steps: by recalling their assumptions about truth; by reconstructing their ensuing theory of judgment within a common conceptual framework.

Vague predicates, on a paraconsistent account, admit overdetermined borderline cases. I take up a new line on the paraconsistent approach, to show that there is a close structural relationship between the breakdown of soritical progressions, and contradiction. Accordingly, a formal picture drawn from an appropriate logic shows that any cut-off point of a vague predicate is unidentifiable, in a precise sense. A paraconsistent approach predicts and explains many of the most counterintuitive aspects of vagueness, in terms of a more fundamental (...) inconsistency. (shrink)

We present the Jaina theory of sevenfold predication as a 7-valued logic, in which every logical value consists in a 3-tuple of opinions. A question-answer semantics is used in order to give an intuitive characterization of these logical values in terms of opinion polls. Two different interpretations are plausible for the latest sort of opinion, depending upon whether "non-assertability" refers to incompleteness or inconsistency. It is shown hat the incomplete version of JL_{G} is equivalent to Kleene's logic K3, whereas the (...) inconsistent version of JL_{M} is equivalent to Priest's Logic of Paradox LP. Finally, it is argued that the Indian logics depart from Western logics by conflating truth and justified belief: the different preconditions for belief ascription accounts for the difference between pluralist and skeptic logics. (shrink)

The idea that the phenomenon of vagueness might be modelled by a paraconsistent logic has been little discussed in contemporary work on vagueness, just as the idea that paraconsistent logics might be fruitfully applied to the phenomenon of vagueness has been little discussed in contemporary work on paraconsistency. This is prima facie surprising given that the earliest formalisations of paraconsistent logics presented in Jáskowski and Halldén were presented as logics of vagueness. One possible explanation for this is that, despite initial (...) advocacy by pioneers of paraconsistency, the prospects for a paraconsistent account of vagueness are so poor as to warrant little further consideration. In this paper we look at the reasons that might be offered in defence of this negative claim. As we shall show, they are far from compelling. Paraconsistent accounts of vagueness deserve further attention. (shrink)

Italian translation of "Conjunction and Contradiction" (2004), by Francesco Berto.

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

There are two ways of understanding the notion of a contradiction: as a conjunction of a statement and its negation, or as a pair of statements one of which is the negation of the other. Correspondingly, there are two ways of understanding the Law of Non-Contradiction (LNC), i.e., the law that says that no contradictions can be true. In this paper I offer some arguments to the effect that on the first (collective) reading LNC is non-negotiable, but on the second (...) (distributive) reading it is perfectly plausible to suppose that LNC may, in some rather special and perhaps undesirable circumstances, fail to hold. (shrink)

JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact [email protected].

The first part of this paper presents asympathetic and critical examination of the approachof Shahid Rahman and Walter Carnielli, as presented intheir paper “The Dialogical Approach toParaconsistency”. In the second part, possibleextensions are presented and evaluated: (a) top-downanalysis of a dialogue situation versus bottom-up, (b)the specific role of ambiguities and how to deal withthem, and (c) the problem of common knowledge andbackground knowledge in dialogues. In the third part,I claim that dialogue logic is the best-suitedinstrument to analyse paradoxes of the (...) Sorites type.All these considerations lead to philosophicallyrelevant observations concerning principles of charityon the one hand, and compactness on the other. (shrink)

Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...) some expressions is not uniquely defined. Other strategies for generalizing supervaluations are considered and some comparative facts are discussed. (shrink)