I distinguish paradoxes and hypodoxes among the conundrums of time travel. I introduce ‘hypodoxes’ as a term for seemingly consistent conundrums that seem to be related to various paradoxes, as the Truth-teller is related to the Liar. In this article, I briefly compare paradoxes and hypodoxes of time travel with Liar paradoxes and Truth-teller hypodoxes. I also discuss Lewis’ treatment of time travel paradoxes, which I characterise as a Laissez Faire theory of time travel. Time (...) travel paradoxes are impossible according to Laissez Faire theories, while it seems hypodoxes are possible. (shrink)
There is a certain approach to the semantic paradoxes that is highly intuitive and for that reason alone never seems to go away. Roughly put, it's the idea that the paradoxical sentences just don't really have any truth conditions at all, no matter how grammatically sound and meaningful they and their parts are. I suppose that just about anyone who spends even a relatively modest amount of time thinking about the paradoxes comes up with this idea eventually. There (...) is a great deal to recommend this approach, especially when it carefully distinguishes sentence tokens from sentence types. For one thing, it requires no significant alteration in commonsensical views about language or logic. Let us call it the Token Approach, as it trades on distinguishing linguistic tokens from types. The approach does not contain any of the flashy logical moves that characterize most other current responses to the semantic paradoxes. Many contemporary philosophers of language and logic ignore the Token Approach in part because, it seems, they cannot display their logical chops when investigating it. Despite this devastating drawback, the approach strikes me as good as any. -/- It faces two obstacles: it apparently lacks a plausible explanation of how certain type-identical sentence tokens can differ in truth conditions, and it may fail to adequately deal with certain paradoxical sentences of the liar family. However, I don't take the obstacles to be insurmountable: in each case the advocate of the Token Approach can appeal to a traditional and highly credentialed-if controversial and obscure-contemporary view of linguistic meaning that promises to supply suitable ways around both obstacles. (shrink)
This essential guide to paradoxes takes the reader on a lively tour of puzzles that have taxed thinkers from Zeno to Galileo and Lewis Carroll to Bertrand Russell. Michael Clark uncovers an array of conundrums, such as Achilles and the Tortoise, Theseus' Ship, Hempel's Raven, and the Prisoners' Dilemma, taking in subjects as diverse as knowledge, ethics, science, art and politics. Clark discusses each paradox in non-technical terms, considering its significance and looking at likely solutions.
We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources (...) are tightly related, and can be cleared up by adopting a particular substructural logic in place of classical logic. We then argue that our perspective can be justified via an informational semantics of contraction-free substructural logics. (shrink)
This paper presents and comments the content of a note by Beppo Levi on logical paradoxes. Though the existence of this contribution is known, very little analysis of it is available in the literature. I put the emphasis on Levi’s usage of “elementation procedures” for solving the set-theoretical paradoxes, which is the most original part of Levi’s approach to the topic.
ABSTRACT: This paper discusses ancient versions of paradoxes today classified as paradoxes of presupposition and how their ancient solutions compare with contemporary ones. Sections 1-4 air ancient evidence for the Fallacy of Complex Question and suggested solutions, introduce the Horn Paradox, consider its authorship and contemporary solutions. Section 5 reconstructs the Stoic solution, suggesting the Stoics produced a Russellian-type solution based on a hidden scope ambiguity of negation. The difference to Russell’s explanation of definite descriptions is that in (...) the Horn Paradox the Stoics uncovered a hidden conjunction rather than a hidden existential sentence. Sections 6 and 7 investigate hidden ambiguities in “to have” and “to lose” (including inalienable and alienable possession) and ambiguities of quantification based on substitution of indefinite plural expressions for indefinite or anaphoric pronouns, and Stoic awareness of these. Section 8 considers metaphorical readings and allusions that add further spice to the paradox. (shrink)
In this essay (for undergraduates) I introduce three of the famous semantic paradoxes: the Liar, Grelling’s, and the No-No. Collectively, they seem to show that the notion of truth is highly paradoxical, perhaps even contradictory. They seem to show that the concept of truth is a bit akin to the concept of a married bachelor—it just makes no sense at all. But in order to really understand those paradoxes one needs to be very comfortable thinking about how lots (...) of interesting sentences talk about not dogs or cats or elections or baseball but sentences. That is, we need to get familiar analyzing sentences that talk about sentences. (shrink)
The semantic paradoxes are often associated with self-reference or referential circularity. Yablo (1993), however, has shown that there are infinitary versions of the paradoxes that do not involve this form of circularity. It remains an open question what relations of reference between collections of sentences afford the structure necessary for paradoxicality. In this essay, we lay the groundwork for a general investigation into the nature of reference structures that support the semantic paradoxes and the semantic hypodoxes. We (...) develop a functionally complete infinitary propositional language endowed with a denotation assignment and extract the reference structural information in terms of graph-theoretic properties. We introduce the new concepts of dangerous and precarious reference graphs, which allows us to rigorously define the task: classify the dangerous and precarious directed graphs purely in terms of their graph-theoretic properties. Ungroundedness will be shown to fully characterize the precarious reference graphs and fully characterize the dangerous finite graphs. We prove that an undirected graph has a dangerous orientation if and only if it contains a cycle, providing some support for the traditional idea that cyclic structure is required for paradoxicality. This leaves the task of classifying danger for infinite acyclic reference graphs. We provide some compactness results, which give further necessary conditions on danger in infinite graphs, which in conjunction with a notion of self-containment allows us to prove that dangerous acyclic graphs must have infinitely many vertices with infinite out-degree. But a full characterization of danger remains an open question. In the appendices we relate our results to the results given in Cook (2004) and Yablo (2006) with respect to more restricted sentences systems, which we call F-systems. (shrink)
Presenting ten diverse and original moral paradoxes, this cutting edge work of philosophical ethics makes a focused, concrete case for the centrality of paradoxes within morality. Explores what these paradoxes can teach us about morality and the human condition Considers a broad range of subjects, from familiar topics to rarely posed questions Makes a concrete case for the centrality of paradox within morality Asks whether the existence of moral paradox is a good or a bad thing Presents (...) analytic moral philosophy in a provocative, engaging and entertaining way; posing new questions, proposing possible solutions, and challenging the reader to wrestle with the paradoxes themselves. (shrink)
The purpose of this book is to develop a framework for analyzing strategic rationality, a notion central to contemporary game theory, which is the formal study of the interaction of rational agents, and which has proved extremely fruitful in economics, political theory, and business management. The author argues that a logical paradox (known since antiquity as "the Liar paradox") lies at the root of a number of persistent puzzles in game theory, in particular those concerning rational agents who seek to (...) establish some kind of reputation. Building on the work of Parsons, Burge, Gaifman, and Barwise and Etchemendy, Robert Koons constructs a context-sensitive solution to the whole family of Liar-like paradoxes, including, for the first time, a detailed account of how the interpretation of paradoxial statements is fixed by context. This analysis provides a new understanding of how the rational agent model can account for the emergence of rules, practices, and institutions. (shrink)
Can an appeal to the difference between contrary and contradictory statements, generated by a non-uniform behaviour of negation, deal adequately with paradoxical cases like the sorites or the liar? This paper offers a negative answer to the question. This is done by considering alternative ways of trying to construe and justify in a useful way (in this context) the distinction between contraries and contradictories by appealing to the behaviour of negation only. There are mainly two ways to try to do (...) so: i) by considering differences in the scope of negation, ii) by considering the possibility that negation is semantically ambiguous. Both alternatives are shown to be inapt to handle the problematic cases. In each case, it is shown that the available alternatives for motivating or grounding the distinction, in a way useful to deal with the paradoxes, are either inapplicable, or produce new versions of the paradoxes, or both. (shrink)
A paradox can be defined as an unacceptable conclusion derived by apparently acceptable reasoning from apparently acceptable premises. Unlike party puzzles or brain teasers, many paradoxes are serious in that they raise serious philosophical problems, and are associated with crises of thought and revolutionary advances. To grapple with them is not merely to engage in an intellectual game, but to come to grips with issues of real import. The second, revised edition of this intriguing book expands and updates the (...) text to take account of new work on the subject. It provides a valuable and accessible introduction to a range of paradoxes and their possible solutions, with questions designed to engage the reader with the arguments and full bibliographical references to both classic and current literature on the topic. (shrink)
Presenting ten diverse and original moral paradoxes, this cutting edge work of philosophical ethics makes a focused, concrete case for the centrality of paradoxes within morality. Explores what these paradoxes can teach us about morality and the human condition Considers a broad range of subjects, from familiar topics to rarely posed questions Makes a concrete case for the centrality of paradox within morality Asks whether the existence of moral paradox is a good or a bad thing Presents (...) analytic moral philosophy in a provocative, engaging and entertaining way; posing new questions, proposing possible solutions, and challenging the reader to wrestle with the paradoxes themselves. (shrink)
It is “the received wisdom” that any intuitively natural and consistent resolution of a class of semantic paradoxes immediately leads to other paradoxes just as bad as the first. This is often called the “revenge problem”. Some proponents of the received wisdom draw the conclusion that there is no hope of any natural treatment that puts all the paradoxes to rest: we must either live with the existence of paradoxes that we are unable to treat, or (...) adopt artificial and ad hoc means to avoid them. Others (“dialetheists”) argue that we can put the paradoxes to rest, but only by licensing the acceptance of some contradictions (presumably in a paraconsistent logic that prevents the contradictions from spreading everywhere). (shrink)
In this paper the claim that Zeno's paradoxes have been solved is contested. Although "no one has ever touched Zeno without refuting him" (Whitehead), it will be our aim to show that, whatever it was that was refuted, it was certainly not Zeno. The paper is organised in two parts. In the first part we will demonstrate that upon direct analysis of the Greek sources, an underlying structure common to both the Paradoxes of Plurality and the Paradoxes (...) of Motion can be exposed. This structure bears on a correct - Zenonian - interpretation of the concept of “division through and through”. The key feature, generally overlooked but essential to a correct understanding of all his arguments, is that they do not presuppose time. Division takes place simultaneously. This holds true for both PP and PM. In the second part a mathematical representation will be set up that catches this common structure, hence the essence of all Zeno's arguments, however without refuting them. Its central tenet is an aequivalence proof for Zeno's procedure and Cantor's Continuum Hypothesis. Some number theoretic and geometric implications will be shortly discussed. Furthermore, it will be shown how the “Received View” on the motion-arguments can easely be derived by the introduction of time as a (non-Zenonian) premiss, thus causing their collapse into arguments which can be approached and refuted by Aristotle's limit-like concept of the “potentially infinite”, which remained — though in different disguises - at the core of the refutational strategies that have been in use up to the present. Finally, an interesting link to Newtonian mechanics via Cremona geometry can be established. (shrink)
The paradoxes of self-reference are genuinely paradoxical. The liar paradox, Russell’s paradox and their cousins pose enormous difficulties to anyone who seeks to give a comprehensive theory of semantics, or of sets, or of any other domain which allows a modicum of self-reference and a modest number of logical principles. One approach to the paradoxes of self-reference takes these paradoxes as motivating a non-classical theory of logical consequence. Similar logical principles are used in each of the paradoxical (...) inferences. If one or other of these problematic inferences are rejected, we may arrive at a consistent (or at least, a coherent) theory. In this paper I will show that such approaches come at a serious cost. The general approach of using the paradoxes to restrict the class of allowable inferences places severe constraints on the domain of possible propositional logics, and on the kind of metatheory that is appropriate in the study of logic itself. Proof-theoretic and model-theoretic analyses of logical consequence make provide different ways for non-classical responses to the paradoxes to be defeated by revenge problems: the redefinition of logical connectives thought to be ruled out on logical grounds. Non-classical solutions are not the “easy way out” of the paradoxes. (shrink)
As the title of this paper indicates, I’m going to discuss what we ought to do in situations where our actions affect future generations. More specifically, I shall focus on the moral problems raised by cases where our actions affect who’s going to live, their number and their well being. I’ll start, however, with population axiology. Most discussion in population ethics has concentrated on how to evaluate populations in regard to their goodness, that is, how to order populations by the (...) relations “is better than” and “is as good as”. This field has been riddled with “paradoxes” which purport to show that our considered beliefs are inconsistent in cases where the number of people and their welfare varies. Derek Parfit’s Mere Addition Paradox is a case in point. The main question of my paper concerns the implication of such axiological paradoxes for normative theories. Do the axiological paradoxes translate into paradoxes for normative theories or will they, as some believe, disappear if we switch to a normative framework? (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)
Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classical logic: in particular, to restrict the law of excluded middle. The reasons for doing this are somewhat different in the two cases. In the case of the semantic paradoxes, a weakening of classical logic (presumably involving a restriction of excluded middle) is required if we are to preserve the naive theory of truth without inconsistency. In the case (...) of vagueness and indeterminacy, there is no worry about inconsistency; but a central intuition is that we must reject the factual status of certain sentences, and it hard to see how we can do that while claiming that the law of excluded middle applies to those sentences. So despite the different routes, we have a similar conclusion in the two cases. (shrink)
I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.
A solution to the paradoxes has two sides: the philosophical and the technical. The paradoxes are, first and foremost, a philosophical problem. A philosophical solution must pinpoint the exact step where the reasoning that leads to contradiction is fallacious, and then explain why it is so.
Almost everything that we know about Zeno of Elea is to be found in the opening pages of Plato's Parmenides. There we learn that Zeno was nearly 40 years old when Socrates was a young man, say 20. Since Socrates was born in 469 BC we can estimate a birth date for Zeno around 490 BC. Beyond this, really all we know is that he was close to Parmenides (Plato reports the gossip that they were lovers when Zeno was young), (...) and that he wrote a book of paradoxes defending Parmenides' philosophy. Sadly this book has not survived, and what we know of his arguments is second-hand, principally through Aristotle and his commentators (here I have drawn particularly on Simplicius, who, though writing a thousand years after Zeno, apparently possessed at least some of his book). There were apparently 40 ‘paradoxes of plurality’, attempting to show that ontological pluralism — a belief in the existence of many things rather than only one — leads to absurd conclusions; of these paradoxes only two definitely survive, though a third argument can probably be attributed to Zeno. Aristotle speaks of a further four arguments against motion (and by extension change generally), all of which he gives and attempts to refute. In addition Aristotle attributes two other paradoxes to Zeno. Sadly again, almost none of these paradoxes are quoted in Zeno's original words by their various commentators, but in paraphrase. (shrink)
Referentialism is the view that all there is to the meaning of a singular term is its referent. Referentialism entails Substitutivity, i.e., that co-referring terms are intersubstitutable salva veritate . Frege's Paradox shows that Referentialism is inconsistent given two principles: Disquotation says that if S assents to 'P', then S believes that P, and Consistency says that if S believes that P and that not-P, then S is not fully rational. Kripke's strategy was to save Substitutivity by showing that those (...) intuitively plausible principles already led to paradox. I argue that this generalising strategy fails. The Descriptivist, who thinks that a singular term has descriptive meaning, will reject Substitutivity in Frege's Paradox, and deny that Consistency finds application in Kripke's Paradox. The Referentialist, however, may reject Consistency: if the logical properties of the contents of S's beliefs are not reflectively accessible, then S can hold contradictory beliefs without being irrational. Even if successful against Frege's and Kripke's Paradox, this response is ineffective against a strengthened version of the former which rests on Disquotation and Substitutivity, and a strengthened version of the latter which rests only on Disquotation. (shrink)
MATHEMATICAL RESOLUTIONS OF ZENO’s PARADOXES of motion have been offered on a regular basis since the paradoxes were first formulated. In this paper I will argue that such mathematical “solutions” miss, and always will miss, the point of Zeno’s arguments. I do not think that any mathematical solution can provide the much sought after answers to any of the paradoxes of Zeno. In fact all mathematical attempts to resolve these paradoxes share a common feature, a feature (...) that makes them consistently miss the fundamental point which is Zeno’s concern for the one-many relation, or it would be better to say, lack of relation. This takes us back to the ancient dispute between the Eleatic school and the Pluralists. The first, following Parmenide’s teaching, claimed that only the One or identical can be thought and is therefore real, the second held that the Many of becoming is rational and real.1 I will show that these mathematical “solutions” do not actually touch Zeno’s argument and make no metaphysical contribution to the problem of understanding what is motion against immobility, or multiplicity against identity, which was Zeno’s challenge. I would like to point out at this stage that my contention. (shrink)
Graham Priest (1994) has argued that the following paradoxes all have the same structure: Russell’s Paradox, Burali-Forti’s Paradox, Mirimanoff’s Paradox, König’s Paradox, Berry’s Paradox, Richard’s Paradox, the Liar and Liar Chain Paradoxes, the Knower and Knower Chain Paradoxes, and the Heterological Paradox. Their common structure is given by Russell’s Schema: there is a property φ and function δ such that..
This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an (...) unusual solution to the paradox, but in a traditional spirit that contrasts a number of trends prevailing in the XiVth century. It also counts as a remarkable piece of evidence for the reconstruction of the reception of English logic in italy, as it is inspired by the views of John Wyclif. Three approaches addressing the Liar paradox (Albert of Saxony, William Heytesbury and a version of strong restrictionism) are first criticised by Peter of Mantua, before he presents his own alternative solution. The latter seems to have a prima facie intuitive justification, but is in fact acceptable only on a very restricted understanding, since its generalisation is subject to the so-called revenge problem. (shrink)
All paradoxes of self-reference seem to share some structural features. Russell in 1908 and especially Priest nowadays have advanced structural descriptions that successfully identify necessary conditions for having a paradox of this kind. I examine in this paper Priest’s description of these paradoxes, the Inclosure Scheme (IS), and consider in what sense it may help us understand and solve the problems they pose. However, I also consider the limitations of this kind of structural descriptions and give arguments against (...) Priest’s use of IS in favour of dialetheism. IS fails to identify sufficient conditions for having a paradox of self-reference. That means that, even if we identified a problem common to any reasoning satisfying IS, that problem would not explain why some of those reasonings are paradoxical and some others are not. Therefore IS cannot justify by itself the claim that some particular theory offers the best solution to the paradoxes of self-reference. We still need to consider aspects concerning the content and context of occurrence of every paradox. (shrink)
In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to (...) manufacture paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)
Taking a series of colour patches, starting with one that clearly looks red, and making each so similar in colour to the previous one that it looks the same as it, we appear to be able to show that a yellow patch looks red. I ask whether phenomenal sorites paradoxes, such as this, are subject to a unique kind of solution that is unavailable in relation to other sorites paradoxes. I argue that they do not need such a (...) solution, nor do they succumb to one. In particular, I reject the claim made by Fara and Raffman that looks the same is a transitive relation, which would allow us to solve phenomenal sorites paradoxes by denying the possibility of the required kind of sorites series. (shrink)
Paradoxes have long been a driving force in philosophy. They compel us to think more clearly about what we otherwise take for granted. In Antiquity, Zeno insisted that a runner could never complete the course because he’d first need to go half way, and then half way again; and so on indefinitely. Zeno also argued that matter could not be infinitely divisible, else it would be made of parts of no size at all. Even infinitely many nothings combined still (...) measure nothing. These simple thoughts forced us to develop ever more careful and sophisticated accounts of space, time, motion, continuity and measure and modern versions of these paradoxes continue to vex us. (shrink)
In this 2002 J.F. Lewis Award-winning monograph, Gunther Stent traces the origins and development of the paradoxes of free will in this well-crafted ...
A number of philosophers have argued that the key to understanding the semantic paradoxes is to recognize that truth is essentially relative to context. All of these philosophers have been motivated by the idea that once a liar sentence has been uttered we can ‘step back’ and, from the point of view of a different context, judge that the liar sentence is true. This paper argues that this ‘stepping back’ idea is a mistake that results from failing to relativize (...) truth to context in the first place. Moreover, context-relative liar sentences, such as ‘This sentence is not true in any context’ present a paradox even after truth has been relativized to context. Nonetheless, the relativization of truth to context may offer us the means to avoid paradox, if we can justifiably deny that a sentence about a context can be true in the very context it is about. (shrink)
Sten Lindström (2003). Frege's Paradise and the Paradoxes. In Krister Segerberg & Rysiek Sliwinski (eds.), A Philosophical Smorgasbord: Essays on Action, Truth and Other Things in Honour of Fredrick Stoutland. Uppsala Philosophical Studies 52.score: 12.0
The main objective of this paper is to examine how theories of truth and reference that are in a broad sense Fregean in character are threatened by antinomies; in particular by the Epimenides paradox and versions of the so-called Russell-Myhill antinomy, an intensional analogue of Russell’s more well-known paradox for extensions. Frege’s ontology of propositions and senses has recently received renewed interest in connection with minimalist theories that take propositions (thoughts) and senses (concepts) as the primary bearers of truth and (...) reference. In this paper, I will present a rigorous version of Frege’s theory of sense and denotation and show that it leads to antinomies. I am also going to discuss ways of modifying Frege’s semantical and ontological framework in order to avoid the paradoxes. In this connection, I explore the possibility of giving up the Fregean assumption of a universal domain of absolutely all objects, containing in addition to extensional objects also abstract intensional ones like propositions and singular concepts. I outline a cumulative hierarchy of Fregean propositions and senses, in analogy with Gödel’s hierarchy of constructible sets. In this hierarchy, there is no domain of all objects. Instead, every domain of objects is extendible with new objects that, on pain of contradiction, cannot belong to the given domain. According to this approach, there is no domain containing absolutely all propositions or absolutely all senses. (shrink)
We identify a class of paradoxes that are neither set-theoretical or semantical, but that seem to depend on intensionality. In particular, these paradoxes arise out of plausible properties of propositional attitudes and their objects. We try to explain why logicians have neglected these paradoxes, and to show that, like the Russell Paradox and the direct discourse Liar Paradox, these intensional paradoxes are recalcitrant and challenge logical analysis. Indeed, when we take these paradoxes seriously, we may (...) need to rethink the commonly accepted methods for dealing with the logical paradoxes. (shrink)
A version of nonstandard analysis, Internal Set Theory, has been used to provide a resolution of Zeno's paradoxes of motion. This resolution is inadequate because the application of Internal Set Theory to the paradoxes requires a model of the world that is not in accordance with either experience or intuition. A model of standard mathematics in which the ordinary real numbers are defined in terms of rational intervals does provide a formalism for understanding the paradoxes. This model (...) suggests that in discussing motion, only intervals, rather than instants, of time are meaningful. The approach presented here reconciles resolutions of the paradoxes based on considering a finite number of acts with those based on analysis of the full infinite set Zeno seems to require. The paper concludes with a brief discussion of the classical and quantum mechanics of performing an infinite number of acts in a finite time. (shrink)
Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these (...)paradoxes, including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)
In Meyer’s promising account [7] deontic logic is reduced to a dynamic logic. Meyer claims that with his account “we get rid of most (if not all) of the nasty paradoxes that have plagued traditional deontic logic.” But as was shown by van der Meyden in [4], Meyer’s logic also contains a paradoxical formula. In this paper we will show that another paradox can be proven, one which also effects Meyer’s “solution” to contrary to duty obligations and his logic (...) in general. (shrink)
It has been proposed that the law of non-contradiction be revised to permit the simultaneous truth and falsity of the key sentences of the logical paradoxes, e.g., This sentence is false. In an attempt to show to what extent this bizarre suggestion of inconsistent models or truth-value gluts is a coherent suggestion it is proved that a first-order language for number theory can be semantically closed by having its own global truth predicate under some non-standard interpretation and thus that (...) it actually can contain the Liar sentence. It is proved that in this interpretation the Liar sentence is both true and false, although not every sentence is. (shrink)
We present an order-theoretic analysis of set-theoretic paradoxes. This analysis will show that a large variety of purely set-theoretic paradoxes (including the various Russell paradoxes as well as all the familiar implementations of the paradoxes of Mirimanoff and Burali-Forti) are all instances of a single limitative phenomenon.
Zeno of Elea's motion and infinity paradoxes, excluding the Stadium, are stated (1), commented on (2), and their historical proposed solutions then discussed (3). Their correct solution, based on recent conclusions in physics associated with time and classical and quantum mechanics, and in particular, of there being a necessary trade off of all precisely determined physical values at a time (including relative position), for their continuity through time, is then explained (4). This article follows on from another, more physics (...) orientated and widely encompassing paper entitled "Time and Classical and Quantum Mechanics: Indeterminacy vs. Discontinuity" (Lynds, 2003), with its intention being to detail the correct solution to Zeno's paradoxes more fully by presently focusing on them alone. If any difficulties are encountered in understanding any aspects of the physics underpinning the following contents, it is suggested that readers refer to the original paper for a more in depth coverage. (shrink)
The Lottery Paradox and the Preface Paradox both involve the thesis that high probability is sufficient for rational acceptability. The standard solution to these paradoxes denies that rational acceptability is deductively closed. This solution has a number of untoward consequences. The present paper suggests that a better solution to the paradoxes is to replace the thesis that high probability suffices for rational acceptability with a somewhat stricter thesis. This avoids the untoward consequences of the standard solution. The new (...) solution will be defended against a seemingly obvious objection. 1 The paradoxes of rational acceptability 2 The standard solution 3 A new solution to the paradoxes 4 Basic assumptions 5 The new solution defended 6 Conclusion 7 Appendix. (shrink)
We reflect on lessons that the lottery and preface paradoxes provide for the logic of uncertain inference. One of these lessons is the unreliability of the rule of conjunction of conclusions in such contexts, whether the inferences are probabilistic or qualitative; this leads us to an examination of consequence relations without that rule, the study of other rules that may nevertheless be satisfied in its absence, and a partial rehabilitation of conjunction as a ‘lossy’ rule. A second lesson is (...) the possibility of rational inconsistent belief; this leads us to formulate criteria for deciding when an inconsistent set of beliefs may reasonably be retained. (shrink)
This paper argues against minimalism about truth. It does so by way of acomparison of the theory of truth with the theory of sets, and considerationof where paradoxes may arise in each. The paper proceeds by asking twoseemingly unrelated questions. First, what is the theory of truth about?Answering this question shows that minimalism bears important similaritiesto naive set theory. Second, why is there no strengthened version ofRussell's paradox, as there is a strengthened Liar paradox? Answering thisquestion shows that like (...) naive set theory, minimalism is unable to makeadequate progress in resolving the paradoxes, and must be replaced by adrastically different sort of theory. Such a theory, it is shown, must befundamentally non-minimalist. (shrink)
The paper offers a solution to the semantic paradoxes, one in which (1) we keep the unrestricted truth schema True(A)A, and (2) the object language can include its own metalanguage. Because of the first feature, classical logic must be restricted, but full classical reasoning applies in ordinary contexts, including standard set theory. The more general logic that replaces classical logic includes a principle of substitutivity of equivalents, which with the truth schema leads to the general intersubstitutivity of True(A) with (...) A within the language.The logic is also shown to have the resources required to represent the way in which sentences (like the Liar sentence and the Curry sentence) that lead to paradox in classical logic are defective. We can in fact define a hierarchy of defectiveness predicates within the language. Contrary to claims that any solution to the paradoxes just breeds further paradoxes (revenge problems) involving defectiveness predicates, there is a general consistency/conservativeness proof that shows that talk of truth and the various levels of defectiveness can all be made coherent together within a single object language. (shrink)
Some of the concerns which motivate attempts to provide a philosophical reduction of nomological necessity are briefly introduced in I. In II, Hempel's treatment of the paradoxes is contrasted with a position which holds that nomological necessity is a pragmatic dimension of laws of nature, and that this pragmatic dimension is of such a type that it prevents laws of nature from contraposing. Such a position is, however, untenable unless (i) the sense of 'pragmatics' at issue is specified, and (...) the possibility of pragmatic differences resulting in differences in confirmation is defended, and (ii) a relevant pragmatic difference between contrapositives is indicated. III attempts to satisfy condition (i) by developing a new sense of pure pragmatics and argues that some remarks by Goodman and Scheffler together with work on the logic of explanation by Dr. Rescher and myself suggest that nomological contrapositives are not pragmatically equivalent (i.e. substitutable salva veritate in the pure pragmatics of an ideal scientific language). If such is the case, condition (ii) is also satisfied. (shrink)
Can God create a stone too heavy for him to lift? Can time have a beginning? Which came first, the chicken or the egg? Riddles, paradoxes, conundrums--for millennia the human mind has found such knotty logical problems both perplexing and irresistible. Now Roy Sorensen offers the first narrative history of paradoxes, a fascinating and eye-opening account that extends from the ancient Greeks, through the Middle Ages, the Enlightenment, and into the twentieth century. When Augustine asked what God was (...) doing before He made the world, he was told: "Preparing hell for people who ask questions like that." A Brief History of the Paradox takes a close look at "questions like that" and the philosophers who have asked them, beginning with the folk riddles that inspired Anaximander to erect the first metaphysical system and ending with such thinkers as Lewis Carroll, Ludwig Wittgenstein, and W.V. Quine. Organized chronologically, the book is divided into twenty-four chapters, each of which pairs a philosopher with a major paradox, allowing for extended consideration and putting a human face on the strategies that have been taken toward these puzzles. Readers get to follow the minds of Zeno, Socrates, Aquinas, Ockham, Pascal, Kant, Hegel, and many other major philosophers deep inside the tangles of paradox, looking for, and sometimes finding, a way out. Filled with illuminating anecdotes and vividly written, A Brief History of the Paradox will appeal to anyone who finds trying to answer unanswerable questions a paradoxically pleasant endeavor. (shrink)
It has been argued that the existence of faster than light particles in the context of special relativity would imply the possibility to influence the past, and that this would lead to paradox. In this paper I argue that such conclusions cannot safely be drawn without consideration of the equations of motion of such particles. I show that such equations must be non-local, that they can be deterministic, and that they can avoid the suggested paradoxes. I also discuss conservation (...) of energymomentum, and how instantaneous action at a distance can avoid similar paradoxes. *I am most grateful for helpful comments made by John Earman, and especially John Norton, who is responsible for anything that makes sense in this paper. I am also grateful for the reception of a Mellon postdoctoral fellowship, which supported me whilst doing the research for this paper. (shrink)
This commentary draws on the thoughtful contemplation and innovative procedures described in the special section articles as well as current professional codes and federal regulations to highlight ethical practices and paradoxes of deception research involving children. The discussion is organized around 4 key decision points for the conduct of responsible deception research involving children: (a) evaluating the scientific validity and social value of deception research within the context of alternative methodologies, (b) avoiding and minimizing experimental risk, (c) the use (...) of child assent procedures as questionable ethical safeguards, and (d) debriefing as both remedy and risk. (shrink)
Parallels between the mathematics of tiling, which describes geometries of visual space, and neo-Riemannian theory, which describes geometries of musical space, make it possible to show that certain paradoxes featured in the visual artworks of M. C. Escher also appear in the pitch space modelled by the neo-Riemannian Tonnetz . This article makes these paradoxes visually apparent by constructing an embodied model of triadic pitch space in accordance with principles drawn from the mathematics of tiling, on the one (...) hand, and from cognitive science, on the other – specifically, the notion that our experience of pitch relationships is governed in part by the metaphorical projection of patterns abstracted from embodied experience known as image schemas. These paradoxes are illustrated with reference to passages drawn from four compositions to whose expressive character such paradoxes contribute: the fifteenth-century motet 'Absalon fili mi'; the finale of Haydn's String Quartet in G major, Op. 76 No. 1; Brahms's Intermezzo in B minor, Op. 119 No. 1; and Wagner's Parsifal. (shrink)
Foundations of a General Theory of Manifolds [Cantor, 1883], which I will refer to as the Grundlagen, is Cantor’s first work on the general theory of sets. It was a separate printing, with a preface and some footnotes added, of the fifth in a series of six papers under the title of “On infinite linear point manifolds”. I want to briefly describe some of the achievements of this great work. But at the same time, I want to discuss its connection (...) with the so-called paradoxes in set theory. There seems to be some agreement now that Cantor’s own understanding of the theory of transfinite numbers in that monograph did not contain an implicit contradiction; but there is less agreement about exactly why this is so and about the content of the theory itself. For various reasons, both historical and internal, the Grundlagen seems not to have been widely read compared to later works of Cantor, and to have been even less well understood. But even some of the more recent discussions of the work, while recognizing to some degree its unique character, misunderstand it on crucial points and fail to convey its true worth. (shrink)
As the story goes, the source of the paradoxes of naive set theory lies in a conflation of two distinct conceptions of set: the so-called iterative, or mathematical, conception, and the Fregean, or logical, conception. While the latter conception is provably inconsistent, the former, as Godel notes, "has never led to any antinomy whatsoever". More important, the iterative conception explains the paradoxes by showing precisely where the Fregean conception goes wrong by enabling us to distinguish between sets and (...) proper classes, collections that are "too big" to be sets. While I agree wholeheartedly with this distinction, in this paper I argue first that the iterative conception does not provide an explanation of all of the set theoretic paradoxes. I then argue that we need to reconsider the distinction between sets and proper classes rather more carefully. The result will be that ZFC does not capture the iterative conception in its full generality. I close by offering a more general theory that, arguably, does. (shrink)
Graham Priest 2002 argues that all logical paradoxes that include set-theoretic paradoxes and semantic paradoxes share a common structure, the Inclosure Schema, so they should be treated as one family. Through a discussion of Berry's Paradox and the semantic notion ?definable?, I argue that (i) the Inclosure Schema is not fine-grained enough to capture the essential features of semantic paradoxes, and (ii) the traditional separation of the two groups of logical paradoxes should be retained.
This is a critical discussion of Nino B. Cocchiarella’s book “Formal Ontology and Conceptual Realism.” It focuses on paradoxes of hyperintensionality that may arise in formal systems of intensional logic.
According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes (...) do exist. However we do not understand this logical truth so well as we understand, for example, the logical truth $${\forall x \, x = x}$$ . In this paper we formulate a logical truth which we call the productivity principle. Rusell (Proc Lond Math Soc 4(2):29–53, 1906 ) was the first one to formulate this principle, but in a restricted form and with a different purpose. The principle explicates a logical mechanism that lies behind paradoxical multitudes, and is understandable as well as any simple logical truth. However, it does not explain the concept of set. It only sets logical bounds of the concept within the framework of the classical two valued $${\in}$$ -language. The principle behaves as a logical regulator of any theory we formulate to explain and describe sets. It provides tools to identify paradoxical classes inside the theory. We show how the known paradoxical classes follow from the productivity principle and how the principle gives us a uniform way to generate new paradoxical classes. In the case of ZFC set theory the productivity principle shows that the limitation of size principles are of a restrictive nature and that they do not explain which classes are sets. The productivity principle, as a logical regulator, can have a definite heuristic role in the development of a consistent set theory. We sketch such a theory—the cumulative cardinal theory of sets. The theory is based on the idea of cardinality of collecting objects into sets. Its development is guided by means of the productivity principle in such a way that its consistency seems plausible. Moreover, the theory inherits good properties from cardinal conception and from cumulative conception of sets. Because of the cardinality principle it can easily justify the replacement axiom, and because of the cumulative property it can easily justify the power set axiom and the union axiom. It would be possible to prove that the cumulative cardinal theory of sets is equivalent to the Morse–Kelley set theory. In this way we provide a natural and plausibly consistent axiomatization for the Morse–Kelley set theory. (shrink)
Book Information Paradoxes: Their Roots, Range and Resolution. Paradoxes: Their Roots, Range and Resolution Nicholas Rescher , Chicago and La Salle : Open Court , 2001 , xxiii + 293 , US$24.95 ( paper ). By Nicholas Rescher. Open Court. Chicago and La Salle. Pp. xxiii + 293. US$24.95 (paper:).
To solve the highly counterintuitive paradox of confirmation represented by the statement, “A pair of red shoes confirms that all ravens are black,” Hempel employed a strategy that retained the equivalence condition but abandoned Nicod’s irrelevance condition. However, his use of the equivalence condition is fairly ad hoc, raising doubts about its applicability to this problem. Furthermore, applying the irrelevance condition from Nicod’s criterion does not necessarily lead to paradoxes, nor does discarding it prevent the emergence of paradoxes. (...) Hempel’s approach fails to adequately resolve the paradox. (shrink)
This paper argues against a broad category of deflationist theories of truth. It does so by asking two seemingly unrelated questions. The first is about the well-known logical and semantic paradoxes: Why is there no strengthened version of Russell’s paradox, as there is a strengthened version of the Liar paradox? Oddly, this question is rarely asked. It does have a fairly standard answer, which I shall not dispute for purposes of this paper. But I shall argue that asking it (...) ultimately leads to a fundamental challenge to some popular versions of deflationism. (shrink)
In their work The German Ideology, the founders of Marxism assert that the prerequisite of post-capitalist (defined by them as communist) society is the universal development of human abilities and all social relations. But then on the same page, contrary to this statement, it is alleged that the abolition of private property is not only highly topical but it is also an imperative history-making task. In Manifesto of the Communist Party, Marx and Engels explain that economic crises recurrently shaking capitalist (...) society expose an apparent contradiction between the productive forces and the capitalist relations of production – therefore, these relations must be eliminated for the preservation of society. Nonetheless, the same treatise affirms that the bourgeoisie cannot exist without revolutionizing not only the productive forces but also the relations of production. But in this case it stands to reason to recognize that there is no conflict between productive forces and production relations, and, therefore, there is no crisis of the capitalist system, either. Paradoxes in the communist theory of Marxism stem not merely from erroneous conceptions but reveal the fact that Marxism as an ideology comes into conflict with its scientific social theory. Hence, these paradoxes disclose the relative independence of the social theory of Marxism from its ideological postulates. (shrink)
Following F. William Lawvere, we show that many self-referential paradoxes, incompleteness theorems and fixed point theorems fall out of the same simple scheme. We demonstrate these similarities by showing how this simple scheme encompasses the semantic paradoxes, and how they arise as diagonal arguments and fixed point theorems in logic, computability theory, complexity theory and formal language theory.
The sceptic about the external world presents us with a paradox: an apparently acceptable argument for an apparently unacceptable conclusion—that we do not know anything about the external world. Some paradoxes, for instance the liar and the sorites, are very hard. The defense of a purported solution to either of these two inevitably deploys the latest in high-tech philosophical weaponry. On the other hand, some paradoxes are not at all hard, and may be resolved without much fuss. They (...) do not contain profound lessons about the human condition. Where should we place the sceptical paradoxes? (shrink)
A solution of the Zeno paradoxes in terms of a discrete space is usually rejected on the basis of an argument formulated by Hermann Weyl, the so-called tile argument. This note shows that, given a set of reasonable assumptions for a discrete geometry, the Weyl argument does not apply. The crucial step is to stress the importance of the nonzero width of a line. The Pythagorean theorem is shown to hold for arbitrary right triangles.
The Russell class does not exist because the conditions purporting to specify that class are contradictory, and hence fail to specify any class. Equally, the conditions purporting to specify the Liar statement are contradictory and hence, although the Liar sentence is grammatically in order, it fails to yield a statement. Thus the common source of these and related paradoxes is contradictory (or tautologous) specifying conditions-for such conditions fail to specify. This is the diagnosis. The cure consists of seeking and (...) destroying the deep-seated preconceptions that make almost irresistible our belief in the existence of items which provably do not exist. (shrink)
This paper is concerned with the way different axiom systems for set theory can be justified by appeal to such intuitions as limitation of size, predicativity, stratification, etc. While none of the different conceptions historically resulting from the impetus to provide a solution to the paradoxes turns out to rest on an intuition providing an unshakeable foundation,'each supplies a picture of the set-theoretic universe that is both useful and internally well motivated. The same is true of more recently proposed (...) axiom systems for non-well-founded universes, and an attempt is made to motivate such axiom systems on the basis of an old and respected ‘algebraic’ intuition. (shrink)
To the normal reasons that we think can justify one in preferring something, x (namely, that x has objectively preferable properties, or has properties that one prefers things to have, or that x's obtaining would advance one's preferences), I argue that it can be a justifying reason to prefer x that one's very preferring of x would advance one's preferences. Here, one prefers x not because of the properties of x, but because of the properties of one's having the preference (...) for x. So-revising one's preferences is rational in paradoxical choice situations like Kavka's Deterrence Paradox. I then try to meet the following objections: that this is stoicist, incoherent, bad faith; that it conflates instrumental and intrinsic value, gives wrong solutions to the problems presented by paradoxical choice situations, entails vicious regresses of value justification, falsifies value realism, makes valuing x unresponsive to x's properties, causes value conflict, conflicts with other standards of rationality, violates decision theory, counsels immorality, makes moral paradox, treats value change as voluntary, conflates first- and second-order values, is psychologically unrealistic, and wrongly presumes that paradoxical choice situations can even occur. (shrink)
This paper consists of two related parts: I. A detailed critique of Donald Davidson's thesis-in his "The Paradoxes of Irrationality"-that "...any satisfactory [explanatory] view [of irrationality] must embrace some of Freud's most important theses" (p. 290). I argue that this conclusion is doubly flawed: (i) Davidson's case for it is logically ill-founded, and (ii) its Freudian plaidoyer is also factually false. II. Relatedly, in the second part, I confute the recent arguments given by Marcia Cavell, Thomas Nagel, et al. (...) to establish that psychoanalytic causal explanations of irrationality are epistemically justified, because they are extensions of the desire-cum-belief pattern of accounting for intentional actions. As a corollary, it becomes clear that these authors have failed to undermine my epistemological strictures on the foundations of psychoanalysis. (shrink)
The Ostrogorski paradox and the discursive dilemma are seemingly unrelated paradoxes of aggregation. The former is discussed in traditional social choice theory, while the latter is at the core of the new literature on judgment aggregation. Both paradoxes arise when, in a group, each individual consistently makes a judgment, or expresses a preference, (in the form of yes or no) over specific propositions, and the collective outcome is in some respect inconsistent. While the result is logically inconsistent in (...) the case of the discursive paradox, it is not stable with respect to the level of aggregation in the case of the Ostrogorski paradox. In the following I argue that, despite these differences, the two problems have a similar structure. My conclusion will be twofold: on the one hand, the similarities between the paradoxes support the claim that these problems should be tackled using the same aggregation procedure; on the other hand, applying the same procedure to these paradoxes will help clarify the strengths and weaknesses of the aggregation method itself. More specifically, I will show that an operator defined in artificial intelligence to merge belief bases can deal with both paradoxes. (shrink)
The paradoxes of self reference have to be dealt with by anyone seeking to give a satisfactory account of the logic of truth, of properties, and even of sets of numbers. Unfortunately, there is no widespread agreement as to how to deal with these paradoxes. Some approaches block the paradoxical inferences by rejecting as invalid a move that classical logic counts as valid. In the recent literature, this deviant logic analysis of the paradoxes has been called into (...) question.This disagreement motivates a re-examination of the philosophy of formal logic and the status of logical truths and rules. In this paper I do some of this work, and I show that this gives us the means to defend the deviant approaches against such criticisms. As a result I hope to show that these analyses of the paradoxes are worthy of more serious consideration than they have so far received. (shrink)
A paradox is generally a puzzling conclusion we seem to be driven towards by our reasoning, but which is highly counterintuitive, nevertheless. There are, amongst these, a large variety of paradoxes of a logical nature which have teased even professional logicians, in some cases for several millennia. But what are now sometimes isolated as 'the logical paradoxes' are a much less heterogeneous collection: they are a group of antinomies centered on the notion of self-reference, some of which were (...) known in Classical times, but most of which became particularly prominent in the early decades of last century. Quine distinguished amongst paradoxes such antinomies. He did so by first isolating the 'veridical' and 'falsidical' paradoxes, which, although puzzling riddles, turned out to be plainly true, or plainly false, after some inspection. In addition, however, there were paradoxes which 'produce a self-contradiction by accepted ways of reasoning', and which, Quine thought, established 'that some tacit and trusted pattern of reasoning must be made explicit, and henceforward be avoided or revised' (Quine 1966, p7). We will first look, more broadly, and historically, at several of the main conundrums of a logical nature which have proved difficult, some since antiquity, before concentrating later on the more recent troubles with paradoxes of self-reference. They will all be called 'logical paradoxes'. (shrink)
When a law court makes a decision based on the individual deliberation of each judge, a case of judgment aggregation occurs. The possibility that the aggregation's outcome be logically inconsistent, even though it is based on consistent individual judgments, arises relatively easily and has been the subject of several investigations. In this paper I show that this paradoxical behaviour is the effect of decision procedures that are unable to discriminate between logically consistent and logically inconsistent individual judgments. The paradoxes (...) can be resolved by selecting procedures that are not affected by this limitation. (shrink)
This paper attempts to give an account of bracketing paradoxes by developing the theory of alignment (McCarthy and Prince 1993b). The rubric ‘bracketing paradox’ (BP) has been used to cover a number of disparate phenomena, though it is not obvious that these phenomena should be given a unitary analysis. I will confine my attention here to the kind of BP illustrated in (1).
Well known quantum and time paradoxes, and the difficulty to derive the second law of thermodynamics, are proposed to be the result of our historically grown paradigm for energy: it is just there, the capacity to do work, not directly related to change. When the asymmetric nature of energy is considered, as well as the involvement of energy turnover in any change, so that energy can be understood as fundamentally "dynamic", and time-oriented (new paradigm), these paradoxes and problems (...) dissolve. The most basic consequence concerns the particle-wave dualism. For a reversible inter-conversion of a particle into a wave, subject to a dynamic energy, a self-image of information has to be generated: quantum theory has to be complemented by a theory of information. Then, quantum processes can be derived from classical ones and the second law of thermodynamics with the tendency of increasing entropy follows in a straightforward way. (shrink)
An example of the second situation is the most famous of the paradoxes of Zeno, the Greek philosopher who lived during the Golden Age of Greece on the island of Elea. Zeno proposed the following "thought experiment". Achilles, a young athlete, runs a race with a tortoise. Achilles can run exactly twice as fast as the tortoise, so to make it fair he gives the tortoise a head start of exactly half the distance from the starting line to the (...) finish line. The starting signal is given and the race begins. Achilles runs to the starting position of the tortoise. In the time it takes to do that, the tortoise has advanced half the distance from his starting position and the finish line. Achilles then advances to the new position of the tortoise. During that time the tortoise again advances half the distance to the finish line. And so on ... Every time Achilles moves ahead by a given distance, the tortoise moves ahead by half that distance. Zeno concluded that Achilles can never catch the tortoise, because in every time interval in which Achilles moves to the tortoise's former position, the tortoise always moves ahead by half that distance. (shrink)
The property common to three kinds of paradoxes (logical, semantic, and cultural) is the underlying presence of an exclusive disjunction: even when it is put to a check by the paradox, it is still invoked at the level of implicit discourse. Hence the argumentative strength of paradoxical propositions is derived. Logical paradoxes (insolubilia) always involve two contradictory, mutually exclusive, truths. One truth is always perceived to the detriment of the other, in accordance with a succession which is endlessly (...) repetitive. A check is put on the principle of the excluded middle by the logical paradoxes, because self-reference leads to an endlessly repeating circle, out of which no resolution is conceivable. Logical paradoxes are to be compared with the `objective ambiguity' prevalent in oracles (Gallet, 1990). Semantic paradoxes are contextually-determined occurrences, whose resolution at the metalinguistic level is made possible by the discovery of a middle term. They express a wilful ambiguity, in which the interlocutor is invited to take an active part in the construction of sense, since what must be found is the unexpected sense thanks to which A and not-A can be asserted simultaneously. Cultural paradoxes play about doxa (`common sense') and openly challenge common opinion because of their character as inopinata (`unexpected'). My aim is to show that even cultural paradoxes hide sometimes a flaw of argumentation similar to logical or semantic paradox; they too imply an exclusive disjunction leading to the disappearance of the middle terms. Finally, basing myself on the theory of topoi (Anscombre and Ducrot, 1983), a tentative resolution of the cultural paradoxes will be suggested. (shrink)
: This article presents and interprets a number of neglected paradoxes in early Chinese philosophical texts (ca. 500-100 B.C.). Looking beyond well-known paradoxes put forward by masters such as Hui Shi and Gongsun Long, it intends to complement our picture of Warring States and early Western Han paradoxical statements. The first section contrasts the neglected paradoxes with the well-known ones. It is contended here that our understanding of these latter paradoxes is hampered by a lack of (...) context and that the neglected paradoxes possess an interpretative advantage by virtue of their being context-embedded. The second section presents an overview of three groups of neglected paradoxes, showing that the paradoxical effect of these paradoxes results from a challenge to the semantics of their central terms. The third section discusses the distribution of the paradoxes throughout the early literature and concludes that they typically appear in "Daoist" writings. The final section proposes a semantic-rhetorical interpretation. Placing the paradoxes against the background of the features and use of important terms, it is argued that they constitute unorthodox redefinitions and are formulated to influence the behavior and values of their intended audience. (shrink)
The paradox of the Unexpected Hanging, related prediction paradoxes, and the Sorites paradoxes all involve reasoning about ordered collections of entities: days ordered by date in the case of the Unexpected Hanging; men ordered by the number of hairs on their heads the case of the bald man version of the Sorites. The reasoning then assigns each entity a value that depends on the previously assigned value of one of the neighboring entities. The final result is paradoxical because (...) it conflicts with the obviously correct, commonsensical value. The paradox is due to the serial procedure of assigning a value based on the newly assigned value of the neighbor. An alternative procedure is to assign each value based only on the original values of neighbors - a parallel procedure. That procedure does not give paradoxical answers. (shrink)
We introduce a variant of pointer structures with denotational semantics and show its equivalence to systems of boolean equations: both have the same solutions. Taking paradoxes to be statements represented by systems of equations (or pointer structures) having no solutions, we thus obtain two alternative means of deciding paradoxical character of statements, one of which is the standard theory of solving boolean equations. To analyze more adequately statements involving semantic predicates, we extend propositional logic with the assertion operator and (...) give its complete axiomatization. This logic is a sub-logic of statements in which the semantic predicates become internalized (for instance, counterparts of Tarski’s definitions and T-schemata become tautologies). Examples of analysis of self-referential paradoxes are given and the approach is compared to the alternative ones. (shrink)
Attemts to explain causal paradoxes of Quantum Mechanics (QM) have tried to solve the problems within the framework of Quantum Electrodynamics (QED). We will show, that this is impossible. The original theory of QED by Dirac (Proc Roy Soc A117:610, 1928) formulated in its preamble four preliminary requirements that the new theory should meet. The first of these requirements was that the theory must be causal. Causality is not to be derived as a consequence of the theory since it (...) was a precondition for the formulation of the theory; it has been constructed so that it be causal. Therefore, causal paradoxes logically cannot be explained within the framework of QED. To transcend this problem we should consider the following points: Dirac himself stated in his original paper (1928) that his theory was only an approximation. When he returned to improve the theory later (Proc Roy Soc A209, 1951), he noted that the new theory “involves only the ratio e / m , not e and m separately”. This is a sign that although the electromagnetic effects (whose source is e ) are magnitudes stronger than the gravitational effects (whose source is m ), the two are coupled. Already in 1919, Einstein noted that “the elementary formations which go to make up the atom” are influenced by gravitational forces. Although in that form the statement proved not to be exactly correct, the effects of gravitation on QM phenomena have been established. The conclusion is that we should seek a resolution for the causal paradoxes in the framework of the General Theory of Relativity (GTR)—in contrast to QED, which involves only the Special Theory of Relativity (STR). We show that causality is necessarily violated in GTR. This follows from the curvature of the space-time. Although those effects are very small, one cannot ignore their influence in the case of the so-called “paradox phenomena”. (shrink)
The paper first presents a short survey of ancient and modern logical, rhetorical and argumentative approaches (e.g. Aristotle, Quintilian, Quine, Anscombre and Ducrot) studying the properties of paradoxical utterances. This survey is followed by a tentative definition of paradoxes as seemingly contradictory utterances triggering conversational implicatures in the sense of Grice. A specific group of paradoxes, namely, persuasive paradoxes, is further characterized by the specific implicatures which they trigger: the implicatures of persuasive paradoxes serve the interest (...) of the (political) speaker because they either convey a sharp criticism of the political opponent(s) or praise the political activities of the speaker in a highly effective way.The second part of the paper takes a corpus of about 80 paradoxical utterances from Cicero's speeches to show how they are used 1. for a devastating criticism of Cicero's political enemies, 2. a milder form of criticism in the case of his friends, when their political activities have failed, 3. a praise of successful policies of Cicero and his political friends and 4. a defense of unsuccessful activities started by Cicero and his friends. (shrink)
A version of nonstandard analysis, Internal Set Theory, has been used to provide a resolution of Zeno's paradoxes of motion. This resolution is inadequate because the application of Internal Set Theory to the paradoxes requires a model of the world that is not in accordance with either experience or intuition. A model of standard mathematics in which the ordinary real numbers are defined in terms of rational intervals does provide a formalism for understanding the paradoxes. This model (...) suggests that in discussing motion, only intervals, rather than instants, of time are meaningful. The approach presented here reconciles resolutions of the paradoxes based on considering a finite number of acts with those based on analysis of the full infinite set Zeno seems to require. The paper concludes with a brief discussion of the classical and quantum mechanics of performing an infinite number of acts in a finite time. (shrink)
For good reasons we often think about ethics and strategy as two opposing categories. But as surfaces in which we see social practices reflected, as abstract planes in which social consciousness resides and which subjectivities reinvent, they share some deep and perhaps uncomfortable similarities. In this paper, we question whether they are irreconcilable categories and, through a discussion of the paradoxes of strategy and the antinomies of ethics, we examine their fraught relationship in current economic responses to the crisis. (...) First, we outline the discursive topographies of strategy and ethics in respect to their abstract relations, and examine their integument in business ethics and strategy in context. Then, we show how there cannot be a simple coexistence of these two categories in organisational practice: one must in fact be subordinate to the other, although this subordination can produce the persistence of the other, even in its negation. Finally, we conclude that the asymmetrical nature of ethics and strategy entails that whereas ethics can immanently give rise to strategy, strategic questions on their own can only produce anti-systemic ethical responses. (shrink)
This paper deals with the simple paradoxes of validity and with the possibility of solving them in terms of Bradwardinian-Buridanian semantics. The paradoxes of validity as conceived here are cases of semantic pathology, which result due to the use of terms signifying the validity of inference. Semantic paradoxes are a semantico-epistemological phenomenon which is a symptom of the need to revise several apparently acceptable semantic assumptions. The analysis of possible solutions to the paradoxes focuses on Bradwardinian-Buridanian (...) semantics and as a result on the closed, token-based semantic theories that assume the existence of an implicit meaning of propositions. The key theses, as far as the solution to the paradoxes is concerned, are the principle of truth-implication which claims that every proposition expresses or implies its own truth and the closure principle which claims that every proposition asserts or expresses everything that follows from it logically. The present paper advances on recent research in claiming that (with certain reservations) the application of these principles can effectively solve inconsistency-paradoxes but not indeterminacy-paradoxes of validity.Haec dissertatio circa simplices “consequentias insolubiles” modumque eos solvendi iuxta doctrinam semanticam Bradwardiniano-Buridanianam versatur. Consequentiae insolubiles, quae hic considerantur, “pathologiam semanticam” exhibunt, quae ex usu terminorum validitatem consequentiae significantium resultat. Insolubilia ut phaenomenon semantico-epistemologicum necessitatem corrigendi nonnula principia semantica, quae secundum primam suiapparentiam bona esse videntur. Inquisitio in divorsos modos solvendi ista insolubilia praecipue doctrinas semanticas Thomae de Bradwardino Ioannisque Buridani respicit, scilicet doc trinas semanticas “clausas” (seu distinctionem inter “meta-linguam” et “linguam obiectualem” non ponentes), nominalisticas, propositionibus etiam significationem quandam “implicitam” ascribentes. Assertiones principales, ex quibus huiusmodi insolubilium solutio pendet, sunt duo: 1. ex omni propositione assertionem sequi sui ipsius veritatis; 2. omnem propositionem quodcumque ex ea logice sequatur asserere. Extendentes investigationem recentiorum conclusionem tractatione nostra defendimus, principiis praedictis adhibendis bene solvi posse consequentias insolubiles ratione inconsistentiae, non tamen consequentias insolubiles ratione indeterminationis. (shrink)
For some reason, participants hold agents more responsible for their actions when a situation is described concretely than when the situation is described abstractly. We present examples of this phenomenon, and survey some attempts to explain it. We divide these attempts into two classes: affective theories and cognitive theories. After criticizing both types of theories we advance our novel hypothesis: that people believe that whenever a norm is violated, someone is responsible for it. This belief, along with the familiar workings (...) of cognitive dissonance theory, is enough to not only explain all of the abstract/concrete paradoxes, but also explains seemingly unrelated effects, like the anthropomorphization of malfunctioning inanimate objects. (shrink)
In the context of change to the “new modernity” described in Beck’s work, companies develop management modes and methods that focus more and more on individuals. Constitutive of the individualization process, human resources practices have become ambivalent as the process itself. This contribution examines how a managerial and organizational innovation as telework contributes to the process of individualization, and the paradoxes it addresses to management. At the interface of the social and the technical, teleworking appears as a flexible arrangement, (...) meeting employees’ and employer’s demands – which is a characteristic of the process of individualization – by simultaneously fragmenting collectivity, exposing individuals to social risk, and producing exclusion. The authors focus on two consecutive paradoxes of such individualized managerial practices: the individual–collective dilemma and the autonomy–control paradox. Finally, the paper reveals HRM as a new institution of individualization in a world where regulation functions are more and more transferred to individuals themselves. (shrink)
The method of approximate reasoning using a fuzzy logic introduced by Baldwin (1978 a,b,c), is used to model human reasoning in the resolution of two well known paradoxes. It is shown how classical propositional logic fails to resolve the paradoxes, how multiple valued logic partially succeeds and that a satisfactory resolution is obtained with fuzzy logic. The problem of precise representation of vague concepts is considered in the light of the results obtained.
In this article we assess the extant literature on women’s careers appearing in selected career, management and psychology journals from 1990 to the present to determine what is currently known about the state of women’s careers at the dawn of the 21st century. Based on this review, we identify four patterns that cumulatively contribute to the current state of the literature on women’s careers: women’s careers are embedded in women’s larger-life contexts, families and careers are central to women’s lives, women’s (...) career paths reflect a wide range and variety of patterns, and human and social capital are critical factors for women’s careers. We also identify paradoxes that highlight the disconnection between organizational practice and scholarly research associated with each of the identified patterns. Our overall conclusion is that male-defined constructions of work and career success continue to dominate organizational research and practice. We provide direction for a research agenda on women’s careers that addresses the development of integrative career theories relevant for women’s contemporary lives in hopes of providing fresh avenues for conceptualizing career success for women. Propositions are identified for more strongly connecting career scholarship to organizational practice in support of women’s continued career advancement. (shrink)
The comprehension principle of set theory asserts that a set can be formed from the objects satisfying any given property. The principle leads to immediate contradictions if it is formalized as an axiom scheme within classical first order logic. A resolution of the set paradoxes results if the principle is formalized instead as two rules of deduction in a natural deduction presentation of logic. This presentation of the comprehension principle for sets as semantic rules, instead of as a comprehension (...) axiom scheme, can be viewed as an extension of classical logic, in contrast to the assertion of extra-logical axioms expressing truths about a pre-existing or constructed universe of sets. The paradoxes are disarmed in the extended classical semantics because truth values are only assigned to those sentences that can be grounded in atomic sentences. (shrink)
that all the paradoxes of set theory and logic fall under one schema; and (2) hence they should be solved by one kind of solution. This reply addresses both claims, and counters that (1) in fact at least one paradox escapes the schema, and also some apparently 'safe' theorems fall within it; and (2) even for the (considerable) range of paradoxes so captured by the schema, the assumption of a common solution is not obvious; each paradox surely depends (...) upon the theory and context in which it arises. Details of Priest's proposed solution are also sought. (shrink)
In this paper I argue that a basic problem in philosophical discussions of culture is what I call the “integration problem”: the need to provide an account of how distinctive considerations of culture can be integrated within practical deliberation in general. I then show how the failure to resolve this problem generates three paradoxes, which I call the “cosmopolitan paradox,” the “inclusion paradox,” and the “representation paradox.” I argue that these paradoxes arise from a common source, the attempt (...) to separate out determinations of worth from demands of recognition, and both from socially contested deliberative practices. I conclude by suggesting that resolving these paradoxes probably requires not a theoretical solution but the achievement of a fully inclusive, cosmopolitan culture. (shrink)
In this article we assess the extant literature on women’s careers appearing in selected career, management and psychology journals from 1990 to the present to determine what is currently known about the state of women’s careers at the dawn of the 21st century. Based on this review, we identify four patterns that cumulatively contribute to the current state of the literature on women’s careers: women’s careers are embedded in women’s larger-life contexts, families and careers are central to women’s lives, women’s (...) career paths reflect a wide range and variety of patterns, and human and social capital are critical factors for women’s careers. We also identify paradoxes that highlight the disconnection between organizational practice and scholarly research associated with each of the identified patterns. Our overall conclusion is that male-defined constructions of work and career success continue to dominate organizational research and practice. We provide direction for a research agenda on women’s careers that addresses the development of integrative career theories relevant for women’s contemporary lives in hopes of providing fresh avenues for conceptualizing career success for women. Propositions are identified for more strongly connecting career scholarship to organizational practice in support of women’s continued career advancement. (shrink)
THE PARADOXES OF CONFIRMATION ARE CONSTITUTED BY THE CONTRADICTIONS ARISING FROM THE CONJUNCTION OF THREE PRINCIPLES OF CONFIRMATION - NICOD’S CRITERION, THE EQUIVALENCE CONDITION, AND WHAT THE PAPER CALLS THE SCIENTIFIC LAWS CONDITION. THE PAPER DISCUSSES IN DETAIL THE VARIOUS SOLUTIONS PROVIDED BY ABANDONING ONE OF THE PRINCIPLES. IN THE END IT FINDS NICOD’S CRITERION FALSE, BUT FINDS THE EXPLANATIONS GIVEN BY H.G. ALEXANDER AND OTHERS OF WHY NICOD’S CRITERION IS FALSE THEMSELVES UNSATISFACTORY. IT THEN PROVIDES A MORE ADEQUATE (...) ACCOUNT OF THE CIRCUMSTANCES IN WHICH "RA.BA" CONFIRMS "ALL R’S ARE B". (shrink)
The noctes Atticae of Aulus Gellius contain almost all the ancient paradoxes. Nevertheless, in comparison with his philosophical sources, the author shows a shift in the perspective of his approach. He analyses the `master argument' of Diodorus Chronus only from an ethical point of view and, among the seven paradoxes attributed to Eubulides of Milet, he quotes the `heap' as an absurdity (absurdum), the `horned one' and the `not-someone' as a trap (captio), the `liar' as a sophism (sophisma). (...) Following the advice of Cynics, Gellius mistrusts deceptive manoeuvres, which highlight gaps in binary logic. At the same time, however, he is interested in argumentative structures, which lead one of two opponents on to victory. The extensive report of the quarrel between Protagoras and Evathlus, and many observations of Gellius on convertible forms of reasoning in literary texts fall within this rhetorical field. (shrink)
Truth and paradoxes Content Type Journal Article Category Book Review Pages 1-4 DOI 10.1007/s11016-012-9656-3 Authors Andreas Karitzis, Hellenic Open University, 23 Aidiniou str., 17122 Athens, Greece Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.
Sadegh-zadeh [23] has proposed a theory of the relativity of medical diagnosis in terms of the time at which a diagnosis is accepted, the patient to whom the diagnosis applies, the physician who renders the diagnosis, the medical knowledge used, the diagnostic method applied, and the set of patient observations. Use of classical formal logic as the diagnostic method may result in three paradoxes: the paradoxes of consistency, completeness, and justifiable ignorance. These paradoxes may be resolved by (...) the addition of two non-classical operators, the certainty and effort operators, akin to the non-classical operators of modal logic. (shrink)
