Sorites Paradox

This paper responds to Theron Pummer’s distinction between Sorites arguments and repugnant conclusion arguments by presenting a Sorites overpopulation argument. Also I present a Sorites argument in favour of myths of genius.

Neutralism is the broad view that philosophical progress can take place when (and sometimes only when) a thoroughly neutral, non-specific theory, treatment, or methodology is adopted. The broad goal here is to articulate a distinct, specific kind of sorites paradox (The Observational Sorites Paradox) and show that it can be effectively treated via Neutralism.

Contemporary discussions do not always clearly distinguish two different forms of vagueness. Sometimes focus is on the imprecision of predicates, and sometimes the indefiniteness of statements. The two are intimately related, of course. A predicate is imprecise if there are instances to which it neither definitely applies nor definitely does not apply, instances of which it is neither definitely true nor definitely false. However, indefinite statements will occur in everyday discourse only if speakers in fact apply imprecise predicates to such (...) indefinite instances. (What makes an instance indefinite is, it should be clear, predicate-relative.) The basic issue in the present inquiry is whether this indefiniteness ever really occurs; the basic question is, Why should it ever occur? (shrink)

In this paper we present two new approaches for dealing with semantic paradoxes and soritical predicates based on fuzzy logic. We show that both of them have conceptual advantages over the more traditional Łukasiewicz approach, and that the second one even avoids standard proofs of ω-nconsistency.

Fine (2017) proposes a new logic of vagueness, CL, that promises to provide both a solution to the sorites paradox and a way to avoid the impossibility result from Fine (2008). The present paper presents a challenge to his new theory of vagueness. I argue that the possibility theorem stated in Fine (2017), as well as his solution to the sorites paradox, fail in certain reasonable extensions of the language of CL. More specifically, I show that if we extend the (...) language with any negation operator that obeys reductio ad absurdum, we can prove a new impossibility result that makes the kind of indeterminacy that Fine takes to be a hallmark of vagueness impossible. I show that such negation operators can be conservatively added to CL and examine some of the philosophical consequences of this result. Moreover, I demonstrate that we can define a particular negation operator that behaves exactly like intuitionistic negation in a natural and unobjectionable propositionally quantified extension of CL. Since intuitionistic negation obeys reductio, the new impossibility result holds in this propositionally quantified extension of CL. In addition, the sorites paradox resurfaces for the new negation. (shrink)

When you and I seriously argue over whether a man of seventy is old enough to count as an "old man", it seems that we are appealing neither to our own separate standards of oldness nor to a common standard that is already fixed in the language. Instead, it seems that both of us implicitly invoke an ideal, shared standard that has yet to be agreed upon: the place where we ought to draw the line. As with other normative standards, (...) it is hard to know whether such borderlines exist prior to our coming to agree on where they are. But epistemicists plausibly argue that they must exist whether we ever agree on them or not, as this provides the only logically acceptable response to the sorites paradox. This paper argues that such boundaries do typically exist as hypothetical ideals, but not as determinate features of the present actual world. There is in fact no general solution to the paradox, but attention to practice in resolving vague disagreements shows that its instances can be dealt with separately, as they arise, in many reasonable ways. (shrink)

What the Sorites has to tell us is a simple truth regarding our categories. It appears to saddle us with something other than a simple truth—something worse, a contradiction or a problem or a paradox—only when we insist on viewing it through a discrete logic of categories. Discrete categories and discrete logic are for robots. We aren’t robots, and the simple truth is that we don’t handle categories in the way any discrete logic would demand. For us non-robots, what the (...) Sorites has to offer is a straightforward truth regarding how incapable robots and their logic are of handling categories like ours. (shrink)

Vagueness is an ultimate challenge. An enormous diversity of literature on the topic has accumulated over the years, with no hint of a consensus emerging. In this light, Section 1 presents the main aspects of the challenge vagueness poses, focusing on the category of adjectives, and then gives some brief illustrations of the pervasive manifestations of vagueness in grammar.Section 2 deals with theSorites paradox, which for many philosophers is the hallmark of vagueness: By assigning avague predicate step by apparently inescapable (...) step to more and more objects one is eventually led to assign it to entities of which it plainly isn’t true.It is hard to resist the force of the paradox once one has been exposed to it. The result of this has been that many see the philosophical problem presented by vagueness as nothing other than the problem of solving the Sorites.The efforts to solve the Sorites paradox have uncovered a range of important connections between vagueness and other aspects of language and thought. But most of these seem to lead further and further away from what some consider the core issues that vagueness raises.Given the challenge posed by the Sorites, it is rather remarkable to discover that there is a lot more to vagueness beyond the paradox. In fact, linguists traditionally leave it to the philosophers to deal with the Sorites and put their own efforts into dealing with other manifestations of vagueness in natural language and their consequences for grammar. Page 2 2Section 3 reviews some of these additional phenomena, centering around three issues: (i) the controversial connections between vagueness and morphological gradability, (ii) the similarity and differences between the phenomena of vagueness and imprecision, and (iii) the ways in which vagueness infiltrates various grammatical constructions we find in language, with consequences for the architecture of grammar.The aim of this section is to highlight the main questions which any theory of vagueness will ultimately have to address. (shrink)

In his essay ‘“Wang’s Paradox”’, Crispin Wright proposes a solution to the Sorites Paradox (in particular, the form of it he calls the ‘Paradox of Sharp Boundaries’) that involves adopting intuitionistic logic when reasoning with vague predicates. He does not give a semantic theory which accounts for the validity of intuitionistic logic (and the invalidity of stronger logics) in that area. The present essay tentatively makes good the deficiency. By applying a theorem of Tarski, it shows that intuitionistic logic is (...) the strongest logic that may be applied, given certain semantic assumptions about vague predicates. The essay ends with an inconclusive discussion of whether those semantic assumptions should be accepted. (shrink)

A requirement on any theory of vagueness is that it solve the sorites paradox. It is generally agreed that there are two aspects to such a solution: one task is to locate the error in the sorites argument; the second task is to explain why the sorites reasoning is a paradox rather than a simple mistake. I argue for a further constraint on approaches to the second task: they should conform to the standard modus operandi in formal semantics, in which (...) the semantic theory one develops is taken to be implicit in the ordinary usage of competent speakers. Thus it should not turn out that one's explanation of why ordinary speakers react to the sorites reasoning in the way they do depends on speakers not thinking that the semantics of vague language is governed by the theory one is advocating. I then argue that, out of the current main contenders for a theory of vagueness, only theories that posit degrees of truth can meet this further constraint. (shrink)

”It is often assumed that knowledge claims must be justified. But what kind of justification is required for knowledge ? . . . ” (*) -/- presupposition: the kind of epistemic justification depends on the type of the knowledge claim and its respective knowledge claim tradeoff ’vague vs. precise’. -/- procedere: in two - almost purely logical - case studies I account for this tradeoff and question in each case what (if any) were its general outcome wrt justification -/- first (...) for basic measurement statements of the form ′′ϕ(x) = r ∈ IR ± δ′′ (wrt ”measurement accuracy realism” debate) -/- and secondly predication statements of the form ′′x is ( a case of )P′′ (wrt ”epistemic vagueness” debate). (shrink)

This paper offers the Boolean many-valued solution to the Sorites Paradox. According to the precisification-based Boolean many-valued theory, from which this solution arises, sentences have not only two truth values, truth (or 1) and falsity (or 0), but many Boolean values between 0 and 1. The Boolean value of a sentence is identified with the set of precisifications in which the sentence is true. Unlike degrees fuzzy logic assigns to sentences, Boolean many values are not linearly but only partially ordered; (...) so there are values that are incomparable. Despite this fact, the sentences in a sorites series can be taken as having values in a linear order, and losing (or gaining) value as we move from sentence to sentence in the series. So there is no sharp borderline between 0 and 1. Assigning Boolean many values instead of the two truth values to sentences for their vagueness values is analogous to assigning propositions instead of the truth values to sentences for their semantic values, as propositions are, from our viewpoint, also Boolean many values. (shrink)

A review of Kit Fine's book, Vagueness: A Global Approach.

In the literature on vagueness one finds two very different kinds of degree theory. The dominant kind of account of gradable adjectives in formal semantics and linguistics is built on an underlying framework involving bivalence and classical logic: its degrees are not degrees of truth. On the other hand, fuzzy logic based theories of vagueness—largely absent from the formal semantics literature but playing a significant role in both the philosophical literature on vagueness and in the contemporary logic literature—are logically nonclassical (...) and give a central role to the idea of degrees of truth. Each kind of degree theory has a strength: the classical kind allows for rich and subtle analyses of the comparative form of gradable adjectives and of various types of gradable precise adjectives, while the fuzzy kind yields a compelling solution to the sorites paradox. This paper argues that the fuzzy kind of theory can match the benefits of the classical kind and hence that the burden is on the latter to match the advantages of the former. In particular, we develop a new version of the fuzzy logic approach that—unlike existing fuzzy theories—yields a compelling analysis of the comparative as well as an adequate account of gradable precise predicates, while still retaining the advantage of genuinely solving the sorites paradox. (shrink)

By pooling together exhaustive analyses of certain philosophical paradoxes, we can prove a series of fascinating results regarding philosophical progress, agreement on substantive philosophical claims, knockdown arguments in philosophy, the wisdom of philosophical belief, the epistemic status of metaphysics, and the power of philosophy to refute common sense. As examples, this Element examines the Sorites Paradox, the Liar Paradox, and the Problem of the Many – although many other paradoxes can do the trick too.

I show that the Lottery Paradox is just a version of the Sorites, and argue that this should modify our way of looking at the Paradox itself. In particular, I focus on what I call “the Cut-off Point Problem” and contend that this problem, well known by Sorites scholars, ought to play a key role in the debate on Kyburg’s puzzle. Very briefly, I show that, in the Lottery Paradox, the premises “ticket n°1 will lose”, “ticket n°2 will lose”… “ticket (...) n°1000 will lose” are equivalent to soritical premises of the form “~(the winning ticket is in {…, (tn)}) ⊃ ~(the winning ticket is in {…, tn, (tn + 1)})” (where “⊃” is the material conditional, “~” is the negation symbol, “tn” and “tn + 1” are “ticket n°n” and “ticket n°n + 1” respectively, and “{}” identify the elements of the lottery tickets’ set. The brackets in “(tn)” and “(tn + 1)” are meant to point out that in the antecedent of the conditional we do not always have a “tn” (and, as a result, a “tn + 1” in the consequent): consider the conditional “~(the winning ticket is in {}) ⊃ ~(the winning ticket is in {t1})”). As a result, failing to believe, for some ticket, that it will lose comes down to introducing a cut-off point in a chain of soritical premises. In this paper I explore the consequences of the different ways of blocking the Lottery Paradox with respect to the Cut-off Point Problem. A heap variant of the Lottery Paradox is especially relevant for evaluating the different solutions. One important result is that the most popular way out of the puzzle, i.e., denying the Lockean Thesis, becomes less attractive. Moreover, I show that, along with the debate on whether rational belief is closed under classical logic, the debate on the validity of modus ponens should play an important role in discussions on the Lottery Paradox. -/- . (shrink)

Ethics in the tradition of Derek Parfit’s Reasons and Persons is riddled with sorites-like arguments, which lead us by what seem innocent steps to seemingly false conclusions. Take, for example, spectrum arguments for the Repugnant Conclusion that appeal to slight differences in quality of life. Several authors have taken the view that, since spectrum arguments are structurally analogous to sorites arguments, the correct response to spectrum arguments is structurally analogous to the correct response to sorites arguments. This sorites analogy is (...) here argued against. There are potential structural disanalogies between spectrum arguments and sorites arguments. But even if these arguments are relevantly structurally analogous, they differ in their content in ways that show the sorites analogy to be implausible. Two content-based disanalogies are here explored—one is inspired by Parfit’s work on reductionism, and the other involves hypersensitivity. The chapter concludes with a methodological lesson. (shrink)

This book examines philosophical approaches to linguistic vagueness, a puzzling feature of natural language that gives rise to the ancient Sorites paradox and challenges classical logic and semantics. -/- The Sorites, or Paradox of the Heap, consists in three claims: (1) One grain of sand does not make a heap. (2) One billion grains of sand do make a heap. (3) For any two amounts of sand differing by at most one grain: either both are heaps of sand, or neither (...) one is. The third claim is rendered plausible by an initial conviction that vague predicates like ‘heap’ tolerate small changes. However, the repeated application of a tolerance principle to the second claim yields the further proposition that one grain of sand does make a heap – which contradicts claim number one. Consequently, many philosophers reject or modify tolerance principles for vague predicates. -/- Inga Bones reassesses prominent responses to the Sorites and defends a Wittgensteinian dissolution of the paradox. She argues that vague predicates are, indeed, tolerant and discusses how this finding relates to the paradox itself, to the notion of validity and to the concept of a borderline case . (shrink)

This paper presents an analysis of the sorites paradox for collective nouns and gradable adjectives within the framework of classical logic. The paradox is explained by distinguishing between qualitative and quantitative representations. This distinction is formally represented by the use of a different mathematical model for each type of representation. Quantitative representations induce Archimedean models, but qualitative representations induce non-Archimedean models. By using a non-standard model of \ called \, which contains infinite and infinitesimal numbers, the two paradoxes are shown (...) to have distinct structures. The sorites paradox for collective nouns arises from the use of infinite numbers, whereas the sorites paradox for gradable adjectives arises from the use of infinitesimal numbers. Each paradox can be traced to a different source of vagueness. The sorites paradox for collective nouns is caused by \, and the sorites paradox for gradable adjectives is caused by \ \. If correct, this analysis implies that infinite and infinitesimal numbers are cognitively real, and that they play a role in the semantic interpretation of natural language. (shrink)

Is there an interesting relation between the Preface paradox and the Sorites paradox that might be used to illuminate either or both of those paradoxes and the phenomena of rationality and vagueness with which they, respectively, are bound up? In particular, if we consider the analogy alongside a familiar response to the Preface Paradox that employs degrees of belief, does this give any support to the thought that we should adopt some kind of degree-theoretic treatment of vagueness and the sorites? (...) This chapter argues that it does not; indeed exploring the disanalogies contributes to a case against such a treatment of vagueness more generally. Among other views, it considers Edgington’s account of vagueness that employs a probabilistic structure of “verities”. It then contends that appeal to the framework of supervaluationism yields a better guide to reasoning in vague language than the degree-theoretic treatment can sustain. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

I propose a novel solution to the Sorites Paradox. The account vindicates the tolerance of vague predicates in a way that properly addresses the normativity of vagueness while avoiding sorites contradiction, by treating sorites reasoning as a type of defeasible reasoning. I show how this can be done within the setting of a nonmonotonic deontic logic. Central to the proposal is its deontic interpretation of tolerance. I draw a key distinction between two types of tolerance, based on different deontic notions, (...) and show how the account captures key differences between these types of sorites reasoning. I compare the resulting theory to various existing contextualist proposals and argue that it better accounts for the normative aspects of sorites reasoning. (shrink)

O fenômeno da vagueza é quase onipresente na linguagem natural. Por um lado, a vagueza abrange variadas categorias lógicas, incluindo predicados, termos singulares e quantificadores. Por outro, é argumentável que a maioria das expressões em cada uma destas categorias, principalmente termos singulares e predicados, é vaga. Isto não seria um problema, não tivesse o fenômeno da vagueza relacionado ao paradoxo sorites, que supostamente mostra a incoerência destas expressões. O Supervalorativismo fornece uma explicação do fenômeno, acompanhado de uma solução do paradoxo, (...) que é interessante por pelo menos duas razões. Primeiro, é argumentável que esta teoria é a que melhor acomoda certa imagem intuitiva da vagueza, conhecida como indecisão semântica. Segundo, ela é relativamente conservadora com respeito à lógica clássica. Ao contrário de algumas rivais, como a Teoria Trivalente e o Gradualismo, o Supervalorativismo nos permite manter tanto o terceiro excluído como a não contradição. A despeito de suas aparentes vantagens, no entanto, a teoria carrega alguns sérios problemas. Com foco na categoria dos predicados vagos, meu objetivo neste artigo é mostrar que o Supervalorativismo falha em satisfazer pelo menos um de três critérios de adequação para uma teoria ideal da vagueza: o critério da precisão. O artigo é dividido em quatro seções. Na primeira, apresento o paradoxo sorites e três critérios de adequação para uma teoria ideal da vagueza: o critério do sorites, o critério da coerência e o critério da precisão. Na segunda e terceira, apresento o Supervalorativismo e sua solução para o paradoxo sorites. Por fim, argumento que, mesmo que a teoria satisfaça os dois primeiros critérios de adequação, ela certamente não satisfaz o terceiro. (shrink)

The first part of the chapter surveys some of the main ways in which the Sorites Paradox has figured in arguments in practical philosophy in recent decades, with special attention to arguments where the paradox is used as a basis for criticism. Not coincidentally, the relevant arguments all involve the transitivity of value in some way. The second part of the chapter is more probative, focusing on two main themes. First, I further address the relationship between the Sorites Paradox and (...) the main arguments discussed in the first part, by elucidating in what sense they rely on (something like) tolerance principles. Second, I briefly discuss the prospect of rejecting the respective principles, aiming to show that we can do so for some of the arguments but not for others. The reason is that in the latter cases the principles do not function as independent premises in the reasoning but, rather, follow from certain fundamental features of the relevant scenarios. I also argue that not even adopting what is arguably the most radical way to block the Sorites Paradox – that of weakening the consequence relation – suffices to invalidate these arguments. (shrink)

On some accounts of vagueness, predicates like “is a heap” are tolerant. That is, their correct application tolerates sufficiently small changes in the objects to which they are applied. Of course, such views face the sorites paradox, and various solutions have been proposed. One proposed solution involves banning repeated appeals to tolerance, while affirming tolerance in any individual case. In effect, this solution rejects the reasoning of the sorites argument. This paper discusses a thorny problem afflicting this approach to vagueness. (...) In particular, it is shown that, on the foregoing view, whether an object is a heap will sometimes depend on factors extrinsic to that object, such as whether its components came from other heaps. More generally, the paper raises the issue of how to count heaps in a tolerance-friendly framework. (shrink)

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)

Rampant non-factualism is the view that all non-fundamental matters are non-factual, in a sense inspired by Kit Fine (2001). The first half of this paper argues that if we take non-factualism seriously for any matters, such as morality, then we should take rampant non-factualism seriously. The second half of the paper argues that rampant non-factualism makes possible an attractive theory of vagueness. We can give non-factualist accounts of non-fundamental matters that nicely characterize the vagueness they manifest (if any). I suggest (...) that such non-factualist theories dissolve philosophical puzzlement about vagueness. In particular, the approach implies that philosophers should not try to say which of the sorites-paradox-forming claims are true; we should not try to solve the sorites paradox in that sense. (shrink)

For centuries, the Sorites Paradox has spurred philosophers to think and argue about the problem of vagueness. This volume offers a guide to the paradox which is both an accessible survey and an exposition of the state of the art, with a chapter-by-chapter presentation of all of the main solutions to the paradox and of all its main areas of influence. Each chapter offers a gentle introduction to its topic, gradually building up to a final discussion of some open problems. (...) Students will find a comprehensive guide to the fundamentals of the paradox, together with lucid explanations of the challenges it continues to raise. Researchers will find exciting new ideas and debates on the paradox. (shrink)

This article argues that resolutions to the sorites paradox offered by epistemic and supervaluation theories fail to adequately account for vagueness. After explaining the paradox, I examine the epistemic theory defended by Timothy Williamson and discuss objections to his semantic argument for vague terms having precise boundaries. I then consider Rosanna Keefe's supervaluationist approach and explain why it fails to accommodate the problem of higher-order vagueness. I conclude by discussing how fuzzy logic may hold the key to resolving the sorites (...) paradox without positing indefensible borders to the correct application of vague terms. (shrink)

Larry Temkin famously argues that what he calls spectrum arguments yield strong reason to reject Transitivity, according to which the ‘all-things-considered better than’ relation is transitive. Spectrum arguments do reveal that the conjunctions of independently plausible claims are inconsistent with Transitivity. But I argue that there is very strong independent reason to reject such conjunctions of claims, and thus that the fact that they are inconsistent with Transitivity does not yield strong reason to reject Transitivity.

According to the JUSTIFIED FAIR COINS principle, if I know that a coin is fair, and I lack justification for believing that it won’t be flipped, then I lack justification for believing that it won’t land tails. What this principle says, in effect, is that the only way to have justification for believing that a fair coin won’t land tails, is by having justification for believing that it won’t be flipped at all. Although this seems a plausible and innocuous principle, (...) in a recent paper Dorr, Goodman and Hawthorne use it in devising an intriguing puzzle which places all justified beliefs about the future in jeopardy. They point out, further, that one very widespread theory of justification predicts that JUSTIFIED FAIR COINS is false, giving us additional reason to reject it. In this paper, I will attempt to turn this dialectic around. I will argue that JUSTIFIED FAIR COINS does not inevitably lead to scepticism about the future, and the fact that it is incompatible with a widespread theory of justifi... (shrink)

Ben-Yami presents Wittgenstein’s explicit criticism of the Platonic identification of an explanation with a definition and the alternative forms of explanation he employed. He then discusses a few predecessors of Wittgenstein’s criticisms and the Fregean background against which he wrote. Next, the idea of family resemblance is introduced, and objections answered. Wittgenstein’s endorsement of vagueness and the indeterminacy of sense are presented, as well as the open texture of concepts. Common misunderstandings are addressed along the way. Wittgenstein’s ideas, as is (...) then shown, have far-reaching implications for knowledge of meaning and the nature of logic, and with them to the nature of the philosophical project and its possible achievements. (shrink)

Intuitively, vagueness involves some sort of indeterminacy: if Plato is a borderline case of baldness, then there is no fact of the matter about whether or not he’s bald—he’s neither bald nor not bald. The leading formal treatments of such indeterminacy—three valued logic, supervaluationism, etc.—either fail to validate the classical theorems, or require that various classically valid inference rules be restricted. Here we show how a fully classical, yet indeterminist account of vagueness can be given within natural semantics, an alternative (...) semantics for classical proof theory. The key features of the account are: there is a single notion of truth—definite truth—and a single notion of validity; sentences can be true, false, or undetermined; all classical theorems and all classical inference rule are valid; the sorites argument is unsound; ‘definitely’ is treated as a meta-language predicate; higher-order vagueness is handled via semantic ascent. (shrink)

In this position paper we present a logical framework for modelling reasoning with graded predicates. We distinguish several types of graded predicates and discuss their ubiquity in rational interaction and the logical challenges they pose. We present mathematical fuzzy logic as a set of logical tools that can be used to model reasoning with graded predicates, and discuss a philosophical account of vagueness that makes use of these tools. This approach is then generalized to other kinds of graded predicates. Finally, (...) we propose a general research program towards a logic-based account of reasoning with graded predicates. (shrink)

Justification logics provide a framework for reasoning about justifications and evidence. In this article, we study a fuzzy variant of justification logics in which an agent’s justification for a belief has certainty degree between 0 and 1. We replace the classical base of justification logics with Hájek’s rational Pavelka logic. We introduce fuzzy possible world semantics with crisp accessibility relation and also single world models for our logics. We establish soundness and graded-style completeness for both kinds of semantics. We also (...) introduce extensions with product conjunction. Finally, we offer a solution to a variant of the sorites paradox in our fuzzy justification logics. (shrink)

This volume brings together some of Dr. Kuczynski's most important work on mathematical logic. The crushing power of Kuczynski's intellect is on full display in these paper, in which he introduces the neophyte to the basic principles of set theory and logic while at the very same time articulating new and important theorems of his own.