In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax (...) of the object language is specified exactly enough, and that the metatheory has a certain amount of set theoretic power,2 one can explicitly define truth in the object language. And what can be explicitly defined can be eliminated. It follows that the defined concept cannot give rise to any inconsistencies (that is, paradoxes). This gave new respectability to the concept of truth and related notions. Nevertheless, philosophers’ judgements on the nature and philosophical relevance of Tarski’s work have varied. It is my aim here to review and evaluate some threads in this debate. (shrink)

Not-I/Thou: The Other Subject of Art & Architecture is to be a highly focused exhibition/folio of works by perhaps 12 artists (preferably little-known or obscure), with precise commentaries denoting the discord between the autonomous object (the artwork or architectural object per se) and the larger field of reference (worlds); inference (associative magic), and insurrection (against power and privilege) – or, the Immemorial. Engaging the age-old “theological apparatuses” of the artwork, the folio is intended to upend the current fascination with personality, (...) celebrity, and fashion to reach the timeless horizon of the subject of Art and Architecture as the subject other than the subject of Art and Architecture proper. Word as image, and image as word, is the central paradox given to this discord – an elective, yet universal condition that also makes certain art and architectural works heedlessly existential-metaphysical (and, therefore, “theological”). This paper, as part of the essay “White Paper: Gray Areas and Black Zones,” is a preliminary investigation of the conceptual architecture for the overall, ongoing exhibition/book project. (shrink)

Michael Lynch’s Truth as One and Many is a contribution to the large body of philosophical literature on the nature of truth. Within that genre, advocates of truth-as-correspondence, advocates of truth-as-coherence, and the like, all hold that truth has a single underlying metaphysical nature, but they sharply disagree as to what this nature is. Lynch argues that many of these views make good sense of truth attributions for a limited stretch of discourse, but (...) he adds that each of the contenders also faces a ‘scope problem’, in that none of them makes sense of all legitimate truth attributions. Some deflationists make similar observations – usually less concessive – and conclude that truth simply has no substantial, underlying nature. There is nothing for the philosopher to articulate and defend. Lynch agrees with deflationists that the realm of discourse is too diverse for any single ‘first-level’ property, such as correspondence or coherence, to fully characterize it, but against deflationism, he holds that truth does have a nature. He presents a functionalist theory. The definition is this: x is true if, and only if, x has a property that plays the truth-role. According to Lynch, the truth-role is given in terms of what he calls the ‘core truisms’ of the folk concept of truth. These are platitudes that hold of the everyday notion, and are such that anyone who denies all of them can be accused of changing the subject – of not talking about truth. A given property T plays the truth-role for a batch of propositions, just in case, for any proposition P in the batch: P is T if, and only if, where P is believed, things are as they are believed to be; other things being equal, it is a worthy goal …. (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)

The correspondence theory of truth is a precise and innovative account of how the truth of a proposition depends upon that proposition's connection to a piece of reality. Joshua Rasmussen refines and defends the correspondence theory of truth, proposing new accounts of facts, propositions, and the correspondence between them. With these theories in hand, he then offers original solutions to the toughest objections facing correspondence theorists. Addressing the Problem of Funny Facts, Liar Paradoxes, (...) and traditional epistemological questions concerning how our minds can access reality, he challenges recent objections, and defends what has traditionally been the most popular theory of truth. Written with clarity, precision, and sensitivity to a range of philosophical backgrounds, his book will appeal to advanced students and scholars seeking a deeper understanding of the relationship between truth and reality. (shrink)

According to Humean theories of objective chance, the chances reduce to patterns in the history of occurrent events, such as frequencies. According to non-Humean accounts, the chances are metaphysically fundamental, existing independently of the "Humean Mosaic" of actually-occurring events. It is therefore possible, by the lights of non-Humeanism, for the chances and the frequencies to diverge wildly. Humeans often allege that this undermines the ability of non-Humean accounts of chance to rationalize adherence to David Lewis' Principal Principle (PP), which states (...) that an agent's degrees of belief should match what they take to be the objective chances. In this paper, I propose two approaches to justifying (PP) for non-Humean chance, hence defusing the Humean objection. The first approach justifies (PP) via the role it plays in informing outright beliefs about long-run frequencies. The second approach justifies (PP) by showing that adherence to (PP), even for non-Humean chance, maximizes expected epistemic utility according to the actual objective chance function. I then address an objection to this approach, concerning the alleged circularity of the derivations. (shrink)

Name der Zeitschrift: Zeitschrift für kritische Sozialtheorie und Philosophie Jahrgang: 5 Heft: 1 Seiten: 146-176.

I defend a novel pragmatist account of truth that I call ‘truth from the agent point of view’ or ‘agential truth’, drawing on insights from Hilary Putnam. According to the agential view, as inquirers, when we take something to be truth-apt, we are taking ourselves and all other thinkers to be accountable to getting right a shared target that is independent of any individual's or community's view of that target. That we have this relationship to (...) truth is what enables our practices of disagreement and agreement, even when subject to the glare of self-conscious reflection, and represents a crucial ingredient in our capacity for rational thought. The resulting account shares elements with Huw Price's and Cheryl Misak's views, but also has important advantages over both. It also yields a surprising conclusion—that our best pragmatist account of truth may well be a version of the correspondence theory of truth. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories (...) meets the correspondence intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

The Wiener index WI is one of the connectivity parameters used to know the biochemical and physicochemical properties of compounds depending upon their molecular structures. Intuitionistic fuzzy graphs IFG s are a convenient tool to represent the objects and relations between them with two types of information using truth membership degree and falsity membership degree. This research work presents the concept of WI under the structure IFG s, I F trees, and I F cycles. Some bounds on WI are (...) investigated. The relationship between WI and connectivity index CI is also studied. In the end of this study, an application of the WI in transport network flow is proposed. (shrink)

Taking our inspiration from modal correspondence theory, we present the idea of correspondence analysis for many-valued logics. As a benchmark case, we study truth-functional extensions of the Logic of Paradox (LP). First, we characterize each of the possible truth table entries for unary and binary operators that could be added to LP by an inference scheme. Second, we define a class of natural deduction systems on the basis of these characterizing inference schemes and a natural (...) deduction system for LP. Third, we show that each of the resulting natural deduction systems is sound and complete with respect to its particular semantics. (shrink)

This chapter contains sections titled: Nature: Two Conceptions of Truth Background on Logic and Paradox Nature and Logic And Now Revenge References.

This paper aims to explore the relationship between the necessity predicate and the truth predicate by comparing two possible-world interpretations. The first interpretation, proposed by Halbach et al. (J Philos Log 32(2):179–223, 2003), is for the necessity predicate, and the second, proposed by Hsiung (Stud Log 91(2):239–271, 2009), is for the truth predicate. To achieve this goal, we examine the connections and differences between paradoxical sentences that involve either the necessity predicate or the truth predicate. A primary (...) connection is established through two translations that change only one of the predicates to the other while keeping everything else unchanged. We prove that in bijective frames, a set of sentences that contains one of the two semantic predicates has the same paradoxicality as the corresponding set of sentences that contains the other predicate obtained through translation. However, there are substantial differences as well. First, the necessity predicate and the truth predicate, under the two interpretations, cannot be defined by each other. Moreover, for sentences that involve only the truth predicate, their paradoxicality is preserved under the homomorphisms of frames. For sentences containing the necessity predicate, their paradoxicality is preserved under bounded morphisms, but none of these sentences can have their paradoxicality preserved under the extension of frames. Finally, we also show that paradoxical sentences involving the necessity predicate and those involving the truth predicate differ significantly in terms of mirror symmetry, circularity dependence, and frame compactness. (shrink)

adr al-Dīn al-Dashtakī (d. 1498) has proposed a solution to the liar paradox according to which the liar sentence is a self-referential sentence in which the predicate ‘false’ is iterated. Discussing the conditions for the truth-aptness of the sentences with nested and iterated instances of the predicates ‘true’ and/or ‘false’, Dashtakī argued that the liar sentence is not truth-apt at all. In the tradition of Arabic logic, the central elements of Dashtakī's solution—the self-referentiality of the liar sentence (...) and the implicit iteration of the predicate ‘false’—were initially highlighted in two earlier solutions proposed by Naīr al-Dīn al-ūsī (d. 1274) and Shams al-Dīn al-Samarqandī (d. 1322), respectively. Here I investigate all three solutions and show that Dashtakī's solution can be taken as a synthesis of the other two. None of these solutions seems to be convincing at the end of the day. Nevertheless, all of them include significant logical and philosophical insights. In particular, although Dashtakī's solution is not itself compelling, it is only a few steps away from a promising solution. The appendix to this paper includes translations of the relevant passages. (shrink)

"This accessibly written book surveys all of the major competing theories of truth before formulating the new defence of the correspondence theory and then exploring the consequences of the theory for issues in epistemology and ontology. The book concludes by showing how the idea of 'propositional depth' can be used to dissolve the Liar paradoxes."--BOOK JACKET.

The article examines main competing conceptions of the cor­respondence theory of truth. First, the author investigates pos­sible candidates for the role of truth-bearers. Among those he examines following entities: instances of sentences as concrete sequences of symbols (sounds or letters), which should satisfy wide scope of requirements, such as to be grammatical, mean­ingful, affirmative and so on; abstract propositions, which are ex­pressed by concrete sentences; utterances (either explicit or in lingua mentalis); beliefs of agents as their special mental (...) states. Then he turns to the study of possible candidates for the role of truth-makers, i.e. of those entities to which truth-bearers should correspond to be true. He observes states of affairs, situations, facts and mereological sums of individuals. Then he shows that a notion of correspondence is a functional relationship of interpre­tation of linguistic expressions, where certain fragment of real­ity is taken as a model, i.e. as a finite set of elements on which some functions and relations can be operationally defined. He shows how in some simple cases such interpretation function can be built in operationalist’s manner. After that, he considers some natural objections to this approach, which point that he has no direct cognitive access to the actual world, so it is not possible to take its fragments as a model for any theory. Such objections lead us to the coherentist’s approach, but he shows that the question about origin and status of so-called “specified set” implicitly either leads to infinite regress or requires certain correspondence on some level of investigation and reasoning. Finally, the authore presents some reflections on the meaning of correspondence approach for scientific realism and all other versions of realistic philosophy and metaphysics. (shrink)

The author, who received his doctorate from Syracuse University and is head of the department of philosophy at Western Kentucky University, offers in this study "an interpretation of Augustine's doctrine of illumination that is significantly different from the ones proposed by scholars who belong to the Thomist tradition." Before addressing himself to the doctrine of illumination, he devotes more than half of the book to an overview of Augustine's epistemology. In these preliminary chapters he discusses the structure of St. Augustine's (...) theory of knowledge, and then Augustine's ideas on skepticism and truth, faith, sensation, and cogitation. The doctrine and texts covered in these chapters will be familiar to anyone who has devoted much time to the study of Augustine's thought. However, the author's treatment is noteworthy for its clear and succinct style. The sixth chapter broaches the question of man's knowledge of the rationes aeternae. Negatively, Augustine explicitly rejected some explanations of how man's mind can know the forms in the divine mind. Positively, "Augustine's theory of illumination includes at least three major points: God is light and illumines all men to different degrees; There are intelligible truths, the rationes aeternae, which God illumines; and the mind of man can know the divine truths only as God illumines him." The final two chapters are devoted to four interpretative theories of Augustine's notion of illumination. Three of these theories Dr. Nash rejects: that of St. Thomas which identifies the divine light and the agent intellect; the Franciscan theory which attributes the function of the agent intellect to God; the Formal approach, ascribed to Gilson and Copleston among others, which maintains that "the function of illumination... is not to give the human mind some definite content but simply to convey the quality of certainty and necessity to certain ideas." Arguing that all these theories are inadequate, the author then presents his own interpretation, a modified ontologism, which he feels provides a solution to the key paradoxes in Augustine's theory of illumination. Although one wishes that the author had discussed more fully man's knowledge of God, and although there may be need for a more careful scrutiny of Augustine's use of cogitatio, this book is to be recommended as a lucid discussion of a difficult subject. The index and notes are helpful, and the book well made.--H. F. (shrink)

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose (...) an account of logic and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

This thesis develops a deeper understanding of and provides an answer to the paradox of deontology. Traditional deontological views include deontic constraints that prohibit us from harming innocent people even to prevent greater harms of the same type. Although constraints correspond to widely shared moral intuitions, they seem to make traditional deontology unavoidably paradoxical: for how can it ever be morally wrong to minimise morally objectionable harm? The thesis argues that previous attempts to solve this paradox have been (...) insufficient because they have failed to distinguish clearly between two distinct puzzles that together constitute the paradox. The first puzzle—the rationality paradox—says that if we think that we should not harm others in a certain way, it is rational by default to think that we should minimise the occurrences of that kind of harm overall. Thus, to answer the rationality paradox the deontologist must justify constraints by reference to some value that cannot be furthered by minimising the occurrences of harm. However, this will make her vulnerable to a second puzzle—the value paradox—which says that in the face of the severe harm that awaits the greater number of individuals, it seems morally inappropriate to be concerned with anything other than the minimisation of the occurrences of that kind of harm overall. The thesis develops a comprehensive approach that can address both these paradoxes. The hyperinviolability account developed in this thesis shows that traditional deontology ceases to appear paradoxical once we understand it as an agent-neutral moral theory that gives priority to our moral standing over the moral significance of what might happen to us. (shrink)

This chapter contains sections titled: Plato's Theory Convention T Tarski's Theory of Truth The Liar Paradox Disquotation and Correspondence.

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is true. The (...) validity predicate so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (shrink)

Theories of Truth provides a clear, critical introduction to one of the most difficult areas of philosophy. It surveys all of the major philosophical theories of truth, presenting the crux of the issues involved at a level accessible to nonexperts yet in a manner sufficiently detailed and original to be of value to professional scholars. Kirkham's systematic treatment and meticulous explanations of terminology ensure that readers will come away from this book with a comprehensive general understanding of one (...) of philosophy's thorniest set of topics. -/- Included are discussions of the correspondence, coherence, pragmatic, semantic, performative, redundancy, appraisal, and truth-as-justification theories. There are also chapters or sections of chapters on the liar paradox, three-valued logic, Field's critique of Tarski, Davidson's program, Dummett's theory of linguistic competence, satisfaction, recursion, the extension/intension distinction, and an explanation of how theories of justification, properly understood, differ from theories of truth. -/- A persistent theme is that philosophers have too often failed to recognize that not all theories of truth are intended to answer the same question. When the various questions are made distinct, it is apparent that many of the "debates" in this field are really cases of philosophers talking past one another. There is much less disagreement within the field than has commonly been thought. (shrink)

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is true. The (...) validity predicate so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (shrink)

Philosophers are interested in a constellation of issues involving the concept of truth. A preliminary issue, although somewhat subsidiary, is to decide what sorts of things can be true. Is truth a property of sentences (which are linguistic entities in some language or other), or is truth a property of propositions (nonlinguistic, abstract and timeless entities)? The principal issue is: What is truth? It is the problem of being clear about what you are saying when you (...) say some claim or other is true. The most important theories of truth are the Correspondence Theory, the Semantic Theory, the Deflationary Theory, the Coherence Theory, and the Pragmatic Theory. They are explained and compared here. Whichever theory of truth is advanced to settle the principal issue, there are a number of additional issues to be addressed: i. Can claims about the future be true now? ii. Can there be some algorithm for finding truth – some recipe or procedure for deciding, for any claim in the system of, say, arithmetic, whether the claim is true? iii. Can the predicate “is true” be completely defined in other terms so that it can be eliminated, without loss of meaning, from any context in which it occurs? iv. To what extent do theories of truth avoid paradox? v. Is the goal of scientific research to achieve truth? Table of Contents.. (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)

In lieu of an abstract, here is a brief excerpt of the content:uippraisals from the 'Past THE CLEAREST INTELLECT OF OUR AGEl H UGH MACLENNAN 19°7-199° R cently I have been rereading Bertrand Russell, and in so doing I suddenly realized that lowe to this man a good deal of such happiness as I enjoy. Over the years I had forgotten how great my debt was, but when I reread one of his books which I first read as a (...) student, I understood the extent to which he had liberated me from the psychological sadism of Calvin and Knox, to whom I had been unduly exposed when young. It is probably impossible for anyone entirely to escape once these two have got their hands around his throat, but Russell enabled me to escape a litde. 1 [This essay was recently discovered during the cataloguing for BRACERS of an obscure class of correspondence. Mr. Joseph w. Devine had sent Russell a clipping of the essay's appearance in' the Philadelphia Sunday But/etin, of 15 July 1962. I had long thought, from reading Elspeth Cameron's Hugh MacLennan: a Writers Life (1981), that he showed signs not only of having been influenced by Russell but of being the sOrt of person who is attracted to Russell's way of thinking. A promising tide in the same scholar's bibliography ofMacLennan turned out to be a fuller version of the clipping. "The Clearest Intellect of Our Age" is reprinted from The Montreal Star, 14 July 1962, "Entertainments" sec., p. 5. Russell did influence MacLennan. Neither the Russell Archives nor the inventory of the Maclennan papers at the Universiry of Calgary reveals personal contact berween the rwo. I wish I had asked MacLennan about contacts and influence seventeen years ago, when I sent him an early issue of Russell He commented: ''1 found your journal fascinating and never before had read that beautiful thing Russell wrote in his early days with Whitehead:" He is referring to the essay on the status of women in No.6, now in Papers 12.-Ed.] russell: the Journal ofthe Benrand Russell Archives McMaster Unive..ity Libraty Press noS. 11 (summer 1991): 83-5 ISSN 00,6-01631 84 HUGH MACLENNAN I suppose he really is the greatest man alive, in the sense that his teaching grows and his teaching is good, but it is pointless to argue the point between him and Churchill. It is wonderful, however, that many think he is our greatest man and that he has become an international hero to millions of the thoughtful youth. He must be the first pure logician who ever was that. Until he took his stand against nuclear war, he never appealed to the passions. He lacked the aggressions which youth admires. He never said: "Come live with me and I will be your master"; or, "Follow me and I will purge you of your sins." He had no use for self-sacrifice as such. He simply said, in effect: "Happiness is good. If you desire it, you must be reasonable." As he was intelligent enough to know that anyone who teaches that happiness is good, and teaches how to achieve it, is sute to be considered subversive to a Christian-commercial society, he bore no personal resentment when society persecuted him. The young know, of course, that Russell is now assumed by the experts to be the most important philosopher since Hume, but that is not why they love him. They love him for the sublime civilization of his courage, for his refusal to let an intensely kind nature blunt his respect for truth. They love him because he loves life even in the twentieth century; and they love him most of all because he is engage. And of course they also love the wit which refuses to be made tongue-tied by those who insist that whenever one speaks of sex or religion one must be solemn. Russell's wit is worth the study of any writer. It is based on mathematics, and Russell would agree, I think, with the remark Camillien Houde once made to me when I asked the famous mayor of Montreal how he was always able to make people laugh. Houde replied... (shrink)

The question of truth is perhaps a perennial question of philosophy. Is truth “merely” epistemological, a function of contingent human practices and conventions, or should we adopt a stonger, metaphysical conception of truth along realist lines, understood as correspondence with objectively existing reality? In this paper I examine a famous debate in the analytic philosophy of language that hinges on the status of truth – specifically, the challenge to traditional or metaphysical realism posed by Hilary (...) Putnam’s model-theoretic argument and the “paradox” that David Lewis derived from it. In the end, I will argue that metaphysical realism is a theoretically excessive position with regards to truth, and that a pragmatic or epistemological understanding of realism is, in Putnam’s words, “all the realism we want or need.”. (shrink)

In line with the Principle of Uniform Solution, Graham Priest has challenged advocates like myself of the “multiple-meanings” solution to the paradoxes of truth and knowledge, due to the medieval logician Thomas Bradwardine, to extend this account to a similar solution to the paradoxes of denotation, such as Berry’s, König’s and Richard’s. I here rise to this challenge by showing how to adapt Bradwardine’s principles of truth and signification for propositions to corresponding principles of denotation and signification for (...) descriptive phrases, applying them to give a “multiple-meanings” solution to the denotational paradoxes. (shrink)

We show that various paradoxes can arise in a natural class of social networks. They demonstrate that more services or products may have adverse consequences for all members of the network and conversely that restricting the number of choices may be beneficial for every member of the network. These phenomena have been confirmed by a number of empirical studies. In our analysis we use a simple threshold model of social networks introduced in Apt and Markakis, and more fully in Apt (...) and Markakis. In this model the agents, influenced by their neighbours, can adopt one out of several alternatives. We identify and analyze here four types of paradoxes that can arise in these networks. These paradoxes shed light on possible inefficiencies arising when one modifies the sets of products available to the agents forming a social network or the network structure. One of the paradoxes corresponds to the well-known Braess paradox in congestion games and shows that by adding more choices to a node, the network may end up in a situation that is worse for everybody. We exhibit a dual version of this, according to which removing a product available to an agent can eventually make everybody better off. The other paradoxes that we identify show that by adding or removing a product from the choice set of an agent may lead to permanent instability. Finally, we also identify conditions under which some of these paradoxes cannot arise. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual (...) semantic connection of sentences, above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

Poe’s influence on the Symbolists has been traced on many occasions, though not in detail. The classical study in English is Eliot’s “From Poe to Valéry,” a Library of Congress lecture delivered three years after Valéry’s death.2 Eliot defines Poe as irresponsible and immature—irresponsible in style, immature in vision. He had, Eliot comments, “the intellect of a highly gifted young person before puberty”; “all of his ideas seem to be entertained rather than believed” . How, then, we ask, did (...) he hoax the sophisticated French? Although Eliot raises the issue of their relative ignorance of English, he prudently does not make much of it: after all, we know that Baudelaire spent seventeen years on the tales, Mallarmé still longer on the poems—thirty years for the definitive text; while Valéry, to whom Baudelaire and Mallarmé left little to translate, managed a version of the Marginalia. Each might have said, as Mallarmé did in 1885, that he had learned English for one sole reason: “to read Poe better.”3 In the matter of linguistic competence, then, Eliot is content to remark that the French poets “were not disturbed by weaknesses of which we are very much aware” . He underlines, however, that Poe showed different facets of himself to each of his readers who adopted him in various ways: Baudelaire focused on the Poète maudit, Mallarmé on the prosodist, and Valéry on the theoretician in whom he discovered “a method and an occupation—that of observing himself write” . So Poe had a diverse effect, which Eliot accepts more readily in respect of Baudelaire and Mallarmé than he does of Valéry. To explain this last case which intrigues him especially, he introduces a paradox: “with Poe and Valéry, extremes meet,” he writes, “the immature mind playing with ideas because it had not developed to the point of convictions, and the very adult mind playing with ideas because it was too skeptical to hold convictions” .Thus Eliot damns Poe with faint praise. The distance between cause and effect, master and disciples is so vast that it can only be thought the product of monstrous error. And yet “from Poet to Valéry” and the complementary studies in English or French of the past thirty-five years neglect some deeper factors that drew the Symbolists. Misreadings there were no doubt since such are in the nature of things, but these authors were sensitive to currents that others overlooked. They attempted to go to first principles, not only because Poe was “ce poète incomparable, ce philosophe non refute” 4 and, therefore, worthy of scrutiny, but because they held him to be vital to their future thought. In a period of great social and aesthetic change they found a figure of radical independence—classicist, visionary, logician supreme—whom they explained by convergent tropes of daemonic power. In this regard the newly published correspondence of Mallarmé and the massive Valéry notebooks have added to our knowledge. I would like, then, to consider the nature of Poe’s action, this submerged dialogue in time and successive rewriting by which—“à l’égal de nos maître les plus chers ou vénérés,” as Mallarmé put it5—he entered the mainstream of French poetry. 2. The lecture was later published in Hudson Review 2 : 335; all further references to this work, abbreviated “FPV,” will be included in the text.3. Mallarmé, “Autobiographie,” Oeuvres completes, p. 662.4. Baudelaire, “Le Poème du hachisch,” Oeuvres complètes, 1:427.5. Mallarmé, “Scolies,” Oeuvres completes, p. 223. James Lawler, Edward arson Waller Distinguished Service Professor of French at the University of Chicago, has written extensively on nineteenth- and twentieth-century French poetry. Among his books are Lecture de Valéry, The Language of French Symbolism, The Poet as Analyst, and René Char: The Myth and the Poem. He is currently completing a study of Buadelaire’s Les Fleurs du mal. (shrink)

There are several conceptions of truth, such as the classical correspondence conception, the coherence conception and the pragmatic conception. The classical correspondence conception, or Aristotelian conception, received a mathematical treatment in the hands of Tarski (cf. Tarski [1935] and [1944]), which was the starting point of a great progress in logic and in mathematics. In effect, Tarski's semantic ideas, especially his semantic characterization of truth, have exerted a major influence on various disciplines, besides logic and mathematics; (...) for instance, linguistics, the philosophy of science, and the theory of knowledge. The importance of the Tarskian investigations derives, among other things, from the fact that they constitute a mathematical, formal mark to serve as a reference for the philosophical (informal) conceptions of truth. Today the philosopher knows that the classical conception can be developed and that it is free from paradoxes and other difficulties, if certain precautions are taken. We believe that is not an exaggeration if we assert that Tarski's theory should be considered as one of the greatest accomplishments of logic and mathematics of our time, an accomplishment which is also of extraordinary relevance to philosophy, as we have already remarked. In this paper we show that the pragmatic conception of truth, at least in one of its possible interpretations, has also a mathematical formulation, similar in spirit to that given by Tarski to the classical correspondence conception. (shrink)

Anti-realist epistemic conceptions of truth imply what is called the knowability principle: All truths are possibly known. The principle can be formalized in a bimodal propositional logic, with an alethic modality ${\diamondsuit}$ and an epistemic modality ${\mathcal{K}}$, by the axiom scheme ${A \supset \diamondsuit \mathcal{K} A}$. The use of classical logic and minimal assumptions about the two modalities lead to the paradoxical conclusion that all truths are known, ${A \supset \mathcal{K} A}$. A Gentzen-style reconstruction of the Church–Fitch paradox (...) is presented following a labelled approach to sequent calculi. First, a cut-free system for classical bimodal logic is introduced as the logical basis for the Church–Fitch paradox and the relationships between ${\mathcal {K}}$ and ${\diamondsuit}$ are taken into account. Afterwards, by exploiting the structural properties of the system, in particular cut elimination, the semantic frame conditions that correspond to KP are determined and added in the form of a block of nonlogical inference rules. Within this new system for classical and intuitionistic “knowability logic”, it is possible to give a satisfactory cut-free reconstruction of the Church–Fitch derivation and to confirm that OP is only classically derivable, but neither intuitionistically derivable nor intuitionistically admissible. Finally, it is shown that in classical knowability logic, the Church–Fitch derivation is nothing else but a fallacy and does not represent a real threat for anti-realism. (shrink)

Spinoza’s claims about true ideas are central to the Treatise on the Emendation of the Intellect. It is therefore worth trying to reconstruct what he means when he says that an idea is true. I argue that the three leading interpretations – correspondence, coherence, and causal – don’t explain key passages. I then propose a new interpretation. Roughly, I propose that an idea is true if and only if it represents an essence and was derived in the right (...) kind of way by the intellect from an innate idea of one’s own essence. In the final section I sketch why I believe this interpretation extends to his claims about truth and adequacy in the Ethics. (shrink)

The aim of the present paper is to introduce a system, where the epistemic state of an agent is represented truth-functionally. In order to obtain this system, we propose a four-valued logic, that we call the logic of rational agent, where the fact of knowing something is formalized at the level of valuations, without the explicit use of epistemic knowledge operator. On the basis of this semantics, a sound and complete system with two distinct truth-functional negations (...) is provided. These negations allow us to express the statements about knowing or not knowing something at the syntactic level. Moreover, such a system is applied to the analysis of knowability paradox. In particular, we show that the paradox is not derivable in terms of the logic of rational agent. (shrink)

Wuwei (nonaction) is one of the core concepts of Daoist ethics. Edward Slingerland pointed out that wuwei involves a paradox, and Arthur C. Danto questioned whether wuwei could support a genuine moral theory and the idea of right action. To defend Daoist ethics and its concept of right action, it is necessary to envisage Danto’s criticism and the problems raised by Slingerland. According to Ivanhoe, Wuwei is not a paradox, but a riddle or mystery about self-cultivation. He thinks (...) that if people could find the trick to the riddle, they can realize Wuwei. Ivanhoe’s analysis failed. Nickolas Knightly argues that we must acknowledge the paradox of Wuwei squarely. Based on criticizing Ivanhoe’s and Knightly’s schemes, this paper further analyzes the strategies to deal with the paradox of Wuwei. Wuwei should be placed in a specific situation and context. Wuwei requires the agents to have the corresponding psychological motivation, which will not continuously interfere with the purpose of action. Wuwei, as the behavior evaluation word of Daoist ethics, corresponds to moral anti-realism and nonassertive moral abolitionism. (shrink)

In a number of influential articles published since 1972, Dorothy Grover has developed the prosentential theory of truth. Brought together and published with a new introduction, these essays are even more impressive as a group than they were as single contributions to philosophy and linguistics. Denying that truth has an explanatory role, the prosentential theory does not address traditional truth issues like belief, meaning, and justification. Instead, it focuses on the grammatical role of the truth predicate (...) and asserts that “it is true” is a prosentence, functioning much as a pronoun does. Grover defends the theory by indicating how it can handle notorious paradoxes like the Liar, as well as by analyzing some English truth-usages. The introduction to the volume surveys traditional theories of truth, including correspondence, pragmatic, and coherence theories. It discusses the essays to come and, finally, considers the implications of the prosentential theory for other theories. Despite the fact that the prosentential theory dismisses the “nature of truth” as a red herring, Grover shows that there are important aspects of traditional truth theories that prosentential theorists have the option of endorsing. (shrink)

Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled (...) in’ elements of truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

Expressing a widely-held view, David Hitchcock claims that "an enthymematic argument ... assumes at least the truth of the argument's associated conditional ... whose antecedent is the conjunction of the argument's explicit premises and whose consequent is the argument's conclusion." But even definitionally, this view is problematic, since an argument's being "enthymematic" or incomplete with respect to its explicit premises means that the conclusion is not implied by these premises alone. The paper attempts to specify the ways in which (...) the view is incorrect, as well as seemingly correct (e.g., the case of a Modus Ponens wherein the major premise is implicit). -/- . (shrink)

This is a collection of eighteen solicited papers on the topics of the title: circularity, definition, and truth. The papers are loosely connected in subject matter, but present a great variety of issues, theories, and approaches. Amongst the many subjects discussed are: the revision theory of truth and applications of revision rules, partiality and fixed point constructions, substitutional quantification, fuzzy logic, negation, belief revision, context dependence, hierarchies, Tarski on truth, deflationism, correspondence theories of truth, and (...) normative aspects of truth. The Liar paradox figures prominently in this collection, but is not alone. Other familiar paradoxes are also discussed, including paradoxes of definability, the Sorites paradox, and the Surprise Exam paradox. So-called paradoxes of rationality, such as the Prisoner’s Dilemma, receive attention as well. (shrink)

On the basis of elementary thinking about language functioning, a solution of truth paradoxes is given and a corresponding semantics of a truth predicate is founded. It is shown that it is precisely the two-valued description of the maximal intrinsic fixed point of the strong Kleene three-valued semantics.

I offer an account of truth that combines elements of deflationism and traditional correspondence theories. We need such an intermediary account, I argue, in order to adequately answer two kinds of questions: "Why do we find it obvious that 'p' is true iff p?" and "Why is it contingent that 'p' is true iff p?" If what it is for 'p' to be true is explained by simply saying that p, as the deflationist claims, it is hard to (...) see how it could be contingent that 'p' is true iff p. But if it is claimed instead that what it is for a sentence to be true is for it to correspond to a fact, we still need some explanation of why 'p's correspondence with reality insure that p, and vice versa. What we need, I claim, is to recognize a structure to truth: truth for sentences, utterances, and other non-propositional entities depends on, and is analyzable in terms of, the expression of true propositions. Propositional truth can then be treated as insubstantial, as deflationary, and truth for other entities as substantial, consisting of correspondence to a fact . ;This account of truth, which I call Weak Deflationism, anchors the dissertation. In an introductory chapter, I give a partial defense of realism about propositions and properties, later defending Platonism against attacks by David Lewis. After formulating Weak Deflationism, I examine its implications for such matters as the "absurd comparison" objection, the truthmaker project in ontology, and non-factualist theories in metaethics. In a final chapter, I provide a Kripke-inspired modification of Weak Deflationism aimed to avoid liar-like paradox. Premised on a distinction between propositions that predicatively involve truth, i.e., truth-dependent propositions, and those that do not, truth-independent propositions, I argue that truth for the latter is deflationary and that truth for the former consists in being determined by the totality of truth-independent fact. Falsity is understood as truth of the negation. Liars are then counted neither true nor false, and paradox is averted. (shrink)

Aristotle holds that rational agents can think true thoughts about their practical ends. Specifically, we can think true thoughts about whether our ends are good and able to be brought about in action. But what makes these thoughts true? What sort of thing is a practical end, such that it both is good, and also may be brought about in the future? These questions are difficult to answer. They are metaphysical questions about Aristotle’s practical philosophy: they ask what practical ends (...) are, such that they can make true certain parts of our practical thinking. What is more, key claims in Aristotle’s account of rational agency seem to make it impossible for thoughts about our practical ends to ever, in fact, be true. Given the ways in which we think about our ends, there seems to be nothing in the world to which these thoughts truthfully correspond. In this paper, I identify and solve two puzzles for Aristotle’s claim that we can think true thoughts about our practical ends. These puzzles have not been discussed in recent literature, but they have potentially wide-reaching consequences for Aristotle’s account of rational agency and motivation. My solution offers a novel account of the metaphysics of practical ends, which explains how these ends can be truth-makers for our thoughts about them. I argue that we should understand practical ends on the model of first actualities, which are also second potentialities. The idea that some actualities are also potentialities is a complicated one, but as I hope to show, it yields a straightforward and illuminating conception of practical ends. It also adds a crucial metaphysical component to Aristotle’s account of rational agency, one which shows how this account is internally consistent. (shrink)

The concept of truth is now a major research subject in analytic philosophy. At the same time, working in different areas, mathematical logicians have developed sophisticated theories of truth and its formal paradoxes. Recent developments of semantical paradoxes in logical theories are highly relevant for philosophical research on the notion of truth. And conversely, philosophical guidance is necessary for the development of logical theories of truth and the paradoxes. From this perspective, this volume intends to reflect (...) and promote deeper interaction and collaboration between philosophers and logicians investigating the concept of truth than has existed so far. In addition to an extended introductory overview of recent work in the theory of truth, the volume includes articles by leading philosophers and logicians on subjects and debates that interface logical and philosophical theories of truth. The volume is intended for graduate students in philosophy and in logic who want an introduction to contemporary research in this area, as well as for professional philosophers and logicians. Topics covered include a defense of minimalism, metaworlds, the role of correspondence theory, and truth, provability and its criteria. The volume includes contributions by John P. Burgess, Paul Horwich, and Michael Sheard. The contributors are united in their belief that at present the connections between truth and intentional notions are poorly understood, and the entire area is in an unsatisfactory state. Controversy abounds: Is truth a logical-mathematic concept or a properly philosophical one? Does truth pertain to temporal events or possible worlds? Axiomatic theories do not seem to possess the naturalness and elegance intentional notions of truth. The editors intend this volume to offer semantical guidance to those who would construct interesting axiomatic systems concerning intentional notions. Volker Halbach is on the faculty of philosophy of the Universitt Konstanz in Germany. He has contributed articles for Mind, Notre Dame Journal of Formal Logic, Journal of Symbolic Logic, Synthese, and other leading publications in philosophy. Leon Horsten is in the Department of Philosophy, University of Leuven. His work on the subject of this book has appeared in the Journal of Philosophical Logic. (shrink)

Anti-exceptionalism about logic states that logical theories have no special epistemological status. Such theories are continuous with scientific theories. Contemporary anti-exceptionalists include the semantic paradoxes as a part of the elements to accept a logical theory. Exploring the Buenos Aires Plan, the recent development of the metainferential hierarchy of ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-logics shows that there are multiple options to deal with such paradoxes. There is a whole ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-based hierarchy, of which LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document} and ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} themselves are only the first steps. This means that the logics in this hierarchy are also options to analyze the inferential patterns allowed in a language that contains its own truth predicate. This paper explores these responses analyzing some reasons to go beyond the first steps. We show that LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document}, ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} and the logics of the ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-hierarchy offer different diagnoses for the same evidence: the inferences and metainferences the agents endorse in the presence of the truth-predicate. But even if the data are not enough to adopt one of these logics, there are other elements to evaluate the revision of classical logic. Which is the best explanation for the logical principles to deal with semantic paradoxes? How close should we be to classical logic? And mainly, how could a logic obey the validities it contains? From an anti-exceptionalist perspective, we argue that ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-metainferential logics in general—and STTω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {STT}}_{\omega }$$\end{document} in particular—are the best available options to explain the inferential principles involved with the notion of truth. (shrink)

The so-called knowability paradox results from Fitch's argument that if there are any unknown truths, then there are unknowable truths. This threatens recent versions of semantical antirealism, the central thesis of which is that truth is epistemic. When this is taken to mean that all truths are knowable, antirealism is thus committed to the conclusion that no truths are unknown. The correct antirealistic response to the paradox should be to deny that the fundamental thesis of the epistemic (...) nature of truth entails the knowability of all truths. Correctly understood, the antirealistic conditions on a proposition's truth do not require that the proposition possess a verification-procedure which, when executed under the given conditions, issues in an agent's recognition of truth, but merely that there be a verification-procedure which, under these conditions, takes the value true . The knowability paradox and the related idealism problem (that antirealism seems, but is not, committed to the necessary existence of an epistemic agent) draw attention to the fact that certain propositions, those that are about verification-procedures themselves, may under certain conditions take the value true despite their unperformability under these circumstances. Thus these propositions' procedures can only be performed when the propositions are false, and they gain the appearance of antirealistic impossibility (e.g., that there is an unknown truth). This differs from the unperformability that antirealists object to, pertaining merely to matters of execution rather than to the logical structure of the procedures themselves. The force of antirealism's notion of epistemic truth is piecemeal, rather than consisting in a blanket characterization of truth as knowable. (shrink)

This paper provides a new solution to the epistemic paradox of belief-instability, a problem of rational choice which has recently received considerable attention (versions of the problem have been discussed by — among others — Tyler Burge, Earl Conee, and Roy Sorensen). The problem involves an ideally rational agent who has good reason to believe the truth of something of the form:[Ap] p if and only if it is not the case that I accept or believe p.