Simple random sampling resolutions of the raven paradox relevantly diverge from scientific practice. We develop a stratified random sampling model, yielding a better fit and apparently rehabilitating simple random sampling as a legitimate idealization. However, neither accommodates a second concern, the objection from potential bias. We develop a third model that crucially invokes causal considerations, yielding a novel resolution that handles both concerns. This approach resembles Inference to the Best Explanation (IBE) and relates the generalization’s confirmation to confirmation (...) of an associated law. We give it an objective Bayesian formalization and discuss the compatibility of Bayesianism and IBE. (shrink)

According to Hempel's paradox, evidence (E) that an object is a nonblack nonraven confirms the hypothesis (H) that every raven is black. According to the standard Bayesian solution, E does confirm H but only to a minute degree. This solution relies on the almost never explicitly defended assumption that the probability of H should not be affected by evidence that an object is nonblack. I argue that this assumption is implausible, and I propose a way out for Bayesians. (...) Introduction Hempel's paradox, the standard Bayesian solution, and the disputed assumption Attempts to defend the disputed assumption Attempts to refute the disputed assumption A way out for Bayesians Conclusion. (shrink)

After long arguments between positivism and falsificationism, the verification of universal hypotheses was replaced with the confirmation of uncertain major premises. Unfortunately, Hemple proposed the Raven Paradox. Then, Carnap used the increment of logical probability as the confirmation measure. So far, many confirmation measures have been proposed. Measure F proposed by Kemeny and Oppenheim among them possesses symmetries and asymmetries proposed by Elles and Fitelson, monotonicity proposed by Greco et al., and normalizing property suggested by many researchers. Based (...) on the semantic information theory, a measure b* similar to F is derived from the medical test. Like the likelihood ratio, measures b* and F can only indicate the quality of channels or the testing means instead of the quality of probability predictions. Furthermore, it is still not easy to use b*, F, or another measure to clarify the Raven Paradox. For this reason, measure c* similar to the correct rate is derived. Measure c* supports the Nicod Criterion and undermines the Equivalence Condition, and hence, can be used to eliminate the Raven Paradox. An example indicates that measures F and b* are helpful for diagnosing the infection of Novel Coronavirus, whereas most popular confirmation measures are not. Another example reveals that all popular confirmation measures cannot be used to explain that a black raven can confirm “Ravens are black” more strongly than a piece of chalk. Measures F, b*, and c* indicate that the existence of fewer counterexamples is more important than more positive examples’ existence, and hence, are compatible with Popper’s falsification thought. (shrink)

The canonical Bayesian solution to the ravens paradox faces a problem: it entails that black non-ravens disconfirm the hypothesis that all ravens are black. I provide a new solution that avoids this problem. On my solution, black ravens confirm that all ravens are black, while non-black non-ravens and black non-ravens are neutral. My approach is grounded in certain relations of epistemic dependence, which, in turn, are grounded in the fact that the kind raven is more natural than the (...) kind black. The solution applies to any generalization “All F’s are G” in which F is more natural than G. (shrink)

The paper takes a novel approach to a classic problem—Hempel’s Raven Paradox. A standard approach to it supposes the solution to consist in bringing our inductive logic into “reflective equilibrium” with our intuitive judgements about which inductive inferences we should license. This approach leaves the intuitions as a kind of black box and takes it on faith that, whatever the structure of the intuitions inside that box might be, it is one for which we can construct an isomorphic (...) formal edifice, a system of inductive logic. By popping open the box we can see whether that faith is misplaced. I aim, therefore, to characterize our pre-theoretical, intuitive understanding of generalizations like “ravens are black” and argue that, intuitively, we take them to mean, for instance: “ravens are black by some indeterminate yet characteristic means.” I motivate and explicate this formulation and bring it to bear on Hempel’s Problem. (shrink)

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

Historically, Nelson Goodman’s paradox involving the predicates ‘grue’ and ‘bleen’ has been taken to furnish a serious blow to Carl Hempel’s theory of confirmation in particular and to purely formal theories of confirmation in general. In this paper, I argue that Goodman’s paradox is no more serious of a threat to Hempel’s theory of confirmation than is Hempel’s own paradox of the ravens. I proceed by developing a suggestion from R. D. Rosenkrantz into an argument for the (...) conclusion that these paradoxes are, in fact, equivalent. My argument, if successful, is of both historical and philosophical interest. Goodman himself maintained that Hempel’s theory of confirmation was capable of handling the paradox of the ravens. And Hempel eventually conceded that Goodman’s paradox showed that there could be no adequate, purely syntactical theory of confirmation. The conclusion of my argument entails, by contrast, that Hempel’s theory of confirmation is incapable of handling Goodman’s paradox if and only if it is incapable of handling the paradox of the ravens. It also entails that for any adequate solution to one of these paradoxes, there is a corresponding and equally adequate solution to the other. (shrink)

Confirmation and falsification are different strategies for testing theories and characterizing the outcomes of those tests. Roughly speaking, confirmation is the act of using evidence or reason to verify or certify that a statement is true, definite, or approximately true, whereas falsification is the act of classifying a statement as false in the light of observation reports. After expounding the intellectual history behind confirmation and falsificationism, reaching back to Plato and Aristotle, I survey some of the main controversial issues and (...) arguments that pertain to the choice between these strategies: the Raven Paradox, the Duhem/Quine problem and the Grue Paradox. Finally, I outline an evolutionary criticism of inductive Bayesian approaches based on my assumption of doxastic involuntarism. (shrink)

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

(This is for the Cambridge Handbook of Analytic Philosophy, edited by Marcus Rossberg) In this handbook entry, I survey the different ways in which formal mathematical methods have been applied to philosophical questions throughout the history of analytic philosophy. I consider: formalization in symbolic logic, with examples such as Aquinas’ third way and Anselm’s ontological argument; Bayesian confirmation theory, with examples such as the fine-tuning argument for God and the paradox of the ravens; foundations of mathematics, with examples such (...) as Hilbert’s programme and Gödel’s incompleteness theorems; social choice theory, with examples such as Condorcet’s paradox and Arrow’s theorem; ‘how possibly’ results, with examples such as Condorcet’s jury theorem and recent work on intersectionality theory; and the application of advanced mathematics in philosophy, with examples such as accuracy-first epistemology. (shrink)

Logical Probability (LP) is strictly distinguished from Statistical Probability (SP). To measure semantic information or confirm hypotheses, we need to use sampling distribution (conditional SP function) to test or confirm fuzzy truth function (conditional LP function). The Semantic Information Measure (SIM) proposed is compatible with Shannon’s information theory and Fisher’s likelihood method. It can ensure that the less the LP of a predicate is and the larger the true value of the proposition is, the more information there is. So the (...) SIM can be used as Popper's information criterion for falsification or test. The SIM also allows us to optimize the true-value of counterexamples or degrees of disbelief in a hypothesis to get the optimized degree of belief, i. e. Degree of Confirmation (DOC). To explain confirmation, this paper 1) provides the calculation method of the DOC of universal hypotheses; 2) discusses how to resolve Raven Paradox with new DOC and its increment; 3) derives the DOC of rapid HIV tests: DOC of “+” =1-(1-specificity)/sensitivity, which is similar to Likelihood Ratio (=sensitivity/(1-specificity)) but has the upper limit 1; 4) discusses negative DOC for excessive affirmations, wrong hypotheses, or lies; and 5) discusses the DOC of general hypotheses with GPS as example. (shrink)

This paper concerns a distinction between circumstantial truths that hold because of the circumstances and acircumstantial truths that hold regardless of, or transcend, the circumstances. Previous discussions of the distinction tended to focus on its applications, such as to modality, logical truth, and essence. This paper focuses on developing the distinction largely, but not entirely, in abstraction from its potential applications. As such, the paper’s main contribution is to further clarify the distinction itself. An indirect contribution is to help guide (...) its future applications. (shrink)

A commonly held view is that a central aim of metaphysics is to give a fundamental account of reality which refers only to the fundamental entities. But a puzzle arises. It is at least a working hypothesis for those pursuing the aim that, first, there must be fundamental entities. But, second, it also seems possible that the world has no foundation, with each entity depending on others. These two claims are inconsistent with the widely held third claim that the fundamental (...) just is the foundational. It is tempting to resolve the puzzle by rejecting the first or second claim, perhaps because it is obscure how the third claim might plausibly be challenged. But I develop a new analysis of fundamentality which challenges the third claim by allowing for an entity to be fundamental without being foundational. The analysis, roughly, is that an entity is fundamental just in case not all facts about it are grounded in facts about other entities. The possibility of fundamentality without foundations not only provides for a novel resolution to the puzzle, but has applications to some live debates: for example, it undermines Jonathan Schaffer's modal argument for priority monism. (shrink)

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)

The social world contains institutions, groups, objects, and more. This essay explores a puzzle about the essences of social items. There is widespread consensus against social essences because of problematic presuppositions often made about them. But it is argued that essence can be freed from these presuppositions and their problems. Even so, a puzzle still arises. In a Platonic spirit, essences in general seem detached from the world. In an Aristotelian spirit, social essences in particular seem embedded in the world. (...) The puzzle is that these inclinations are individually plausible but jointly incompatible. The essay has four aims: to clarify and refine the puzzle; to explore the puzzle's implications for essence in general and for social essences in particular; to illustrate the fruitfulness of the general distinction between detached and embedded; and to develop this distinction to sketch a novel solution to the puzzle. (shrink)

This paper explores the prospects of combining two views. The first view is metaphysical rationalism : all things have an explanation. The second view is metaphysical essentialism: there are real essences. The exploration is motivated by a conflict between the views. Metaphysical essentialism posits facts about essences. Metaphysical rationalism demands explanations for all facts. But facts about essences appear to resist explanation. I consider two solutions to the conflict. Exemption solutions attempt to exempt facts about essences from the demand for (...) explanation. Explanation solutions attempt to explain facts about essences. I argue that exemption solutions are less promising than explanation solutions. I then consider how explanation solutions might be developed. I suggest that a “generative” approach is most promising. I tentatively conclude that the prospects for combining metaphysical rationalism and metaphysical essentialism turn on the viability of a generative approach. This sets the agenda for defending the combination as well as the more general project of explaining essences. (shrink)

Alexander Raven Thomson was a British fascist philosopher, active from 1932 to 1955. I outline Thomson’s Spenglerian views on civilization and decline. I argue that Thomson in his first book is an orthodox Spenglerian who accepts that decline is inevitable and thinks that it is morally required to destroy civilization in its final stages. I argue that this suffers from conceptual issues which may have caused Thomson’s change to a revised form of Spenglerianism, which is more authentically fascist. This (...) authentically fascist view is then seen to fall prey into the problem inherent in the very idea of permanent rebirth. (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)

. 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)

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.

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)

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)

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 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)

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)

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)

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)

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.

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 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)