In his paper, “On paradox without self-reference”, Neil Tennant proposed the conjecture for self-referential paradoxes that any derivation formalizing self-referential paradoxes only generates a looping reduction sequence. According to him, the derivation of the Liar paradox in natural deduction initiates a looping reduction sequence and the derivation of the Yablo's paradox generates a spiral reduction. The present paper proposes the counterexample to Tennant's conjecture for self-referential paradoxes. We shall show that (...) there is a derivation of the Liar paradox which generates a spiraling reduction procedure. Since the Liar paradox is a self-referential paradox, the result is a counterexample to his conjecture. Tennant has believed that classical reductio has no essential role to formalize paradoxes. As our counterexample applies the rule of classical reductio, he may reject the counterexample. In this sense, it will be briefly argued that classical reductio and his rules for the liar sentence share some inferential role. If classical reductio should not be used in paradoxical reasoning, neither should be his rules for the liar sentence. (shrink)

In his paper, “On paradox without self-reference”, Neil Tennant proposed the conjecture for self-referential paradoxes that any derivation formalizing self-referential paradoxes only generates a looping reduction sequence. According to him, the derivation of the Liar paradox in natural deduction initiates a looping reduction sequence and the derivation of the Yablo's paradox generates a spiral reduction. The present paper proposes the counterexample to Tennant's conjecture for self-referential paradoxes. We shall show that (...) there is a derivation of the Liar paradox which generates a spiraling reduction procedure. Since the Liar paradox is a self-referential paradox, the result is a counterexample to his conjecture. Tennant has believed that classical reductio has no essential role to formalize paradoxes. As our counterexample applies the rule of classical reductio, he may reject the counterexample. In this sense, it will be briefly argued that classical reductio and his rules for the liar sentence share some inferential role. If classical reductio should not be used in paradoxical reasoning, neither should be his rules for the liar sentence. (shrink)

Following F. William Lawvere, we show that many self-referential paradoxes, incompleteness theorems and fixed point theorems fall out of the same simple scheme. We demonstrate these similarities by showing how this simple scheme encompasses the semantic paradoxes, and how they arise as diagonal arguments and fixed point theorems in logic, computability theory, complexity theory and formal language theory.

Graham Priest has argued that Yablo’s paradox involves a kind of ‘hidden’ circularity, since it involves a predicate whose satisfaction conditions can only be given in terms of that very predicate. Even if we accept Priest’s claim that Yablo’s paradox is self-referential in this sense—that the satisfaction conditions for the sentences making up the paradox involve a circular predicate—it turns out that there are paradoxical variations of Yablo’s paradox that are not circular in this (...) sense, since they involve satisfaction conditions that are not recursively specifiable, and hence not recognizable in the sense required for Priest’s argument. In this paper I provide a general recipe for constructing infinitely many such noncircular Yabloesque paradoxes, and conclude by drawing some more general lessons regarding our ability to identify conditions that are necessary and sufficient for paradoxically more generally. (shrink)

Graham Priest has argued that Yablo’s paradox involves a kind of ‘hidden’ circularity, since it involves a predicate whose satisfaction conditions can only be given in terms of that very predicate. Even if we accept Priest’s claim that Yablo’s paradox is self-referential in this sense—that the satisfaction conditions for the sentences making up the paradox involve a circular predicate—it turns out that there are paradoxical variations of Yablo’s paradox that are not circular in this (...) sense, since they involve satisfaction conditions that are not recursively specifiable, and hence not recognizable in the sense required for Priest’s argument. In this paper I provide a general recipe for constructing infinitely many such noncircular Yabloesque paradoxes, and conclude by drawing some more general lessons regarding our ability to identify conditions that are necessary and sufficient for paradoxically more generally. (shrink)

Are there ‘self-referential’ propositions? That is, propositions that say of themselves that they have a certain property, such as that of being false. There can seem reason to doubt that there are. At the same time, there are a number of reasons why it matters. For suppose that there are indeed no such propositions. One might then hope that while paradoxes such as the Liar show that many plausible principles about sentences must be given up, no such fate (...) will befall principles about propositions. But the existence of self-referential propositions would dash such hopes. Further, the existence of such propositions would also seem to challenge the widespread claim that Liar sentences fail to express propositions. The aim of this paper is thus to settle the question–at least given an assumption. In particular, I argue that if propositions are structured, then self-referential propositions exist. (shrink)

This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves. For example: (π): “The probability of the sentence labelled π is not greater than 1/2.” Such sentences lead to philosophical and technical challenges; but can be useful. For example they bear a close connection to situations where ones confidence in something can affect whether it is (...) the case or not. The motivating interpretation of probability as an agent's degrees of belief will be focused on throughout the thesis. -/- This thesis aims to answer two questions relevant to such frameworks, which correspond to the two parts of the thesis: “How can one develop a formal semantics for this framework?” and “What rational constraints are there on an agent once such expressive frameworks are considered?”. (shrink)

We present a semantics for a language that includes sentences that can talk about their own probabilities. This semantics applies a fixed point construction to possible world style structures. One feature of the construction is that some sentences only have their probability given as a range of values. We develop a corresponding axiomatic theory and show by a canonical model construction that it is complete in the presence of the ω-rule. By considering this semantics we argue that principles such as (...) introspection, which lead to paradoxical contradictions if naively formulated, should be expressed by using a truth predicate to do the job of quotation and disquotation and observe that in the case of introspection the principle is then consistent. (shrink)

Augustine was undeniably a dogmatic thinker, but he also had an “aporetic side” which makes him more relevant to Christian philosophers today than isgenerally recognized. Augustine’s first experience of reading philosophy came from Cicero’s Hortensius, from which Augustine gained an appreciation for philosophical scepticism which he never lost. Thus, in all of his works and in all periods of his life, Augustine’s characteristic way of doing philosophy is aporetic, rather than either systematic or speculative. Paradoxically, Augustine’s faith in the truth (...) of Holy Scripture and Church Doctrine gave him a freedom to explore theological and philosophical conundra and, if he could not resolve them, admit frankly that he could not do so. Like Socrates, Augustine was wise partly because he admitted to being puzzled about things that others took for granted. Some of the perplexities which occupied him are: (a) the nature of time; (b) whether it is possible to show someone (without using words) what walking is if one is already walking; (c) whether one is responsible for what one does in one’s dreams; (d) whether one can think about sadness or pleasure by having an image of it in one’s mind, but without experiencing any sadness or pleasure in the thought, and (e) (perhaps most famously, in the Confessions) how one can want something that he does not believe to be good. (shrink)

Augustine was undeniably a dogmatic thinker, but he also had an “aporetic side” which makes him more relevant to Christian philosophers today than isgenerally recognized. Augustine’s first experience of reading philosophy came from Cicero’s Hortensius, from which Augustine gained an appreciation for philosophical scepticism which he never lost. Thus, in all of his works and in all periods of his life, Augustine’s characteristic way of doing philosophy is aporetic, rather than either systematic or speculative. Paradoxically, Augustine’s faith in the truth (...) of Holy Scripture and Church Doctrine gave him a freedom to explore theological and philosophical conundra and, if he could not resolve them, admit frankly that he could not do so. Like Socrates, Augustine was wise partly because he admitted to being puzzled about things that others took for granted. Some of the perplexities which occupied him are: (a) the nature of time; (b) whether it is possible to show someone (without using words) what walking is if one is already walking; (c) whether one is responsible for what one does in one’s dreams; (d) whether one can think about sadness or pleasure by having an image of it in one’s mind, but without experiencing any sadness or pleasure in the thought, and (e) (perhaps most famously, in the Confessions) how one can want something that he does not believe to be good. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Is Literature Self-Referential?Eric MillerIIs literary language necessarily self-referential? And does this put paradox at the heart of literature? For at least two decades now, affirmative answers to both questions have been articles of faith among critics in the structuralist and poststructuralist mainstream. Literature’s ineluctable paradoxicality attracts us so because a paradox suggests that there are limits to human rationality, and thus strikes a (...) blow for literature and against science. Paradox ensures literature its own special realm, safe from the culturally imperialistic inroads of science’s orderly, rational-empirical constructions. Literature thus gets to be seen as “bigger” than reason, because only literature can live with paradox, and thus only literature reveals those “deeper” truths of contradiction-ridden human existence, whereas science can never penetrate beyond rational manipulations of phenomenal surfaces. Indeed, for anyone who holds all human existence to be fundamentally paradoxical, this special capacity makes literature the only genuine, demystified species of human knowledge. In the war between C. P. Snow’s Two Cultures, a war humanists are now losing badly, we like to regard paradox as our ultimate weapon.Belief in the paradoxicality of literature may also be found among the New Critics, 1 and in fact goes back at least to the Romantics, 2 but they did not derive this belief from a necessary self-referentiality of literary language. This newer way of deriving paradox appears to offer several competitive advantages. Self-reference seems to be the ultimate version of “art for art’s sake”: if all literary language is necessarily self-referential, then literature must be something totally self-contained, and is thus legitimized solely in and through itself. In addition, deriving [End Page 475] literature’s paradoxicality from self-reference seems to ground it in the same conceptual realm as mathematical logic, and thus tempts us to claim for literature a “rigor” normally conceded only to logic, mathematics, and theoretical physics. Self-referentiality would thus seem both to protect literature’s autonomy and to raise its cultural status into the company of mathematics and science.But it is a trap. For behind this new strategy lurks a capitulation to the underlying conceptual scheme of natural science, and literature thus comes to be conceived, in effect, as a science. Self-reference is, after all, still a kind of reference; paradox is still a kind of truth-relational construction;—and truth-relations built around reference constitute the correspondence theory of truth. From such a foundational commitment to reference and correspondence-truth, flows the rest of the scientific worldview: the dualism of referring expression and referent, word and object, sentence and fact, theory and data, language and world, culture and nature. The presentation of literature as a quasi-negation of this ontology changes nothing. The dualism of reference still functions as literature’s conceptual starting point, as its arche. We only appear to be defining a peculiar and radically distinct sphere for literature when we insist on its self-referentiality, on the (recursive) identity, for it, of referring expression and referent. For, this is still to treat the conceptual distinction between the two as foundational, and literature thereby tacitly assimilates science’s fundamental categorial division: the referential language-world duality of correspondence truth. Indeed, literature thus comes to live even more completely in the margins of science: it will have no essence of its own; it will differ at most in being a photo-negative image of science’s positiv(istic) project. In Snow’s war, self-reference is a Trojan horse.With self-reference as the essence of literature, we are thus staking our reputations on literature’s being a special field of formalizable “knowledge about...,” rather than, say, a quality or kind or realm of possible experience—which is to adopt science’s understanding of what is important. Matters are only made worse by that other attempt to define literary studies as a negation of the theory-data dualism of natural science: the poststructuralist denial of the distinction between criticism and literature. For the institutional need professional critics have to be seen as a discipline with a method and a subject, as a form of “knowledge about,” hardly disappears with... (shrink)

The paper proposes with Davidson that the talk of metaontology is literally meaningless, but with Wittgenstein that it is so in a way that grants a unique type of insight. More specifically, it argues both that Davidson’s arguments have a cogency that is hard to dismiss, and also that, since his own arguments are metaontological, they are self-referential, and consequently in turn undermine their own meaning as well. The paper argues further that metaontological statements cannot be avoided. Consequently, (...) this kind of statement constitutes an unavoidable self-referential paradox that means what it also excludes as capable of meaning. The result is a reinstatement of the meaning of ontological insight and in fact, the paper argues, a deep enrichment and also a particularly cogent justification of it. In addition, the logical peculiarity of the paradox involved has further useful consequences for the outcome of this justification, including a mutually illuminating commonality with some versions of metaethics. (shrink)

This is a reply to B. H. Slater's article "Liar Syllogisms and Related Paradoxes" (Analysis 51, 146-153), which raised an objection to one of the arguments considered in my article "Liar Syllogisms" (Analysis 50, 1-7). Slater's objection is shown to be a failure. In effect, the paradoxicality of liar syllogisms is vindicated.

There is no consensus as to whether a Liar sentence is meaningful or not. Still, a widespread conviction with respect to Liar sentences (and other ungrounded sentences) is that, whether or not they are meaningful, they are useless . The philosophical contribution of this paper is to put this conviction into question. Using the framework of assertoric semantics , which is a semantic valuation method for languages of self-referential truth that has been developed by the author, we show (...) that certain computational problems, called query structures , can be solved more efficiently by an agent who has self-referential resources (amongst which are Liar sentences) than by an agent who has only classical resources; we establish the computational power of self-referential truth . The paper concludes with some thoughts on the implications of the established result for deflationary accounts of truth. (shrink)

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

We introduce a variant of pointer structures with denotational semantics and show its equivalence to systems of boolean equations: both have the same solutions. Taking paradoxes to be statements represented by systems of equations (or pointer structures) having no solutions, we thus obtain two alternative means of deciding paradoxical character of statements, one of which is the standard theory of solving boolean equations. To analyze more adequately statements involving semantic predicates, we extend propositional logic with the assertion operator and give (...) its complete axiomatization. This logic is a sub-logic of statements in which the semantic predicates become internalized (for instance, counterparts of Tarski’s definitions and T-schemata become tautologies). Examples of analysis of self-referential paradoxes are given and the approach is compared to the alternative ones. (shrink)

In this paper, I start by showing that sorites paradoxes are inclosure paradoxes. That is, they fit the Inclosure Scheme which characterizes the paradoxes of self-reference. Given that sorites and self-referential paradoxes are of the same kind, they should have the same kind of solution. The rest of the paper investigates what a dialetheic solution to sorites paradoxes is like, connections with a dialetheic solution to the self-referential paradoxes, and related issues—especially so called "higher order" (...) vagueness. (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)

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)

We argue that Nietzsche's interest in truth is more than merely a critical one. He criticizes one historically prominent conception of truth while proposing his own theory, called "perspectivism". However, Nietzsche's truth perspectivism appears to face a self-referential paradox, which is explored in detail. We argue that no commentator has yet solved this puzzle, and then provide our own solution. This solution, which depends upon distinguishing between weak and strong perspectivism while promoting the former, supplies Nietzsche with (...) a consistent truth theory that preserves the bulk of his claims. (shrink)

This is a defense and extension of Stephen Yablo's claim that self-reference is completely inessential to the liar paradox. An infinite sequence of sentences of the form 'None of these subsequent sentences are true' generates the same instability in assigning truth values. I argue Yablo's technique of substituting infinity for self-reference applies to all so-called 'self-referential' paradoxes. A representative sample is provided which includes counterparts of the preface paradox, Pseudo-Scotus's validity paradox, the Knower, (...) and other enigmas of the genre. I rebut objections that Yablo's paradox is not a genuine liar by constructing a sequence of liars that blend into Yablo's paradox. I rebut objections that Yablo's liar has hidden self-reference with a distinction between attributive and referential self-reference and appeals to Gregory Chaitin's algorithmic information theory. The paper concludes with comments on the mystique of self-reference. (shrink)

In the literature on self-referential paradoxes one of the hardest and most challenging problems is that of revenge. This problem can take many shapes, but, typically, it besets non-classical accounts of some semantic notion, such as truth, that depend on a set of classically defined meta-theoretic concepts, like validity, consistency, and so on. A particularly troubling form of revenge that has received a lot of attention lately involves the concept of validity. The difficulty lies in that the non-classical (...) logician cannot accept her own definition of validity because it is given in a classical meta-theory. It is often suggested that this mismatch between the consequence relation of the account being espoused and the consequence relation of the meta-theory is a serious embarrassment. The main goal of the paper is to explore whether certain substructural accounts of the paradoxes can avoid this sort of embarrassment. Typically, these accounts are expressively incomplete, since they cannot assert in the object language that certain invalid arguments are in fact invalid. To overcome this difficulty I develop a novel type of hybrid proof-procedure, one that takes invalidities to be just as fundamental as validities. I prove that this proof-procedure enjoys a number of interesting properties and I analyze the prospects of applying it to languages capable of expressing self-referential statements. (shrink)

This paper gives a definition of self-reference on the basis of the dependence relation given by Leitgeb (J Philos Logic 34(2):155–192, 2005), and the dependence digraph by Beringer and Schindler (Reference graphs and semantic paradox, 2015. https://www.academia.edu/19234872/reference_graphs_and_semantic_paradox). 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 (Logic J IGPL 22(1):24–38, 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 ∀∃\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\forall \exists $$\end{document}-unwinding variant are non-self-referential, and neither McGee’s paradox nor the ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega $$\end{document}-cycle liar has circularity dependence. (shrink)

The Brandenburger–Keisler paradox is a self-referential paradox in epistemic game theory which can be viewed as a two-person version of Russell’s Paradox. Yablo’s Paradox, according to its author, is a non-self referential paradox, which created a significant impact. This paper gives a Yabloesque, non-self-referential paradox for infinitary players within the context of epistemic game theory. The new paradox advances both the Brandenburger–Keisler and Yablo results. Additionally, the paper (...) constructs a paraconsistent model satisfying the paradoxical statement. (shrink)

The unwinding that Cook, 767–774 2004) proposed is a simple but powerful method of generating new paradoxes from known ones. This paper extends Cook’s unwinding to a larger class of paradoxes and studies further the basic properties of the unwinding. The unwinding we study is a procedure, by which when inputting a Boolean modal net together with a definable digraph, we get a set of sentences in which we have a ‘counterpart’ for each sentence of the Boolean modal net and (...) each point of the digraph. What is more, whenever a sentence of the Boolean modal net says another sentence is necessary, then the counterpart of the first sentence at a point correspondingly says the counterparts of the second one at all accessible points of that point are all true. The output of the procedure is called ‘the unwinding of a Boolean modal net on a definable digraph’. We prove that the unwinding procedure preserves paradoxicality: a Boolean modal net is paradoxical on a definable digraph, iff the unwinding of it on this digraph is also paradoxical. Besides, the dependence digraph for the unwinding of a Boolean modal net on a definable digraph is proved to be isomorphic to the unwinding of the dependence digraph for the Boolean modal net on the previous definable digraph. So the unwinding of a Boolean modal net on a digraph is self-referential, iff the Boolean modal net is self-referential and the digraph is cyclic. Thus, on the one hand, the unwinding of any Boolean modal net on an acyclic digraph is non-self-referential. In particular, the unwinding of any Boolean modal net on \ is non-self-referential. On the other hand, if a Boolean modal net is paradoxical on a locally finite digraph, the unwinding of it on that digraph must be self-referential. Hence, starting from a Boolean modal paradox, the unwinding can output a non-self-referential paradox only if the digraph is not locally finite. (shrink)

This paper propounds a systematic examination of the link between the Knower Paradox and provability interpretations of modal logic. The aim of the paper is threefold: to give a streamlined presentation of the Knower Paradox and related results; to clarify the notion of a syntactical treatment of modalities; finally, to discuss the kind of solution that modal provability logic provides to the Paradox. I discuss the respective strength of different versions of the Knower Paradox, both in (...) the framework of first-order arithmetic and in that of modal logic with fixed point operators. It is shown that the notion of a syntactical treatment of modalities is ambiguous between a self-referential treatment and a metalinguistic treatment of modalities, and that these two notions are independent. I survey and compare the provability interpretations of modality respectively given by Skyrms, B. (1978, The Journal of Philosophy 75: 368–387) Anderson, C.A. (1983, The Journal of Philosophy 80: 338–355) and Solovay, R. (1976, Israel Journal of Mathematics 25: 287–304). I examine how these interpretations enable us to bypass the limitations imposed by the Knower Paradox while preserving the laws of classical logic, each time by appeal to a distinct form of hierarchy. (shrink)

In earlier work, I have argued that self-referential assertions of the form ‘this assertion is improper’ are paradoxical for the truth account of assertion. In this paper, I argue that such assertions are also paradoxical, though in a different way, for the knowledge account of assertion.

The Liar Paradox is an argument that arrives at a contradiction by reasoning about a Liar Sentence. The classical Liar Sentence is the self-referential sentence “This sentence is false.”.

In his book, The Justification of Scientific Change, Carl Kordig claims that the radical meaning variance view of Feyerabend and others becomes ensnared in a self-referential paradox. The accusation fails because it rests upon a confusion of that view with its "counterparts" in other linguistic/theoretical contexts.

This paper shows the relevance of findings from studying the logic of self-referential statements to Cultural studies, Black Cultural Studies in particular. Results following from the incompleteness of the systems in which these statements are quantified help to clear up a paradox stemming from current Afropessimist discourse.

Theories of discursive integration form a group of theories that see the principles responsible for the integration of experience data (apperception) in the practices and schemes of discourse. These theories indicate that the use of language unites and organizes experience data. Their main assumption can be expressed as follows: this integration does not inhere in objects and cannot be derived from them; hence this integration cannot be secondarily expressed in language, but results exclusively from the use of language (or discourse). (...) In this article, Witold Marzęda gives an overview of narrativist theories, script theories, Gazzaniga and Dennett’s models, which refer to evolutionary psychology, and the theories of Lakoff and Johnson – all these being theories of discursive integration. Marzęda’s main objective is to formulate a paradox, which consists in a trap of self-referentiality into which these theories fall: they postulate some general properties of discourse, which, firstly, do not have to become at once the properties of individual models and which, secondly, do not admit of falsification. (shrink)

It is proved that Yablo’s paradox and the Liar paradox are equiparadoxical, in the sense that their paradoxicality is based upon exactly the same circularity condition—for any frame ${\mathcal{K}}$ , the following are equivalent: (1) Yablo’s sequence leads to a paradox in ${\mathcal{K}}$ ; (2) the Liar sentence leads to a paradox in ${\mathcal{K}}$ ; (3) ${\mathcal{K}}$ contains odd cycles. This result does not conflict with Yablo’s claim that his sequence is non-self-referential. Rather, it (...) gives Yablo’s paradox a new significance: his construction contributes a method by which we can eliminate the self-reference of a paradox without changing its circularity condition. (shrink)

In earlier work, I have argued that the self-referential assertion that “this assertion is improper” is paradoxical for the truth account of assertion, the view onwhich an assertion is proper if and only if it is true. In a recent paper in this journal, John Turri has suggested a response to the paradox: one might simply deny that in uttering “this assertion is improper” one makes a genuine assertion. In this paper, I argue that this ‘no assertion’ (...) response does not dissolve the paradox in the way Turri suggests. (shrink)

A standard problem with the objectivity of social scientific theory in particular is that it is either self-referential, in which case it seems to undermine itself as ideology, or self-excepting, which seem pragmatically self-refuting. Using the example of Marx and his theory of ideology, I show how self-referential theories that include themselves in their scope of explanation can be objective. Ideology may be roughly defined as belief distorted by class interest. I show how Marx (...) thought that natural science was informed by class interest but not therefore necessarily ideology. Capitalists have an interest in understanding the natural world (to a point) so that they can manipulate it for profit. Their survival in the marketplace often depends on their competitive success in doing so. The fact that their interventions into nature, driven by class interest, often succeed, is evidence of the reliability and truth of their natural scientific theories. -/- With social science, capitalists have a partial interest in understanding the world, so that they may maintain their class power, ideological hegemony, and a reasonably stable and self-reproducing economy. Some bourgeois social science, Marx thinks, is therefore vindicated the same way that natural science is, because of, not despite, its success in promoting the class interests that cause it. But the capitalist class, Marx thinks, also has an interest in obfuscating the truth about the social world. It would undermine the stability of capitalism, for example, for the bourgeoisie to adopt what Marx thinks to be the correct social theory, Marxism, and proclaim to the world that capitalism is exploitative and unstable. Capitalism creates a a need for ideological social theories that, driven by class interest, represent capitalism as just, natural, inevitable, and unalterable. If Marxism is correct, while these theories may further capitalist interests, they will not withstand the test of time as capitalist exploitation and instability engenders countersystemic political action. -/- How, then can we know, according to Marx, that Marxism is correct, as applied to itself? In part it is whether it succeeds in further the class interests that cause it. If workers adopt bourgeois theories and Marxism is right, they will find themselves frustrated in pursuit of goals that they have, such as improving their well-being, and if Marxism is wrong, then those theories will help them further their own goals. Similarly with Marxism: if it is right, then workers who adopt it should in the long run have more success in furthering their own goals, and if not, then not. But it is question begging to say that our confidence in the reliability of Marxism is enhanced by its successful promotion of goals that capitalists do not have but (according to Marxism) workers do. To avoid this problem it is necessary to compare the relative success of each sort of theory in promoting the interests and needs that the respective classes have independently of the theory, as well as by the usual criteria of scientific theory choice. -/- Thus the Soviet variant of Marxism was fairly decisively refuted by its failure to generate the support of its own designated constituency necessary to grow and survive. Whether the same is true of other varieties of Marxism or of capitalist social theory, it is, as Zhou En Lai said when asked whether the French Revolution had succeeded, too soon to tell, at least in any definitive way. However, and this is the point of the paper, an objective test of Marxism is possible even though Marxism says that all theory is informed by class interest. The question is whether the interests are in discovering or obfuscating the truth. The point is not limited to Marx, but applies to any self-referential social scientific theory that includes itself in its scope. -/- Keywords: ideology, self-referential theory, self-reference, reliabilism, objectivity, Marx, Marxism, sociology of science, class interest, classes, capitalism, bourgeoisie, workers, working class, social theory of knowledge, confirmation of scientific theory. (shrink)

A number of contemporary philosophers think that the unqualified statement “X is unspeakable” faces the danger of self-referential absurdity: if this statement is true, it must simultaneously be false, given that X is speakable by the predicate word “unspeakable.” This predicament is in this chapter formulated as an argument that I term the “ineffability paradox.” After examining the Buddhist semantic theory of apoha (exclusion) and an apoha solution to the issue, I resort to a few Chinese Buddhist (...) and Hindu philosophical materials to rationally reconstruct a strategy for resolving the paradox. By introducing the mode of expression termed “indication,” together with the relevant notions of superimposition and of gesturing beyond the horizon, I show that expressing the ineffable does not necessarily involve irresoluble contradiction. It is also suggested that philosophers may need to acknowledge the relevance of the notion of ineffability for contemporary philosophizing. (shrink)

Recently, it has been observed that the usual type-theoretic restrictions are not enough to block certain paradoxes involving two or more predicates. In particular, when we have a self-referential language containing modal predicates, new paradoxes might appear even if there are type restrictions for the principles governing those predicates. In this article we consider two type-theoretic solutions to multimodal paradoxes. The first one adds types for each of the modal predicates. We argue that there are a number of (...) problems with most versions of this approach. The second one, which we favour, represents modal notions by using the truth predicate together with the corresponding modal operator. This way of doing things is not only useful because it avoids multimodal paradoxes, but also because it preserves the expressive capacity of the language. As an example of the sort of theory we have in mind, we provide a type-theoretic axiomatization that combines truth with necessity and knowledge. (shrink)

Although it was traditionally thought that self-reference is a crucial ingredient of semantic paradoxes, Yablo (1993, 2004) showed that this was not so by displaying an infinite series of sentences none of which is self-referential but which, taken together, are paradoxical. Yablo's paradox consists of a countable series of linearly ordered sentences s(0), s(1), s(2),... , where each s(i) says: For each k > i, s(k) is false (or equivalently: For no k > i is s(k) (...) true). We generalize Yablo's results along two dimensions. First, we study the behavior of generalized Yablo-series in which each sentence s(i) has the form: For Q k > i, s(k) is true, where Q is a generalized quantifier (e.g., no, every, infinitely many, etc). We show that under broad conditions all the sentences in the series must have the same truth value, and we derive a characterization of those values of Q for which the series is paradoxical. Second, we show that in the Strong Kleene trivalent logic Yablo's results are a special case of a more general fact: under certain conditions, any semantic phenomenon that involves self-reference can be emulated without self-reference. Various translation procedures that eliminate self-reference from a non-quantificational language are defined and characterized. An Appendix sketches an extension to quantificational languages, as well as a new argument that Yablo's paradox and the translations we offer do not involve self-reference. (shrink)

The development of possible worlds semantics for modal claims has led to a more general application of that theory as a complete semantics for various formal and natural languages, and this view is widely held to be an adequate (philosophical) interpretation of the model theory for such languages. We argue here that this view generates a self-referential inconsistency that indicates either the falsity or the incompleteness of PWS.

Jean Buridan has offered a solution to the Liar Paradox, i.e. to the problem of assigning a truth-value to the sentence ‘What I am saying is false’. It has been argued that either this solution is ad hoc since it would only apply to self-referencing sentences [Read, S. 2002. ‘The Liar Paradox from John Buridan back to Thomas Bradwardine’, Vivarium, 40 , 189–218] or else it weakens his theory of truth, making his ‘a logic without truth’ [Klima, (...) G. 2008. ‘Logic without truth: Buridan on the Liar’, in S. Rahman, T. Tulenheimo and E. Genot, Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox, Berlin: Springer, 87–112 ; Dutilh Novaes, C. 2011. ‘Lessons on truth from mediaeval solutions to the Liar Paradox’, The Philosophical Quarterly, 61 , 58–78]. Against , I will argue that Buridan's solution by means of truth by supposition does not involve new principles. Self-referential sentences force us to handle supposition more carefully, which does not warrant the accusation of adhoccery. I will also argue, against (2), that it is exaggerated to assert that this solution leads to a ‘weakened’ theory of truth, since it is consistent with other passages of the Sophismata, which only gives necessary conditions for the truth of affirmative propositions, but sufficient conditions for falsity. (shrink)

It is proposed that subconscious retro-predictions in conjunction with brain state update cycles are instrumental in the physiological generation of conscious sensations and perceptions, and in all abstract thought. In this paper the hypothesis is supported by conducting a detailed a re-evaluation of the self-referential statements in Set Theory and Formal Logic known as antinomies. This study concludes that the recursive behavior exhibited by abstract enigmas such as "Russell’s Paradox" is analogous to the oscillations typical of bistable (...) perceptual phenomena. (shrink)

A dialogue among statements that try to explain to each other the mechanisms and peculiarities of self-referential assertions and, particularly, of their context-dependence.

The Liar paradox arises when we consider a sentence that says of itself that it is not true. If such self-referential sentences exist? and examples like?This sentence is not true? certainly suggest this?, then our logic and standard notion of truth allow to infer a contradiction: The Liar sentence is true and not true. What has gone wrong? Must we revise our notion of truth and our logic? Or can we dispel the common conviction that there are (...) such self-referential sentences? The present study explores the second path.0After comparing the Liar reasoning in formal and informal logic and showing that there are no Gödelian Liar sentences, the study moves on from the semantics of self-reference to the metaphysics of expressions and proposes a novel solution to the Liar paradox: Meaningful expressions are distinct from their syntactic bases and exist only relative to contexts. Detailed semantico-metaphysical arguments show that in this dynamic setting, an object can be referred to only after it has started to exist. Hence the circular reference needed in the Liar paradox cannot occur, after all. As this solution is contextualist, it evades the expressibility problems of other proposals. (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 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)

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

We describe the earliest occurrences of the Liar Paradox in the Arabic tradition. e early Mutakallimūn claim the Liar Sentence is both true and false; they also associate the Liar with problems concerning plural subjects, which is somewhat puzzling. Abharī (1200-1265) ascribes an unsatisfiable truth condition to the Liar Sentence—as he puts it, its being true is the conjunction of its being true and false—and so concludes that the sentence is not true. Tūsī (1201-1274) argues that self-referential (...) sentences, like the Liar, are not truth-apt, and defends this claim by appealing to a correspondence theory of truth. Translations of the texts are provided as an appendix. (shrink)

A Husserlian phenomenological approach to logic treats concepts in terms of their experiential meaning rather than in terms of reference, sets of individuals, and sentences. The present article applies such an approach in turn to the reasoning operative in various paradoxes: the simple Liar, the complex Liar paradoxes, the Grelling-type paradoxes, and Gödel’s Theorem. It finds that in each case a meaningless statement, one generated by circular definition, is treated as if were meaningful, and consequently as either true or false, (...) although in fact it is neither. The situation is further complicated by the fact that the sentence used to express the meaningless statement is ambiguous, and may also be used to express a meaningful statement. The paradoxes result from a failure to distinguish between the two meanings the sentence may have. (shrink)

According to truthmaker maximalism, each truth has a truthmaker. Peter Milne has attempted to refute truthmaker maximalism on mere logical grounds via the construction of a self-referential truthmaker sentence M “saying” of itself that it doesn’t have a truthmaker. Milne argues that M turns out to be a true sentence without a truthmaker and thus provides a counterexample to truthmaker maximalism. In this paper, I show that Milne’s refutation of truthmaker maximalism does not succeed. In particular, I argue (...) that the notion of truthmaker meets two structural principles which, if added to a formal language of a theory, are already sufficient to produce a provable contradiction—a contradiction that gives rise to a socalled “Truthmaker paradox”. I also address the question of how to possibly resolve the Truthmaker paradox. I thereby show that the Truthmaker paradox, just as the strengthened Liar paradox, yields a “revenge problem” for paracomplete theories and might lead to triviality for Priest’s dialetheist account LP if the notion of truthmaker is defined as a certain semantic predicate within LP. But regardless of how one tries to cope with the Truthmaker paradox, this paradox is surely interesting in its own right. However, its significance is completely orthogonal to the question of whether truthmaker maximalism is a philosophically sound view. (shrink)