The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of which hinge on (...) intricacies of provability logic and its arithmetical interpretations. To check whether Égré’s solutions are satisfactory, we use the criteria for solutions to paradoxes defined by Susan Haack and we propose some refinements of them. This article aims to describe to what extent the knower paradox can be solved using provability logic and to what extent the solutions proposed in the literature satisfy Haack’s criteria. Finally, the article offers some reflections on the relation between knowledge, proof, and provability, as inspired by the knower paradox and its solutions. (shrink)

There is a well-known variety of contact paradoxes which are significantly linked to topology. The aim of this paper is to present a new paradox concerning contact with bodies composed of a denumerable infinity of parts. This paradox establishes the logical necessity, in a Newtonian context, of contact forces that violate what is probably our most basic causal intuition, embodied in what I call the Principle of Influence: any force exerted on a body B induces change of movement of B (...) or the emergence of internal forces in B. However, the above paradox can be made strictly compatible with a Newtonian framework by introducing phantom forces as ideal elements in the Hilbert sense, though it will be seen that this does not solve all the problems. (shrink)

Logicians disagree about how validity—the very heart of logic—should be understood. Many different formal systems have been born due to this disagreement. This thesis examines how teachers explain the subject matter of logic to students in introductory logic textbooks, and demonstrates the different explanations teachers use. These differences help explain why logicians have different intuitions about validity.

This book, provides a critical approach to all major logical paradoxes: from ancient to contemporary ones. There are four key aims of the book: 1. Providing systematic and historical survey of different approaches – solutions of the most prominent paradoxes discussed in the logical and philosophical literature. 2. Introducing original solutions of major paradoxes like: Liar paradox, Protagoras paradox, an unexpected examination paradox, stone paradox, crocodile, Newcomb paradox. 3. Explaining the far-reaching significance of paradoxes of vagueness and change for philosophy (...) and ontology. 4. Proposing a novel, well justified and, as it seems, natural classification of paradoxes. (shrink)

Este artigo é uma breve introdução à filosofia da linguagem. Ele se concentra nos problemas que surgem a partir de dois conceitos centrais: referência e significado. Em particular, o foco central é no problema fundacional da referência e no problema descritivo do significado, assim como a relação entre eles. Embora esta de modo algum seja uma introdução exaustiva ao tema, muitos conceitos centrais são clarificados, como por exemplo teoria da referência, termo singular, termo geral, teoria do significado, composicionalidade, conteúdo, significado (...) linguístico, implicatura conversacional, vagueza, etc. Espera-se que sirva como um primeiro contato com a disciplina, principalmente voltado a estudantes de filosofia, filosofia da linguagem e áreas afins. (shrink)

I argue for two claims: that the ordinary English truth predicate is a gradable adjective and that truth is a property that comes in degrees. The first is a semantic claim, motivated by the linguistic evidence and the similarity of the truth predicate’s behavior to other gradable terms. The second is a claim in natural language metaphysics, motivated by interpreting the best semantic analysis of gradable terms as applied to the truth predicate. In addition to providing arguments for these two (...) claims, I draw out consequences for debates about deflationism and truth-based analyses of notions such as assertion and logical consequence. (shrink)

It seems that the most common strategy to solve the liar paradox is to argue that liar sentences are meaningless and, consequently, truth-valueless. The other main option that has grown in recent years is the dialetheist view that treats liar sentences as meaningful, truth-apt and true. In this paper I will offer a new approach that does not belong in either camp. I hope to show that liar sentences can be interpreted as meaningful, truth-apt and false, but without engendering any (...) contradiction. This seemingly impossible task can be accomplished once the semantic structure of the liar sentence is unpacked by a quantified analysis. The paper will be divided in two sections. In the first section, I present the independent reasons that motivate the quantificational strategy and how it works in the liar sentence. In the second section, I explain how this quantificational analysis allows us to explain the truth teller sentence and a counter-example advanced against truthmaker maximalism, and deal with some potential objections. (shrink)

In this dissertation, we shall investigate whether Tennant's criterion for paradoxicality(TCP) can be a correct criterion for genuine paradoxes and whether the requirement of a normal derivation(RND) can be a proof-theoretic solution to the paradoxes. Tennant’s criterion has two types of counterexamples. The one is a case which raises the problem of overgeneration that TCP makes a paradoxical derivation non-paradoxical. The other is one which generates the problem of undergeneration that TCP renders a non-paradoxical derivation paradoxical. Chapter 2 deals with (...) the problem of undergeneration and Chapter 3 concerns the problem of overgeneration. Chapter 2 discusses that Tenant’s diagnosis of the counterexample which applies CR−rule and causes the undergeneration problem is not correct and presents a solution to the problem of undergeneration. Chapter 3 argues that Tennant’s diagnosis of the counterexample raising the overgeneration problem is wrong and provides a solution to the problem. Finally, Chapter 4 addresses what should be explicated in order for RND to be a proof-theoretic solution to the paradoxes. (shrink)

The laws of logic and two of the broader theories of truth are fundamental components that are responsible for espousing an ontology and meaningfulness in matters of analytic philosophy. In this respect they have persisted as conventional attitudes or modes of thought which most, if not all, of analytic philosophy uses to philosophize. However, despite the conceptual productivity of these components they are unable to account for matters that are beyond them. These matters would include certain theological beliefs, for instance, (...) that transcend the purview of analytic ontology and the meaningfulness it ensues. Any attempt in making rational sense of such beliefs that are insusceptible to these methodological components would conventionally prohibit (restrict) us from rationally believing in them. This is because we would be unable to make sense of such beliefs with the aid of these methodological components. As a result of this, religious beliefs of this particular nature would be deemed irrational. I shall demonstrate this point by applying both of these components to an absolutely ineffable God of Islam. This would entail, attempting to make sense of an absolutely ineffable God of Islam in virtue of the laws of logic and two broad categories of truth theories, namely, substantive and insubstantive theories. I hope to establish that applying both of these methodological components in attempting to make sense of an absolutely ineffable God of Islam would not be conceptually viable. It would result in a contradictory notion which I shall allude to as the paradox of ineffability. (shrink)

I argue that there are living and everyday case in which rationality requires you, as a non-idealized human thinker, to have inconsistent beliefs while recognizing the inconsistency. I defend my argument against classical and insightful objections by Doris Olin, as well as others. I consider three versions of the preface paradox as candidate cases, including Makinson’s original version. None is free from objection. However, there is a fourth version, Modesty, that supposes that you believe that at least one of your (...) beliefs is false. I argue that this version escapes all the objections that could trouble the other versions, including the objection that given certain closure principles for justified belief, justified inconsistent beliefs saddle you with a pair of justified beliefs that are in explicit contradiction. I also argue more tentatively for the same verdict for Modesty*, a version that supposes that you believe that at least one of your beliefs is false. In that case, your belief guarantees that its content is true, in which case your beliefs are inconsistent, because at least one of them must be false. Once you think you’re wrong, you must be right! Crucial to my argument is a distinction between explicitly contradictory beliefs and three forms of inconsistency in belief. In the first of these, you believe contingent propositions each of which is logically independent of the others, yet you also believe the syntactic negation of their conjunction. In the second, your beliefs are inconsistent because of the rigid designation of demonstratives such as ‘this’ embedded in their contents. In the third, as in Modesty and Modesty* your beliefs are inconsistent because of self-reference. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

In Paradox in Christian Theology I argued that the Christian doctrines of the Trinity and the Incarnation are paradoxical—that is, they appear to involve implicit contradictions—yet Christians can still be rational in affirming and believing those doctrines. Dale Tuggy has characterized my theory of theological paradox as a form of “positive mysterianism” and argues that the theory “faces steep epistemic problems, and is at best a temporarily reasonable but ultimately unsustainable stance.” After summarizing my proposed model for the rational affirmation (...) of theological paradox and considering whether my proposal is indeed a form of “positive mysterianism” as Tuggy defines the term, I address the two main criticisms raised in Tuggy’s paper: first, that the doctrine of divine incomprehensibility cannot bear the weight required by my defense of paradox; and second, that my proposed model is afflicted with epistemic instability. I conclude that Tuggy has failed to show that a mysterian stance with respect to paradoxical Christian doctrines is in principle unreasonable, unnatural, or unsustainable. (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)

A noção de objecto abstracto desempenha um papel central em diferentes debates filosóficos contemporâneos, da metafísica à estética, passando pela filosofia da linguagem. A sua origem está contudo relacionada com a filosofia da matemática e em particular, com o trabalho de Frege nos fundamentos da aritmética. O nosso primeiro objectivo será assim o de explicar o contributo desta noção para o entendimento Fregeano da realidade matemática. Veremos também que, em virtude de certas dificuldades inerentes ao projeto Fregeano, a dada altura (...) a natureza do universo matemático passou a ser entendida nos termos da chamada teoria dos conjuntos. Com este material à nossa disposição, podemos então discutir o papel desempenhado pela noção de objecto abstracto em certos debates filosóficos contemporâneos. Em particular, procuraremos ilustrar o interesse actual da noção, discutindo a distinção abstracto/concreto. (shrink)

The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is factive, and that we can use logical/mathematical reasoning to extend our knowledge via very weak single-premise closure principles. I argue that classical logic, not any of these epistemic principles, is the culprit. I develop a consistent theory validating (...) all these principles by combining Hartry Field's theory of truth with a modal enrichment developed for a different purpose by Michael Caie. The only casualty is classical logic: the theory avoids paradox by using a weaker-than-classical K3 logic. I then assess the philosophical merits of this approach. I argue that, unlike the traditional semantic paradoxes involving extensional notions like truth, its plausibility depends on the way in which sentences are referred to--whether in natural languages via direct sentential reference, or in mathematical theories via indirect sentential reference by Gödel coding. In particular, I argue that from the perspective of natural language, my non-classical treatment of knowledge as a predicate is plausible, while from the perspective of mathematical theories, its plausibility depends on unresolved questions about the limits of our idealized deductive capacities. (shrink)

It is widely thought that Bayesian confirmation theory has provided a solution to Hempel's Paradox (the Ravens Paradox). I discuss one well‐known example of this approach, by John Mackie, and argue that it is unconvincing. I then suggest an alternative solution, which shows that the Bayesian approach is altogether mistaken. Nicod's Condition should be rejected because a generalisation is not confirmed by any of its instances if it is not law‐like. And even law‐like non‐basic empirical generalisations, which are expressions of (...) assumed underlying causal regularities, are not so confirmed if they are absurd in the light of our causal background knowledge or if their instances are not also possible instances of the relevant causal claim. (shrink)

State of the art paper on the problem of induction: how to justify the conclusion that ‘all Fs are Gs’ from the premise that ‘all observed Fs are Gs’. The most prominent theories of contemporary philosophical literature are discussed and analysed, such as: inductivism, reliabilism, perspective of laws of nature, rationalism, falsificationism, the material theory of induction and probabilistic approaches, according to Carnap, Reichenbach and Bayesianism. In the end, we discuss the new problem of induction of Goodman, raised by the (...) grue predicate. (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)

This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that the premises (...) of a proof are actually used to derive the conclusion. Turning to Aristotle’s Prior Analytics, I argue that there is evidence that Aristotle’s Assertoric Syllogistic satisfies both conditions. Moreover, Aristotle at one point explicitly addresses the potential harmfulness of syllogisms with unused premises. Here, I argue that Aristotle’s analysis allows for a rejection of such syllogisms on formal grounds established in the foregoing parts of the Prior Analytics. In a final section I consider the view that Aristotle distinguished between validity on the one hand and syllogistic validity on the other. Following this line of reasoning, Aristotle’s logic might not be a relevance logic, since relevance is part of syllogistic validity and not, as modern relevance logic demands, of general validity. I argue that the reasons to reject this view are more compelling than the reasons to accept it and that we can, cautiously, uphold the result that Aristotle’s logic is a relevance logic. (shrink)

In their (2008) article Liar-Like Paradox and Object Language Features C.S. Jenkins and Daniel Nolan (henceforth, JN) argue that it is possible to construct Liar-like paradox in a metalanguage even though its object language is not semantically closed. I do not take issue with this claim. I find fault though with the following points contained in JN’s article: First, that it is possible to construct Liar-like paradox in a metalanguage, even though this metalanguage is not semantically closed. Second, that the (...) presented examples of Liar-like paradox are supposed to be counterexamples to Tarski’s diagnosis of the classic Liar paradox. Third, that JN fail to notice Tarski’s postulate. And finally, that JN fail to recognize that the world they are pondering is not among the possible worlds. (shrink)

John Turri gives an example that he thinks refutes what he takes to be “G. E. Moore's view” that omissive assertions such as “It is raining but I do not believe that it is raining” are “inherently ‘absurd'”. This is that of Ellie, an eliminativist who makes such assertions. Turri thinks that these are perfectly reasonable and not even absurd. Nor does she seem irrational if the sincerity of her assertion requires her to believe its content. A commissive counterpart of (...) Ellie is Di, a dialetheist who asserts or believes that The Russell set includes itself but I believe that it is not the case that the Russell set includes itself. Since any adequate explanation of Moore's paradox must handle commissive assertions and beliefs as well as omissive ones, it must deal with Di as well as engage Ellie. I give such an explanation. I argue that neither Ellie's assertion nor her belief is irrational yet both are absurd. Likewise neither Di's assertion nor her belief is irrational yet in contrast neither is absurd. I conclude that not all Moore-paradoxical assertions or beliefs are irrational and that the syntax of Moore's examples is not sufficient for the absurdity found in them. (shrink)

In this thesis I seek to advance our understanding of what intuitions are. I argue that intuitions are experiences of a certain kind. In particular, they are experiences with representational content, and with a certain phenomenal character. -/- In Chapter 1 I identify our target and provide some important reliminaries. Intuitions are mental states, but which ones? Giving examples helps: a person has an intuition when it seems to her that torturing the innocent is wrong, or that if something is (...) red it is coloured. We can also provide an initial characterisation of the state by saying that it has representational content, often causes belief, and appears to justify belief. In addition, there is something it is like to have an intuition: intuition has a certain phenomenal character. -/- Some argue that intuition does not explain anything which cannot be explained by other mental states. One version of this view takes intuition to reduce to belief. In Chapter 2 I argue that this entails that agents are rationally criticisable in situations where we know they are not, and that such views are therefore untenable. A parallel argument shows that the corresponding approach to perception fails. This suggests a similarity in nature: both intuition and perception are experiences. -/- Others take intuition to reduce to a disposition to have a belief. In Chapter 3 I consider a line of argument against such views, find it unsuccessful, and present two new arguments. One is likely to be dialectically ineffective. The other suffers no such weakness: it shows that the proposed reduction fails. As before, the argument also applies to perception, and suggests that intuition and perception are both experiences. -/- In the remainder of the thesis I develop an account of intuition as an experience. I distinguish between content-specific and attitude-specific phenomenology, and argue that intuition lacks the former (Chapter 4), but has the latter (Chapter 5). This allows us to say what intuition is: it is is an experience with representational content and with attitude-specific phenomenology of a certain kind. -/- In Chapter 6 I put this account of intuition to use. When a person has a perceptual or intuitional experience, I argue that simply having the experience is what makes the subject justified in believing what the experience represents. Moreover, what explains that intuition and perception can justify belief in this way is precisely their phenomenal character. (shrink)

Infinite regress arguments play an important role in many distinct philosophical debates. Yet, exactly how they are to be used to demonstrate anything is a matter of serious controversy. In this paper I take up this metaphilosophical debate, and demonstrate how infinite regress arguments can be used for two different purposes: either they can refute a universally quantified proposition (as the Paradox Theory says), or they can demonstrate that a solution never solves a given problem (as the Failure Theory says). (...) In the meantime, I show that Black’s view on infinite regress arguments (1996, this journal) is incomplete, and how his criticism of Passmore can be countered. (shrink)

1 IntroductionNumerous solutions have been proposed to the semantic paradoxes. Two that are frequently singled out and compared are the following. The first is that according to which paradoxical sentences are neither true nor false — as it is sometimes put, they are semantic gaps. The second is that according to which paradoxical sentences are both true and false — as it is sometimes put, they are semantic gluts. Calling the first of these a solution is, in fact, somewhat misleading: (...) it is rather like calling an opening gambit a game of chess. For the solution runs into severe problems almost immediately, and so can be only the first of a series of moves made to defend the original weak opening. Nonetheless, the symmetry involved in the gap and glut solutions is obvious enough to make the comparison a natural one. (shrink)

Graham Solomon, to whom this collection is dedicated, went into hospital for antibiotic treatment of pneumonia in Oc- ber, 2001. Three days later, on Nov. 1, he died of a massive stroke, at the age of 44. Solomon was well liked by those who got the chance to know him—it was a revelation to?nd out, when helping to sort out his a?airs after his death, how many “friends” he had whom he had actually never met, as his email included correspondence (...) with philosophers around the world running sometimes to hundreds of messages. He was well respected in the philosophical community more broadly. He was for several years a member of the editorial board for the Western Ontario Series in Philosophy of Science. While he was employed at Wilfrid Laurier University in Waterloo, Ontario, several of us at the University of Wat- loo always regarded our own department as a sort of second academic home for him. We therefore decided that it would be appropriate to hold a memorial conference in his honour. Thanks to the generous?nancial support of the Humphrey Conference Fund, we were able to do so in May 2003. Many of the papers in this volume were presented at that conf- ence. (shrink)

This paper deals with the possibility of faultless disagreement in law. It does this by looking to other spheres in which faultless disagreement appears to be possible, mainly in matters of taste and ethics. Three possible accounts are explored: the realist account, the relativist account, and the expressivist account. The paper tries to show that in the case of legal disagreements, there is a place for an approach that can take into account our intuitions in the sense that legal disagreements (...) are genuine and at times faultless. (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)

You may not know me well enough to evaluate me in terms of my moral character, but I take it you believe I can be evaluated: it sounds strange to say that I am indeterminate, neither good nor bad nor intermediate. Yet I argue that the claim that most people are indeterminate is the conclusion of a sound argument—the indeterminacy paradox—with two premises: (1) most people are fragmented (they would behave deplorably in many and admirably in many other situations); (2) (...) fragmentation entails indeterminacy. I support (1) by examining psychological experiments in which most participants behave deplorably (e.g., by maltreating “prisoners” in a simulated prison) or admirably (e.g., by intervening in a simulated theft). I support (2) by arguing that, according to certain plausible conceptions, character evaluations presuppose behavioral consistency (lack of fragmentation). Possible reactions to the paradox include: (a) denying that the experiments are relevant to character; (b) upholding conceptions according to which character evaluations do not presuppose consistency; (c) granting that most people are indeterminate and explaining why it appears otherwise. I defend (c) against (a) and (b). (shrink)

All paradoxes of self-reference seem to share some structural features. Russell in 1908 and especially Priest nowadays have advanced structural descriptions that successfully identify necessary conditions for having a paradox of this kind. I examine in this paper Priest’s description of these paradoxes, the Inclosure Scheme (IS), and consider in what sense it may help us understand and solve the problems they pose. However, I also consider the limitations of this kind of structural descriptions and give arguments against Priest’s use (...) of IS in favour of dialetheism. IS fails to identify sufficient conditions for having a paradox of self-reference. That means that, even if we identified a problem common to any reasoning satisfying IS, that problem would not explain why some of those reasonings are paradoxical and some others are not. Therefore IS cannot justify by itself the claim that some particular theory offers the best solution to the paradoxes of self-reference. We still need to consider aspects concerning the content and context of occurrence of every paradox. (shrink)

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

In this paper we argue that our conception of and intuitions about paradoxes are themselves paradoxical. Specifically, we argue that our commitment to the existence and nature of paradoxes is inconsistent with a norm of rationality—which is a paradox.

Newcomb’s problem involves a decision-maker faced with a choice and a predictor forecasting this choice. The agents’ interaction seems to generate a choice dilemma once the decision-maker seeks to apply two basic principles of rational choice theory : maximize expected utility ; adopt the dominant strategy. We review unsuccessful attempts at pacifying the dilemma by excluding Newcomb’s problem as an RCT-application, by restricting MEU and ADS, and by allowing for backward causation. A probability approach shows that Newcomb’s original problem-formulation lacks (...) causal information. This makes it impossible to specify the probability structure of Newcomb’s univocally. Once missing information is added, Newcomb’s problem and RCT re-align, thus explaining Newcomb’s problem as a seeming dilemma. Building on Wolpert and Benford :1637–1646, 2013), we supply additional details and offer a crucial correction to their formal proof. (shrink)

The so-called paradoxes of material implication have motivated the development of many non-classical logics over the years, such as relevance logics, paraconsistent logics, fuzzy logics and so on. In this note, we investigate some of these paradoxes and classify them, over minimal logic. We provide proofs of equivalence and semantic models separating the paradoxes where appropriate. A number of equivalent groups arise, all of which collapse with unrestricted use of double negation elimination. Interestingly, the principle ex falso quodlibet, and several (...) weaker principles, turn out to be distinguishable, giving perhaps supporting motivation for adopting minimal logic as the ambient logic for reasoning in the possible presence of inconsistency. (shrink)

Cet article aborde la question générale du développement d'une histoire sociale des mathématiques et de la logique, à partir d'un cas historique. Il vise à rendre compte de certains traits de l'histoire récente de la logique floue. À cette fin, il met en oeuvre une sociologie des pratiques de démonstration et une approche fondée sur l'analyse matérielle du travail logique, notamment de l'activité d'écriture et de lecture. Il esquisse la construction d'une histoire sociale des formes de démonstration.

It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (⊥). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ⊥. It is, however, not the (...) problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation for a given system and a meta-level absurdity, ⋏, to the intuitionistic system. We shall show that in the system, the inference to ⊥ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ⊥. (shrink)

I argue that code words like “inner city” do not semantically encode hidden or implicit meanings, and offer an account of how they nonetheless manage to bring about the surprising effects discussed in Mendelberg 2001, White 2007, and Stanley 2015 (among others).

This book on infinite regress arguments provides (i) an up-to-date overview of the literature on the topic, (ii) ready-to-use insights for all domains of philosophy, and (iii) two case studies to illustrate these insights in some detail. Infinite regress arguments play an important role in all domains of philosophy. There are infinite regresses of reasons, obligations, rules, and disputes, and all are supposed to have their own moral. Yet most of them are involved in controversy. Hence the question is: what (...) exactly is an infinite regress argument, and when is such an argument a good one? (shrink)

This paper draws attention to the potential pitfalls and possibilities of a new cosmopolitanism. The first part of the paper briefly portrays cosmopolitanism as a name and metaphor for a way of life, an ideal and an outlook. The second part, however, discloses a paradoxical attribution of the metaphor, revealing the ways in which it assumes something which it is not. The third part of the paper further explores the powers of this paradox, arguing that the new cosmopolitanism can be (...) seen as a riddle that surprises, bewilders and educates: The surprise is in the deviation from current and most common ways of speech. The bewilderment happens as the mantra of cosmopolitanism is bringing together logical opposites, jumbling categories and disturbing pre-existing modes of thought. The educational work of cosmopolitanism thus occurs as a violation of the cognitive framework and logical categories generating our very modes of learning. The vital work of the new cosmopolitanism is therefore in the ways in which it creates epistemic ruptures, recasts our mental categories, generates radically new modes of learning, and thus completely new ways of experiencing, seeing and knowing a world of change. But what are the potential pitfalls and possibilities of a discourse jeopardizing the very vision of the social world, and thus the world itself? (shrink)

Whither the philosophy of intuition?Herman Cappelen’s Philosophy Without Intuitions (PWI) is a novel study in philosophical sociology—or, as Cappelen at one point suggests, “intellectual anthropology” (96).All undated references are to Cappelen (2012). Its target is the thesis that intuition is central, in the descriptive sense that contemporary analytic philosophers rely on intuitions for evidence—or, more generally, positive epistemic status. Cappelen labels the target thesis Centrality.If Centrality is true, then especially urgent are two questions in the rapidly growing field that is (...) the philosophy of intuition:[Q1] What are intuitions?[Q2] Can intuitions serve as evidence?There are of course others, but in chapter one Cappelen singles out these two as The Burning Questions about intuition. He then summarizes the overall upshot of PWI as follows:In this book I argue that Centrality, on any reasonable interpretation, is false. If you share that view, the Burning Questions will no lo .. (shrink)

(No abstract is available for this citation).

The Surprise Exam Paradox continues to perplex and torment despite the many solutions that have been offered. This paper proposes to end the intrigue once and for all by refuting one of the central pillars of the Surprise Exam Paradox, the 'No Friday Argument,' which concludes that an exam given on the last day of the testing period cannot be a surprise. This refutation consists of three arguments, all of which are borrowed from the literature: the 'Unprojectible Announcement Argument,' the (...) 'Wright & Sudbury Argument,' and the 'Epistemic Blindspot Argument.' The reason that the Surprise Exam Paradox has persisted this long is not because any of these arguments is problematic. On the contrary, each of them is correct. The reason that it has persisted so long is because each argument is only part of the solution. The correct solution requires all three of them to be combined together. Once they are, we may see exactly why the No Friday Argument fails and therefore why we have a solution to the Surprise Exam Paradox that should stick. (shrink)

The paradox of the Unexpected Hanging, related prediction paradoxes, and the Sorites paradoxes all involve reasoning about ordered collections of entities: days ordered by date in the case of the Unexpected Hanging; men ordered by the number of hairs on their heads the case of the bald man version of the Sorites. The reasoning then assigns each entity a value that depends on the previously assigned value of one of the neighboring entities. The final result is paradoxical because it conflicts (...) with the obviously correct, commonsensical value. The paradox is due to the serial procedure of assigning a value based on the newly assigned value of the neighbor. An alternative procedure is to assign each value based only on the original values of neighbors - a parallel procedure. That procedure does not give paradoxical answers. (shrink)

According to a standard view, paradoxes are arguments with plausible premises that entail an implausible conclusion. This is false. In many paradoxes the premises are not plausibleprecisely becausethey entail an implausible conclusion. Obvious responses to this problem—including that the premises are individually plausible and that they are plausible setting aside the fact that they entail an implausible conclusion—are shown to be inadequate. A very different view of paradox is then introduced. This is a functionalist view according to which paradoxes are (...) the kinds of things that puzzle people in characteristic ways. It is claimed that this view, too, fails and for the very same reason. The result is a new puzzle about the nature of paradoxes. (shrink)

The Barber paradox is often introduced as a popular version of Russell’s paradox, though some experts have denied their similarity, evencalling the Barber paradox a pseudoparadox. In the first part of thepaper, I demonstrate mainly that in the standard (Quinean) defini-tion of a paradox the Barber paradox is a clear-cut example of a non-paradox. Despite some outward similarities, it differs radically fromRussell’s paradox. I also expose many other differences. In the secondpart of the paper, I examine a probable source of (...) the paradoxicality ofthe Barber paradox, which is found in a certain ambivalence in terms ofmeaning. The two different readings of the crucial phrase yield distinctexistential assumptions which produce the paradoxical conclusion. (shrink)

This article bears on four topics: observational predicates and phenomenal properties, vagueness, strict finitism as a philosophy of mathematics, and the analysis of feasible computability. It is argued that reactions to strict finitism point towards a semantics for vague predicates in the form of nonstandard models of weak arithmetical theories of the sort originally introduced to characterize the notion of feasibility as understood in computational complexity theory. The approach described eschews the use of nonclassical logic and related devices like degrees (...) of truth or supervaluation. Like epistemic approaches to vagueness, it may thus be smoothly integrated with the use of classical model theory as widely employed in natural language semantics. But unlike epistemicism, the described approach fails to imply either the existence of sharp boundaries or the failure of tolerance for soritical predicates. Applications ofmeasurement theory(in the sense of Krantz, Luce, Suppes, & Tversky (1971)) to vagueness in the nonstandard setting are also explored. (shrink)

Assertions of statements such as ‘it’s raining, but I don’t believe it’ are standard examples of what is known as Moore’s paradox. Here I consider moral equivalents of such statements, statements wherein individuals affirm moral judgments while also expressing motivational indifference to those judgments (such as ‘hurting animals for fun is wrong, but I don’t care’). I argue for four main conclusions concerning such statements: 1. Such statements are genuinely paradoxical, even if not contradictory. 2. This paradoxicality can be traced (...) to a form of epistemic self-defeat that also explains the paradoxicality of ordinary Moore-paradoxical statements. 3. Although a simple form of internalism about moral judgment and motivation can explain the paradoxicality of these moral equivalents, a more plausible explanation can be provided that does not rely on this simple form of internalism. 4. The paradoxicality of such statements suggests a more credible understanding of the thesis that those who are not motivated by their moral judgments are irrational. (shrink)