This study looks to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.

This paper reveals two fallacies in Turing's undecidability proof of first-order logic (FOL), namely, (i) an 'extensional fallacy': from the fact that a sentence is an instance of a provable FOL formula, it is inferred that a meaningful sentence is proven, and (ii) a 'fallacy of substitution': from the fact that a sentence is an instance of a provable FOL formula, it is inferred that a true sentence is proven. The first fallacy erroneously suggests that Turing's proof of the non-existence (...) of a circle-free machine that decides whether an arbitrary machine is circular proves a significant proposition. The second fallacy suggests that FOL is undecidable. (shrink)

It is argued that a certain form of the view that the semantic paradoxes show that natural languages are "inconsistent" provides the best response to the semantic paradoxes. After extended discussions of the views of Kirk Ludwig and Matti Eklund, it is argued that in its strongest formulation the view maintains that understanding a natural language is sharing cognition of an inconsistent semantic theory for that language with other speakers. A number of aspects of this approach are discussed and a (...) few objections are entertained. (shrink)

This paper proposes a new metaphysical framework for distinguishing between human and machine intelligence by drawing on Kant’s incongruent counterparts as an analogy. Specifically, the paper posits two deterministic worlds that are superficially identical but ultimately different. Using ideas from Wittgenstein, Gödel, and Cantor, the paper defines “deterministic knowledge” and investigates how this knowledge is processed differently in those two worlds. The paper considers computationalism and causal determinism for the new framework. Then, the paper introduces new concepts to illustrate why (...) human and machine agents display different causal characteristics in processing verbal information. Overall, the paper’s framework provides a theoretical basis for the uniqueness of the human mind. (shrink)

The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)

I argue that there are Leibnizian-style cosmological arguments for the existence of God which start from very mild premises which affirm the mere possibility of a principle of sufficient reason. The utilization of such premises gives a great deal of plausibility to such types of argumentation. I spend the majority of the paper defending three major objections to such mild premises viz., a reductio argument from Peter van Inwagen and William Rowe, which proffers and defends the idea that a necessary (...) proposition cannot explain a contingent one. I, then, turn to an amelioration of the Rowe/van Inwagen argument which attempts to appeal to an entailment relation between explanans and explanandum that is fettered out in terms of relevance logic. Subsequent to dispelling with that worry, I tackle objections to the utilization of weak principles of sufficient reason that depend essentially upon agglomerative accounts of explanation. (shrink)

A paradox is usually described as an apparently false statement supported by an apparently good argument which departs from premises that most people would find trivially true. This survey article presents a brief overview of three different contemporary perspectives on paradoxes. According to the epistemic view, paradoxes play a crucial role in the progress of science and cannot be regarded as sound proofs of a false statement. According to the dialetheist view, the conclusion of some paradoxical reasonings is both, true (...) and false, what means that there must be some true contradictions. Finally, the mystic view understands recalcitrant paradoxes as unsolvable problems which show the limits of human thought and cognition. The last section of this paper focuses on the paradoxes of self-reference, a family of paradoxes which have had a deep impact in the development of science during the twentieth century. Keywords: paradox, veridic paradox, falsidic paradox, antinomy, dialetheism, selfreference, circularity, inclosure schema. (shrink)

_ Metaepistemology _Edited by McHughConor, WayJonathan and WhitingDanielOxford University Press, 2018. viii + 216 pp.

_ Semantic Singularities: Paradoxes of Reference, Predication and Truth _ By SimmonsKeithOxford University Press, 2018. x + 250 pp.

In this paper, I raise some interconnected concerns for Paul Horwich’s minimal theory of truth, framed by these three questions: How should the minimal theory be formulated? How does the minimal theory address the liar paradox? What is the explanatory role of the concept of truth? I conclude that we cannot be linguistic or conceptual deflationists about truth.

I argue for an account of semantic paradox that requires minimal logical revision. I first consider a phenomenon that is common to the paradoxes of definability, Russell’s paradox and the Liar. The phenomenon—which I call Repetition—is this: given a paradoxical expression, we can go on to produce a semantically unproblematic expression composed of the very same words. I argue that Kripke’s and Field’s theories of truth make heavy weather of Repetition, and suggest a simpler contextual account. I go on to (...) outline a ‘singularity’ theory of semantical predicates in the spirit of remarks of Gödel. According to this theory, ‘denotes’, ‘extension’ and ‘true’ are context-sensitive expression that apply almost everywhere on a given occasion of use, except for certain singular points. I then turn to revenge paradoxes, and argue that even the dialetheist is subject to revenge. I then examine how the singularity theory responds to revenge. (shrink)

According to Gupta and Belnap, the “extensional behavior” of ‘true’ matches that of a circularly defined predicate. Besides promising to explain semantic paradoxicality, their general theory of circular predicates significantly liberalizes the framework of truth-conditional semantics. The authors’ discussions of the rationale behind that liberalization invoke two distinct senses in which a circular predicate’s semantic behavior is explained by a “revision rule” carrying hypothetical information about its extension. Neither attempted explanation succeeds. Their theory may however be modified to employ a (...) relativized notion of extension. The resulting contextualist semantics for ‘true’ construes circularity as a pragmatic phenomenon. (shrink)

There is a standard objection against purported explanations of how a language L can express the notion of being a true sentence of L. According to this objection, such explanations avoid one paradox (the Liar) only to succumb to another of the same kind. Even if L can contain its own truth predicate, we can identify another notion it cannot express, on pain of contradiction via Liar-like reasoning. This paper seeks to undermine such ‘revenge’ by arguing that it presupposes a (...) dubious assumption about the linguistic expression of concepts. Successful revenge would require that there be a notion other than truth that plays the same role with respect to concept-expression that truth is naturally thought to play before we are confronted with the Liar paradox. (shrink)

Although there has been a recent swell of interest in theories of truth that attempt solutions to the liar paradox and the other paradoxes affecting our concept of truth, many of these theories have been criticized for generating new paradoxes, called revenge paradoxes. The criticism is that the theories of truth in question are inadequate because they only work for languages lacking in the resources to generate revenge paradoxes. Theorists facing these objections offer a range of replies, and the matter (...) seems now to be at a standoff. I aim, first, to bolster the revenge objections by considering a relation, internalizability, between languages and theories of truth. A theory of truth is internalizable for a language iff there is an extension of that language in which the theory is expressible and for which the theory provides an accurate and complete assignment of semantic values. There are good reasons to think that acceptable theories of truth are internalizable for any language. With this internalizability requirement in hand, I argue that properly formulated revenge objections are decisive and that the replies to them are inadequate. Second, I show that the internalizability requirement can be met by a certain theory of truth. The central claim of this theory is that truth is an inconsistent concept and should be replaced with a pair of consistent concepts that can then be used to provide a semantics for our truth predicates. This theory is compatible with classical logic, does not give rise to revenge paradoxes of any kind, and satisfies the internalizability requirement. (shrink)

In this paper we shall introduce two types of contextual-hierarchical approaches to the strengthened liar problem. These approaches, which we call the ‘standard’ and the ‘alternative’ ch-reconstructions of the strengthened liar problem, differ in their philosophical view regarding the nature of truth and the relation between the truth predicates T r n and T r n+1 of different hierarchy-levels. The basic idea of the standard ch-reconstruction is that the T r n+1-schema should hold for all sentences of \. In contrast, (...) the alternative ch-reconstruction, for which we shall argue in section four, is motivated by the idea that T r n and T r n+1 are coherent in the sense that the same sentences of \ should be true according to T r n and T r n+1. We show that instances of the standard ch-reconstruction can be obtained by iterating Kripke’s strong Kleene jump operator. Furthermore, we will demonstrate how instances of the alternative ch-reconstruction can be obtained by a slight modification of the iterated axiom system KF and of the iterated strong Kleene jump operator. (shrink)

Contextualist theories of truth appeal to context to solve the liar paradox: different stages of reasoning occur in different contexts, and so the contradiction is dispelled. The word ‘true’ is relativized by the contextualists to contexts of use. This paper shows that contextualist approaches to the liar are committed to a form of semantic relativism: that the truth value of some sentences depends on the context of assessment, as well as the context of use. In particular, it is shown how (...) Simmons’s and Glanzberg’s contextualist approaches entail relativism. In both cases, the liar sentence gets different semantic evaluations as uttered in a fixed context of use but assessed from different contexts. Shift in context of use alone cannot provide the full explanation of the liar. These contextualist approaches, as originally presented, were thus mischaracterised and they should be re-evaluated according to their full implications. (shrink)

My aim in this paper is to amend the Stalnakerian view of context in such a way that it can allow for an adequate treatment of a contextualist position regarding the Liar Paradox. I discuss Glanzberg’s contextualism and the reason why his position cannot be encompassed by the Stalnakerian view, as it is normally construed. Finally, I introduce the phenomenon I call “semantic dissonance”, followed by a mechanism accommodating the Stalnakerian view to the demands of Glanzberg’s contextualism.

This article presents an empirical examination of the consequences of the virtual entailment principle proposed by Jean Buridan to resolve the Liar paradox. This principle states that every sentence in natural language implicitly asserts its own truth. Adopting this principle means that the Liar sentence is not paradoxical but false, because its content is contradictory to what is virtually implied. As a result, humans should perceive the Liar sentence the same way as any other false sentence. This solution to the (...) Liar paradox received criticism for making ad hoc claims about the natural language. However, thanks to modern advancements in psychophysiology, it became possible to empirically investigate if the human brain really perceives the Liar sentence like a false sentence. We designed and conducted an experiment to examine brain activity in response to true sentences, false sentences and self-referential sentences. Our results provide support for the Buridan’s hypothesis and show that the Liar sentence is processed by the human brain identically to false sentences, while the Truthteller sentence is perceived identically to true sentences. This agrees with predictions derived from the virtual entailment principle and supports the idea that humans think with the logic of truth—a logic for which the truth is a designated value of its adequate semantics. (shrink)

Revenge arguments purport to show that any proposed solution to the semantic paradoxes generates new paradoxes that prove that solution to be inadequate. In this paper, I focus on revenge arguments that employ the model-theoretic semantics of a target theory and I argue, contra the current revenge-theoretic wisdom, that they can constitute genuine expressive limitations. I consider the anti-revenge strategy elaborated by Field and argue that it does not offer a way out of the revenge problem. More generally, I argue (...) that the difference between ‘standard’ and ‘revenge’ paradoxes is ill-conceived and should be abandoned. This will contribute to show that the theories that provide a uniform account of truth and other semantic notions are the ones best equipped to avoid the paradoxes altogether—‘standard’ and ‘revenge’ alike. (shrink)

Tato stať je zamýšlena jako úvod do spojité problematiky explikace pravdivosti a sémantic-kých paradoxů, které onu explikaci pronásledují. Tyto paradoxy jsou viděny jako prostředek ukázání, že nedostatečně promyšlená explikace našeho pojmu pravdivosti (významu pravdi-vostního predikátu) je explikací nevyhovující. Poté jsou předvedeny rysy obou klasických přístupů, Russellovy teorie typů a Tarského hierarchie metajazyků. Nakonec jsou podány zá-kladní ideje hlavních názorových škol, které přišly poté.

Tarski’s Convention T is often taken to claim that it is both sufficient and necessary for adequacy in a definition of truth that it imply instances of the T-schema where the embedded sentence translates the mentioned sentence. However, arguments against the necessity claim have recently appeared, and, furthermore, the necessity claim is actually not required for the indefinability results for which Tarski is justly famous; indeed, Tarski’s own presentation of the results in the later Undecidable Theories makes no mention of (...) an assumption to the effect that the definition of truth implies the biconditionals. This raises a question: was Tarski in fact committed to the necessity claim in the important papers of the 1930s and 40s? I argue that he was not. The discussion of this apparently esoteric interpretive issue in fact gets to the heart of many important questions about truth, and in the final sections of the paper I discuss the importance of the T-biconditionals in the theory of meaning and the relation of deflationary and inflationary theories of truth to the semantic paradoxes. (shrink)

Contextual theories of truth are motivated primarily by the resolution they provide to paradoxical reasoning about truth. The principal argument for contextual theories of truth relies on a key intuition about the truth value of the proposition expressed by a particular utterance made during paradoxical reasoning, which Anil Gupta calls “the Chrysippus intuition.” In this paper, I argue that the principal argument for contextual theories of truth is circular, and that the Chrysippus intuition is false. I conclude that the philosophical (...) motivation for contextual theories of truth fails. (shrink)

Logical orthodoxy has it that classical first-order logic, or some extension thereof, provides the right extension of the logical consequence relation. However, together with naïve but intuitive principles about semantic notions such as truth, denotation, satisfaction, and possibly validity and other naïve logical properties, classical logic quickly leads to inconsistency, and indeed triviality. At least since the publication of Kripke’s Outline of a theory of truth , an increasingly popular diagnosis has been to restore consistency, or at least non-triviality, by (...) restricting some classical rules. Our modest aim in this note is to briefly introduce the main strands of the current debate on paradox and logical revision, and point to some of the potential challenges revisionary approaches might face, with reference to the nine contributions to the present volume.For a recent introduction to non-classical theories of truth and other semantic notions, see the excellent Beall a .. (shrink)

Some in the recent literature have claimed that a connection exists between the Liar paradox and _semantic relativism_: the view that the truth values of certain occurrences of sentences depend on the contexts at which they are assessed. Sagi (Erkenntnis 82(4):913–928, 2017) argues that contextualist accounts of the Liar paradox are committed to relativism, and Rudnicki and Łukowski (Synthese 1–20, 2019) propose a new account that they classify as relativist. I argue that a full understanding of how relativism is conceived (...) within theories of natural language shows that neither of the purported connections can be maintained. There is no reason why a solution to the Liar paradox needs to accept relativism. (shrink)

The Liar sentence L, which reads ‘L is not true’, can be used to produce an apparently valid argument proving that L is not true and that L is true. There has been increasing recognition of the appeal of contextualist solutions to the Liar paradox. Contextualist accounts hold that some step in the reasoning induces a context shift that causes the apparently contradictory claims to occur at different contexts. Attempts at identifying the most promising contextualist account often rely on timing (...) arguments, which seek to isolate a step at which the context cannot be claimed to have shifted or must have shifted. The literature contains a number of timing arguments that draw incompatible conclusions about the location of the context shift. I argue that no existing timing arguments succeed. An alternative strategy for assessing contextualist accounts evaluates the plausibility of their explanations of why the context shifts. However, even this strategy yields no clear verdict about which contextualist account is the most promising. I conclude that there are some grounds for optimism and for pessimism about the potential to adequately motivate contextualism. (shrink)

The word ‘true’ shows some evidence of gradability. For instance, there are cases where truth-bearers are described as ‘slightly true’, ‘completely true’ or ‘very true’. Expressions that accept these types of modifiers are analysed in terms of properties that can be possessed to a greater or lesser degree. If ‘true’ is genuinely gradable, then it would follow that there are degrees of truth. It might also follow that ‘true’ is context-sensitive, like other gradable expressions. Such conclusions are difficult to reconcile (...) with most existing theories: deflationists and inflationists alike tend to reject the thesis that one true truth-bearer can have more or less truth than another. Based on work in natural language, I argue that ‘true’ is not a genuinely gradable expression. I also provide an explanation of the apparent evidence for gradability. Hence there is no reason to think that there is a truth property that comes in degrees. (shrink)

We sketch an account according to which the semantic concepts themselves are not pathological and the pathologies that attend the semantic predicates arise because of the intention to impose on them a role they cannot fulfill, that of expressing semantic concepts for a language that includes them. We provide a simplified model of the account and argue in its light that (i) a consequence is that our meaning intentions are unsuccessful, and such semantic predicates fail to express any concept, and (...) that (ii) in light of this it is incorrect to characterize the pathology simply as semantic inconsistency; a more nuanced view of the problem is needed. We also show that the defects of the semantic predicates need not undercut the use of a truth theory in a compositional semantics for a language containing them because the meaning theory per se need not involve commitment to the axioms of the truth theory it exploits. (shrink)

What kinds of sentences with truth predicate may be inserted plausibly and consistently into the T-scheme? We state an answer in terms of dependence: those sentences which depend directly or indirectly on non-semantic states of affairs (only). In order to make this precise we introduce a theory of dependence according to which a sentence φ is said to depend on a set Φ of sentences iff the truth value of φ supervenes on the presence or absence of the sentences of (...) Φ in/from the extension of the truth predicate. Both φ and the members of Φ are allowed to contain the truth predicate. On that basis we are able define notions such as ungroundedness or self-referentiality within a classical semantics, and we can show that there is an adequate definition of truth for the class of sentences which depend on non-semantic states of affairs. (shrink)

According to some scholars, such as Rodych and Steiner, Wittgenstein objects to Gödel’s undecidability proof of his formula $$G$$, arguing that given a proof of $$G$$, one could relinquish the meta-mathematical interpretation of $$G$$ instead of relinquishing the assumption that Principia Mathematica is correct. Most scholars agree that such an objection, be it Wittgenstein’s or not, rests on an inadequate understanding of Gödel’s proof. In this paper, I argue that there is a possible reading of such an objection that is, (...) in fact, reasonable and related to Gödel’s proof. (shrink)

This paper explores the question of whether or not the law is a computable number in the sense described by Alan Turing in his 1937 paper ‘On computable numbers with an application to the Entscheidungsproblem.’ Drawing upon the legal, social, and political context of Alan Turing’s own involvement with the law following his arrest in 1952 for the criminal offence of gross indecency, the article explores the parameters of computability within the law and analyses the applicability of Turing’s computability thesis (...) within the context of legal decision-making. (shrink)

Scholastic and analytic definitions of semantic paradoxes, in terms of groundlessness, circularity, and semantic pathology, are introduced and compared with each other. The fundamental intuitions used in these definitions are the concepts of being true about extralinguistic reality, of making statements about one’s self, and of compatibility with an underlying semantic theory. The three approaches—the groundlessness view, the circularity view, and the semantic pathology view—are shown to differ not only conceptually, but also in their applications. As both a means for (...) showing these differences and as an adequacytest, the so-called two-line puzzles are used, which allows one to address the possibility of making non-paradoxical statements about paradoxical sentences within the same language. (shrink)

We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.

About twenty-five years ago, Charles Parsons published a paper that began by asking why we still discuss the Liar Paradox. Today, the question seems all the more apt. In the ensuing years we have seen not only Parsons’ work (1974), but seminal work of Saul Kripke (1975), and a huge number of other important papers. Too many to list. Surely, one of them must have solved it! In a way, most of them have. Most papers on the Liar Paradox offer (...) some explanation of the behavior of paradoxical sentences, and most also offer some extension for the predicate ‘true’ that they think is adequate, at least in some restricted setting. But if this is a solution, then the problem we face is far from a lack of solutions; rather, we have an overabundance of conflicting ones. Kripke’s work alone provides us with uncountably many different extensions for the truth predicate. Even if it so happens that one of these is a conclusive solution, we do not seem to know which one, or why. We should also ask, given that we are faced with many technically elegant but contradictory views, if they are really all addressing the same problem. What we lack is not solutions, but a way to compare and evaluate the many ones we have. (shrink)

This paper presents an approach to truth and the Liar paradox which combines elements of context dependence and hierarchy. This approach is developed formally, using the techniques of model theory in admissible sets. Special attention is paid to showing how starting with some ideas about context drawn from linguistics and philosophy of language, we can see the Liar sentence to be context dependent. Once this context dependence is properly understood, it is argued, a hierarchical structure emerges which is neither ad (...) hoc nor unnatural. (shrink)

A number of philosophers have argued that the key to understanding the semantic paradoxes is to recognize that truth is essentially relative to context. All of these philosophers have been motivated by the idea that once a liar sentence has been uttered we can 'step back' and, from the point of view of a different context, judge that the liar sentence is true. This paper argues that this 'stepping back' idea is a mistake that results from failing to relativize truth (...) to context in the first place. Moreover, context-relative liar sentences, such as 'This sentence is not true in any context' present a paradox even after truth has been relativized to context. Nonetheless, the relativization of truth to context may offer us the means to avoid paradox, if we can justifiably deny that a sentence about a context can be true in the very context it is about. (shrink)

The main thesis of this paper is that we sometimes are disposed to accept false and even jointly inconsistent claims by virtue of our semantic competence, and that this comes to light in the sorites and liar paradoxes. Among the subsidiary theses are that this is an important source of indeterminacy in truth conditions, that we must revise basic assumptions about semantic competence, and that classical logic and bivalence can be upheld in the face of the sorites paradox.

In this essay, I consider how the theological virtue of hope might be practiced. I will first explain Thomas Aquinas’s account of this virtue, including its structural relation to the passion of hope, its opposing vices, and its relationship to the friendship of charity. Then, using narrative and character analysis from the film The Shawshank Redemption, I examine a range of hopeful and proto-hopeful practices concerning both the goods one hopes for and the power one relies on to attain those (...) goods. In particular, I show how the film’s picture of the role friends and friendship play in catalyzing hope is a compelling metaphor for Christian hope’s reliance on God. (shrink)

Stratified properties such as ‘happy unhappiness’, ‘ungrounded ground’, ‘fortunate misfortune’, and evidently ‘true falsity’ may generate dialetheias (true contradictions). The aim of the article is to show that if this is the case, then we will have a special, conjunctive, kind of dialetheia: a true state description of the form ‘Fa and not Fa’ (for some property F and object a), wherein the two conjuncts, separately taken, are to be held untrue. The particular focus of the article is on happy (...) unhappiness: people suffering from (or enjoying) happy unhappiness (if there is some situation or state of mind of this kind) cannot be truly said ‘happy’ or ‘unhappy’, but we can say they are both. In the first section three cases of conjunctive stratification are presented; in the second section the logic of stratified contradictions is explored. The last section focuses on eudemonistic ascriptions: stated that a is happy to be unhappy (or unhappy to be happy), should we say a is happy? unhappy? both? neither? (shrink)

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

Two periods in the history of logic and philosophy are characterized notably by vivid interest in self-referential paradoxical sentences in general, and Liar sentences in particular: the later medieval period (roughly from the 12th to the 15th century) and the last 100 years. In this paper, I undertake a comparative taxonomy of these two traditions. I outline and discuss eight main approaches to Liar sentences in the medieval tradition, and compare them to the most influential modern approaches to such sentences. (...) I also emphasize the aspects of each tradition that find no counterpart in the other one. It is expected that such a comparison may point in new directions for future research on the paradoxes; indeed, the present analysis allows me to draw a few conclusions about the general nature of Liar sentences, and to identify aspects that would require further investigation. (shrink)

Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that some paradox’s (...) duals or hypodoxes are as paradoxical as the paradoxes of which they are duals, and that they raise neglected and interestingly different problems. I first focus on Richard’s paradox (arguably the simplest case of a paradoxical dual), showing both that its dual is as paradoxical as Richard’s paradox itself, and that the classical, Richard-Poincaré solution to the latter does not generalize to the former in any obvious way. I then argue that my argument applies mutatis mutandis to other paradoxes of self-reference as well, the dual of the Liar (the Truth-Teller) proving paradoxical. (shrink)

This essay attempts to give substance to the claim that the liar''sparadox shows the truth predicate to be context sensitive. The aim ismodest: to provide an account of the truth predicate''s contextsensitivity (1) that derives from a more general understanding ofcontext sensitivity, (2) that does not depend upon a hierarchy ofpredicates and (3) that is able to address the liar''s paradox. Theconsequences of achieving this goal are not modest, though. Perhapssurprisingly, for reasons that will be discussed in the last section (...) ofthis essay, a natural account of the truth predicate''s contextsensitivity appears to lead naturally to a version of the correspondencetheory of truth according to which the truth predicate can be understoodas a relation holding between a sentence and a salient set of contexts.The plan of this essay is as follows. Section 1 contains a generalaccount of context sensitivity. The purpose of this section is toisolate certain features of context sensitivity and formal methods oftreating them, which we will then apply to the truth predicate. Section 2then outlines two minimal conditions to be satisfied by a truthpredicate. In Section 3, I present a version of the liar paradoxthat results from these conditions and the assumption that the truthpredicate is not context sensitive in the sense described in sectionone. Finally, in section four, I provide what appear to be naturalconsequences of a truth predicate''s context sensitivity. Section 4 isadmittedly speculative and points in the direction for future research. (shrink)

The study of truth is often seen as running on two separate paths: the nature path and the logic path. The former concerns metaphysical questions about the ‘nature’, if any, of truth. The latter concerns itself largely with logic, particularly logical issues arising from the truth-theoretic paradoxes. Where, if at all, do these two paths meet? It may seem, and it is all too often assumed, that they do not meet, or at best touch in only incidental ways. It is (...) often assumed that work on the metaphysics of truth need not pay much attention to issues of paradox and logic; and it is likewise assumed that work on paradox is independent of the larger issues of metaphysics. Philosophical work on truth often includes a footnote anticipating some resolution of the paradox, but otherwise tends to take no note of it. Likewise, logical work on truth tends to have little to say about metaphysical presuppositions, and simply articulates formal theories, whose strength may be measured, and whose properties may be discussed. In practice, the paths go their own ways. Our aim in this paper is somewhat modest. We seek to illustrate one point of intersection between the paths. Even so, our aim is not completely modest, as the point of intersection is a notable one that often goes unnoticed. We argue that the ‘nature’ path impacts the logic path in a fairly direct way. What one can and must say about the logic of truth is influenced, or even in some cases determined, by what one says about the metaphysical nature of truth. In particular, when it comes to saying what the well-known Liar paradox teaches us about truth, background conceptions — views on ‘nature’ — play a significant role in constraining what can be said. This paper, in rough outline, first sets out some representative ‘nature’ views, followed by the ‘logic’ issues (viz., paradox), and turns to responses to the Liar paradox. What we hope to illustrate is the fairly direct way in which the background ‘nature’ views constrain — if not dictate — responses to the main problem on the ‘logic’ path.. (shrink)

JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact [email protected].