Paradoxes have played an important role both in philosophy and in mathematics and paradox resolution is an important topic in both fields. Paradox resolution is deeply important because if such resolution cannot be achieved, we are threatened with the charge of debilitating irrationality. This is supposed to be the case for the following reason. Paradoxes consist of jointly contradictory sets of statements that are individually plausible or believable. These facts about paradoxes then give rise to a deeply troubling (...) epistemic problem. Specifically, if one believes all of the constitutive propositions that make up a paradox, then one is apparently committed to belief in every proposition. This is the result of the principle of classical logical known as ex contradictione (sequitur) quodlibetthat anything and everything follows from a contradiction, and the plausible idea that belief is closed under logical or material implication (i.e. the epistemic closure principle). But, it is manifestly and profoundly irrational to believe every proposition and so the presence of even one contradiction in one’s doxa appears to result in what seems to be total irrationality. This problem is the problem of paradox-induced explosion. In this paper it will be argued that in many cases this problem can plausibly be avoided in a purely epistemic manner, without having either to resort to non-classical logics for belief (e.g. paraconsistent logics) or to the denial of the standard closure principle for beliefs. The manner in which this result can be achieved depends on drawing an important distinction between the propositional attitude of belief and the weaker attitude of acceptance such that paradox constituting propositions are accepted but not believed. Paradox-induced explosion is then avoided by noting that while belief may well be closed under material implication or even under logical implication, these sorts of weaker commitments are not subject to closure principles of those sorts. So, this possibility provides us with a less radical way to deal with the existence of paradoxes and it preserves the idea that intelligent agents can actually entertain paradoxes. (shrink)

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

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)

The paradox of pain refers to the idea that the folk concept of pain is paradoxical, treating pains as simultaneously mental states and bodily states. By taking a close look at our pain terms, this paper argues that there is no paradox of pain. The air of paradox dissolves once we recognize that pain terms are polysemous and that there are two separate but related concepts of pain rather than one.

Tullmann et Buckwalter (2014) ont récemment soutenu que le paradoxe de la fiction tenait plus de l’illusion que de la réalité. D’après eux, les théories contemporaines des émotions ne fourniraient aucune raison d’adopter une interprétation du terme « existence » qui rende les prémisses du paradoxe incompatibles entre elles. Notre discussion a pour but de contester cette manière de dissoudre le paradoxe de la fiction en montrant qu’il ne prend pas sa source dans les théories contemporaines des émotions. Bien plutôt, (...) son origine se situe dans ce que Radford (1975) décrit comme une incohérence dans nos réactions émotionnelles aux évènements fictionnels et non fictionnels. Malgré ce désaccord, nous concédons à Tullmann et Buckwalter qu’une solution satisfaisante au paradoxe de la fiction doit s’appuyer sur les théories des émotions. Ainsi, en guise de conclusion, nous expliquons comment il convient de comprendre l’incohérence en question et comment les théories des émotions pourraient contribuer à la résolution du paradoxe de la fiction. (shrink)

Essential for the concept of the law of nature is not only spatio-temporal universality, but also functionality in the sense of the dependency on physical conditions of natural entities. In the following it is explained in detail that just the neglect of this functional property is to be understood as the real reason for the occurrence of the Goodman paradox. As a consequence, the behavior of things seems to be completely at the mercy of the temporal change of unique (...) absolute temporal points. It is exactly this (mis-)understanding that also generated the induction problem. From the intrinsic connection between universality and functionality, however, - that is my claim - the ontological consequence of a nature results, for which the potentiality of lawfulness is coupled to essentially functionally defined time sequences. (shrink)

The discrepancy between individual women and the stereotypes attributed to the group as a ‎whole has become progressively greater and more explicit over the course of history. The stereotypes remain the same age-old ‎allegations whilst the ‎developments in the occupations of women and the traits they have opportunity to express have increased the distance between women and those ascribed traits. Stereotypes’ abstention from revision in light of contrary evidence constitutes an epistemic paradox for it entails conflict between the stereotypical (...) knowledge and empirical evidence, as well as between the stereotypical knowledge and other empirical knowledges. This paradox of stubbornness also raises the question as to the epistemic source of stereotypes. For, people at young ages encounter evidence which should have formed a more complex knowledge regarding women rather than the pervasive stereotypical knowledge. It is this extremity of absurdness of stereotypes regarding women that is utile to understanding stereotypes as a whole. The epistemic paradox that is engrained in all stereotypes is exposed uncompromisingly by this group. The paradox cannot be dismissed with excuses of having a small basis of evidence, such as may be said regarding other social groups with which one may have had minimal or no contact. Thus, stereotypes of women provide a limit case to understanding the epistemology of this paradoxical form of knowledge. The traits and epistemic phenomena which render stereotypes epistemically puzzling and intriguing is the relationship between knowledges. Stereotypical knowledge regarding women as a group conflict with one’s experience-founded knowledges of particular women, deeming the corporate body of knowledge incoherent. Quine’s theory of knowledge, with its holistic empirical approach endorsing conceptual schemes, provides fertile ground for this analysis. The novelty in his account is his establishment of the criteria of coherency, which shifts the focal point of epistemic inquiry away from the adequacy of individual knowledges with empirical evidence to the intra-knowledge relationships themselves. In his empiricism, Quine rather examines the interactions between knowledges and the overarching coherence of the body of knowledge as a holistic unit. Quine creates place in his account for mechanism which provide for the epistemic incongruences of stubbornness and conflict found between stereotypical knowledges and empirical evidence. These very mechanisms are what this paper requests to examine. Quine, ultimately, formulates knowledge as a collectively held fabric consisting of relations and of posits – socially constructed mechanisms which are empirically-irreducible and implemented pragmatically for the organisation of empirical evidence. According to Quine, the fabric formation is a conceptual scheme sourced in social heritage. People are bestowed with an eclectic framework of ‎knowledge to pragmatically merge between an inherited, collective conceptual scheme and the personally experienced empirical evidence. This paper will delve into Quine’s fabric of knowledge, its relations, and inner-mechanisms. The finding of stereotypes to be an age-old posit entrenched pragmatically – thus stubbornly – in the collective conceptual scheme, will explain the epistemic paradoxes they entail and offer insight to their revision in light of empiric reality and its women. (shrink)

. In our research about Fuzzy Time and modeling time, "Unexpected Hanging Paradox" plays a major role. Here, we compare this paradox to the Zeno Paradox and the relations of them with our standard models of continuum and Fuzzy numbers. To do this, we review the project "Fuzzy Time and Possible Impacts of It on Science" and introduce a new way in order to approach the solutions for these paradoxes. Additionally, we have a more general discussion about (...) paradoxes, as Philosophical back ground of the subject and in this way, we introduce the concepts of General View, the first picture, BBF-General View. -/- . (shrink)

Alternate Universes: Religion assumes the other world after death: paradise, hell, nirvana, karma.. Our world is incomplete, because there is truer universe, replicating Plato: behind something is something.. till the true idea - last judgment, karma.. R. Descartes's "I think, therefore I am", is independent of Plato. I'm thinking, regardless of there is truer idea or not. As I'm thinking, I can realize my first idea was false (eg. solving a math problem), and then the Plato's truer idea reappears. Plato (...) and Descartes precede each other as chicken and egg.. Paradox of Religion: Religions' rules (e.g. don't lie) increase chances of future paradise. Hume's: "A" preceding "B" doesn't need to cause "B" turns to: Expectation of "B" can cause "A" NOW Believers expect paradise to forever delay it. Paradise can paradoxically occur only by deviation from the religion... Exhibited in Holland Park, W8 6LU, The Ice House between 18. Oct - 3. Nov. 2013. (shrink)

Solutions to ninety paradoxes, some old, some new.

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends (...) classical logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

Supererogatory acts—good deeds “beyond the call of duty”—are a part of moral common sense, but conceptually puzzling. I propose a unified solution to three of the most infamous puzzles: the classic Paradox of Supererogation (if it’s so good, why isn’t it just obligatory?), Horton’s All or Nothing Problem, and Kamm’s Intransitivity Paradox. I conclude that supererogation makes sense if, and only if, the grounds of rightness are multi-dimensional and comparative.

In our research about Fuzzy Time and modeling time, "Unexpected Hanging Paradox" plays a major role. Here, we compare this paradox to the Zeno Paradox and the relations of them with our standard models of continuum and Fuzzy numbers. To do this, we review the project "Fuzzy Time and Possible Impacts of It on Science" and introduce a new way in order to approach the solutions for these paradoxes. Additionally, we have a more general discussion about paradoxes, (...) as Philosophical back ground of the subject and in this way, we introduce the concepts of General View, the first picture, BBF-General View. (shrink)

I present a paradox concerning a person who desires to fail to achieve the goal that matters most to them. I recently encountered a similar paradox, but radical solipsism is a solution to it. This is not a solution to the paradox that I present.

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

Chinese Chan or Zen Buddhism is renowned for its improvisational, atypical, and perplexing use of words. In particular, the tradition’s encounter dialogues, which took place between Chan masters and their interlocutors, abound in puzzling, astonishing, and paradoxical ways of speaking. In this chapter, we are concerned with Chan’s use of paradoxical language. In philosophical parlance, a linguistic paradox comprises the confluence of opposite or incongruent concepts in a way that runs counter to our common sense and ordinary rational thinking. (...) One naturally wonders about Chan masters’ rationales for their use of paradox. There are also concerns about whether the use violates the logical principle of noncontradiction to the effect that nothing can be both P and not-P all over in the same way at the same time. Chan became a viable Chinese Buddhist tradition during the Tang dynasty (618−907) and continued to develop for several centuries. The tradition had produced a huge literature; consequently, our investigation of its use of paradox cannot but be limited and selective. In the second section, I first sketch key ideas of Chan that are pertinent to our investigation and then examine the use of paradox in the sermons associated with certain Tang masters of the southern Chan. In the third section, I analyze the presence of paradoxical language in post-Tang encounter dialogues. The fourth section concludes. (shrink)

What José Luis Bermúdez calls the paradox of self-consciousness is essentially the conflict between two claims: (1) The capacity to use first-personal referential devices like “I” must be explained in terms of the capacity to think first-person thoughts. (2) The only way to explain the capacity for having a certain kind of thought is by explaining the capacity for the canonical linguistic expression of thoughts of that kind. (Bermúdez calls this the “Thought-Language Principle”.) The conflict between (1) and (2) (...) is obvious enough. However, if a paradox is an unacceptable conclusion drawn from apparently valid reasoning from apparently true premises, then Bermúdez’s conflict is no paradox. It is rather a conflict between the view that thought must be explained in terms of language, and the view that first person linguistic reference must be explained in terms of first-person thought. Neither view is immediately obvious, and nor is it obvious that the arguments for either are equally compelling. What we have here is a difference of philosophical opinion, not a paradox. (shrink)

Roger Swyneshed, in his treatise on insolubles (logical paradoxes), dating from the early 1330s, drew three notorious corollaries of his solution. The third states that there is a contradictory pair of propositions both of which are false. This appears to contradict the Rule of Contradictory Pairs, which requires that in every such pair, one must be true and the other false. Looking back at Aristotle's treatise De Interpretatione, we find that Aristotle himself, immediately after defining the notion of a contradictory (...) pair, gave counterexamples to the rule. Thus Swyneshed's solution to the logical paradoxes is not contrary to Aristotle's teaching, as many of Swyneshed's contemporaries claimed. Dialetheism, the contemporary claim that some propositions are both true and false, is wedded to the Rule, and in consequence divorces denial from the assertion of the contradictory negation. (shrink)

In this article, the concept of moralistic fallacy introduced by B. D. Davis is elaborated on in more detail. The main features of this fallacy are discussed, and its general form is presented. The moralistic fallacy might have some undesirable outcomes. Some of them might even be in direct conflict to the original moral position. If this occurs, it is possible to characterize it as a paradox of moralistic fallacy. The possibility of this paradox provides a further reason (...) not to prevent any scientific inquiries and not to depict any knowledge as dangerous. (shrink)

Expressivists explain the expression relation which obtains between sincere moral assertion and the conative or affective attitude thereby expressed by appeal to the relation which obtains between sincere assertion and belief. In fact, they often explicitly take the relation between moral assertion and their favored conative or affective attitude to be exactly the same as the relation between assertion and the belief thereby expressed. If this is correct, then we can use the identity of the expression relation in the two (...) cases to test the expressivist account as a descriptive or hermeneutic account of moral discourse. I formulate one such test, drawing on a standard explanation of Moore's paradox. I show that if expressivism is correct as a descriptive account of moral discourse, then we should expect versions of Moore's paradox where we explicitly deny that we possess certain affective or conative attitudes. I then argue that the constructions that mirror Moore's paradox are not incoherent. It follows that expressivism is either incorrect as a hermeneutic account of moral discourse or that the expression relation which holds between sincere moral assertion and affective or conative attitudes is not identical to the relation which holds between sincere non-moral assertion and belief. A number of objections are canvassed and rejected. (shrink)

This short paper offers a skeptical solution to Åqvist's paradox of epistemic obligation. The solution is based on the contention that in SDL/KDT logics the externalist features of knowledge, about which we cannot have obligations, are obscured.

It is widely accepted that there is what has been called a non-hypocrisy norm on the appropriateness of moral blame; roughly, one has standing to blame only if one is not guilty of the very offence one seeks to criticize. Our acceptance of this norm is embodied in the common retort to criticism, “Who are you to blame me?”. But there is a paradox lurking behind this commonplace norm. If it is always inappropriate for x to blame y for (...) a wrong that x has committed, then all cases in which x blames x (i.e. cases of self-blame) are rendered inappropriate. But it seems to be ethical common-sense that we are often, sadly, in position (indeed, excellent, privileged position) to blame ourselves for our own moral failings. And thus we have a paradox: a conflict between the inappropriateness of hypocritical blame, and the appropriateness of self-blame. We consider several ways of resolving the paradox, and contend none is as defensible as a position that simply accepts it: we should never blame ourselves. In defending this startling position, we defend a crucial distinction between self-blame and guilt. (shrink)

The present work outlines a logical and philosophical conception of propositions in relation to a group of puzzles that arise by quantifying over them: the Russell-Myhill paradox, the Prior-Kaplan paradox, and Prior's Theorem. I begin by motivating an interpretation of Russell-Myhill as depending on aboutness, which constrains the notion of propositional identity. I discuss two formalizations of of the paradox, showing that it does not depend on the syntax of propositional variables. I then extend to propositions a (...) modal predicative response to the paradoxes articulated by an abstraction principle for propositions. On this conception, propositions are “shadows” of the sentences that express them. Modal operators are used to uncover the implicit relation of dependence that characterizes propositions that are about propositions. The benefits of this approach are shown by application to other intensional puzzles. The resulting view is an alternative to the plenitudinous metaphysics of impredicative comprehension principles. (shrink)

In this article, some classical paradoxes of infinity such as Galileo’s paradox, Hilbert’s paradox of the Grand Hotel, Thomson’s lamp paradox, and the rectangle paradox of Torricelli are considered. In addition, three paradoxes regarding divergent series and a new paradox dealing with multiplication of elements of an infinite set are also described. It is shown that the surprising counting system of an Amazonian tribe, Pirah ̃a, working with only three numerals (one, two, many) can help (...) us to change our perception of these paradoxes. A recently introduced methodology allowing one to work with finite, infinite, and infinitesimal numbers in a unique computational framework not only theoretically but also numerically is briefly described. This methodology is actively used nowadays in numerous applications in pure and applied mathematics and computer science as well as in teaching. It is shown in the article that this methodology also allows one to consider the paradoxes listed above in a new constructive light. (shrink)

After the WHS inscription of the Historic Centre of Macau in 2005, the relationship between citizens of Macau and their heritage is not distanced. Most of these monuments remain functional for religious and social purposes and are actively engaged in public commercial activities such as the annual Macau Light Festival. Several historic houses have been transformed into either a permanent library or a museum where people can experience various events. With such frequent interaction, these monuments are more than just heritage (...) to locals; they are the venues where people’s daily lives are attached. However, this familiarity will cause a paradox in preservation since losing the distance might mean being unable to deliver the message of protection. It would be difficult to find a balance between preservation and reuse of heritage. This paper will use the Historic Centre of Macau as a case study to discuss the types of adaptive reuse in Macau and propose potential risks of these approaches. (shrink)

I present a paradoxical combination of desires. I show why it's paradoxical, and consider ways of responding. The paradox saddles us with an unappealing trilemma: either we reject the possibility of the case by placing surprising restrictions on what we can desire, or we deny plausibly constitutive principles linking desires to the conditions under which they are satisfied, or we revise some bit of classical logic. I argue that denying the possibility of the case is unmotivated on any reasonable (...) way of thinking about mental content, and rejecting those desire-satisfaction principles leads to revenge paradoxes. So the best response is a non-classical one, according to which certain desires are neither determinately satisfied nor determinately not satisfied. Thus, theorizing about paradoxical propositional attitudes helps constrain the space of possibilities for adequate solutions to semantic paradoxes more generally. (shrink)

This paper reports (in section 1 “Introduction”) some quotes from Nelson Goodman which clarify that, contrary to a common misunderstanding, Goodman always denied that “grue” requires temporal information and “green” does not require temporal information; and, more in general, that Goodman always denied that grue-like predicates require additional information compared to what green-like predicates require. One of the quotations is the following, taken from the first page of the Foreword to chapter 8 “Induction” of the Goodman’s book “Problems and Projects”: (...) “Nevertheless, we may by now confidently conclude that no general distinction between projectible and non- projectible predicates can be drawn on syntactic or even on semantic grounds. Attempts to distinguish projectible predicates as purely qualitative, or non-projectible ones as time-dependent, for example, have plainly failed”. Barker and Achinstein in their famous paper of 1960 tried to demonstrate that the grue-speaker (named Mr. Grue in their paper) needs temporal information to be able to determine whether an object is grue, but Goodman replied (in “Positionality and Pictures”, contained in his book “Problems and Projects”, chapter 8, section 6b) that they failed to prove that Mr. Grue needs temporal information to determine whether an object is grue. According to Goodman, since the predicates “blue” and “green” are interdefinable with the predicates “grue” and “bleen”, “if we can tell which objects are blue and which objects are green, we can tell which ones are grue and which ones are bleen” [pages 12-13 of “Reconceptions in Philosophy and Other Arts and Sciences”]. But this paper points out that an example of interdefinability is also that one about the predicate “gruet”, which is a predicate that applies to an object if the object either is green and examined before time t, or is non-green and not examined before time t. The three predicates “green”, “gruet”, “examined before time t” are interdefinable: and even though the predicates “green” and “examined before time t” are interdefinable, being able to tell if an object is green does not imply being able to tell if an object is examined before time t (the interdefinability among three elements is a type of interdefinability present, for example, also among the logical connectives). Thus, it is wrong the Goodman’s thesis according to which if it is possible to determine without having temporal information whether the predicate “green” has to be applied to an object, then it is also possible to determine without having temporal information whether a predicate interdefinable with “green” has to be applied to an object. Another example of interdefinability is that one about a decidable predicate PD, which is interdefinable with an undecidable predicate PU: therefore even though we can tell whether an object is PD and whether an object is non-PD, we cannot tell whether an object is PU (since PU is an undecidable predicate) and whether an object is non-PU. Although the predicates PD and PU are interdefinable, the possibility to determine whether an object is PD does not imply the possibility to determine whether an object is PU (since PU is an undecidable predicate). Similarly, although the predicates “green” and “grue” are interdefinable, the possibility to determine whether an object is “green” even in absence of temporal information does not imply the possibility to determine whether an object is “grue” even in absence of temporal information. These and other examples about “grue” and “bleen” point out that even in case two predicates are interdefinable, the possibility to apply a predicate P does not imply the possibility to apply a predicate interdefinable with P. And that the possibility to apply the predicate “green” without having temporal information does not imply the possibility to apply the predicate “grue” without having temporal information. Furthermore, knowing that an object is both green and grue implies temporal information: in fact, we know by definition that a grue object can only be: 1) either green (in case the object is examined before time t); 2) or blue (in case the object is not examined before time t). Thus, knowing that an object is both grue and green, we know that we are faced with case 1, the case of a grue object that is green and examined before time t. Then the paper points out why the Goodman-Kripke paradox is a paradox about meaning that cannot have repercussions on induction. Finally the paper points out why Hume’s problem is a problem different from Goodman’s paradox and requires a specific treatment. -/- . (shrink)

This paper gives a definition of self-reference on the basis of the dependence relation given by Leitgeb (2005), and the dependence digraph by Beringer & Schindler (2015). Unlike the usual discussion about self-reference of paradoxes centering around Yablo's paradox and its variants, I focus on the paradoxes of finitary characteristic, which are given again by use of Leitgeb's dependence relation. They are called 'locally finite paradoxes', satisfying that any sentence in these paradoxes can depend on finitely many sentences. I (...) prove that all locally finite paradoxes are self-referential in the sense that there is a directed cycle in their dependence digraphs. This paper also studies the 'circularity dependence' of paradoxes, which was introduced by Hsiung (2014). I prove that the locally finite paradoxes have circularity dependence in the sense that they are paradoxical only in the digraph containing a proper cycle. The proofs of the two results are based directly on König's infinity lemma. In contrast, this paper also shows that Yablo's paradox and its nested variant are non-self-referential, and neither McGee's paradox nor the omega-cycle liar paradox has circularity dependence. (shrink)

In this paper, I start by describing and examining the main results about the option of formalizing the Yablo Paradox in arithmetic. As it is known, although it is natural to assume that there is a right representation of that paradox in first order arithmetic, there are some technical results that give rise to doubts about this possibility. Then, I present some arguments that have challenged that Yablo’s construction is non-circular. Just like that, Priest (1997) has argued that (...) such formalization shows that Yablo’s Paradox involves implicit circularity. In the same direction, Beall (2001) has introduced epistemic factors in this discussion. Even more, Priest has also argued that the introduction of infinitary reasoning would be of little help. Finally, one could reject definitions of circularity in term of fixed-point adopting non-well-founded set theory. Then, one could hold that the Yablo paradox and the Liar paradox share the same non-well-founded structure. So, if the latter is circular, the first is too. In all such cases, I survey Cook’s approach (2006, forthcoming) on those arguments for the charge of circularity. In the end, I present my position and summarize the discussion involved in this volume. En este artículo, describo y examino los principales resultados vinculados a la formalización de la paradoja de Yablo en la aritmética. Aunque es natural suponer que hay una representación correcta de la paradoja en la aritmética de primer orden, hay algunos resultados técnicos que hacen surgir dudas acerca de esta posibilidad. Más aún, presento algunos argumentos que han cuestionado que la construcción de Yablo no sea circular. Así, Priest (1997) ha argumentado que la formalización de la paradoja de Yablo en la aritmética de primer orden muestra que la misma involucra implícitamente circularidad. En la misma dirección, Beall (2001) ha introducido factores epistémicos en esta discusión. Más aún, Priest ha también argumentado que la introducción de razonamiento infinitario como complemento de la formalización en la aritmética sería de poca ayuda. Finalmente, se podría rechazar todo intento de dar definiciones de circularidad en términos de puntos fijos adoptando teoría de conjuntos infundados. Entonces, se podría sostener que la paradoja de Yablo y la del mentiroso comparten la misma estructura infundada. Por eso, si la última es circular, también lo es la primera. En todos los casos, presento el enfoque de Roy Cook (2006, en prensa) sobre estos argumentos que atribuyen circularidad a la construcción de Yablo. En el final, presento mi posición y un breve resumen de la discusión involucrada en este volumen. (shrink)

I offer a novel account of the absurdity of Moore-paradoxical assertion in terms of an interlocutor’s fully conscious beliefs. This account starts with an original argument for the principle that fully conscious belief collects over conjunction. The argument is premised on the synchronic unity of consciousness and the transparency of belief.

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

Philosophers have long argued that duties to oneself are paradoxical, as they seem to entail an incoherent power to release oneself from obligations. I argue that self-release is possible, both as a matter of deontic logic and of metaethics.

The paper describes the solution to semantic paradoxes pioneered by Pavel Tichý and further developed by the present author. Its main feature is an examination (and then refutation) of the hidden premise of paradoxes that the paradox-producing expression really means what it seems to mean. Semantic concepts are explicated as relative to language, thus also language is explicated. The so-called ‘explicit approach’ easily treats paradoxes in which language is explicitly referred to. The residual paradoxes are solved by the ‘implicit (...) approach’ which employs ideas made explicit by the former one. (shrink)

This paper is concerned with the paradox of decrease. Its aim is to defend the answer to this puzzle that was propounded by its originator, namely, the Stoic philosopher Chrysippus. The main trouble with this answer to the paradox is that it has the seemingly problematic implication that a material thing could perish due merely to extrinsic change. It follows that in order to defend Chrysippus’ answer to the paradox, one has to explain how it could be (...) that Theon is destroyed by the amputation without changing intrinsically. In this paper, I shall answer this challenge by appealing to the broadly Aristotelian idea that at least some of the proper parts of a material substance are ontologically dependent on that substance. I will also appeal to this idea in order to offer a new solution to the structurally similar paradox of increase. In this way, we will end up with a unified solution to two structurally similar paradoxes. (shrink)

We call something a paradox if it strikes us as peculiar in a certain way, if it strikes us as something that is not simply nonsense, and yet it poses some difficulty in seeing how it could make sense. When we examine paradoxes more closely, we find that for some the peculiarity is relieved and for others it intensifies. Some are peculiar because they jar with how we expect things to go, but the jarring is to do with imprecision (...) and misunderstandings in our thought, failures to appreciate the breadth of possibility consistent with our beliefs. Other paradoxes, however, pose deep problems. Closer examination does not explain them away. Instead, they challenge the coherence of certain conceptual resources and hence challenge the significance of beliefs which deploy those resources. I shall call the former kind weak paradoxes and the latter, strong paradoxes. Whether a particular paradox is weak or strong is sometimes a matter of controversy—sometimes it has been realised that what was thought strong is in fact weak, and vice versa,— but the distinction between the two kinds is generally thought to be worth drawing. In this Cchapter, I shall cover both weak and strong probabilistic paradoxes. (shrink)

My aim in this paper is to develop a unified solution to two paradoxes of bounded rationality. The first is the regress problem that incorporating cognitive bounds into models of rational decisionmaking generates a regress of higher-order decision problems. The second is the problem of rational irrationality: it sometimes seems rational for bounded agents to act irrationally on the basis of rational deliberation. I review two strategies which have been brought to bear on these problems: the way of weakening which (...) responds by weakening rational norms, and the way of indirection which responds by letting the rationality of behavior be determined by the rationality of the deliberative processes which produced it. Then I propose and defend a third way to confront the paradoxes: the way of level separation. (shrink)

Why can testimony alone be enough for findings of liability? Why statistical evidence alone can’t? These questions underpin the “Proof Paradox” (Redmayne 2008, Enoch et al. 2012). Many epistemologists have attempted to explain this paradox from a purely epistemic perspective. I call it the “Epistemic Project”. In this paper, I take a step back from this recent trend. Stemming from considerations about the nature and role of standards of proof, I define three requirements that any successful account in (...) line with the Epistemic Project should meet. I then consider three recent epistemic accounts on which the standard is met when the evidence rules out modal risk (Pritchard 2018), normic risk (Ebert et al. 2020), or relevant alternatives (Gardiner 2019 2020). I argue that none of these accounts meets all the requirements. Finally, I offer reasons to be pessimistic about the prospects of having a successful epistemic explanation of the paradox. I suggest the discussion on the proof paradox would benefit from undergoing a ‘value-turn’. (shrink)

Given any proposition, is it possible to have rationally acceptable attitudes towards it? Absent reasons to the contrary, one would probably think that this should be possible. In this paper I provide a reason to the contrary. There is a proposition such that, if one has any opinions about it at all, one will have a rationally unacceptable set of propositional attitudes—or if one doesn’t, one will end up being cognitively imperfect in some other manner. The proposition I am concerned (...) with is a self-referential propositional attitude ascription involving the propositional attitude of rejection. Given a basic assumption about what constitutes irrationality, and a few assumptions about the nature of cognitively ideal agents, a paradox results. This paradox is superficially like the Liar, but it is importantly different in that no alethic notions are involved at all. As such, it stands independent of the Liar and is not a ‘revenge’ version of it. After setting out the paradox I discuss possible responses. After considering several I argue that one is best off simply accepting that the paradox shows us something surprising and interesting about rationality: that some cognitive shortfall is unavoidable even for ideal agents. I argue that nothing disastrous follows from accepting this conclusion. (shrink)

Fine’s Paradox, an insider critique of philosophical grounding, suggests that everything is grounded in its own existence. If it obtained, the project of philosophical grounding would be both ideologically and technically problematic. Given previous attempts targeting either on Fine’s argumentation or logical features of grounding, I will argue for one proposal citing the notion of Grounding Pluralism, a once misunderstood or underestimated notion, to empty the paradox. Moreover, I will also illustrate why this proposal is theoretically more beneficial, (...) compared to other potential options, and why it is almost a cure. (shrink)

Our evidence can be about different subject matters. In fact, necessarily equivalent pieces of evidence can be about different subject matters. Does the hyperintensionality of ‘aboutness’ engender any hyperintensionality at the level of rational credence? In this paper, I present a case which seems to suggest that the answer is ‘yes’. In particular, I argue that our intuitive notions of independent evidence and inadmissible evidence are sensitive to aboutness in a hyperintensional way. We are thus left with a paradox. (...) While there is strong reason to think that rational credence cannot make such hyperintensional distinctions, our intuitive judgements about certain cases seem to demand that it does. (shrink)

This short article pairs the realms of “Mathematics”, “Philosophy”, and “Poetry”, presenting some corners of intersection of this type of scientocreativity. Poetry have long been following mathematical patterns expressed by stern formal restrictions, as the strong metrical structure of ancient Greek heroic epic, or the consistent meter with standardized rhyme scheme and a “volta” of Italian sonnets. Poetry was always connected to Philosophy, and further on, notable mathematicians, like the inventor of quaternions, William Rowan Hamilton, or Ion Barbu, the creator (...) of the Barbilian spaces, have written appreciated poems. We will focus here on an avant-garde movement in literature, art, philosophy, and science, called Paradoxism, founded in Romania in 1980 by a mathematician, philosopher and poet, and on the laboured writing exercises of the Oulipo group, founded in Paris in 1960 by mathematicians and poets, both of them still in act. (shrink)

There is no shortage of pedagogical theories from the tradition formal methods of instruction to the free-play methods of unschooling. A sharp shift in education and instruction models took place with the introduction of critical pedagogy. The focus was no longer on the authority of the teacher and the submissive, passive approach taken by the learner, but rather on the engagement between the two. Still, even when critical pedagogy is utilized in a formal model of education something is missing from (...) the system—experiential learning. Although the unschooling method has been criticized it does provide the benefit of experiential learning. This paper explores the nature of education and evaluates models and theories of pedagogy with the conclusion that a paradoxical approach in which there is a merger between the formal guidelines set by traditional educational models and the experiential learning methods of unschooling approach best prepares learners for the world and to be engaged citizens. Although what, precisely, this paradoxical system would entail is not discussed in this paper, it opens the door for further discussion on the topic and for consideration of the theories which have attempted to do exactly this and improve upon them going forward. (shrink)

I use the principle of truth-maker maximalism to provide a new solution to the semantic paradoxes. According to the solution, AUS, its undecidable whether paradoxical sentences are grounded or ungrounded. From this it follows that their alethic status is undecidable. We cannot assert, in principle, whether paradoxical sentences are true, false, either true or false, neither true nor false, both true and false, and so on. AUS involves no ad hoc modification of logic, denial of the T-schema's validity, or obvious (...) revenge. (shrink)

How can we think or say what is not? If we equate what-is-not with nothing, then a thought of nothing is no thought at all; if we don’t, we are condemned to admit that what-is-not is, seemingly incurring in self-refutation. In this paper, I address this paradox through the lenses of Parmenides, Plato, Russell, and the early Wittgenstein.

The coordinated attack scenario and the electronic mail game are two paradoxes of common knowledge. In simple mathematical models of these scenarios, the agents represented by the models can coordinate only if they have common knowledge that they will. As a result, the models predict that the agents will not coordinate in situations where it would be rational to coordinate. I argue that we should resolve this conflict between the models and facts about what it would be rational to do (...) by rejecting common knowledge assumptions implicit in the models. I focus on the assumption that the agents have common knowledge that they are rational, and provide models to show that denying this assumption suffices for a resolution of the paradoxes. I describe how my resolution of the paradoxes fits into a general story about the relationship between rationality in situations involving a single agent and rationality in situations involving many agents. (shrink)

We begin by showing that every theory of the value of uncertain prospects must have one of three unpalatable properties. _Reckless_ theories recommend giving up a sure thing, no matter how good, for an arbitrarily tiny chance of enormous gain; _timid_ theories permit passing up an arbitrarily large potential gain to prevent a tiny increase in risk; _non-transitive_ theories deny the principle that, if A is better than B and B is better than C, then A must be better than (...) C. Having set up this trilemma, we study its horns. Non-transitivity has been much discussed; we focus on drawing out the costs and benefits of recklessness and timidity when it comes to axiology, decision theory, and normative uncertainty. (shrink)