Abstract In an engaging and ingenious paper, Irvine (1993) purports to show how the resolution of Braess? paradox can be applied to Newcomb's problem. To accomplish this end, Irvine forges three links. First, he couples Braess? paradox to the Cohen?Kelly queuing paradox. Second, he couples the Cohen?Kelly queuing paradox to the Prisoner's Dilemma (PD). Third, in accord with received literature, he couples the PD to Newcomb's problem itself. Claiming that the linked models are ?structurally (...) identical?, he argues that Braess solves Newcomb's problem. This paper shows that Irvine's linkage depends on structural similarities?rather than identities?between and among the models. The elucidation of functional disanalogies illuminates structural dissimilarities which sever that linkage. I claim that the Cohen?Kelly queuing paradox cloaks a fine structure that decouples it from both Braess? paradox and the PD (Marinoff, 1996a). I further assert that the putative reduction of the PD to a Newcomb problem (e.g. Brams, 1975; Lewis, 1979) is seriously flawed. It follows that Braess? paradox does not solve Newcomb's problem via the foregoing and herein sundered chain. I conclude by substantiating a stronger claim, namely that Braess'paradox cannot solve Newcomb's problem at all. (shrink)

Abstract Newcomb's problem is regularly described as a problem arising from equally defensible yet contradictory models of rationality. Braess? paradox is regularly described as nothing more than the existence of non?intuitive (but ultimately non?contradictory) equilibrium points within physical networks of various kinds. Yet it can be shown that Newcomb's problem is structurally identical to Braess? paradox. Both are instances of a well?known result in game theory, namely that equilibria of non?cooperative games are generally Pareto?inefficient. Newcomb's problem (...) is simply a limiting case in which the number of players equals one. Braess? paradox is another limiting case in which the ?players? need not be assumed to be discrete individuals. The result is that Newcomb's problem is no more difficult to solve than (the easy to solve) Braess? paradox. (shrink)

The Braess Paradox (BP) is a counterintuitive finding that degrading a network that is susceptible to congestion may decrease the equilibrium travel cost for each of its users. We illustrate this paradox with two networks: a basic network with four alternative routes from a single origin to a single destination, and an augmented network with six alternative routes. We construct the equilibrium solutions to these two networks, which jointly give rise to the paradox, and subject them (...) to experimental testing. Our purpose is to test the generality of the BP when the network is enriched as well as the effects of the information provided to the network users when they conclude their travel. To this end, we compare experimentally two information conditions when each of the two networks is iterated in time. Under public monitoring each user is accurately informed of the route choices and payoffs of all the users, whereas under private monitoring she is only informed of her own payoff. Under both information conditions, over iterations of the basic and augmented games, aggregate route choices converge to equilibrium. (shrink)

We show that various paradoxes can arise in a natural class of social networks. They demonstrate that more services or products may have adverse consequences for all members of the network and conversely that restricting the number of choices may be beneficial for every member of the network. These phenomena have been confirmed by a number of empirical studies. In our analysis we use a simple threshold model of social networks introduced in Apt and Markakis, and more fully in Apt (...) and Markakis. In this model the agents, influenced by their neighbours, can adopt one out of several alternatives. We identify and analyze here four types of paradoxes that can arise in these networks. These paradoxes shed light on possible inefficiencies arising when one modifies the sets of products available to the agents forming a social network or the network structure. One of the paradoxes corresponds to the well-known Braess paradox in congestion games and shows that by adding more choices to a node, the network may end up in a situation that is worse for everybody. We exhibit a dual version of this, according to which removing a product available to an agent can eventually make everybody better off. The other paradoxes that we identify show that by adding or removing a product from the choice set of an agent may lead to permanent instability. Finally, we also identify conditions under which some of these paradoxes cannot arise. (shrink)

A selective background -- Broadly classical approaches -- Paracompleteness -- More on paracomplete solutions -- Paraconsistent dialetheism.

Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to give (...) the latter its own theoretical development along the line of recent work by Dietrich and Mongin. However, the paper also aims at reviewing logical aggregation theory as such, and it covers impossibility theorems by Dietrich, Dietrich and List, Dokow and Holzman, List and Pettit, Mongin, Nehring and Puppe, Pauly and van Hees, providing a uniform logical framework in which they can be compared with each other. The review goes through three historical stages: the initial paradox and dilemma, the scattered early results on the independence axiom, and the so-called canonical theorem, a collective achievement that provided the theory with its specific method of analysis. The paper goes some way towards philosophical logic, first by briefly connecting the aggregative framework of judgment with the modern philosophy of judgment, and second by thoroughly discussing and axiomatizing the ‘general logic’ built in this framework. (shrink)

Fitch's Paradox and the Paradox of the Knower both make use of the Factivity Principle. The latter also makes use of a second principle, namely the Knowledge-of-Factivity Principle. Both the principle of factivity and the knowledge thereof have been the subject of various discussions, often in conjunction with a third principle known as Closure. In this paper, we examine the well-known Surprise Examination paradox considering both the principles on which this paradox rests and some formal characterisations (...) of the surprise notion, crucial in this paradox. Standard formalizations of the Surprise Examination paradox in modal logic do not seem, at first glance, to depend on either factivity or knowledge-of-factivity, but we will argue that both factivity and knowledge-of-factivity play a key implicit role in the paradox. Namely, they are implicitly, perhaps unintentionally, used in order to simplify the definition of surprise. We analyze modal logical formalizations of three versions of the paradox concluding that the Surprise Examination paradox is the result of two flaws: the assumption of knowledge-of-factivity, and the over-simplification of the definition of "surprise" accordingly. By fixing these two flaws, the Surprise Examination paradox vanishes. (shrink)

By means of an example, shows the possibility of beliefs that are separately rational whilst together inconsistent.

According to the principle of Conjunction Closure, if one has justification for believing each of a set of propositions, one has justification for believing their conjunction. The lottery and preface paradoxes can both be seen as posing challenges for Closure, but leave open familiar strategies for preserving the principle. While this is all relatively well-trodden ground, a new Closure-challenging paradox has recently emerged, in two somewhat different forms, due to Backes :3773–3787, 2019a) and Praolini :715–726, 2019). This paradox (...) synthesises elements of the lottery and the preface and is designed to close off the familiar Closure-preserving strategies. By appealing to a normic theory of justification, I will defend Closure in the face of this new paradox. Along the way I will draw more general conclusions about justification, normalcy and defeat, which bear upon what Backes :2877–2895, 2019b) has dubbed the ‘easy defeat’ problem for the normic theory. (shrink)

I present a new argument for the repugnant conclusion. The core of the argument is a risky, intrapersonal analogue of the mere addition paradox. The argument is important for three reasons. First, some solutions to Parfit’s original puzzle do not obviously generalize to the intrapersonal puzzle in a plausible way. Second, it raises independently important questions about how to make decisions under uncertainty for the sake of people whose existence might depend on what we do. And, third, it suggests (...) various difficulties for leading views about the value of a person’s life compared to her nonexistence. (shrink)

Conscientious objection in health care is a form of compromise whereby health care practitioners can refuse to take part in safe, legal, and beneficial medical procedures to which they have a moral opposition (for instance abortion). Arguments in defense of conscientious objection in medicine are usually based on the value of respect for the moral integrity of practitioners. I will show that philosophical arguments in defense of conscientious objection based on respect for such moral integrity are extremely weak and, if (...) taken seriously, lead to consequences that we would not (and should not) accept. I then propose that the best philosophical argument that defenders of conscientious objection in medicine can consistently deploy is one that appeals to (some form of) either moral relativism or subjectivism. I suggest that, unless either moral relativism or subjectivism is a valid theory—which is exactly what many defenders of conscientious objection (as well as many others) do not think—the role of moral integrity and conscientious objection in health care should be significantly downplayed and left out of the range of ethically relevant considerations. (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, (...) but not jointly, lack the problematic feature. (shrink)

The Liar paradox raises foundational questions about logic, language, and truth (and semantic notions in general). A simple Liar sentence like 'This sentence is false' appears to be both true and false if it is either true or false. For if the sentence is true, then what it says is the case; but what it says is that it is false, hence it must be false. On the other hand, if the statement is false, then it is true, since (...) it says (only) that it is false. -/- How, then, should we classify Liar sentences? Are they true or false? A natural suggestion would be that Liars are neither true nor false; that is, they fall into a category beyond truth and falsity. This solution might resolve the initial problem, but it beckons the Liar's revenge. A sentence that says of itself only that it is false or beyond truth and falsity will, in effect, bring back the initial problem. The Liar's revenge is a witness to the hydra-like nature of Liars: in dealing with one Liar you often bring about another. -/- JC Beall presents fourteen new essays and an extensive introduction, which examine the nature of the Liar paradox and its resistance to any attempt to solve it. Written by some of the world's leading experts in the field, the papers in this volume will be an important resource for those working in truth studies, philosophical logic, and philosophy of language, as well as those with an interest in formal semantics and metaphysics. (shrink)

In a world plagued by disagreement and conflict one might expect that the exact sciences of logic and mathematics would provide a safe harbor. In fact these disciplines are rife with internal divisions between different, often incompatible, systems. Do these disagreements admit of resolution? Can such resolution be achieved without disturbing assumptions that the theorems of logic and mathematics state objective truths about the real world? In this original and historically rich book John Woods explores apparently intractable disagreements in logic (...) and the foundations of mathematics and sets out conflict resolution strategies that evade or disarm these stalemates. An important sub-theme of the book is the extent to which pluralism in logic and the philosophy of mathematics undermines realist assumptions. This book makes an important contribution to such areas of philosophy as logic, philosophy of language and argumentation theory. It will also be of interest to mathematicians and computer scientists. (shrink)

A number of authors have argued that Peano Arithmetic supplemented with a logical validity predicate is inconsistent in much the same manner as is PA supplemented with an unrestricted truth predicate. In this paper I show that, on the contrary, there is no genuine paradox of logical validity—a completely general logical validity predicate can be coherently added to PA, and the resulting system is consistent. In addition, this observation lead to a number of novel, and important, insights into the (...) nature of logical validity itself. (shrink)

This paper elaborates a new solution to the lottery paradox, according to which the paradox arises only when we lump together two distinct states of being confident that p under one general label of ‘belief that p’. The two-state conjecture is defended on the basis of some recent work on gradable adjectives. The conjecture is supported by independent considerations from the impossibility of constructing the lottery paradox both for risk-tolerating states such as being afraid, hoping or hypothesizing, (...) and for risk-averse, certainty-like states. The new proposal is compared to views within the increasingly popular debate opposing dualists to reductionists with respect to the relation between belief and degrees of belief. (shrink)

The paradox of knowability poses real difficulities to our understanding of truth. It does so by claiming that if we assume a truth is knowable, we can demonstrate that it is known. This demonstration threatens our understanding of truth in two quite different ways, only one of which has been recognized to this point in the literature on the paradox. Jonathan Kvanvig first unearths the ways in which the paradox is threatening, and then delineates an approach to (...) the paradox that solves both of the problems raised by the paradox for our understanding of truth. His book will be of interest throughout philosophy, but especially to logicians and epistemologists. (shrink)

In The Socratic Paradox and Its Enemies, Roslyn Weiss argues that the Socratic paradoxes—no one does wrong willingly, virtue is knowledge, and all the virtues are one—are best understood as Socrates’ way of combating sophistic views: ...

The author of Governance in a Globalizing World probes the limits of American power, offering a compelling argument for the world's lone superpower to forge cooperative relationships with nations around the world.

Whereas many others have scrutinized the Allais paradox from a theoretical angle, we study the paradox from an historical perspective and link our findings to a suggestion as to how decision theory could make use of it today. We emphasize that Allais proposed the paradox as a normative argument, concerned with ‘the rational man’ and not the ‘real man’, to use his words. Moreover, and more subtly, we argue that Allais had an unusual sense of the normative, (...) being concerned not so much with the rationality of choices as with the rationality of the agent as a person. These two claims are buttressed by a detailed investigation – the first of its kind – of the 1952 Paris conference on risk, which set the context for the invention of the paradox, and a detailed reconstruction – also the first of its kind – of Allais’s specific normative argument from his numerous but allusive writings. The paper contrasts these interpretations of what the paradox historically represented, with how it generally came to function within decision theory from the late 1970s onwards: that is, as an empirical refutation of the expected utility hypothesis, and more specifically of the condition of von Neumann–Morgenstern independence that underlies that hypothesis. While not denying that this use of the paradox was fruitful in many ways, we propose another use that turns out also to be compatible with an experimental perspective. Following Allais’s hints on ‘the experimental definition of rationality’, this new use consists in letting the experiment itself speak of the rationality or otherwise of the subjects. In the 1970s, a short sequence of papers inspired by Allais implemented original ways of eliciting the reasons guiding the subjects’ choices, and claimed to be able to draw relevant normative consequences from this information. We end by reviewing this forgotten experimental avenue not simply historically, but with a view to recommending it for possible use by decision theorists today. (shrink)

Previous claims to have resolved the two-envelope paradox have been premature. The paradoxical argument has been exposed as manifestly fallacious if there is an upper limit to the amount of money that may be put in an envelope; but the paradoxical cases which can be described if this limitation is removed do not involve mathematical error, nor can they be explained away in terms of the strangeness of infinity. Only by taking account of the partial sums of the infinite (...) series of expected gains can the paradox be resolved. (shrink)

New technologies are often introduced with the purpose of improving our control over a certain task: however, software, AI and robots often cause understandable fears of machines taking control away from us. This is what Ezio Di Nucci calls the ‘control paradox’.

Prawitz observed that Russell’s paradox in naive set theory yields a derivation of absurdity whose reduction sequence loops. Building on this observation, and based on numerous examples, Tennant claimed that this looping feature, or more generally, the fact that derivations of absurdity do not normalize, is characteristic of the paradoxes. Striking results by Ekman show that looping reduction sequences are already obtained in minimal propositional logic, when certain reduction steps, which are prima facie plausible, are considered in addition to (...) the standard ones. This shows that the notion of reduction is in need of clarification. Referring to the notion of identity of proofs in general proof theory, we argue that reduction steps should not merely remove redundancies, but must respect the identity of proofs. Consequentially, we propose to modify Tennant’s paradoxicality test by basing it on this refined notion of reduction. (shrink)

We explore the developmental paradox of false belief understanding. This paradox follows from the claim that young infants already have an understanding of false belief, despite the fact that they consistently fail the elicited-response false belief task. First, we argue that recent proposals to solve this paradox are unsatisfactory because they (i) try to give a full explanation of false belief understanding in terms of a single system, (ii) fail to provide psychological concepts that are sufficiently fine-grained (...) to capture the cognitive requirements for the various manifestations of false belief understanding, and (iii) ignore questions about system interaction. Second, we present a dual-system solution to the developmental paradox of false belief understanding that combines a layered model of perspective taking with an inhibition-selection-representation mechanism that operates on different levels. We discuss recent experimental findings that shed light on the interaction between these two systems, and suggest a number of directions for future research. (shrink)

We discuss some recent work by Tim Maudlin concerning Black Hole Information Loss. We argue, contra Maudlin, that there is a paradox, in the straightforward sense that there are propositions that appear true, but which are incompatible with one another. We discuss the significance of the paradox and Maudlin's response to it.

Roy T Cook examines the Yablo paradox--a paradoxical, infinite sequence of sentences, each of which entails the falsity of all others that follow it. He focuses on questions of characterization, circularity, and generalizability, and pays special attention to the idea that it provides us with a semantic paradox that involves no circularity.

One version of Moore’s Paradox is the challenge to account for the absurdity of beliefs purportedly expressed by someone who asserts sentences of the form ‘p & I do not believe that p’. The absurdity of these beliefs is philosophically puzzling, given that Moorean sentences are contingent and often true; and express contents that are unproblematic when presented in the third-person. In this paper I critically examine the most popular proposed solution to these two puzzles, according to which Moorean (...) beliefs are absurd because Moorean sentences are instances of pragmatic paradox; that is to say, the propositions they express are necessarily false-when-believed. My conclusion is that while a Moorean belief is a pragmatic paradox, it is not just another pragmatic paradox, because this diagnosis does not explain all the puzzling features of Moorean beliefs. In particularly, while this analysis is plausible in relation to the puzzle posed by characteristic of Moorean sentences, I argue that it fails to account for. I do so in the course of an attempt to formulate the definition of a pragmatic paradox in more precise formal terms, in order to see whether the definition is satisfied by Moorean sentences, but not by their third-person transpositions. For only an account which can do so could address adequately. After rejecting a number of attempted formalizations, I arrive at a definition which delivers the right results. The problem with this definition, however, is that it has to be couched in first-person terms, making an essential use of ‘I’. Thus the problem of accounting for first-/third-person asymmetry recurs at a higher order, which shows that the Pragmatic Paradox Resolution fails to identify the source of such asymmetry highlighted by Moore’s Paradox. (shrink)

G.E. Moore noticed the oddity of statements like: “It's raining, but I don't believe it.” This oddity is often seen as analogous to the oddity of believing akratically, or believing what one believes one should not believe, and has been appealed to in denying the possibility of akratic belief. I describe a Belief Akratic's Paradox, analogous to Moore's paradox and centered on sentences such as: “I believe it's raining, but I shouldn't believe it.” I then defend the possibility (...) of akratic belief against appeals to this analogy, arguing both that akratic belief does not require belief-akratic-paradoxical belief, and that the latter is importantly different from Moorean belief. I conclude by considering the implications of these arguments for an understanding of both Moorean and akratic belief. (shrink)

This is a concise and readable study of five intertwined themes at the heart of Wittgenstein's thought, written by one of his most eminent interpreters. David Pears offers penetrating investigations and lucid explications of some of the most influential and yet puzzling writings of twentieth-century philosophy. He focuses on the idea of language as a picture of the world; the phenomenon of linguistic regularity; the famous "private language argument"; logical necessity; and ego and the self.

Presents an analogue of the Preface Paradox for intention, and discusses possible implications for the philosophy of action.

We begin with a prepositional languageLpcontaining conjunction (Λ), a class of sentence names {Sα}αϵA, and a falsity predicateF. We (only) allow unrestricted infinite conjunctions, i.e., given any non-empty class of sentence names {Sβ}βϵB,is a well-formed formula (we will useWFFto denote the set of well-formed formulae).The language, as it stands, is unproblematic. Whether various paradoxes are produced depends on which names are assigned to which sentences. What is needed is a denotation function:For example, theLPsentence “F(S1)” (i.e.,Λ{F(S1)}), combined with a denotation functionδsuch (...) thatδ(S1)“F(S1)”, provides the (or, in this context, a)Liar Paradox.To give a more interesting example,Yablo's Paradox[4] can be reconstructed within this framework.Yablo's Paradoxconsists of an ω-sequence of sentences {Sk}kϵωwhere, for eachnϵω:WithinLPan equivalent construction can be obtained using infinite conjunction in place of universal quantification - the sentence names are {Si}iϵωand the denotation function is given by:We can express this in more familiar terms as:etc. (shrink)