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.

The presentation of the “dual picture of vagueness” in my earlier work is supplemented here with a number of additional considerations. I emphasize how the picture lends itself naturally to treatments of the contribution of a typical degree adjective to propositional content and to truth conditions. A number of reasonable refinements of the picture are presented, especially concerning occasions of use of a degree adjective in which a class containing a sorites series is somehow involved in content fixing, but (...) in such a way that an extension ultimately gets fixed for the predicate. I also develop the observation that standard theories of the logical and semantic paradoxes rely on the idea that the content-fixing mechanisms for the paradoxical expressions work well in general but fail in some localized cases, and that while standard theories of the sorites paradox are clearly not based on this idea at all, the dual theory is fully based on the idea. Next, I offer a few remarks on some recent theories of vagueness and the sorites that are broadly in the spirit of the dual picture, emphasizing the aspects where the latter compares favorably against those recent theories. Finally, the question whether the dual theory is statable with truth according to the theory itself is considered in more detail than in my earlier presentation. (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)

A sorites argument is a symptom of the vagueness of the predicate with which it is constructed. A vague predicate admits of at least one dimension of variation (and typically more than one) in its intended range along which we are at a loss when to say the predicate ceases to apply, though we start out confident that it does. It is this feature of them that the sorites arguments exploit. Exactly how is part of the subject of (...) this paper. The majority of philosophers writing on vagueness take it to be a kind of semantic phenomenon. If we are right, they are correct in this assumption, which is surely the default position, but they have not so far provided a satisfactory account of the implications of this or a satisfactory diagnosis of the sorites arguments. Other philosophers have urged more exotic responses, which range from the view that the fault lies not in our language, but in the world, which they propose to be populated with vague objects which our semantics precisely reflects, to the view that the world and language are both perfectly in order, but that the fault lies with our knowledge of the properties of the words we use (epistemicism). In contrast to the exotica to which some philosophers have found themselves driven in an attempt to respond to the sorites puzzles, we undertake a defense of the commonsense view that vague terms are semantically vague. Our strategy is to take fresh look at the phenomenon of vagueness. Rather than attempting to adjudicate between different extant theories, we begin with certain pre-theoretic intuitions about vague terms, and a default position on classical logic. The aim is to see whether (i) a natural story can be told which will explain the vagueness phenomenon and the puzzling nature of soritical arguments, and, in the course of this, to see whether (ii) there arises any compelling pressure to give up the natural stance. We conclude that there is a simple and natural story to be told, and we tell it, and that there is no good reason to abandon our intuitively compelling starting point. The importance of the strategy lies in its dialectical structure. Not all positions on vagueness are on a par. Some are so incredible that even their defenders think of them as positions of last resort, positions to which we must be driven by the power of philosophical argument. We aim to show that there is no pressure to adopt these incredible positions, obviating the need to respond to them directly. If we are right, semantic vagueness is neither surprising, nor threatening. It provides no reason to suppose that the logic of natural languages is not classical or to give up any independently plausible principle of bivalence. Properly understood, it provides us with a satisfying diagnosis of the sorites argumentation. It would be rash to claim to have any completely novel view about a topic so well worked as vagueness. But we believe that the subject, though ancient, still retains its power to inform and challenge us. In particular, we will argue that taking seriously the central phenomenon of predicate vagueness—the “boundarylessness” of vague predicates—on the commonsense assumption that vagueness is semantic, leads ineluctably to the view that no sentences containing vague expressions (henceforth ‘vague sentences’) are truth-evaluable. This runs counter to much of the literature on vagueness, which commonly assumes that, though some applications of vague predicates to objects fail to be truth-evaluable, in clear positive and negative cases vague sentences are unproblematically true or false. It is clarity on this, and related points, that removes the puzzles associated with vagueness, and helps us to a satisfying diagnosis of why the sorites arguments both seem compelling and yet so obviously a bit of trickery. We give a proof that semantically vague predicates neither apply nor fail-to-apply to anything, and that consequently it is a mistake to diagnose sorites arguments, as is commonly done, by attempting to locate in them a false premise. Sorites arguments are not sound, but not unsound either. We offer an explanation of their appeal, and defend our position against a variety of worries that might arise about it. The plan of the paper is as follows. We first introduce an important distinction in terms of which we characterize what has gone wrong with vague predicates. We characterize what we believe to be our natural starting point in thinking about the phenomenon of vagueness, from which only a powerful argument should move us, and then trace out the consequences of accepting this starting point. We consider the charge that among the consequences of semantic vagueness are that we must give up classical logic and the principle of bivalence, which has figured prominently in arguments for epistemicism. We argue there are no such consequences of our view: neither the view that the logic of natural languages is classical, nor any plausible principle of bivalence, need be given up. Next, we offer a diagnosis of what has gone wrong in sorites arguments on the basis of our account. We then present an argument to show that our account must be accepted on pain of embracing (in one way or another) the epistemic view of “vagueness”, i.e., of denying that there are any semantically vague terms at all. Next, we discuss some worries that may arise about the intelligibility of our linguistic practices if our account is correct. We argue none of these worries should force us from our intuitive starting point. Finally, we cast a quick glance at other forms of semantic incompleteness. (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)

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)

The solution to the Sorites Paradox is discussed.

Smarandache Hypothesis states that there is no speed limit of anything, including light and particles. While the idea is quite simple and based on known hypothesis of quantum mechanics, called Einstein-Podolski-Rosen paradox, in reality such a superluminal physics seems still hard to accept by majority of physicists. Here we review some experiments to support superluminal physics and also findings to explain Smarandache Quantum Paradoxes and Quantum Sorites Paradox. We also touch briefly on new experiment on magneton, supporting (...) SubQuantum Kinetic Model of Electron. (shrink)

Gender is both indeterminate and multifaceted: many individuals do not fit neatly into accepted gender categories, and a vast number of characteristics are relevant to determining a person's gender. This article demonstrates how these two features, taken together, enable gender to be modeled as a multidimensional sorites paradox. After discussing the diverse terminology used to describe gender, I extend Helen Daly's research into sex classifications in the Olympics and show how varying testosterone levels can be represented using a (...) sorites argument. The most appropriate way of addressing the paradox that results, I propose, is to employ fuzzy logic. I then move beyond physiological characteristics and consider how gender portrayals in reality television shows align with Judith Butler's notion of performativity, thereby revealing gender to be composed of numerous criteria. Following this, I explore how various elements of gender can each be modeled as individual sorites paradoxes such that the overall concept forms a multidimensional paradox. Resolving this dilemma through fuzzy logic provides a novel framework for interpreting gender membership. (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)

The current debates in social sciences show that the paradox of observing—the embeddedness of observer in the process of observing—is at the heart of the controversy about their cognitive status and future. Although the problem of observing has been addressed in numerous theoretical perspectives—some of which (Habermas, Leydesdorff, Maturana, and Luhmann) are examined in this article—the prospects for resolving this paradox remain problematic. Locating a point that allows reflection on the process of autopoiesis in general, not just the (...) operation of a particular autopoietic system, may be one condition for resolving this paradox. Such point will offer reflection on all autopoietic systems, including the observer. The dynamic balance between equilibrium and disequilibrium is the mechanism which regulates the process of autopoiesis. Since the function of regulation is essentially a reflective function, this equilibrium between equilibrium and disequilibrium, which can be identified with the concept of homeorhesis introduced by Conrad Waddington, may offer a possibility to reflect on the process of observing. (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)

In his article “If Loud Aliens Explain Human Earliness, Quiet Aliens are also Rare”, Robin Hanson proposes the Grabby Alien Hypothesis, which proposes that extraterrestrial civilizations (ETIs) exist outside of our observable universe and are gradually expanding to fill the universe. The existence of such grabby aliens in our future expanding to fill all available niches puts a cosmic deadline on independently originating sources of life. This cosmic cutoff offers an explanation for why human observers seem to be relatively early (...) in spacetime, why the red dwarf stars seem to be inadequate for independently originating life, and why the Fermi Paradox remains unsolved. However, we should worry about Hanson’s proposal, since the Grabby Alien Hypothesis has its own paradoxical implication, namely that most observers in most reference classes should be grabby aliens themselves (Bostrom, 2002). Thus, oddly, finding ourselves not to be grabby alien observers, it seems Hanson is beholden to explain why we are not. Some possibilities for grabby alien observer alternatives can be offered, though none are particularly explanatorily appealing. In what follows, we will 1) attempt to restate in simple terms Hanson’s assumptions, and then 2) reassemble Hanson’s arguments, showing they lead to a paradox, and 3) consider which assumptions should be rejected and at what cost. (shrink)

Problems for 'precise replacements' as a way out of sorites paradoxes.

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 (...) class='Hi'>paradox, at no further cost, by accepting the inconsistent conclusion. (shrink)

What I hope to show here is that the costs of taking sorites arguments seriously, in particular the costs with respect to hopes for precise replacement are significantly greater than proponents of sorites arguments have estimated.

Vagueness does not necessarily come in with vague predicates, nor need it be expressed by them , but undoubtedly 'vague predicates' are traditionally in the focus of main stream discussions of vagueness. In her current modal logic presentation and discussion of the Sorites paradox Susanne Bobzien[1] lists among the properties of a Sorites series a rather weak modal tolerance principle governing the 'grey zone' containing the borderline cases of the Sorites series, which later proves crucial for (...) her solution of the Sorites paradox by use of epistemic interpreted modal operators in 1st order modal logic. We suggest (for different research interest) instead a non-modal description of the switch in the grey zone (respecting tolerance), by resort to similarity sequences, thus getting tangent to two other areas of research in the field. Let's say -any way- the Sorites paradox vanishes, the Sorites series does not. (shrink)

Counterfactuals are somewhat tolerant. Had Socrates been at least six feet tall, he need not have been exactly six feet tall. He might have been a little taller—he might have been six one or six two. But while he might have been a little taller, there are limits to how tall he would have been. Had he been at least six feet tall, he would not have been more than a hundred feet tall, for example. Counterfactuals are not just tolerant, (...) then, but bounded. This paper presents a surprising paradox: If counterfactuals are tolerant and bounded, then we can prove a flat contradiction using natural rules of inference. Something has to go then. But what? (shrink)

A person with one dollar is poor. If a person with n dollars is poor, then so is a person with n + 1 dollars. Therefore, a person with a billion dollars is poor. True premises, valid reasoning, a false a conclusion. This is an instance of the Sorites-paradox. (There are infinitely many such paradoxes. A man with an IQ of 1 is unintelligent. If a man with an IQ of n is unintelligent, so is a man with (...) an IQ of n+1. Therefore a man with an IQ of 200 is unintelligent.) Most attempts to solve this paradox reject some law of classical logic, usually the law of bivalence. I show that this paradox can be solved while holding on to all the laws of classical logic. Given any predicate that generates a Sorites-paradox, significant use of that predicate is actually elliptical for a relational statement: a significant token of "Bob is poor" means that Bob is poor compared to x, for some value of x. Once a value of x is supplied, a definite cutoff line between having and not having the paradox-generating predicate is supplied. This neutralizes the inductive step in the associated Sorites argument, and the would-be paradox is avoided. (shrink)

John Rawls’s difference principle says that we should change our economy if doing so is better for the worst-off group, on the condition that certain basic rights are secured. This paper presents a kind of case that challenges the principle. If we modify the principle to cope with the challenge, we open the way to a Sorites paradox.

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.

Paradoxes and their Resolutions is a ‘thematic compilation’ by Avi Sion. It collects in one volume the essays that he has written in the past (over a period of some 27 years) on this subject. It comprises expositions and resolutions of many (though not all) ancient and modern paradoxes, including: the Protagoras-Euathlus paradox (Athens, 5th Cent. BCE), the Liar paradox and the Sorites paradox (both attributed to Eubulides of Miletus, 4th Cent. BCE), Russell’s paradox (UK, (...) 1901) and its derivatives the Barber paradox and the Master Catalogue paradox (also by Russell), Grelling’s paradox (Germany, 1908), Hempel's paradox of confirmation (USA, 1940s), and Goodman’s paradox of prediction (USA, 1955). This volume also presents and comments on some of the antinomic discourse found in some Buddhist texts (namely, in Nagarjuna, India, 2nd Cent. CE; and in the Diamond Sutra, date unknown, but probably in an early century CE). (shrink)

One of the hardest problems in philosophy, one that has been around for over two thousand years without generating any significant consensus on its solution, involves the concept of vagueness: a word or concept that doesn't have a perfectly precise meaning. There is an argument that seems to show that the word or concept simply must have a perfectly precise meaning, as violently counterintuitive as that is. Unfortunately, the argument is usually so compressed that it is difficult to see why (...) exactly the problem is so hard to solve. In this article I attempt to explain just why it is that the problem – the sorites paradox – is so intractable.Export citation. (shrink)

It will be shown in this article that an ontological approach for some problems related to the interpretation of Quantum Mechanics (QM) could emerge from a re-evaluation of the main paradox of early Greek thought: the paradox of Being and non-Being, and the solutions presented to it by Plato and Aristotle. More well known are the derivative paradoxes of Zeno: the paradox of motion and the paradox of the One and the Many. They stem from what (...) was perceived by classical philosophy to be the fundamental enigma for thinking about the world: the seemingly contradictory results that followed from the co-incidence of being and non-being in the world of change and motion as we experience it, and the experience of absolute existence here and now. The most clear expression of both stances can be found, again following classical thought, in the thinking of Heraclitus of Ephesus and Parmenides of Elea. The problem put forward by these paradoxes reduces for both Plato and Aristotle to the possibility of the existence of stable objects as a necessary condition for knowledge. Hence the primarily ontological nature of the solutions they proposed: Plato’s Theory of Forms and Aristotle’s metaphysics and logic. Plato’s and Aristotle’s systems are argued here to do on the ontological level essentially the same: to introduce stability in the world by introducing the notion of a separable, stable object, for which a ‘principle of contradiction’ is valid: an object cannot be and not-be at the same place at the same time. So it becomes possible to forbid contradiction on an epistemological level, and thus to guarantee the certainty of knowledge that seemed to be threatened before. After leaving Aristotelian metaphysics, early modern science had to cope with these problems: it did so by introducing “space” as the seat of stability, and “time” as the theater of motion. But the ontological structure present in this solution remained the same. Therefore the fundamental notion ‘separable system’, related to the notions observation and measurement, themselves related to the modern concepts of space and time, appears to be intrinsically problematic, because it is inextricably connected to classical logic on the ontological level. We see therefore the problems dealt with by quantum logic not as merely formal, and the problem of ‘non-locality’ as related to it, indicating the need to re-think the notions system, entity, as well as the implications of the operation ‘measurement’, which is seen here as an application of classical logic (including its ontological consequences) on the material world. (shrink)

I defend the hypothesis that the semantic paradoxes, the paradoxes about collections, and the sorites paradoxes, are all paradoxes of reference fixing: they show that certain conventionally adopted and otherwise functional reference-fixing principles cannot provide consistent assignments of reference to certain relevant expressions in paradoxical cases. I note that the hypothesis has interesting implications concerning the idea of a unified account of the semantic, collection and sorites paradoxes, as well as about the explanation of their “recalcitrance”. I also (...) note that it does not necessarily imply that one should not expect the sometimes hoped for “unique” solution to a paradox of these kinds. (shrink)

Sergio Tenenbaum and Diana Raffman contend that ‘vague projects’ motivate radical revisions to orthodox, utility-maximising rational choice theory. Their argument cannot succeed if such projects merely ground instances of the paradox of the sorites, or heap. Tenenbaum and Raffman are not blind to this, and argue that Warren Quinn’s Puzzle of the Self-Torturer does not rest on the sorites. I argue that their argument both fails to generalise to most vague projects, and is ineffective in the case (...) of the Self-Torturer itself. (shrink)

If feeling a genuine emotion requires believing that its object actually exists, and if this is a belief we are unlikely to have about fictional entities, then how could we feel genuine emotions towards these entities? This question lies at the core of the paradox of fiction. Since its original formulation, this paradox has generated a substantial literature. Until recently, the dominant strategy had consisted in trying to solve it. Yet, it is more and more frequent for scholars (...) to try to dismiss it using data and theories coming from psychology. In opposition to this trend, the present paper argues that the paradox of fiction cannot be dissolved in the ways recommended by the recent literature. We start by showing how contemporary attempts at dissolving the paradox assume that it emerges from theoretical commitments regarding the nature of emotions. Next, we argue that the paradox of fiction rather emerges from everyday observations, the validity of which is independent from any such commitment. This is why we then go on to claim that a mere appeal to psychology in order to discredit these theoretical commitments cannot dissolve the paradox. We bring our discussion to a close on a more positive note, by exploring how the paradox could in fact be solved by an adequate theory of the emotions. (shrink)

We shall evaluate two strategies for motivating the view that knowledge is the norm of belief. The first draws on observations concerning belief's aim and the parallels between belief and assertion. The second appeals to observations concerning Moore's Paradox. Neither of these strategies gives us good reason to accept the knowledge account. The considerations offered in support of this account motivate only the weaker account on which truth is the fundamental norm of belief.

A Wittgensteinian Way with Paradoxes examines how some of the classic philosophical paradoxes that have so puzzled philosophers over the centuries can be dissolved. Read argues that paradoxes such as the Sorites, Russell’s Paradox and the paradoxes of time travel do not, in fact, need to be solved. Rather, using a resolute Wittgensteinian ‘therapeutic’ method, the book explores how virtually all apparent philosophical paradoxes can be diagnosed and dissolved through examining their conditions of arising; to loosen their grip (...) and therapeutically liberate those philosophers suffering from them (including oneself). The book contrasts such paradoxes with real, ‘lived paradoxes’: paradoxes that are genuinely experienced outside of the philosopher’s study, in everyday life. Thus Read explores instances of lived paradox (such as paradoxes of self-hatred and of denial of other humans’ humanity) and the harm they can cause, psychically, morally or politically. These lived paradoxes, he argues, sometimes cannot be dissolved using a Wittgensteinian treatment. Moreover, in some cases they do not need to be: for some, such as the paradoxical practices of Zen Buddhism (and indeed of Wittgenstein himself), can in fact be beneficial. The book shows how, once philosophers’ paradoxes have been exorcized, real lived paradoxes can be given their due. (shrink)

My main aim at this paper is to present Lewis Carrol’s Paradox on the justification of logical principles inasmuch as some attempts of solving it. This is important because if there are basic logical principles, it also seems necessary to exist some justification for them. By considering some observations from Ryle, Devitt and Kripke about the theme, we intend to briefly display their theories and their core critics among themselves and, mainly, the critics against adoption theory.

Tarski's analysis of the concept of truth gives rise to a hierarchy of languages. Does this fragment the concept all the way to philosophical unacceptability? I argue it doesn't, drawing on a modification of Kaplan's theory of indexicals.

John McDowell articulated a radical criticism of normative inferentialism against Robert Brandom’s expressivist account of conceptual contents. One of his main concerns consists in vindicating a notion of intentionality that could not be reduced to the deontic relations that are established by discursive practitioners. Noticeably, large part of this discussion is focused on empirical knowledge and observational judgments. McDowell argues that there is no role for inference in the application of observational concepts, except the paradoxical one of justifying (...) the content of an observational judgment in terms of itself. This paper examines the semantical consequences of the analysis of the content of empirical judgments in terms of their inferential role. These, it is suggested, are distinct from the epistemological paradoxes that McDowell charges the inferentialist approach with. (shrink)

This book is devoted to the presentation of the new quantum mechanical formalism based on the probability representation of quantum states. In the 20s and 30s it became evident that some properties in quantum mechanics can be assigned only to the quantum mechanical system, but not necessarily to its constituents. This led Einstein, Podolsky and Rosen (EPR) to their remarkable 1935 paper where they concluded that quantum mechanics is not a complete theory of nature (EPR paradox). In order to (...) avoid the contradiction which arises from instantaneous action at a distance mentioned above we introduce an extension of the canonical relativity by using measure algebra of physical events in Minkowski space-time. The canonical QM formalism is extended by additional new postulate of EPRB nonlocality for continuous and discrete observables, chapter I. The postulate of EPRB nonlocality is supported by new quantum mechanical formalism based on the probability representation of quantum states. Chapter II is devoted to the new quantum mechanical formalism based on the probability representation of quantum states. Chapter III is devoted to the Einstein's 1927 gedanken experiment resolution. Chapter IV is devoted to the EPR paradox resolution. Chapter V is devoted to the EPR-B paradox resolution. Chapter VI is devoted to the Schrödinger's cat (measured spin) paradox resolution. Chapter VII is devoted to the Bell inequalities revisited. Remind that the canonical arguments which were presented by many authors, namely, that violations of Bell type inequalities signal us that the classical Kolmogorovian model of probability is inapplicable to quantum phenomena. We claimed that the canonical assumption, under which Bell type inequalities were derived, is not supported by real physical nature of the EPRB experiments. The fundamental physical nature violations of the canonical Bell type inequalities explained by Postulate of EPR-Nonlocality and Heisenberg noise-disturbance uncertainty relations. (shrink)

‘Puzzles’, ‘word games’, ‘logical anomalies’, whatever we call them, they perplex us and challenge our familiar patterns of reasoning. One of these puzzles, among many others, originated from the mind of an ancient Megarian logician, Eubulides of Miletus, and endures to the modern day.1 Its name, ‘sorites’, can be traced to the Greek word soros, meaning ‘heap.’ The answer to whether one grain of sand ‘is a heap’ or ‘is not a heap’ seems quite simple: it is not a (...) heap. However, as we add grains to the one, at what future point does the non-heap become a heap? Our decision is fraught with uncertainty. Are the objects or the language we are using to describe them vague? In academic philosophy, the ancient Greek puzzle has gained the status of a paradox, as philosophers apply stoic and modern logic to these propositions considered to have vague predicates. The current debate has developed quite serious and wide-ranging implications, such as whether sorites issues provide adequate grounds for abandoning our standard ontology (or our understanding of what really exists), 2 and (germinating into another discipline) whether vagueness in the language of legal rules can generate disagreement as to whether there are right answers to questions of law. 3 Several unique solutions to the paradox have been proposed, yet all suffer from specific inadequacies that might, upon further reflection, disappear in the event that we endeavour to produce a synthesis. When we say that we are attempting to derive a synthesis, we seek to combine elements of two solutions for the sake of creating a new (and hopefully, though not necessarily, a better) one. The paradox of the sorites, or ‘the heap’, appeals to us because it challenges our assumption that we may categorically describe clear cases and their negations, yet fail to distinguish the borderline ones. I will demonstrate that some combinations of solutions are easy fits while others are extremely weak and awkward as attempts at resolving the paradox. Nonetheless, the process of synthesis produces three noteworthy combinations. (shrink)

The Kripke/Wittgenstein paradox and Goodman’s riddle of induction can be construed as problems of multiple redescription, where the relevant sceptical challenge is to provide factual grounds justifying the description we favour. A choice of description or predicate, in turn, is tantamount to the choice of a curve over a set of data, a choice apparently governed by implicitly operating constraints on the relevant space of possibilities. Armed with this analysis of the two paradoxes, several realist solutions of Kripke’s (...) class='Hi'>paradox are examined that appeal to dispositions or other non-occurrent properties. It is found that all neglect crucial epistemological issues: the entities typically appealed to are not observational and must be inferred on the basis of observed entities or events; yet, the relevant sceptical challenge concerns precisely the factual basis on which this inference is made and the constraints operating on it. All disposition ascriptions, the thesis goes on to argue, contain elements of idealization. To ward off the danger of vacuity resulting from the fact that any disposition ascription is true under just the right ideal conditions, dispositional theories need to specify limits on legitimate forms of idealization. This is best done by construing disposition ascriptions as forms of (implicit) curve-fitting, I argue, where the “data” is not necessarily numeric, and the “curve” fitted not necessarily graphic. This brings us full circle: Goodman’s and Kripke’s problems are problems concerning curve-fitting, and the solutions for it appeal to entities the postulation of which is the result of curve-fitting. The way to break the circle must come from a methodology governing the idealizations, or inferences to the best idealization, that are a part of curve-fitting. The thesis closes with an argument for why natural science cannot be expected to be of much help in this domain, given the ubiquity of idealization. (shrink)

When two omnipotent beings are randomly and sequentially selecting positive integers, the being who selects second is almost certain to select a larger number. I then use the relativity of simultaneity to create a paradox by having omnipotent beings select positive integers in different orders for different observers.

The Unexpected Hanging Problem is also known as the Surprise Examination Problem. We here solve it by isolating what is logical reasoning from the rest of the human psyche. In a not-so-orthodox analysis, following our tradition (The Liar, Dichotomy, The Sorites and Russell’s Paradox), we talk about the problem from a perspective that is more distant than all the known perspectives. From an observational point that is in much farther than all the observational points used until (...) now, the reader can finally see why the problem has been perpetuated as a problem and can also see that the problem was never an actual problem: Once more, we have an allurement. The allurement this time makes us start paying attention to all the complexity of the human psyche when studying problems that involve human feelings. The main finding could be told to be that we have to understand and study more the human psyche, in all its intricacies, also when dealing with problems that seem to belong with exclusivity to Mathematics or Logic. (shrink)

This paper presents a case for the claim that the infamous miners paradox is not a paradox. This contention is based on some important observations about the nature of ignorance with respect to both disjunctions and conditional obligations and their modal features. The gist of the argument is that given the uncertainty about the location of the miners in the story and the nature of obligations, the apparent obligation to block either mine shaft is cancelled.

Ensemble perception—the encoding of objects by their group properties—is known to be resistant to outlier noise. However, this resistance is somewhat paradoxical: how can the visual system determine which stimuli are outliers without already having derived statistical properties of the ensemble? A simple solution would be that ensemble perception is not a simple, one-step process; instead, outliers are detected through iterative computations that identify items with high deviance from the mean and reduce their weight in the representation over time. Here (...) we tested this hypothesis. In Experiment 1, we found evidence that outliers are discounted from mean orientation judgments, extending previous results from ensemble face perception. In Experiment 2, we tested the timing of outlier rejection by having participants perform speeded judgments of sets with or without outliers. We observed significant increases in reaction time (RT) when outliers were present, but a decrease compared to no-outlier sets of matched range suggesting that range alone did not drive RTs. In Experiment 3 we tested the timing by which outlier noise reduces over time. We presented sets for variable exposure durations and found that noise decreases linearly over time. Altogether these results suggest that ensemble representations are optimized through iterative computations aimed at reducing noise. The finding that ensemble perception is an iterative process provides a useful framework for understanding contextual effects on ensemble perception. (shrink)

DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more (...) commonly, from the hypothesis augmented by a set of premises known to be true. A “direct proof of a hypothesis" is an argumentation that actually deduces the hypothesis itself from premises known to be true. Since `appears', `believes' and `knows' all make elliptical reference to a participant, it is clear that `paradox', `indirect proof' and `direct proof' are all participant-relative. PARTICIPANT RELATIVITY In normal mathematical writing the participant is presumed to be “the community of mathematicians" or some more or less well-defined subcommunity and, therefore, omission of explicit reference to the participant is often warranted. However, in historical, critical, or philosophical writing focused on emerging branches of mathematics such omission often invites confusion. One and the same argumentation has been a paradox for one mathematician, an inconsistency proof for another, and an indirect proof to a third. One and the same argumentation-text can appear to one mathematician to express an indirect proof while appearing to another mathematician to express a direct proof. WHAT IS A PARADOX’S SOLUTION? Of the above four sorts of argumentation only the paradox invites “solution" or “resolution", and ordinarily this is to be accomplished either by discovering a logical fallacy in the “reasoning" of the argumentation or by discovering that the conclusion is not really false or by discovering that one of the premises is not really true. Resolution of a paradox by a participant amounts to reclassifying a formerly paradoxical argumentation either as a “fallacy", as a direct proof of its conclusion, as an indirect proof of the negation of one of its premises, as an inconsistency proof, or as something else depending on the participant's state of knowledge or belief. This illustrates why an argumentation which is a paradox to a given mathematician at a given time may well not be a paradox to the same mathematician at a later time. -/- The present article considers several set-theoretic argumentations that appeared in the period 1903-1908. The year 1903 saw the publication of B. Russell's Principles of mathematics, [Cambridge Univ. Press, Cambridge, 1903; Jbuch 34, 62]. The year 1908 saw the publication of Russell's article on type theory as well as Ernst Zermelo's two watershed articles on the axiom of choice and the foundations of set theory. The argumentations discussed concern “the largest cardinal", “the largest ordinal", the well-ordering principle, “the well-ordering of the continuum", denumerability of ordinals and denumerability of reals. The article shows that these argumentations were variously classified by various mathematicians and that the surrounding atmosphere was one of confusion and misunderstanding, partly as a result of failure to make or to heed distinctions similar to those made above. The article implies that historians have made the situation worse by not observing or not analysing the nature of the confusion. -/- RECOMMENDATION This well-written and well-documented article exemplifies the fact that clarification of history can be achieved through articulation of distinctions that had not been articulated (or were not being heeded) at the time. The article presupposes extensive knowledge of the history of mathematics, of mathematics itself (especially set theory) and of philosophy. It is therefore not to be recommended for casual reading. AFTERWORD: This review was written at the same time Corcoran was writing his signature “Argumentations and logic”[249] that covers much of the same ground in much more detail. https://www.academia.edu/14089432/Argumentations_and_Logic . (shrink)

Hempel‘s paradox of the ravens, and his take on it, are meant to be understood as being restricted to situations where we have no additional background information. According to him, in the absence of any such information, observations of FGs confirm the hypothesis that all Fs are G. In this paper I argue against this principle by way of considering two other paradoxes of confirmation, Goodman‘s 'grue‘ paradox and the 'tacking‘ (or 'irrelevant conjunct‘) paradox. What these paradoxes (...) reveal, I argue, is that a presumption of causal realism is required to ground any confirmation; but once we grant causal realism, we have no reason to accept the central principles giving rise to the paradoxes. (shrink)

We conceptualize observation selection effects (OSEs) by considering how a shift from one process of observation to another affects discrimination-conduciveness, by which we mean the degree to which possible observations discriminate between hypotheses, given the observation process at work. OSEs in this sense come in degrees and are causal, where the cause is the shift in process, and the effect is a change in degree of discrimination-conduciveness. We contrast our understanding of OSEs with others that have appeared in the literature. (...) After describing conditions of adequacy that an acceptable measure of degree of discrimination-conduciveness must satisfy, we use those conditions of adequacy to evaluate several possible measures. We also discuss how the effect of shifting from one observation process to another might be measured. We apply our framework to several examples, including the ravens paradox and the phenomenon of publication bias. (shrink)

Lewis Carroll, both logician and writer, suggested a logical paradox containing furthermore two connotations (connotations or metaphors are inherent in literature rather than in mathematics or logics). The paradox itself refers to implication demonstrating that an intermediate implication can be always inserted in an implication therefore postponing its ultimate conclusion for the next step and those insertions can be iteratively and indefinitely added ad lib, as if ad infinitum. Both connotations clear up links due to the shared formal (...) structure with other well-known mathematical observations: (1) the paradox of Achilles and the Turtle; (2) the transitivity of the relation of equality. Analogically to (1), one can juxtapose the paradox of the Liar (for Lewis Carroll’s paradox) and that of the arrow (for “Achilles and the Turtle”), i.e. a logical paradox, on the one hand, and an aporia of motion, on the other hand, suggesting a shared formal structure of both, which can be called “ontological”, on which basis “motion” studied by physics and “conclusion” studied by logic can be unified being able to bridge logic and physics philosophically in a Hegelian manner: even more, the bridge can be continued to mathematics in virtue of (2), which forces the equality (for its property of transitivity) of any two quantities to be postponed analogically ad lib and ad infinitum. The paper shows that Hilbert arithmetic underlies naturally Lewis Carroll’s paradox admitting at least three interpretations linked to each other by it: mathematical, physical and logical. Thus, it can be considered as both generalization and solution of his paradox therefore naturally unifying the completeness of quantum mechanics (i.e. the absence of hidden variables) and eventual completeness of mathematics as the same and isomorphic to the completeness of propositional logic in relation to set theory as a first-order logic (in the sense of Gödel (1930)’s completeness theorems). (shrink)

One of the Bell's assumptions in the original derivation of his inequalities was the hypothesis of locality, i.e., the absence of the in uence of two remote measuring instruments on one another. That is why violations of these inequalities observed in experiments are often interpreted as a manifestation of the nonlocal nature of quantum mechanics, or a refutation of a local realism. It is well known that the Bell's inequality was derived in its traditional form, without resorting to the hypothesis (...) of locality and without the introduction of hidden variables, the only assumption being that the probability distributions are nonnegative. This can therefore be regarded as a rigorous proof that the hypothesis of locality and the hypothesis of existence of the hidden variables not relevant to violations of Bell's inequalities. The physical meaning of the obtained results is examined. Physical nature of the violation of the Bell inequalities is explained under new EPR-B nonlocality postulate.We show that the correlations of the observables involved in the Bohm{Bell type experiments can be expressed as correlations of classical random variables. The revisited Bell type inequality in canonical notatons reads <AB>+<A′B>+<AB′>-<A′B′>≤6. (shrink)

We defend hylomorphism against Maegan Fairchild’s purported proof of its inconsistency. We provide a deduction of a contradiction from SH+, which is the combination of “simple hylomorphism” and an innocuous premise. We show that the deduction, reminiscent of Russell’s Paradox, is proof-theoretically valid in classical higher-order logic and invokes an impredicatively defined property. We provide a proof that SH+ is nevertheless consistent in a free higher-order logic. It is shown that the unrestricted comprehension principle of property abstraction on which (...) the purported proof of inconsistency relies is analogous to naïve unrestricted set-theoretic comprehension. We conclude that logic imposes a restriction on property comprehension, a restriction that is satisfied by the ramified theory of types. By extension, our observations constitute defenses of theories that are structurally similar to SH+, such as the theory of singular propositions, against similar purported disproofs. (shrink)

In his paper ‘The possibility of vagueness’ (Fine in Synthese 194(10):3699–3725, 2017), Kit Fine 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 (Philos Perspect 22(1):111–136, 2008). The present paper presents a challenge to his new theory of vagueness. I argue that the possibility theorem stated in Fine (Synthese 194(10):3699–3725, 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)

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)