The article is about one of the vital problem for analytic philosophy which is how to define truth value for sentences which include their own truth predicate. The aim of the article is to determine Saul Kripke’s approach to widen epistemological truth to create a systemic model of truth. Despite a lot of work on the subject, the theme of truth is no less relevant to modern philosophy. With the help of S. Kripke’s article (...) “Outline of the Theory of Truth” and R. L. Kirkham’s work “Theories of Truth: A Critical Introduction” the author tried to represent a non-classical approach which is now known as Saul Kripke’s truth value gaps theory. Considering his solving of the Liar Paradox, as well as the Strenghened Liar, it is obvious that there could be the circumstances (or facts) that make sentences have no truth value. In that case the solving of the paradox attracts Kleene’s non-classical three-valued logic which contains the third way and the solution falls into the gap between truth and falsity. Hence there are no relevant and full satisfactory ways to solve the Liar’s Paradox by the language-levels ap- proach. The task consists in an extension of the approach to natural languages and elimination of an ad hoc element as well. Besides that, the language-levels approach refers to the speaker that means that only the last one is allowed to define the hierarchy of the levels and truth value of sentence, but often he does not know what level he is speaking of. As Kripke stated, contingent facts can lead to a paradox which isn’t allowed for a logical point of view. However usage of mathematical apparatus allows the theory in question to be universalized and moreover paves the way to futher epistemological develop- ment of the problem in question. As Kripke’s theory is formalized and presented as a functional series, it gives access to a system model of truth whose elements would be epistemological theories (concepts) of truth. Such a model, for instance, confirms the validity of the deflationary concept of truth. Refs 7. (shrink)

In Philosophical Logic, the Liar Paradox has been used to motivate the introduction of both truth value gaps and truth value gluts. Moreover, in the light of “revenge Liar” arguments, also higher-order combinations of generalized truth values have been suggested to account for so-called hyper-contradictions. In the present paper, Graham Priest's treatment of generalized truth values is scrutinized and compared with another strategy of generalizing the set of classical truth values and defining an (...) entailment relation on the resulting sets of higher-order values. This method is based on the concept of a multilattice. If the method is applied to the set of truth values of Belnap's “useful four-valued logic”, one obtains a trilattice, and, more generally, structures here called Belnap-trilattices. As in Priest's case, it is shown that the generalized truth values motivated by hyper-contradictions have no effect on the logic. Whereas Priest's construction in terms of designated truth values always results in his Logic of Paradox, the present construction in terms of truth and falsity orderings always results in First Degree Entailment. However, it is observed that applying the multilattice-approach to Priest's initial set of truth values leads to an interesting algebraic structure of a “bi-and-a-half” lattice which determines seven-valued logics different from Priest's Logic of Paradox. (shrink)

The fact that a group of axioms use the word 'true' does not guarantee that that group of axioms yields a theory of truth. For Davidson the derivability of certain biconditionals from the axioms is what guarantees this. We argue that the test does not work. In particular, we argue that if the object language has truth-value gaps, the result of applying Davidson''s definition of a theory of truth is that no correct theory of truth (...) for the language is possible. (shrink)

Central to any form of Deflationism concerning truth (hereafter ‘DT’) is the claim that truth has no substantial theoretical role to play. For this reason, DT faces the following immediate challenge: if truth can play no substantial theoretical role then how can we model various prevalent kinds of indeterminacy—such as the indeterminacy exhibited by vague predicates, future contingents, liar sentences, truth-teller sentences, incomplete stipulations, cases of presupposition failure, and such-like? It is too hasty to assume that (...) these phenomena are all to be modelled via some epistemic conception of indeterminacy whereby indeterminacy is just some special species of ignorance which arises because of our limited powers of discrimination. Some non-epistemic model is called for—at least for certain species of indeterminacy. On what is perhaps the most enduring and popular non-epistemic model, indeterminacy gives rise to truth-value gaps. But is DT compatible with the possibility of truth-value gaps? Compatibilism says Yes; Incompatibilism says No. The broad goal of this paper is to defend a form of Incompatibilism. If DT is to make sense of various kinds of indeterminacy then truth-value gaps cannot be invoked to do so. The particular goals of this paper are: (i) To set forth a new form of Compatibilism which can address an argument against truth-value gaps given by Williamson (1994, pp. 187-192). (ii) To offer a new argument against truth-value gaps using principles entailed by DT, thereby undermining Compatibilism. (shrink)

Antirealism about the past is apparently in conflict with our acceptance of a set of systematic linkages between the truth-values of differently tensed sentences made at different times. Arguments based on acceptance of these so-called truth-value links seem to show that fully accounting for our use of the past and future tenses will involve use of a notion of truth which is not epistemically constrained and is thus antirealistically unacceptable. I elaborate these difficulties through an examination (...) of work by Dummett and Wright. I agree with Wright's rejection of Dummett's proposal but go on to argue that Wright's account fares no better. Building on what I take to be the failure of Wright's account, I offer a solution for the antirealist which diagnoses the problem as stemming from an equivocation in the meanings assigned to the tensed truth predicates. I close by raising a different problem for antirealist accounts of the past, one which is, however, related to more general difficulties for antirealist theories of meaning. (shrink)

As well as drawing sceptical conclusions, Nietzsche rejects the concept of absolute or metaphysical truth as unintelligible. Nietzsche's views are elucidated by contrasting his arguments with alternative accounts of ‘objective reality’ belonging to the philosophical canon. It ensues that Nietzsche espouses a variety of anti‐metaphysics premised on the mutual determination of reality and interest. He believes that objective reality cannot be conceived without volitional and intentional agency on the part of subjects who experience themselves as acted upon by the (...) contents of their representations. Having elaborated and explained the prominence of Nietzsche's denial of metaphysical fact, the discussion turns to the origin and significance of the desire for metaphysical truth. In identifying the embracing of metaphysical truth for its own sake with the ascetic ideal, Nietzsche intends to contrast practical engagement with the world with a preference for evaluation divorced from the subject's actual experiences and desires. Belief in objective value and ‘the will to truth’ are subsumed under a general psychological disposition designated ‘the ascetic ideal’, characterized by self‐deception or ressentiment. (shrink)

We discuss Sengupta's argumentation according to which Frege was wrong identifying reference with truth-value.After stating various possible interpretations of Frege's principle of substitution, we show that there is no coherent interpretation under which Sengupta's argumentation is valid.Finally we try to show how Frege's distinction can work in the context of modern mathematics and how modern logic grasps it.

Yli-Vakkuri offers a deductive argument for Content Externalism that primarily appeals to two main principles he says should be adopted by all parties to the debate. Sawyer criticizes this argument on the grounds that there are internalist theories that are not consistent with the two principles he offers, although she takes no issue with the derivation itself. While Sawyer’s critique is insightful and largely correct, there is a more fundamental problem with the original argument. The formal proof given in the (...) original paper begs the question. The informal argument is enthymematic, and all the possible valid reconstructions require assumptions that can be legitimately rejected by content internalists. This is significant to point out as someone might think that the internalist views that Sawyer says are not consistent with the two principles that drive Yli-Vakkuri’s argument can be successfully challenged and thereby the original argument defended. (shrink)

Reviews the book, Genes, genesis, and God: Values and their origins in natural and human history by Holmes Rolston III . Drawn from a series of lectures given by the author in November of 1997 at the University of Edinburgh as part of the Gifford Lectures, this book addresses the question of whether the supremely social and human phenomena of religion and ethics can be ultimately reduced to the phenomena of biology. Challenging much of what passes for unassailable truth (...) in sociobiological and similar natural science circles, Rolston argues that religion, ethics, and science—as emergent phenomena in human culture—are not only crowning and distinctive achievements in human cultural history but that it is impossible to adequately conceive of them as having resulted from simple evolutionary or biological processes. To this end, the author argues that genetic and evolutionary processes are anything but blind, selfish, and contingent. Indeed, Rolston cogently argues that not only are our sciences of nature not value free, but nature itself is laden with values. 2012 APA, all rights reserved). (shrink)

The notion of more truth, or of more truth and less falsehood, is central to epistemology. Yet, I argue, we have no idea what this consists in, as the most natural or obvious thing to say—that more truth is a matter of a greater number of truths, and less falsehood is a matter of a lesser number of falsehoods—is ultimately implausible. The issue is important not merely because the notion of more truth and less falsehood is (...) central to epistemology, but because an implicit, false picture of what this consists in underpins and gives shape to much contemporary epistemology. (shrink)

We are naturally inclined to judge that it is better to know that p than to merely truly believe that p. How to account for this intuition? In this paper, I examine Williamson, Goldman and Olsson, and Pritchard's answers, and agree with Pritchard that it cannot be consistently claimed that knowledge is epistemically superior to mere true belief, and that truth is the only finally valuable epistemic good. Contrary to Pritchard, I argue that the latter claim is deeply mistaken. (...) I do so by showing that mere true beliefs have no epistemic value at all. I sketch the consequences of this point concerning the epistemic value of knowledge, and answer some objections to the thesis that mere true beliefs do not possess epistemic value. (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)

On an evidentialist position, it is epistemically rational for us to believe propositions that are (stably) supported by our total evidence. We are epistemically permitted to believe such propositions, and perhaps even ought to do so. Epistemic rationality is normative. One popular way to explain the normativity appeals to epistemic teleology. The primary aim of this paper is to argue that appeals to epistemic teleology do not support that we ought to believe what is rational to believe, only that we (...) are permitted to do so. In arguing for that, I defend an epistemic teleological position that is radical in nature. It involves no commitment to aiming at the truth. I conclude by dispelling some worries that have been raised about my position. (shrink)

Łukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Łukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Łukasiewicz algebra by using a “truth-preserving” scheme. This deductive system is algebraizable, non-selfextensional and does not satisfy the deduction theorem. In addition, there exists no Gentzen calculus (...) fully adequate for it. Another presentation of the same deductive system can be obtained from a substructural Gentzen calculus. In this paper we use the framework of abstract algebraic logic to study a different deductive system which uses the aforementioned algebra under a scheme of “preservation of degrees of truth”. We characterize the resulting deductive system in a natural way by using the lattice filters of Wajsberg algebras, and also by using a structural Gentzen calculus, which is shown to be fully adequate for it. This logic is an interesting example for the general theory: it is selfextensional, non-protoalgebraic, and satisfies a “graded” deduction theorem. Moreover, the Gentzen system is algebraizable. The first deductive system mentioned turns out to be the extension of the second by the rule of Modus Ponens. (shrink)

We introduce and analyze a new axiomatic theory $\mathsf {CD}$ of truth. The primitive truth predicate can be applied to sentences containing the truth predicate. The theory is thoroughly classical in the sense that $\mathsf {CD}$ is not only formulated in classical logic, but that the axiomatized notion of truth itself is classical: The truth predicate commutes with all quantifiers and connectives, and thus the theory proves that there are no truth value gaps (...) or gluts. To avoid inconsistency, the instances of the T-schema are restricted to determinate sentences. Determinateness is introduced as a further primitive predicate and axiomatized. The semantics and proof theory of $\mathsf {CD}$ are analyzed. (shrink)

This monograph examines truth in fiction by applying the techniques of a naturalized logic of human cognitive practices. The author structures his project around two focal questions. What would it take to write a book about truth in literary discourse with reasonable promise of getting it right? What would it take to write a book about truth in fiction as true to the facts of lived literary experience as objectivity allows? It is argued that the most semantically (...) distinctive feature of the sentences of fiction is that they are unambiguously true and false together. It is true that Sherlock Holmes lived at 221B Baker Street and also concurrently false that he did. A second distinctive feature of fiction is that the reader at large knows of this inconsistency and isn't in the least cognitively molested by it. Why, it is asked, would this be so? What would explain it? Two answers are developed. According to the no-contradiction thesis, the semantically tangled sentences of fiction are indeed logically inconsistent but not logically contradictory. According to the no-bother thesis, if the inconsistencies of fiction were contradictory, a properly contrived logic for the rational management of inconsistency would explain why readers at large are not thrown off cognitive stride by their embrace of those contradictions. As developed here, the account of fiction suggests the presence of an underlying three - or four-valued dialethic logic. The author shows this to be a mistaken impression. There are only two truth-values in his logic of fiction. The naturalized logic of Truth in Fiction jettisons some of the standard assumptions and analytical tools of contemporary philosophy, chiefly because the neurotypical linguistic and cognitive behaviour of humanity at large is at variance with them. Using the resources of a causal response epistemology in tandem with the naturalized logic, the theory produced here is data-driven, empirically sensitive, and open to a circumspect collaboration with the empirical sciences of language and cognition. (shrink)

During contractual negotiations, one party may lead the other into error, thus causing loss or damage. If misrepresentation is shown, the aggrieved party may therefore claim for damages or rescission. In the English law, it was for many years unclear whether a finding of misrepresentation required proof of deliberate, intentional fraud, or whether it could be analysed as a simple failure of consensus, in which case it would be sufficient to show negligence. According to the traditional rule, the misleading declaration (...) had to be factually false, and concern an existing state of affairs or a verifiable past event. However, expressions of personal opinion or of future intention can mislead, although they cannot sensibly be considered as true or false. Further, in practice, many literally true sentences are liable to give false impressions. Such statements may be ambiguous or only partly true. Like linguists and ethical philosophers, the judges are confronted with recursive problems of understanding and re-interpretation. Citations from a number of celebrated English cases are given to show that in spite of significant developments, no legal rules or principles can satisfactorily account for intuitions concerning intentional behaviour and morality. (shrink)

The mainstream view in the philosophy of language holds that every meaningful sentence has a truth-condition. This view, however, runs into difficulties with non-objective sentences such as sentences on matters of taste or value: these do not appear to be either true or false, but are generally taken to be meaningful. How can this conflict be resolved? -/- Truth Without Objectivity examines various ways of resolving this fundamental problem, before developing and defending its own original solution, a (...) relativist theory of truth. Standard solutions maintain either that in uttering non-objective sentences speakers make implicit reference to their own preferences and thus have unproblematic truth conditions, or that they have no truth conditions at all. Max Kölbel argues that both of these proposed solutions are inadequate, and that a third well-known position, minimalism, can only solve the problem if it is developed in the direction of relativism about truth. -/- Kölbel defends the idea that truth (as invoked in semantics) is a neutral notion: a sentence’s possessing a truth condition does not yet entail that it concerns an objective subject matter, because truth and objectivity are independent of one another. He argues that this notion of ‘truth without objectivity’ leads directly to relativism about truth, and goes on to defend one form of relativism against well-known objections. (shrink)

In this article I argue that the value of epistemic justification cannot be adequately explained as being instrumental to truth. I intend to show that false belief, which is no means to truth, can nevertheless still be of epistemic value. This in turn will make a good prima facie case that justification is valuable for its own sake. If this is right, we will have also found reason to think that truth value monism is (...) false: assuming that true belief does have value, there is more of final epistemic value than mere true belief. (shrink)

There are at least three well-known accounts of value and evaluations which assign a central role to emotions. There is first of all the emotivist view, according to which evaluations express or manifest emotional states or attitudes but have no truth values. Second is the dispositionalist view, according to which to possess a value or axiological property is to be capable of provoking or to be likely to provoke emotional responses in subjects characterised in certain ways. Third, (...) there is an epistemology of values that is sometimes invoked by the naïve realist. If the naïve realist is one for whom evaluations are made true by the possession by objects of monadic, mind-independent axiological properties, then one natural question is: What sort of cognitive access do we have to such properties? These value properties, the realist may say, are properties we come to know of by virtue of our emotions. Emotions, he may say, present value properties to us. One variant of this view is the claim that values are the "formal objects" of emotions. Closely related to these claims is the view that our emotions are appropriate to value properties, or not. Indignation and injustice, it is sometimes said, are related in one or more of these three ways. (shrink)

According to Armstrong (amongst others) ‘any truth, should depend for its truth for something “outside” it’ where this one-way dependency is explained in terms of the asymmetric relationship that obtains between a truth and its truth-maker. But there’s no need to appeal to truth-makers to make sense of this dependency. The truth of a proposition is essentially determined by the interlocking semantic mechanism of reference and satisfaction which already ensures that the truth-value (...) of a proposition depends on how things stand outside it. By contrast, how things stand outside of a proposition is determined by other worldly mechanisms that have nothing to do with truth. (shrink)

A semantics of vagueness should reject the principle that every statement has a truth-value yet retain the classical tautologies. A many-value, non-truth-functional semantics and a semantics of super-valuations each have this result. According to the super-valuation approach, 'if a man with n hairs on his head is bald, then a man with n plus one hairs on his head is also bald' is false because it comes out false no matter how the vague predicate 'is bald' (...) is appropriately made precise. But why should a sentence in which components actually remain imprecise be regarded as actually false just because it would be false if its components were precise? On one of the alternative treatments of quantification allowed by the many-value approach, the sentence in question is assigned an intermediate value closer to 'false' than to 'true'. Despite the elegance of the super-valuation approach, there are reasons to prefer the many-value approach. (shrink)

This article inserts Aldous Huxley's Brave New World into a bioethical conversation about the value of old age and old people. Exploring literary treatments of bioethical questions can supplement conversations within bioethics proper, helping to reveal our existing assumptions and clear the way for more considered views; indeed, as Peter Swirski has argued, literary texts can serve as thought experiments that illuminate the ramifications of philosophical ideas. This essay examines the novel's representation of a society without old people in (...) conjunction with ideas about aging and life narratives put forward by philosophers and bioethicists such as Ezekiel Emanuel, Gilbert Meilaender, and Alasdair MacIntyre. While critics, and Huxley himself, view the Brave New World as dystopian primarily because of its depiction of a totalitarian society where art, truth, and meaning are sacrificed to pleasure and distraction and where the ruled are programmed not to question the values of their rulers, the novel also makes clear that the excision of old age has significant political, moral, and emotional costs. (shrink)

In Cratylus 385 b-c Plato argues that if statements () can be true or false, names (),2 as parts () of statements, are also capable of being true or false. From Aristotle onwards this view has often been challenged,3 and R. Robinson put the case against it trenchantly when he wrote:4This argument is bad; for names have no truth-value, and the reason given for saying that they do is a fallacy of division. No one in the dialogue points (...) out that it is bad. … Nevertheless it is fairly probable that Plato saw or at least felt that it is a bad argument, quite different in quality from those he later produces against the nature-theory. (shrink)

A popular and enduring approach to the liar paradox takes the concept of truth to be inconsistent. Very roughly, truth is an inconsistent concept if the central principles of this concept (taken together) entail a contradiction, where one of these central principles is Tarski's T-schema for truth: a sentence S is true if and only if p, (where S says that p). This article targets a version of Inconsistentism which: retains classical logic and bivalence; takes the (...) class='Hi'>truth-predicate “is true” to pick out a property (and determine a non-empty extension relative to a given world); and holds that liar sentences exhibit a certain kind of indeterminacy in truth-value. Call such a view Modest Inconsistentism since it is somewhat more conservative in its outlook than various other forms of Inconsistentism. Such a modest view has its attractions: we retain the thesis that the liar sentence is meaningful; we get to respect the claims that there are truths and that there is a property of truth; we get to keep classical logic and bivalence; and, prima facie, no strengthened liar paradox is in the offing. The main aim in this paper is to show that Modest Inconsistentism, despite its initial attractions, is in deep trouble—because it does, after all, give rise to a strengthened liar paradox. We shall also see that there are related kinds of theory which are also subject to the same worry. (shrink)

We discuss misinformation about “the liar antinomy” with special reference to Tarski’s 1933 truth-definition paper [1]. Lies are speech-acts, not merely sentences or propositions. Roughly, lies are statements of propositions not believed by their speakers. Speakers who state their false beliefs are often not lying. And speakers who state true propositions that they don’t believe are often lying—regardless of whether the non-belief is disbelief. Persons who state propositions on which they have no opinion are lying as much as those (...) who state propositions they believe to be false. Not all lies are statements of false propositions—some lies are true; some have no truth-value. People who only occasionally lie are not liars: roughly, liars repeatedly and habitually lie. Some half-truths are statements intended to mislead even though the speakers “interpret” the sentences used as expressing true propositions. Others are statements of propositions believed by the speakers to be questionable but without revealing their supposed problematic nature. The two “formulations” of “the antinomy of the liar” in [1], pp.157–8 and 161–2, have nothing to do with lying or liars. The first focuses on an “expression” Tarski calls ‘c’, namely the following. -/- c is not a true sentence -/- The second focuses on another “expression”, also called ‘c’, namely the following. -/- for all p, if c is identical with the sentence ‘p’, then not p -/- Without argumentation or even discussion, Tarski implies that these strange “expressions” are English sentences. [1] Alfred Tarski, The concept of truth in formalized languages, pp. 152–278, Logic, Semantics, Metamathematics, papers from 1923 to 1938, ed. John Corcoran, Hackett, Indianapolis 1983. -/- https://www.academia.edu/12525833/Sentence_Proposition_Judgment_Statement_and_Fact_Speaking_about_th e_Written_English_Used_in_Logic. (shrink)

I offer you some theories of intellectual obligations and rights (virtue Ethics): initially, RBT (a Right to Believe Truth, if something is true it follows one has a right to believe it), and, NDSM (one has no right to believe a contradiction, i.e., No right to commit Doxastic Self-Mutilation). Evidence for both below. Anthropology, Psychology, computer software, Sociology, and the neurosciences prove things about human beliefs, and History, Economics, and comparative law can provide evidence of value about theories (...) of rights. However, insofar as we have methods within Philosophy to help us formulate precise concepts of 'belief' and 'rights', methods that also help us to prove links (or absence thereof) amongst families of concepts of rights and belief, our discipline is in and of itself capable of sound reasoning about issues as puzzling as the following. Suppose a Jane who does not believe in God yet who believes she ought to so believe: Jane is undergoing doxastic moral regret (moral regret for lack of faith). We have all known such Janes and perhaps at one time or another even been one. Paradox: given RBT and NDSM, Jane as described not only does not exist, Jane cannot exist. Thus, to enrich the ways in which Philosophy need not get all its evidence from other academic disciplines, I present a brief introduction to what I call Neutral Universal Frames (NUFs). NUFs solve hard puzzles about interactions among modal concepts of belief and rights, concepts that occur in RBT, NDSM and the description of our Janes. NUFs for theories precisely articulated via any two or more modal concepts are a powerful and immensely general set of tools enabling us to define rich theories of truth ("models on frames") to test philosophical theories for internal consistency and to prove the existence of connections (or absence thereof) amongst alternative articulations of philosophical theories. NUFs thereby add to the constructive knowledge producing way Logics intersect with Philosophy of Religion. And we will soon see why Jane, be she named 'Jane' or known simply as you: cannot exist. Read on at your own risk. (shrink)

What does it mean to be truthful? What role does truth play in our lives? What do we lose if we reject truthfulness? No philosopher is better suited to answer these questions than Bernard Williams. Writing with his characteristic combination of passion and elegant simplicity, he explores the value of truth and finds it to be both less and more than we might imagine.Modern culture exhibits two attitudes toward truth: suspicion of being deceived and skepticism that (...) objective truth exists at all. This tension between a demand for truthfulness and the doubt that there is any truth to be found is not an abstract paradox. It has political consequences and signals a danger that our intellectual activities, particularly in the humanities, may tear themselves to pieces.Williams's approach, in the tradition of Nietzsche's genealogy, blends philosophy, history, and a fictional account of how the human concern with truth might have arisen. Without denying that we should worry about the contingency of much that we take for granted, he defends truth as an intellectual objective and a cultural value. He identifies two basic virtues of truth, Accuracy and Sincerity, the first of which aims at finding out the truth and the second at telling it. He describes different psychological and social forms that these virtues have taken and asks what ideas can make best sense of them today. Truth and Truthfulness presents a powerful challenge to the fashionable belief that truth has no value, but equally to the traditional faith that its value guarantees itself. Bernard Williams shows us that when we lose a sense of the value of truth, we lose a lot both politically and personally, and may well lose everything. (shrink)

This chapter contains sections titled: The Unqualified Value of Knowledge and Understanding Bad Truth and Pointless Truth Basic Research and Pointless Truth Intellectualist Positions Conclusion.

In VAGUENESS AND DEGREES OF TRUTH, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. -/- A predicate is said to be VAGUE if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in a way that 'weighs over 20 kilograms' is not. A great many predicates -- both in everyday talk, and in a wide array of theoretical vocabularies, from (...) law to psychology to engineering -- are vague. -/- Smith argues, based on a detailed account of the defining features of vagueness, that an accurate theory of vagueness must involve the idea that truth comes in degrees. The core idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. Degree-theoretic treatments of vagueness have been proposed in the past, but all have encountered significant objections. In light of these, Smith develops a new type of degree theory. Its innovations include a definition of logical consequence that allows the derivation of a classical consequence relation from the degree-theoretic semantics, a unified account of degrees of belief and their relationships with degrees of truth and subjective probabilities, and the incorporation of semantic indeterminacy -- the view that vague statements need not have unique meanings -- into the degree-theoretic framework. -/- As well as being essential reading for those working on vagueness, Smith's book provides an excellent entry-point for newcomers to the area -- both from elsewhere in philosophy, and from computer science, logic and engineering. It contains a thorough introduction to existing theories of vagueness and to the requisite logical background. (shrink)

Metaethical relativism is the view that whether a moral claim is true depends on the standards endorsed by an individual or society. This view is attractive because it allows one to hold that moral claims can be true or false in an ordinary correspondence sense, without being committed to the view that moral claims state objective facts. But what could it mean to say that a whether a moral claim is true depends on an individual or society’s standards? How could (...) a single claim be true or false in an ordinary sense, and yet be true for some people while false for others? This thesis defends a certain answer to this question: metaethical truth relativism. Metaethical relativists have historically endorsed a different view: content relativism, which is the view that the semantic contents of moral claims vary across contexts of use. However, semanticists working outside metaethics have recently shown that an alternative exists, namely truth relativism: the view that the truth values of moral contents vary across contexts. Metaethicists have been slow to investigate the significance of this discovery. This is surprising, because truth relativism appears to avoid some of the most influential objections to content relativist views. Thus, this development in semantics appears to offer an exciting new direction for research on relativism in metaethics. The scope of this thesis is not narrowly semantic, however. Questions in moral semantics often interconnect with questions in substantive metaethics, and the question of whether ethical thought and talk is semantically relativistic is no exception. Therefore, while the core of the this thesis focuses on moral semantics, it also contains a fair amount of substantive metaethical material, located primarily in the first and final chapters. The plan of the thesis is as follows. Chapters 1 & 2 begin with a discussion of the most historically influential argument for metaethical relativism: the argument from disagreement. Chapter 1 discusses an epistemic version of this argument, but concludes that this version provides only limited evidence for relativism. However, chapter 2 introduces a different version of the argument, with a more semantic focus, and begins to make the case that this argument provides evidence not only for metaethical relativism broadly construed, but for truth relativism in particular. The broad strokes of this argument are that there can be moral disagreements which are faultless and furthermore that only truth relativism can vindicate the sense that these are genuine disagreements, rather than mere differences of opinion. Chapter 2 presents empirical evidence for the claim that putative moral disagreements can be faultless. Chapters 3 and 4 then take a deep dive into the topic of disagreement. Chapter 3 develops a positive account of disagreement which is available only to truth relativists. And chapter 4 advances detailed arguments against contextualist accounts of disagreement. Chapters 3 and 4 together thus defend in detail the claim that truth relativism can, while content relativism cannot, account for the sense that there is genuine disagreement in the relevant cases. Chapters 2 through 4, therefore, form a single long argument for truth relativism. They show that there is a compelling argument for relativism broadly construed, and that deep analysis of the issues surrounding this argument favour truth relativism over content relativism. Chapter 5 zooms back out to the broader metaethical landscape, discussing two remaining objections to relativism. The first objection is that relativism has objectionably subjectivistic implications, and the second is that moral standards cannot helpfully be understood as determined by societies. In the course of responding to these objections, natural opportunities to flesh out the substantive metaethical commitments of the theory will arise. And this will set us up to conclude with a brief comparison of truth relativism with some of the other main options in the space of substantive metaethical theory. (shrink)

In Cratylus 385 b-c Plato argues that if statements () can be true or false, names (),2 as parts () of statements, are also capable of being true or false. From Aristotle onwards this view has often been challenged,3 and R. Robinson put the case against it trenchantly when he wrote:4 This argument is bad; for names have no truth-value, and the reason given for saying that they do is a fallacy of division. No one in the dialogue (...) points out that it is bad. … Nevertheless it is fairly probable that Plato saw or at least felt that it is a bad argument, quite different in quality from those he later produces against the nature-theory. (shrink)

According to one version of objectivism about value, ethical and other evaluative claims have a fixed truth-value independently of who makes them or the society in which they happen to live (c.f. Davidson 2004, 42). Subjectivists about value deny this claim. According to subjectivism so understood, ethical and other evaluative claims have no fixed truth-value, either because their truth-value is dependent on who makes them, or because they have no truth-value (...) at all. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to (...) cognitive modeling, and they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Assertion is fundamental to our lives as social and cognitive beings. Philosophers have recently built an impressive case that the norm of assertion is factive. That is, you should make an assertion only if it is true. Thus far the case for a factive norm of assertion been based on observational data. This paper adds experimental evidence in favor of a factive norm from six studies. In these studies, an assertion’s truth value dramatically affects whether people think it (...) should be made. Whereas nearly everyone agreed that a true assertion supported by good evidence should be made, most people judged that a false assertion supported by good evidence should not be made. The studies also suggest that people are consciously aware of criteria that guide their evaluation of assertions. Evidence is also presented that some intuitive support for a non-factive norm of assertion comes from a surprising tendency people have to misdescribe cases of blameless rule-breaking as cases where no rule is broken. (shrink)

Stephen Stich (1990) has argued that our commitment to truth is parochial, arbitrary, and idiosyncratic. Truth, according to Stich, can be analyzed in terms of reference and predicate satisfaction. If our intuitions about reference can change, this means that our concept of truth can change. If there can be many distinct concepts of truth, our seemingly unreflective commitment to the one we have inherited seems unmotivated. I argue that deflationism about truth possesses sufficient resources to (...) turn back Stich’s skeptical challenge. If, as deflationism claims, no analysis of truth can be given, Stich’s argument cannot succeed. I argue that deflationism is correct by showing that differences in reference do not lead to distinct concepts of truth. I also show that deflationism can clarify what it is we care about when we care about whether our beliefs are true. To care whether p is true is simply to care whether p. (shrink)

Singular terms without referents are called empty or vacuous terms. But not all of them are equally empty. In particular, not all proper names that fail to name an existing object fail in the same way: although they are all empty, they are not all equally vacuous. “Vulcan,” “Jacob Horn,” “Odysseus,” and “Sherlock Holmes,” for instance, are all empty. They have no referents. But they are not entirely vacuous or useless. Sometimes they are used in statements that are true or (...) false. We are basically referentialists about proper names. The ordinary semantic function of a proper name is to refer to an object, and to do it directly, that is, without semantically providing any identifying condition that the object should meet to be the referent. To put it differently, we agree that statements containing proper names express singular propositions, i.e., that their truth-conditions involve the referent of the proper name, if it exists, and not any identifying condition of it. Now, since empty names lack a referent, and therefore would not express such a singular proposition, how do we explain that many, if not all, statements containing them have a truth-value? Answering this question for the case of fictional names, in particular, is the aim of this paper. (shrink)

The logic of a physical theory reflects the structure of the propositions referring to the behaviour of a physical system in the domain of the relevant theory. It is argued in relation to classical mechanics that the propositional structure of the theory allows truth-value assignment in conformity with the traditional conception of a correspondence theory of truth. Every proposition in classical mechanics is assigned a definite truth value, either ‘true’ or ‘false’, describing what is actually (...) the case at a certain moment of time. Truth-value assignment in quantum mechanics, however, differs; it is known, by means of a variety of ‘no go’ theorems, that it is not possible to assign definite truth values to all propositions pertaining to a quantum system without generating a Kochen–Specker contradiction. In this respect, the Bub–Clifton ‘uniqueness theorem’ is utilized for arguing that truth-value definiteness is consistently restored with respect to a determinate sublattice of propositions defined by the state of the quantum system concerned and a particular observable to be measured. An account of truth of contextual correspondence is thereby provided that is appropriate to the quantum domain of discourse. The conceptual implications of the resulting account are traced down and analyzed at length. In this light, the traditional conception of correspondence truth may be viewed as a species or as a limit case of the more generic proposed scheme of contextual correspondence when the non-explicit specification of a context of discourse poses no further consequences. (shrink)

The falsity of moral claims is commonly deduced from two tenets: that they presuppose the existence of objective values and that these values don’t exist. Hence, the error theory concludes, moral claims are false. In this article, I put pressure on the image of human morality that is presupposed in moving from the non-existence of objective values to the falsity of moral claims. I argue that, while, understood in a certain way, the two premises of the error theory are correct, (...) this does not render moral discourse false, because moral objectivity is disanalogous to objectivity in empirical sciences and as such need not be characterized in terms of mind-independency. Using Dewey, I illuminate the possibility of accommodating the guiding intuitions of the error theory in a first-order account of morality. (shrink)

A prevalent political narrative is that we are facing an epistemological crisis, where many citizens no longer care about truth and facts. Yet the view that we are living in a post-truth era relies on some implicit questionable empirical and normative assumptions. The post-truth rhetoric converts epistemic issues into motivational issues, treating people with whom we disagree as if they no longer believe in or care about truth. This narrative is also dubious on epistemic, moral, and (...) political grounds. It is epistemically dubious in being largely insensitive to the problem of complexity in politics; it is morally dubious because “post-truth” is often a derogatory label for individuals or groups that are deemed stupid, irrational, or morally compromised; and it is a politically toxic neologism because it purports to use the language of ‘truth’ as a weapon against power, yet these truth-claims are often themselves attempts to exert power over others by delegitimizing their perspectives. While it may seem as if truth and democracy are on especially bad terms lately, politics and truth have long had a vexed relationship, and moral panics about the value of truthfulness in politics are as old as politics itself. (shrink)

This article will argue that the church is the mystic body of Christ that believers must guard from purveyors bend on twisting the truth. There is no doubt that the Catholic social teaching on medical and moral matters has proven to be pertinent and applicable to the ever-changing circumstances of health care and its delivery. In response to today’s challenges, these same moral principles of Catholic teaching provide the rationale and direction for the community of faith. In times of (...) coronavirus characterized by falsehoods, the truth is a virtue the church must strive for: “… If you abide in My word, you are My disciples indeed. And you shall know the truth, and the truth shall make you free.”(John 8: 31-32). The truth is Christ; it is Christological. Christians must understand the clash of worldviews that is changing the face of Zimbabwean society. A worldview is simply the sum total of our beliefs about the world; Christianity is a worldview that directs our daily decisions and actions. Worldviews affect the way we think. A worldview is a well-reasoned framework of beliefs and convictions that gives a true and unified perspective on the meaning of human existence. To paraphrase from the book of First Samuel (16: 7) – to see as God sees and not how the world sees. Beliefs are not simple propositions held inside us which drive our outward behaviour in predictable ways, they are more of acts of commitment than anything else. There is no doubt that the future of Catholicism lies in the hands of the church’s leadership and the believing Christians. Catholics look to their faith leaders for guidance on big decisions as regards COVID-19 issues. Conspiracy theories around COVID-19 deny that the COVID-19 pandemic is a biological virus. Catholics require direction from the Pope down to the episcopal leadership to chart the way forward. A worldview not only impacts how one understands and makes sense of the world but also influences how one expresses oneself in the world. The constellation of personal values, beliefs, assumptions, attitudes, and ideas that make up our worldview have an effect on our understanding of reality. Coronavirus has caused uncertainty among believers and confusion as to how to cope with the complex problems that arise in COVID-19 related issues. This article will aver that the nature of drawing the contours of catholicity regarding the biblical foundations of the health falls in the hands of orthodox Catholic teachings. (shrink)

Cardinal Bessarion (1408–1472), in the second chapter of the first book of his influential work In calumniatorem Platonis, attempted to reply to Georgios Trapezuntios’ (1396–1474) criticism against Plato in the Comparatio Philosophorum Platonis et Aristotelis. Bessarion investigates why the Athenian philosopher maintained, in several dialogues, that the sacred truths should not be communicated to the general public and argued in favor of the value of oral transmission of knowledge, largely based on his theory about the cognitive processes. Recently, Fr. (...) Bessarion Kouotsis has argued that Cardinal Bessarion’s reasoning draws primarily on the “Disciplina Arcani”, i.e., the rule of secrecy, which was an established practice of the Early Christian Church, aimed at protecting and preserving the core elements of the religion from outsiders. While I find Kouotsis’ approach interesting and thought-provoking—for instance, the idea that Bessarion’s argumentation was likely influenced by Eastern Christian views on the rule of secrecy—I intend, first of all, to discuss why Bessarion did not explicitly mention it. Moreover, I would like to argue that Bessarion’s good knowledge of the long Platonic tradition and Eastern mysticism, encompassing both pagan and Christian elements, should also be considered a significant source. Furthermore, I would like to question Kouotsis’ implicit argument that Bessarion’s views were dominated by his training in Orthodox theology and discuss the possibility that Pletho’s (1355–1454) teaching was the obvious influence for Bessarion’s defense of secrecy. After all, we should bear in mind that Anastos has already pointed out Pletho’s reverence for the rule of secrecy. Finally, I would like to support that Bessarion, in the specific text, focused predominantly on the epistemological and cognitive aspects of oral teaching, resorting to the rule of secrecy only to enhance his views. (shrink)

Many scholars claimed that, according to Immanuel Kant, some judgements lack a truth-value: analytic judgements, judgements about items of which humans cannot have experience, judgements of perception, and non-assertoric judgements. However, no one has undertaken an extensive examination of the textual evidence for those claims. Based on an analysis of Kant's texts, I argue that: (1) according to Kant, only judgements of perception are not truth-apt. All other judgements are truth-apt, including analytic judgements and judgements about (...) items of which humans cannot have experience. (2) Kant sometimes states that truth-apt judgements are actual bearers of truth or falsity only when they are taken to state what is actually the case. Kant calls these judgements assertoric. Other texts ascribe truth and falsity to judgements, regardless of whether they are assertoric. Kant's views on truth-aptness raise challenges for correspondentist and coherentist interpretations of Kant's theory of truth; they rule out the identification of Kant's crucial notion of objective validity with truth-aptness; and they imply that Kant was not a verificationist about truth or meaning. (shrink)

Lamarque and Olsen argue for a “no truth” theory of fiction and literature, holding that there is no essential connection between the concepts of truth and those of fiction or of literature. Instead, they argue for a broadly Gricean account of both. The core of their characterization of the fictionality of a text is that it be the product of an intention that its reader adopt the fictive stance towards it, and the producer of the text intends there (...) to be a mutual belief that the reader adopt this stance partly because of her recognition of the producer’s intention. To adopt the fictive stance is, at its most basic level, to entertain the sense of the text and to make-believe its truth and reference. Because appeal is made not to belief, but make-belief, there is no essential connection between fictionality and truth. Fictional content is aspectival, fictional objects being constituted by the properties expressed by the descriptions associated with the names of the objects. The account of literature is structurally similar to that for fiction. A text is literary when it is produced with the intention that its audience adopt the literary stance towards it, and a similar mutual belief condition holds. To adopt the literary stance to a text is to read it for literary aesthetic value, that is, with an expectation of finding humanly interesting content presented in a complex and coherent form. There is no requirement that the content be true, and hence there is no essential connection between literature or literary value and truth. Within this broad framework, Lamarque and Olsen develop a number of further points of interest, including a broadly Gricean account of metaphor that avoids the pitfalls into which Searle’s proposal stumbles, a distinction between different senses of “fiction” that usefully shows that logical fictions are distinct from make-believe fictions, and a sustained attack on structuralist and poststructuralist literary theories that one hopes will fall into the hands of aficionados of those theories. (shrink)