Our main goal is to investigate whether the infinitary rules for the quantifiers endorsed by Elia Zardini in a recent paper are plausible. First, we will argue that they are problematic in several ways, especially due to their infinitary features. Secondly, we will show that even if these worries are somehow dealt with, there is another serious issue with them. They produce a truth-theoretic paradox that does not involve the structural rules of contraction.

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

One of the most debated problems in the foundations of the special relativity theory is the role of conventionality. A common belief is that the Lorentz transformation is correct but the Galilean transformation is wrong. It is another common belief that the Galilean transformation is incompatible with Maxwell equations. However, the “principle of general covariance” in general relativity makes any spacetime coordinate transformation equally valid. This includes the Galilean transformation as well. This renders a new paradox. This new paradox is (...) resolved with the argument that the Galilean transformation is equivalent to the Lorentz transformation. The resolution of this new paradox also provides the most straightforward resolution of an older paradox which is due to Selleri in. I also present a consistent electrodynamics formulation including Maxwell equations and electromagnetic wave equations under the Galilean transformation, in the exact form for any high speed, rather than in low speed approximation. Electrodynamics in rotating reference frames is rarely addressed in textbooks. The presented formulation of electrodynamics under the Galilean transformation even works well in rotating frames if we replace the constant velocity v\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {v}$$\end{document} with v=ω×r\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {v}=\varvec{\omega }\times \mathbf {r}$$\end{document}. This provides a practical tool for applications of electrodynamics in rotating frames. When electrodynamics is concerned, between two inertial reference frames, both Galilean and Lorentz transformations are equally valid, but the Lorentz transformation is more convenient. In rotating frames, although the Galilean electrodynamics does not seem convenient, it could be the most convenient formulation compared with other transformations, due to the intrinsic complex nature of the problem. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

In this paper, I suggest that infinite numbers are large finite numbers, and that infinite numbers, properly understood, are 1) of the structure omega + (omega* + omega)Ө + omega*, and 2) the part is smaller than the whole. I present an explanation of these claims in terms of epistemic limitations. I then consider the importance, part of which is demonstrating the contradiction that lies at the heart of Cantorian set theory: the natural numbers are too (...) large to be counted by any finite number, but too small to be counted by any infinite number – there is no number of natural numbers. (shrink)

We investigate the properties of Yablo sentences and for- mulas in theories of truth. Questions concerning provability of Yablo sentences in various truth systems, their provable equivalence, and their equivalence to the statements of their own untruth are discussed and answered.

Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...) verifiably. We consider a constructive interpretation of classical, Tarskian, truth, and of Goedel's reasoning, under which any formal system of Peano Arithmetic---classically accepted as the foundation of all our mathematical Languages---is verifiably complete in the above sense. We show how some paradoxical concepts of Quantum mechanics can, then, be expressed, and interpreted, naturally under a constructive definition of mathematical truth. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

Benardete paradoxes involve a beginningless set each member of which satisfies some predicate just in case no earlier member satisfies it. Such paradoxes have been wielded on behalf of arguments for the impossibility of an infinite past. These arguments often deploy patchwork principles in support of their key linking premise. Here I argue that patchwork principles fail to justify this key premise.

You omega know something when you know it, and know that you know it, and know that you know that you know it, and so on. This paper first argues that omega knowledge matters, in the sense that it is required for rational assertion, action, inquiry, and belief. The paper argues that existing accounts of omega knowledge face major challenges. One account is skeptical, claiming that we have no omega knowledge of any ordinary claims about the (...) world. Another account embraces the KK thesis, and identifies knowledge with omega knowledge. This position faces counterexamples, and struggles to make sense of inexact knowledge. The paper then develops a new account of knowledge, by proposing the principle of Reflective Luminosity: if you know that you know something, then you omega know it. I argue that Reflective Luminosity allows for omega knowledge while avoiding the problems for KK. (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)

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.

If I were to say, “Agnes does not know that it is raining, but it is,” this seems like a perfectly coherent way of describing Agnes’s epistemic position. If I were to add, “And I don’t know if it is, either,” this seems quite strange. In this chapter, we shall look at some statements that seem, in some sense, contradictory, even though it seems that these statements can express propositions that are contingently true or false. Moore thought it was paradoxical (...) that statements that can express true propositions or contingently false propositions should nevertheless seem absurd like this. If we can account for the absurdity, we shall solve Moore’s Paradox. In this chapter, we shall look at Moore’s proposals and more recent discussions of Moorean absurd thought and speech. (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.

I aim at dissolving Kripke's dogmatism paradox by arguing that, with respect to any particular proposition p which is known by a subject A, it is not irrational for A to ignore all evidence against p. Along the way, I offer a definition of 'A is dogmatic with respect to p', and make a distinction between an objective and a subjective sense of 'should' in the statement 'A should ignore all the evidence against p'. For the most part, I deal (...) with Kripke's original version of the paradox, wherein the subject wishes, above all else, to avoid losing her true belief or gaining a false one; in the final section I investigate the possibility of having a paradox for a subject who values knowledge above anything else. (shrink)

I propose a revision of Cantor’s account of set size that understands comparisons of set size fundamentally in terms of surjections rather than injections. This revised account is equivalent to Cantor's account if the Axiom of Choice is true, but its consequences differ from those of Cantor’s if the Axiom of Choice is false. I argue that the revised account is an intuitive generalization of Cantor’s account, blocks paradoxes—most notably, that a set can be partitioned into a set that (...) is bigger than it—that can arise from Cantor’s account if the Axiom of Choice is false, illuminates the debate over whether the Axiom of Choice is true, is a mathematically fruitful alternative to Cantor’s account, and sheds philosophical light on one of the oldest unsolved problems in set theory. (shrink)

Thomas Kroedel argues that the lottery paradox can be solved by identifying epistemic justification with epistemic permissibility rather than epistemic obligation. According to his permissibility solution, we are permitted to believe of each lottery ticket that it will lose, but since permissions do not agglomerate, it does not follow that we are permitted to have all of these beliefs together, and therefore it also does not follow that we are permitted to believe that all tickets will lose. I present two (...) objections to this solution. First, even if justification itself amounts to no more than epistemic permissibility, the lottery paradox recurs at the level of doxastic obligations unless one adopts an extremely permissive view about suspension of belief that is in tension with our practice of doxastic criticism. Second, even if there are no obligations to believe lottery propositions, the permissibility solution fails because epistemic permissions typically agglomerate, and the lottery case provides no exception to this rule. (shrink)

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)

In this essay I defend a solution to a skeptical paradox. The paradox I focus on concerns epistemic justification (rather than knowledge), and skeptical scenarios that entail that most of our ordinary beliefs about the external world are false. This familiar skeptical paradox hinges on a “closure” principle. The solution is to restrict closure, despite its first appearing as a fully general principle, so that it can no longer give rise to the paradox. This has some extra advantages. First, it (...) suggests a general strategy that provides solutions to other versions of the paradox, not just those that depend on closure. Second, it clarifies the relation between the paradox and other kinds of skeptical problem. (shrink)

According to Aristotle if a universal proposition (for example: “All men are white”) is true, its contrary proposition (“All men are not white”) must be false; and, according to Aristotle, if a universal proposition (for example: “All men are white”) is true, its contradictory proposition (“Not all men are white”) must be false. I agree with what Aristotle wrote about universal propositions, but there are universal propositions which have no contrary proposition and have no contradictory proposition. The proposition X “All (...) the propositions that contradict this proposition are true” does not have the contrary proposition and does not have the contradictory proposition. In fact: FEX “All the propositions that contradict this proposition are not true” has a different subject: the subject of the proposition X is constituted by all the propositions that contradict the proposition X; by contrast, the subject of the proposition FEX is constituted by all the propositions that contradict the proposition FEX. And FOX “Not all the propositions that contradict this proposition are true” has a different subject: the subject of the proposition X is constituted by the propositions that contradict the proposition X; by contrast, the subject of the proposition FOX is constituted by the propositions that contradict the proposition FOX. According to Aristotle, a singular proposition (in his example: "Socrates is white") which is true must have its negative proposition ("Socrates is not white") which is false. I agree with Aristotle, but there are singular propositions which do not have the corresponding negative proposition. The proposition (or, rather, the pseudo-proposition) L “This same statement is not true” does not have the negative proposition because the proposition FNL “This same statement is true” has a different subject from the subject of the proposition L: the subject of the proposition L is the proposition L; by contrast, the subject of the proposition FNL is the proposition FNL. L and FNL cannot have the same subject. By contrast, the proposition M “This mount is entirely in Swiss territory” and the proposition NM “This mount is not entirely in Swiss territory” can have the same subject (for example, the Mount Eiger): in case the subject of the proposition M and the subject of the proposition NM is the same, M and NM are opposite propositions, NM is the negative proposition of M. By contrast, the proposition (or, rather, the pseudo-proposition) L "This same statement is not true" cannot have the corresponding negative proposition because FNL "This same statement is true" has a different subject: the subject of L is L ; by contrast, the subject of FNL is FNL. Then the paper continues by analyzing some variants of the liar’s paradox: L1 “The statement L1 is not true”; the so-called liar cycle; and the so-called Yablo’s paradox. (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)

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.

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)

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)

An Omega Point Theory says that reality is making progress from some initial state to some final state. It moves from some Alpha Point (the initial state) to some Omega Point (the final state). The progress is an increase in some quality. For example, reality is making progress from the chaotic to the orderly; or it is making progress from the simple to the complex; or from the mindless to the mental; or from evil to good. Here we (...) focus on the Omega Point theory of Peirce. An Omega Point Theory is an evolutionary cosmology – it says that the universe is evolving from the Alpha Point to the Omega Point. Peirce refers to his evolutionary cosmology as a Cosmogonic Philosophy would suppose that in the beginning – infinitely remote – there was a chaos of unpersonalized feeling, which being without connection or regularity would properly be without existence. This feeling, sporting here and there in pure arbitrariness, would have started the germ of a generalizing tendency. Its other sportings would be evanescent, but this would have a growing virtue. Thus the tendency to habit would be started; and from this, with the other principles of evolution, all the regularities of the universe would be evolved. At any time, however, an element of pure chance survives and will remain until the world becomes an absolutely perfect, rational, and symmetrical system, in which mind is at last crystallized in the infinitely distant future. (Peirce, Collected Papers , 6.33). (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)

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)

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)

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)

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)

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)

Illusionism is the view that conscious experience is some sort of introspective illusion. According to illusionism, there is no conscious experience, but it merely seems like there is conscious experience. This would suggest that much phenomenological enquiry, including work on phenomenological psychopathology, rests on a mistake. Some philosophers have argued that illusionism is obviously false, because seeming is itself an experiential state, and so necessarily presupposes the reality of conscious experience. In response, the illusionist could suggest that the relevant sort (...) of seeming here is not an experiential state, but is a cognitive state, such as a judgement or a belief, which is fully amenable to a physical or functionalist analysis. Herein, I argue that this response is unsuccessful and fails to undermine the reality of conscious experience. Nonetheless, the response does raise the problem of how a judgement or belief about the character of a conscious experience, even if it is true, can be justified if the conscious experience has no causal role in the formation of the judgement or belief. This is not a new problem, but is a reiteration of an old problem that is known in the philosophy of mind literature as the paradox of phenomenal judgement. I consider how the paradox of phenomenal judgement can be resolved and how the judgement or belief about conscious experience can be justified with appeal to the notion of acquaintance. (shrink)

Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that (...) some paradox’s duals or hypodoxes are as paradoxical as the paradoxes of which they are duals, and that they raise neglected and interestingly different problems. I first focus on Richard’s paradox (arguably the simplest case of a paradoxical dual), showing both that its dual is as paradoxical as Richard’s paradox itself, and that the classical, Richard-Poincaré solution to the latter does not generalize to the former in any obvious way. I then argue that my argument applies mutatis mutandis to other paradoxes of self-reference as well, the dual of the Liar (the Truth-Teller) proving paradoxical. (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 paper resolves a paradox concerning colour constancy. On the one hand, our intuitive, pre-theoretical concept holds that colour constancy involves invariance in the perceived colours of surfaces under changes in illumination. On the other, there is a robust scientific consensus that colour constancy can persist in cerebral achromatopsia, a profound impairment in the ability to perceive colours. The first stage of the solution advocates pluralism about our colour constancy capacities. The second details the close relationship between colour constancy and (...) contrast. The third argues that achromatopsics retain a basic type of colour constancy associated with invariants in contrast processing. The fourth suggests that one person-level, conscious upshot of such processing is the visual awareness of chromatic contrasts ‘at’ the edges of surfaces, implicating the ‘colour for form’ perceptual function. This primitive type of constancy sheds new light on our most basic perceptual capacities, which mark the lower borders of representational mind. (shrink)

Saying that x is ineffable seems to be paradoxical – either I cannot say anything about x, not even that it is ineffable – or I can say that it is ineffable, but then I can say something and it is not ineffable. In this article, I discuss Alston’s version of the paradox and a solution proposed by Hick which employs the concept of formal and substantial predicates. I reject Hick’s proposal and develop a different account based on some passages (...) from Pseudo-Dionysius’ Mystica Theologia. ‘God is ineffable’ is a metalinguistic statement concerning propositions about God: not all propositions about God are expressible in a human language. (shrink)

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)

The lottery paradox involves a set of judgments that are individually easy, when we think intuitively, but ultimately hard to reconcile with each other, when we think reflectively. Empirical work on the natural representation of probability shows that a range of interestingly different intuitive and reflective processes are deployed when we think about possible outcomes in different contexts. Understanding the shifts in our natural ways of thinking can reduce the sense that the lottery paradox reveals something problematic about our concept (...) of knowledge. However, examining these shifts also raises interesting questions about how we ought to be thinking about possible outcomes in the first place. (shrink)

In a series of articles, Dan Lopez De Sa and Elia Zardini argue that several theorists have recently employed instances of paradoxical reasoning, while failing to see its problematic nature because it does not immediately (or obviously) yield inconsistency. In contrast, Lopez De Sa and Zardini claim that resultant inconsistency is not a necessary condition for paradoxicality. It is our contention that, even given their broader understanding of paradox, their arguments fail to undermine the instances of reasoning they attack, either (...) because they fail to see everything that is at work in that reasoning, or because they misunderstand what it is that the reasoning aims to show. (shrink)

I offer a new, limited solution to divine hiddenness based on a particular epistemic paradox: sometimes, knowing about a desired outcome or relevant features of that desired outcome would prevent the outcome in question from occurring. I call these cases epistemically self-defeating situations. This solution, in essence, says that divine hiddenness or silence is a necessary feature of at least some morally excellent or desirable states of affairs. Given the nature of the paradox, an omniscient being cannot completely eliminate hiddenness, (...) just as an omnipotent being cannot create a rock so heavy that they cannot lift it. Epistemically self-defeating situations provide an undercutting defeater for the assumption that any nonresistant nonbeliever could always, at any time, be in conscious relationship with a perfectly loving God. Thankfully, silence is a temporary feature of epistemically self-defeating situations: once the outcome is achieved, agents can know in full. (shrink)

This paper uses a paradox inherent in any solution to the Hard Problem of Consciousness to argue for God’s existence. The paper assumes we are “thought machines”, reading the state of a relevant physical medium and then outputting corresponding thoughts. However, the existence of such a thought machine is impossible, since it needs an infinite number of point-representing sensors to map the physical world to conscious thought. This paper shows that these sensors cannot exist, and thus thought cannot come solely (...) from our physical world. The only possible explanation is something outside, argued to be God. (shrink)

Fitch's knowability paradox shows that for each unknown truth there is also an unknowable truth, a result which has been thought both odd in itself and at odds with views which impose epistemic constraints on truth and/or meaningfulness. Here a solution is considered which has received little attention in the debate but which carries prima facie plausibility. The decidability solution is to accept that Fitch sentences are unknowably true but deny the significance of this on the grounds that Fitch sentences (...) are nevertheless decidable. The decidability solution is particularly attractive for those whose primary concern is an epistemic constraint on meaningfulness (‘verificationists’). For those whose main concern is truth (‘anti-realists’), the situation is more complex: Melia takes the solution to exonerate anti-realism completely; Williamson sees it as completely irrelevant. The truth lies between these two extremes: there is one broad anti-realist commitment to which the solution does not apply, but there is also one, the “fundamental tenet” of anti-realism according to Dummett, to which it does. (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)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on (...) illicit quantification, but on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class (...) not be thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)