We propose contractionless constructive logic which is obtained from Nelson's constructive logic by deleting contractions. We discuss the consistency of a naive set theory based on the proposed logic in relation to Curry's paradox. The philosophical significance of contractionless constructive logic is also argued in comparison with Fitch's and Prawitz's systems.

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)

As it is well known, in the forties of the past century, Curry proved that in any logic S closed under Modus Ponens, uniform substitution of propositional variables and the Contraction Law, the naïve Comprehension axiom trivializes S in the sense that all propositions are derivable in S plus CA. Not less known is the fact that, ever since Curry published his proof, theses and rules weaker than W have been shown to cause the same effect as W causes. Among (...) these, the Contraction rule or the Modus Ponens axiom, for example, are to be noted. But, moreover, as Brady has proved, even the Generalized Modus Ponens axiom or the Generalized Contraction rule give rise to “Curry’s Paradox” under the same circumstances as W does. In some previous work by us, “weak relevant model structures” are defined on “weak relevant matrices” by generalizing Brady’s model structure MCL built upon Meyer’s Crystal matrix CL. We have proved that wr-ms only verify logics with the “depth relevance condition”. The aim of this paper is to show how to falsify gMPa and gRW in certain wr-ms. In particular, it will be shown that gMPa is falisfied in any wr-ms and gRW in any wr-ms verifying Routley and Meyer’s basic positive logic B+. (shrink)

In this paper, we distinguish two versions of Curry's paradox: c-Curry, the standard conditional-Curry paradox, and v-Curry, a validity-involving version of Curry's paradox that isn’t automatically solved by solving c-curry. A unified treatment of curry paradox thus calls for a unified treatment of both c-Curry and v-Curry. If, as is often thought, c-Curry paradox is to be solved via non-classical logic, then v-Curry may require a lesson about the structure—indeed, the substructure—of the validity relation itself.

In approaching Ch. 4 of Saving Truth from Paradox, it might be helpful first to revisit Curry’s original paper, and to revisit Lukasiewicz too, to provide more of the scenesetting that Field doesn’t himself fill in. So in §1 I’ll say something about Curry, in §2 we’ll look at what Lukasiewicz was up to in his original three-valued logic, and in §3 we’ll look at the move from a three-valued to a many-valued Lukasiewicz logic. In §4, I move (...) on to announce a theorem by H´. (shrink)

“Weak relevant model structures” (wr-ms) are defined on “weak relevant matrices” by generalizing Brady’s model structure ${\mathcal{M}_{\rm CL}}$ built upon Meyer’s Crystal matrix CL. It is shown how to falsify in any wr-ms the Generalized Modus Ponens axiom and similar schemes used to derive Curry’s Paradox. In the last section of the paper we discuss how to extend this method of falsification to more general schemes that could also be used in deriving Curry’s Paradox.

“Curry’s paradox”, as the term is used by philosophers today, refers to a wide variety of paradoxes of self-reference or circularity that trace their modern ancestry to Curry (1942b) and Löb (1955). The common characteristic of these so-called Curry paradoxes is the way they exploit a notion of implication, entailment or consequence, either in the form of a connective or in the form of a predicate. Curry’s paradox arises in a number of different domains. Like Russell’s (...) paradox, it can take the form of a paradox of set theory or the theory of properties. But it can also take the form of a semantic paradox, closely akin to the Liar paradox. Curry’s paradox differs from both Russell’s paradox and the Liar paradox in that it doesn’t essentially involve the notion of negation. Common truth-theoretic versions involve a sentence that says of itself that if it is true then an arbitrarily chosen claim is true, or—to use a more sinister instance—says of itself that if it is true then every falsity is true. The paradox is that the existence of such a sentence appears to imply the truth of the arbitrarily chosen claim, or—in the more sinister instance—of every falsity. In this entry, we show how the various Curry paradoxes can be constructed, examine the space of available solutions, and explain some ways Curry’s paradox is significant and poses distinctive challenges. (shrink)

Although formal analysis provides us with interesting tools for treating Curry’s paradox, it certainly does not exhaust every possible reading of it. Thus, we suggest that this paradox should be analysed with non-formal tools coming from pragmatics. In this way, using Grice’s logic of conversation, we will see that Curry’s sentence can be reinterpreted as a peculiar conditional sentence implying its own consequent.

Curry's paradox, sometimes described as a general version of the better known Russell's paradox, has intrigued logicians for some time. This paper examines the paradox in a natural deduction setting and critically examines some proposed restrictions to the logic by Fitch and Prawitz. We then offer a tentative counterexample to a conjecture by Tennant proposing a criterion for what is to count as a genuine paradox.

The paradoxes of self-reference are genuinely paradoxical. The liar paradox, Russell’s paradox and their cousins pose enormous difficulties to anyone who seeks to give a comprehensive theory of semantics, or of sets, or of any other domain which allows a modicum of self-reference and a modest number of logical principles. One approach to the paradoxes of self-reference takes these paradoxes as motivating a non-classical theory of logical consequence. Similar logical principles are used in each of the paradoxical inferences. (...) If one or other of these problematic inferences are rejected, we may arrive at a consistent (or at least, a coherent) theory. In this paper I will show that such approaches come at a serious cost. The general approach of using the paradoxes to restrict the class of allowable inferences places severe constraints on the domain of possible propositional logics, and on the kind of metatheory that is appropriate in the study of logic itself. Proof-theoretic and model-theoretic analyses of logical consequence make provide different ways for non-classical responses to the paradoxes to be defeated by revenge problems: the redefinition of logical connectives thought to be ruled out on logical grounds. Non-classical solutions are not the “easy way out” of the paradoxes. (shrink)

Curry claims that the positive paradox principle, ` A ⊃ in his elementary statement presentation, ‘is valid in any normal interpretation’ . By previous definition, ‘an interpretation of a system S is a normal interpretation just when the proposition A is true when and only when ` A’ . But his argument to normal validity is interestingly, and relevantly, invalid.

Several authors have argued that a version of Curry's paradox involving validity motivates rejecting the structural rule of contraction. This paper criticizes two recently suggested alternative responses to “validity Curry.” There are three salient stages in a validity Curry derivation. Rejecting contraction blocks the first, while the alternative responses focus on the second and third. I show that a distinguishing feature of validity Curry, as contrasted with more familiar forms of Curry's paradox, is that paradox arises already (...) at the first stage. Accordingly, blocking the second or third stages won't suffice for resolving the paradox. (shrink)

The release of Kanye West’s Yeezus was indelibly marked by the provocation of his hit song entitled “New Slaves,” which introduced a pessimistic terminology to capture the paradoxical condition whereby Black freedom from enslavement only resulted in the capturing of Black people psychically in the neo-liberal entanglements of poverty, servitude, and corporatism. His analysis, not unlike currently en vogue theories of Afro-pessimism or Critical Race Theory’s realist lens, maintains that despite all the rhetoric and symbols of progress to the contrary, (...) Black people are simply not free in America. West’s performance of “New Slaves” on Saturday Night Live was only amplified by the “Not For Sale” insignia .. (shrink)

Beall and Cotnoir (2017) argue that theists may accept the claim that God's omnipotence is fully unrestricted if they also adopt a suitable nonclassical logic. Their primary focus is on the infamous Stone problem (i.e., whether God can create a stone too heavy for God to lift). We show how unrestricted omnipotence generates Curry‐like paradoxes. The upshot is that Beall and Cotnoir only provide a solution to one version of the Stone problem, but that unrestricted omnipotence generates other problems which (...) they do not adequately address. (shrink)

After an introduction to set the stage, we consider some variations on the reasoning behind Curry's Paradox arising against the background of classical propositional logic and of BCI logic and one of its extensions, in the latter case treating the "paradoxicality" as a matter of nonconservative extension rather than outright inconsistency. A question about the relation of this extension and a differently described (though possibly identical) logic intermediate between BCI and BCK is raised in a final section, which closes (...) with a handful of questions left unanswered by our discussion. (shrink)

Curry's paradox for "if.. then.." concerns the paradoxical features of sentences of the form "If this very sentence is true, then 2+2=5". Standard inference principles lead us to the conclusion that such conditionals have true consequents: so, for example, 2+2=5 after all. There has been a lot of technical work done on formal options for blocking Curry paradoxes while only compromising a little on the various central principles of logic and meaning that are under threat. -/- Once we have (...) a sense of the technical options, though, a philosophical choice remains. When dealing with puzzles in the logic of conditionals, a natural place to turn is independently motivated semantic theories of the behaviour of "if... then...". This paper argues that the closest-worlds approach outlined in Nolan 1997 offers a philosophically satisfying reason to deny conditional proof and so block the paradoxical Curry reasoning, and can give the verdict that standard Curry conditionals are false, along with related "contraction conditionals". (shrink)

Curry’s paradox is well known. The original version employed a conditional connective, and is not forthcoming if the conditional does not satisfy contraction. A newer version uses a validity predicate, instead of a conditional, and is not forthcoming if validity does not satisfy structural contraction. But there is a variation of the paradox which uses “external validity”. And since external validity contracts, one might expect the appropriate version of the Curry paradox to be inescapable. In this (...) paper we show that this is not the case. We consider two ways of formalising the notion of external validity, and show that in both of these the paradox is not forthcoming without the appropriate forms of contraction. (shrink)

In “God of the Gaps: A Neglected Reply to God’s Stone Problem”, Jc Beall and A. J. Cotnoir offer a gappy solution to the paradox of (unrestricted) omnipotence that is typified by the classic stone problem. Andrew Tedder and Guillermo Badia, however, have recently argued that this solution could not be extended to a more serious Curry-like version of the paradox. In this paper, we show that such a gappy solution does extend to it.

Two semantic paradoxes, the Liar and Curry’s paradox, are analysed using a newly developed conception of procedural semantics (semantics according to which the truth of propositions is determined algorithmically), whose main characteristic is its departure from methodological realism. Rather than determining pre-existing facts, procedures are constitutive of them. Of this semantics, two versions are considered: closed (where the halting of procedures is presumed) and open (without this presumption). To this end, a procedural approach to deductive reasoning is developed, (...) based on the idea of simulation. As is shown, closed semantics supports classical logic, but cannot in any straightforward way accommodate the concept of truth. In open semantics, where paradoxical propositions naturally ‘belong’, they cease to be paradoxical; yet, it is concluded that the natural choice—for logicians and common people alike—is to stick to closed semantics, pragmatically circumventing problematic utterances. (shrink)

Rejecting structural contraction has been proposed as a strategy for escaping semantic paradoxes. The challenge for its advocates has been to make intuitive sense of how contraction might fail. I offer a way of doing so, based on a “naive” interpretation of the relation between structure and logical vocabulary in a sequent proof system. The naive interpretation of structure motivates the most common way of blaming Curry-style paradoxes on illicit contraction. By contrast, the naive interpretation will not as easily motivate (...) one recent noncontractive approach to the Liar paradox. (shrink)

This paper discusses a novel response to two closely related regress arguments from Bolzano’s Theory of Science and Carroll’s What the Tortoise Said to Achilles. Bolzano’s argument aims to refute the thesis that full grounds must include propositions involving notions such as entailment, grounding or lawhood which link the respective grounds to their groundee. This thesis is motivated, Bolzano’s argument is reconstructed, and a response based on self-referential linking propositions is developed and defended against objections concerning self-reference and Curry’s (...) paradox. Finally, the idea is applied to a reading of Carroll’s dialogue and a corresponding solution to the so-called infinite regress problem of inference is proposed. (shrink)

Based on his Inclosure Schema and the Principle of Uniform Solution (PUS), Priest has argued that Curry’s paradox belongs to a different family of paradoxes than the Liar. Pleitz (2015, The Logica Yearbook 2014, pp. 233–248) argued that Curry’s paradox shares the same structure as the other paradoxes and proposed a scheme of which the Inclosure Schema is a particular case and he criticizes Priest’s position by pointing out that applying the PUS implies the use of (...) a paraconsistent logic that does not validate Contraction, but that this can hardly seen as uniform. In this paper, we will develop some further reasons to defend Pleitz’ thesis that Curry’s paradox belongs to the same family as the rest of the self-referential paradoxes & using the idea that conditionals are generalized negations. However, we will not follow Pleitz in considering doubtful that there is a uniform solution for the paradoxes in a paraconsistent spirit. We will argue that the paraconsistent strategies can be seen as special cases of the strategy of restricting Detachment and that the latter uniformly blocks all the connective-involving self-referential paradoxes, including Curry’s. (shrink)

Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists.” To this end (...) they recommend a radical solution to both paradoxes, involving a substructural logic, in particular, one without structural contraction. In this paper I argue that substructuralism is unnecessary. Diagnosing the “v-Curry” is complicated because of a multiplicity of readings of the principles it relies on. But these principles are not analogous to the principles of naive truth, and taken together, there is no reading of them that should have much appeal to anyone who has absorbed the morals of both the ordinary Curry paradox and the second incompleteness theorem. (shrink)

In his seminal paper ‘Reflection on Reflective Equilibrium’ Robert Cummins argued that if intuitions are to serve as reliable guides to philosophical truths then we should be able to check their reliability in particular cases. However, if we can check the reliability of intuitions then that means that we have an independent non-intuitive access to the domain that intuitions are supposed to disclose, which in effect makes intuitions obsolete. Overgaard, Gilbert and Burwood in their book ‘An Introduction to Metaphilosophy’ respond (...) to Cummins’ argument by claiming that at least logical intuitions do not demand independent validation because they provide cases of obvious noncontroversial truths. In this paper I discuss one aspect of the question concerning the reliability of philosophical intuitions. In particular, by relying on the so-called Curry’s paradox, I argue that even the intuitions concerning the validity of the basic logical rules, such as the modus ponens, can be problematized. In this respect, I argue that Cummins’ argument remains a viable challenge for those who think that intuitions provide special and undisputed authority in philosophical theorising. (shrink)

It seems that the Truth-teller is either true or false, but there is no accepted principle determining which it is. From this point of view, the Truth-teller is a hypodox. A hypodox is a conundrum like a paradox, but consistent. Sometimes, accepting an additional principle will convert a hypodox into a paradox. Conversely, in some cases, retracting or restricting a principle will convert a paradox to a hypodox. This last point suggests a new method of avoiding inconsistency. (...) This article provides a significant example. The Liar paradox can be defused to a hypodox by relatively minimally restricting three principles: the T-schema, substitution of identicals and universal instantiation. These restrictions are not arbitrary. For each, I identify the source of a contradiction given some presumptions. Then I propose each restriction as a reasonable way to deal with that source of contradiction. (shrink)

Deflationists about truth seek to undermine debates about the nature of truth by arguing that the truth predicate is merely a device that allows us to express a certain kind of generality. I argue that a parallel approach is available in the case of logical consequence. Just as deflationism about truth offers an alternative to accounts of truth's nature in terms of correspondence or justification, deflationism about consequence promises an alternative to model-theoretic or proof-theoretic accounts of consequence's nature. I then (...) argue, against considerations put forward by Field and Beall, that Curry's paradox no more rules out deflationism about consequence than the liar paradox rules out deflationism about truth. (shrink)

This paper presents a new puzzle for certain positions in the theory of truth. The relevant positions can be stated in a language including a truth predicate T and an operation that takes sentences to names of those sentences; they are positions that take the T-schema A ↔ T to hold without restriction, for every sentence A in the language. As such, they must be based on a nonclassical logic, since paradoxes that cannot be handled classically will arise. The bestknown (...) of these paradoxes is probably the liar paradox – a sentence that says of itself that it is not true – but our concern here is not with the liar. Instead, our focus is a variant of Curry ’s paradox – a sentence that says of itself that if it is true, everything is [3, 5, 7, 11]. In §1, we present the standard version of Curry ’s paradox and the strain of response to it we wish to focus on. This strain of response crucially invokes non-normal worlds: worlds at which the laws of logic differ from the laws that actually hold. In §2, we go on to argue that, in light of temporal curry paradox, this strain of response ought also to accept non-normal times: times at which the laws of logic in the actual world differ from the laws that hold now. We then consider, in §3, what this would mean for the theorists in question. (shrink)

We present a strategy to dissolve semantic paradoxes which proceeds from an explanation of why paradoxical sentences or their definitions are semantically defective. This explanation is compatible with the acceptability of impredicative definitions, self-referential sentences and semantically closed languages and leaves the status of the so-called truth-teller sentence unaffected. It is based on platitudes which encode innocuous constraints on successful definition and successful expression of propositional content. We show that the construction of liar paradoxes and of certain versions of (...) class='Hi'>Curry’s paradox rests on presuppositions that violate these innocuous constraints. Other versions of Curry’s paradox are shown not to be paradoxical at all once their presuppositions are made explicit. Part of what we say rehearses a proposal originally made by Laurence Goldstein in 1985. Like Goldstein we dispose of certain paradoxes by rejecting some of the premises from which they must be taken to proceed. However, we disagree with his more recent view that the premises to be rejected are neither true nor false. (shrink)

In this paper a principle of substitutivity of logical equivalents salve veritate and a version of Leibniz’s law are formulated and each is shown to cause problems when combined with naive truth theories.

Theories where truth is a naive concept fall under the following dilemma: either the theory is subject to Curry’s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. In this paper we explore a number of theories which arguably do not fall under this dilemma. In these theories the conditional is characterized in terms of non-deterministic matrices. These non-deterministic theories are similar to infinitely-valued Łukasiewicz logic in that they are consistent (...) and their conditionals are quite strong. The difference is the following: while Łukasiewicz logic is \-inconsistent, the non-deterministic theories might turn out to be \-consistent. (shrink)

"Joan Robinson: One Woman's Story' is a cinéma vérité style record of a woman's losing struggle against ovarian cancer. The film has been shown now twice on the American Public Television Network. It has received good notices primarily from the lay press. Yet the film depicts much that is out-of-date and much that is debatable. In general, we feel that it presents a depressing picture of the cancer patient. This was not Joan Robinson's intention and her bravery only serves to (...) highlight this picture of suffering with cancer. We point to specific flaws in the film. We then go on to account for why many reviewers seem to have been blind to these flaws. It is suggested that criteria for good works of art, for good public health information, and for admirable personal traits were confused. (shrink)

A Curry paradox about truth is generated by the following sentence, written on the board in room 101:If the sentence on the board in room 101 is true then 1 ≠ 1.A Curry paradox about validity is generated by the following argument, written on the board in room 102:The argument on the board in room 102 is valid. Therefore, 1 ≠ 1.Though the sentence and the argument generate Curry paradoxes, they also generate more basic paradoxes, in a sense (...) to be made clear. I argue that if we solve these more basic paradoxes, we have solutions to both kinds of Curry paradox. The positive proposal is in part inspired by a brief remark of Gödel’s, that the paradoxes might appear “as something analogous to dividing by zero”—so that the concepts of truth and validity, for example, are everywhere applicable except for certain singular points or singularities. A second central claim is that 'true' and 'valid' are context-sensitive predicates. This contextual-singularity approach to the Curry paradoxes applies also to other paradoxes of truth, validity, denotation, and predicate-extension. So a more general aim of the paper is to provide a unified response to semantic paradox. (shrink)

In ‘Currying omnipotence: A reply to Beall and Cotnoir’, Andrew Tedder and Guillermo Badia argue that Jc Beall and A. J. Cotnoir’s gappy solution to the traditional paradox of unrestricted omnipotence does not extend to a Curry-like version of the paradox. In this paper, we show that it does extend to it.

One way of resolving a paradox is to defuse it to a hypodox. This way is relatively unknown though. The goal of this paper is to explain this way with varied examples. The hypodoxes are themselves a broad class: both the Truth-teller and the 21st birthday of someone born on 29th February can be construed as hypodoxes. The most familiar kind of relation between paradoxes and hypodoxes is exemplified by the relation between the Liar and the Truth-teller. This article (...) concerns a second kind where a paradox is defused to a hypodox by restricting or rejecting some granted principles. The Liar paradox has this second kind of relation to a Liar hypodox, which will be introduced. In some cases, defusing a paradox to a hypodox is only a partial resolution, as the hypodox itself may then need resolving. Even so, such a partial resolution decomposes a complex problem into more easily understood problems. Moreover, I compare the result of defusing a paradox to a hypodox with the results of resolving paradoxes in other ways. I give four examples. The first is mainly pedagogic, concerning a birthday. The second is a lightweight legal case, presenting a parking voucher paradox. The third is a formal system in which a Liar and Liar-like sentences are hypodoxical. The fourth is a philosophical critique of ways of solving Bertrand’s chord paradox. (shrink)

Ravelingien et al1 argue that we should recategorise people in a permanent vegetative state as dead. Although the dilemma they describe is very real, their solution will not work. Other respondents to this paper have advanced several powerful arguments against the attempt to describe patients in a PVS as dead. Fortunately, the original argument contains sufficient resources for developing an alternative solution to this dilemma without having to radically change the current legal or social status of patients in a PVS. (...) In fact, patients in a PVS may be enrolled in xenotransplantation experiments, provided that their prior informed consent has been sought.The motivation for the original paper was to resolve an apparently intractable ethical conflict. On the one hand, there are powerful ethical and medical reasons for proceeding with research into the transplantation of non-human organs into human patients, whereas on the other, there are equally powerful ethical reasons for blocking whole-organ transplant experiments. These reasons are unusual in that special problems with xenotransplantation will block experiments that are permitted in other cases. In particular, the unquantifiable risk of a pandemic triggered by diseases such as porcine endogenous retrovirus crossing the species barrier will either block the research or expose subjects to the risk of indefinite quarantine . The authors also argue that the restrictions placed on transplant recipients and the possibility of long-term and intrusive monitoring, restrictions on sexual contacts and reproduction, and possible confinement represent excessive and ethically unjustifiable burdens. Over time, the recipients may wish to withdraw their consent, but the risks to public health would prevent them from doing so, thereby violating the basic principle that subjects of scientific and medical experiments should be able to revise or withdraw consent . …. (shrink)

We present a semi-formal foundational theory of sorts, akin to sets, named librationism because of its way of dealing with paradoxes. Its semantics is related to Herzberger’s semi inductive approach, it is negation complete and free variables (noemata) name sorts. Librationism deals with paradoxes in a novel way related to paraconsistent dialetheic approaches, but we think of it as bialethic and parasistent. Classical logical theorems are retained, and none contradicted. Novel inferential principles make recourse to theoremhood and failure of theoremhood. (...) Identity is introduced à la Leibniz-Russell, and librationism is highly non-extensional. Π 1 1 -comprehension with ordinary Bar-Induction is accounted for (to be lifted). Power sorts are generally paradoxical, and Cantor’s Theorem is blocked as a camouflaged premise is naturally discarded. (shrink)

Gregory Currie is one of the world’s preeminent philosophers of art and a highly-respected philosopher of mind. Imagining and Knowing: the Shape of Fiction is his seventh book, with his conspicuous contributions to the analytic tradition of philosophy including the first systematic philosophical aesthetics in no less than two fields, film (Image and Mind: Film, Philosophy and Cognitive Science, 1995) and narrative (Narratives and Narrators: A Philosophy of Stories, 2010). Currie’s trademark approach is the seamless integration of art criticism and (...) aesthetic theory on the one hand with empirical psychology and evolutionary biology on the other and Imagining and Knowing follows suit. His stated aim is twofold: to make a convincing case for the significance of the imagination to the understanding of and engagement with fiction and to make an equally convincing case against the significance of fiction as a source of knowledge. The monograph consists of an introduction, eleven chapters divided into three parts, and a coda. Part I is concerned with making a case for imagining fiction, defending fiction as an utterance over fiction as a genre (Chapter 1) and the role of the imagination in the engagement with fiction (Chapter 2). This role is fleshed out by means of Currie’s conceptions of ‘desires in imagination, or i-desires’ (Chapter 3) and i-emotions (Chapter 4), which also provide neat solutions to both the paradox of fiction and the imaginative resistance debates (56). Part II sets the scene for the case against fictional knowledge, establishing an epistemic taxonomy (Chapter 5), arguing that claims about the cognitive value of fiction should cohere with the findings of experimental psychology (Chapter 6), and debunking evolutionary claims for the significance of fiction (Chapter 7). Part III presents Currie’s deflationary account, tackling each of what he considers to be the four most convincing arguments for learning from fiction in turn: fictional thought experiments (Chapter 8), truth in literature (Chapter 9), the psychology of authors (Chapter 10), and the relationship between fiction and empathy (Chapter 11). (shrink)

The Liar paradox is the directly self-referential Liar statement: This statement is false.or : " Λ: ∼ T 1" The argument that proceeds from the Liar statement and the relevant instance of the T-schema: " T ↔ Λ" to a contradiction is familiar. In recent years, a number of variations on the Liar paradox have arisen in the literature on semantic paradox. The two that will concern us here are the Curry paradox, 2 and the Yablo (...) paradox. 3The Curry paradox demonstrates that neither negation nor a falsity predicate is required in order to generate semantic paradoxes. Given any statement Φ whatsoever, we need merely consider the statement: If this statement is true, then Φor: " Ξ: T → Φ" Here, via familiar reasoning, one can ‘prove’ Φ merely through consideration of statement Ξ and the Ξ-instance of the T-schema.Interestingly, the Liar paradox can be viewed as nothing more than a special case of the Curry paradox. If we define negation in terms of the conditional and a primitive absurdity constant ‘⊥’: 4" ∼ Ψ = df Ψ → ⊥" then the Liar paradox is simply the instance of the Curry paradox obtained by substituting ‘⊥’ for Φ.The Yablo paradox demonstrates that circularity is also not required in order to generate semantic paradox. 5 The paradox proceeds by considering an infinite ω-sequence of statements of the form: S 1: ) S 2: ) S 3: ) : : : : : S i: ) : : : : : :– that is, the set of …. (shrink)

In this note, we review paradoxes like Russell’s, the Liar, and Curry’s in the context of intuitionistic logic. One may observe that one cannot blame the underlying logic for the paradoxes, but has to take into account the particular concept formations. For proof-theoretic semantics, however, this comes with the challenge to block some forms of direct axiomatizations of the Liar. A proper answer to this challenge might be given by Schroeder-Heister’s definitional freedom.

A course of dialogical reasoning involving the atheist and the theist reveals a connection between the Curry phenomenon and the step-wise construction of a sound version of the modal ontological argument. The exercise is both adversarial and cooperative as the participants are committed to the norms of shared truth-seeking, respect for one's opponents and a desire to continue the dialectic for as long as possible. The theist relies on the interaction between the properties of a Curry-style sentence and the structure (...) of implication in order to show that the atheist's own commitments imply Anselm's principle (God necessarily exists if He actually exists at all). As Anselm's principle and the possibility premise are the only assumptions required for the modal ontological argument it follows that the theist has, given the norms of the dialogue, a winning strategy against the atheist. This follows since the possibility premise is granted by the atheist as part of their commitment to the norms governing the dialectic though the theist in virtue of those same norms must accept that God is at best maximally perfect in the light of the argument from evil and the Stone paradox. (shrink)

Consider the following argument written on the board in room 227: 1 = 1. So, the argument on the board in room 227 is not valid. This argument generates a paradox. The aim of this paper is to present a resolution of this paradox and related paradoxes of validity, including a version of the Curry paradox. The proposal stresses the close connections between these validity paradoxes and paradoxes of truth and paradoxes of denotation. So a more general (...) aim is to provide a unified response to semantic paradox. The positive proposal is in part inspired by a brief, tantalizing suggestion of Gödel’s, that the paradoxes might appear “as something analogous to dividing by zero”—so that the concept of validity, for example, is everywhere applicable except for certain singular points or singularities. A second central claim is that ‘valid’ is a context-sensitive predicate. The key notions of this contextual-singularity theory are presented and applied to a variety of cases. Any purported solution to paradox must deal with the phenomenon of revenge, and a response to revenge is outlined. The paper closes with remarks about the accommodation of Tarski’s claim that natural languages are universal. (shrink)

Graham Priest has influentially claimed that the Sorites paradox is an Inclosure paradox, concluding that his favored dialetheic solution to the Inclosure paradoxes should be extended to the Sorites paradox. We argue that, given Priest’s dialetheic solution to the Sorites paradox, the argument purporting to show that that paradox is an Inclosure is unsound, and discuss some issues surrounding this fact.

This article shows that there is a liar-like paradox that arises for rational credence that relies only on very weak logical and credal principles. The paradox depends on a weak rational reflection principle, logical principles governing conjunction, and principles governing the relationship between rational credence and proof. To respond to this paradox, we must either reject even very weak rational reflection principles or reject some highly plausible logical or credal principle.

Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of this (...) paper is to respond to Field’s objections and to point to a coherent notion of validity which underwrites a coherent reading of Beall and Murzi’s principles: grounded validity. The notion, first introduced by Nicolai and Rossi, is a generalisation of Kripke’s notion of grounded truth, and yields an irreflexive logic. While we do not advocate the adoption of a substructural logic, we take the notion of naïve validity to be a legitimate semantic notion that points to genuine expressive limitations of fully structural revisionary approaches. (shrink)

We discuss the principles for a primitive, object-linguistic notion of consequence proposed by ) that yield a version of Curry’s paradox. We propose and study several strategies to weaken these principles and overcome paradox: all these strategies are based on the intuition that the object-linguistic consequence predicate internalizes whichever meta-linguistic notion of consequence we accept in the first place. To these solutions will correspond different conceptions of consequence. In one possible reading of these principles, they give rise (...) to a notion of logical consequence: we study the corresponding theory of validity by showing that it is conservative over a wide range of base theories: this result is achieved via a well-behaved form of local reduction. The theory of logical consequence is based on a restriction of the introduction rule for the consequence predicate. To unrestrictedly maintain this principle, we develop a conception of object-linguistic consequence, which we call grounded consequence, that displays a restriction of the structural rule of reflexivity. This construction is obtained by generalizing Saul Kripke’s inductive theory of truth. Grounded validity will be shown to satisfy several desirable principles for a naïve, self-applicable notion of consequence. (shrink)

There have been recent arguments against the idea that substructural solutions are uniform. The claim is that even if the substructuralist solves the common semantic paradoxes uniformly by targeting Cut or Contraction, with additional machinery, we can construct higher-level paradoxes (e.g., a higher-level Liar, a higher-level Curry, and a meta-validity Curry). These higher-level paradoxes do not use metainferential Cut or Contraction, but rather, higher-level Cuts and higher-level Contractions. These kinds of paradoxes suggest that targeting Cut or Contraction is not enough (...) for solving semantic paradoxes; the substructuralist must target Cut of every level or Contraction of every level to solve the paradoxes. Hence, the substructuralists do not provide as uniform of a solution as they hoped they did. In response, we argue that the substructuralists need not admit these additional machineries. In fact, they are redundant in light of the validity predicate (i.e., there is no gain in terms of expressive power). The validity predicate is powerful enough to creep these paradoxes in the object level. The substructuralist does not need to ascend to metainferences to construct higher-level paradoxes. Moreover, there is a reading available to the substructuralist such that all the higher-level structural rules would collapse to instances of the object-level structural rules (e.g., meta \(_n\) Cut and meta \(_n\) Contraction would become instances of Cut and Contraction). We then address Barrio et al.’s worry that the validity predicate has its shortcomings; the substructuralist cannot internalize some of its metarules. We claim that the validity of metarules can be internalized without the need to strengthen the validity predicate. However, a problem raised by Barrio et al. is still present—the problem of internalizing unwanted instances of Cut in Cut-free approaches. We argue that this internalization problem is not unique to the validity predicate; the same problem is present with other problematic predicates, such as the truth predicate and the provability predicate. (shrink)