Since the famous debate between Russell (Mind 14: 479–493, 1905, Mind 66: 385–389, 1957) and Strawson (Mind 59: 320–344, 1950; Introduction to logical theory, 1952; Theoria, 30: 96–118, 1964) linguistic intuitions about truth values have been considered notoriously unreliable as a guide to the semantics of definite descriptions. As a result, most existing semantic analyses of definites leave a large number of intuitions unexplained. In this paper, I explore the nature of the relationship between truth (...) class='Hi'>value intuitions and non-referring definites. Inspired by comments in Strawson (Introduction to logical theory, 1964), I argue that given certain systematic considerations, one can provide a structured explanation of conflicting intuitions. I show that the intuitions of falsity, which proponents of a Russellian analysis often appeal to, result from evaluating sentences in relation to specific questions in context. This is shown by developing a method for predicting when sentences containing non-referring definites elicit intuitions of falsity. My proposed analysis draws importantly on Roberts (in: Yoon & Kathol (eds.) OSU working papers in Linguistics: vol. 49: Papers in Semantics 1998; in: Horn & Ward (eds.) Handbook of pragmatics, 2004) and recent research in the semantics and pragmatics of focus. (shrink)

Can mystics intuit something of what modern physicists calculate? And if so, how? The question of the relation between the classical mysticisms and modern science is approached in Part I in terms of the multiple forms and definitions of 'truth value'. Intuition/epiphany, pragmatism, coherence, and correspondence are considered as forms of truth that have also been proposed for unitive mystical experience. Since 'correspondence' or 'representation' has been the definition at the core of modern science, it in particular (...) is approached by combining Lakoff and Johnson on the roots of all abstract knowledge in physical metaphor and Gibson on the ecological array of perception as the template from which such metaphors must be drawn. A series of similarities between the maximally inclusive metaphors underlying unitive mystical experience and cosmological physics, as abstracted from an ecological array already resonant with multiple levels of physical reality, suggests a basis for the correspondence between these otherwise distinct cognitive domains. Part II extends this approach to widely posited cross cultural values of spiritual or mystical realization, in terms of gratitude, compassion, faith, and inner freedom. When fully embodied as forms of personal conduct, these are also ultimately derivable from the openness and flow patternings of the ecological array itself. The possibility that the more abstract spiritual values of the major world mysticisms exemplify not only revelatory and pragmatic forms of truth, but are also broadly correspondent with both the principles of immediate concrete perception and modern physics, may eventually allow a contemporary re- formulation of the microcosm-macrocosm unities basic to traditional cultures. (shrink)

Martí argued that referential intuitions are not the right kind of empirical evidence for testing theories of reference. Machery, Olivola, and De Blanc replied with a survey aimed at providing evidence that referential intuitions are in sync with truth‐value judgments and argued that truth‐value judgments provide empirical data from linguistic usage. We present the results of a survey indicating that Machery, Olivola, and De Blanc's experiment fails to overcome Martí's objection: The truth‐value (...) judgements tested by Machery, Olivola, and De Blanc do not provide data relevant for testing theories of reference. (shrink)

Classical logic of formal provability includes Löb’s theorem, but not reflection. In contrast, intuitions about the inferential behavior of informal provability (in informal mathematics) seem to invalidate Löb’s theorem and validate reflection (after all, the intuition is, whatever mathematicians prove holds!). We employ a non-deterministic many-valued semantics and develop a modal logic T-BAT of an informal provability operator, which indeed does validate reflection and invalidates Löb’s theorem. We study its properties and its relation to known provability-related paradoxical arguments. We (...) also argue that T-BAT is a fairly sensible candidate for a formal logic of informal provability. (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)

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)

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

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)

Why are the conditions for propositional knowledge so difficult to discover or devise in this post-Gettier age? Why do not most epistemologists agree on roughly the same analysis as they appear to have done in the pre-Gettier paradise? I argue that the problem lies in that fact that the epistemologists intuitive concept of knowledge appeals to desiderata that probably cannot be satisfied. Unfortunately, if we abandon some of these desiderata, it is difficult to settle on a concept of knowledge which (...) is not too remote from our initial intuitions. I suggest that epistemology may be better off without the concept of knowledge. There are plenty of other interesting notions for us to be going on with. (shrink)

Bolzano incorporated Kant's distinction between intuitions and concepts into the doctrine of propositions by distinguishing between conceptual (Begriffssätze an sich) and intuitive propositions (Anschauungssätze an sich). An intuitive proposition contains at least one objective intuition, that is, a simple idea that represents exactly one object; a conceptual proposition contains no objective intuition. After Bolzano, philosophers dispensed with the distinction between conceptual and intuitive propositions. So why did Bolzano attach philosophical importance to it? I will argue that, ultimately, the (...) class='Hi'>value of the distinction lies in the fact that conceptual and intuitive truths have different objective grounds: if a conceptual truth is grounded at all, its ground is a conceptual truth. The difference in grounds between conceptual and intuitive truths motivates Bolzano's criticism of Kant's view that intuition plays the fundamental role in mathematics, a conceptual science by Bolzano's lights. (shrink)

Moderate pragmatic invariantism (MPI) is a proposal to explain why our intuitions about the truth-value of knowledge claims vary with stakes and salient error-possibilities. The basic idea is that this variation is due to a variation not in the propositions expressed (as epistemic contextualists would have it) but in the propositions conversationally implicated. I will argue that MPI is mistaken: I will distinguish two kinds of implicature, namely, additive and substitutional implicatures. I will then argue, first, that (...) the proponent of MPI cannot appeal to additive implicatures because they don’t affect truth-value intuitions in the required way. Second, I will argue that the proponent of MPI cannot appeal to substitutional implicatures either because, even though they may have the required effects on truth-value intuitions, they don’t feature in the relevant cases. It follows that MPI is mistaken because whether the proponent of MPI appeals to additive or substitutional implicatures, at least one of the claims that make up her view is false. Along the way, I will suggest principles about implicatures that should be relevant not only to MPI, but to pragmatic accounts of seemingly semantic intuitions in general. (shrink)

In matters of personal taste, faultless disagreement occurs between people who disagree over what is tasty, fun, etc., in those cases when each of these people seems equally far from the objective truth. Faultless disagreement is often taken as evidence that truth is relative. This article aims to help us avoid the truth-relativist conclusion. The article, however, does not argue directly against relativism; instead, the article defends non-relative truth constructively, aiming to explain faultless disagreement with the (...) resources of semantic contextualism. To this end the article describes and advocates a contextualist solution inspired by supervaluationist truth-value gap approaches. The solution presented here, however, does not require truth value gaps; it preserves both logical bivalence and non-relative truth, even while it acknowledges and explains the possibility of faultless disagreement. The solution is motivated by the correlation between assertions’ being true and their being useful. This correlation, furthermore, is used not only to tell which assertions are true, but also to determine which linguistic intuitions are reliable. (shrink)

We present the Jaina theory of sevenfold predication as a 7-valued logic, in which every logical value consists in a 3-tuple of opinions. A question-answer semantics is used in order to give an intuitive characterization of these logical values in terms of opinion polls. Two different interpretations are plausible for the latest sort of opinion, depending upon whether "non-assertability" refers to incompleteness or inconsistency. It is shown hat the incomplete version of JL_{G} is equivalent to Kleene's logic K3, whereas (...) the inconsistent version of JL_{M} is equivalent to Priest's Logic of Paradox LP. Finally, it is argued that the Indian logics depart from Western logics by conflating truth and justified belief: the different preconditions for belief ascription accounts for the difference between pluralist and skeptic logics. (shrink)

The main aim of this paper is to introduce the logics of evidence and truth $$LET_{K}^+$$ and $$LET_{F}^+$$ together with sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics $$LET_{K}$$ and $$LET_{F}^-$$ with rules of propagation of classicality, which are inferences that express how the classicality operator $${\circ }$$ is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more (...) values that intend to represent (positive and negative) reliable information. A six-valued non-deterministic semantics for $$LET_{K}$$ is obtained by means of Nmatrices based on swap structures, and the six-valued semantics for $$LET_{K}^+$$ is then obtained by imposing restrictions on the semantics of $$LET_{K}$$. These restrictions correspond exactly to the rules of propagation of classicality that extend $$LET_{K}$$. The logic $$LET_{F}^+$$ is obtained as the implication-free fragment of $$LET_{K}^+$$. We also show that the 6 values of $$LET_{K}^+$$ and $$LET_{F}^+$$ define a lattice structure that extends the lattice L4 defined by the Belnap-Dunn four-valued logic with the 2 additional values mentioned above, intuitively interpreted as positive and negative reliable information. Finally, we also show that $$LET_{K}^+$$ is Blok-Pigozzi algebraizable and that its implication-free fragment $$LET_{F}^+$$ coincides with the degree-preserving logic of the involutive Stone algebras. (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)

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)

Experiments on theories of reference have mostly tested referential intuitions. We think that experiments should rather be testing linguistic usage. Substantive Aim (I): to test classical description theories of proper names against usage by “elicited production.” Our results count decisively against those theories. Methodological Aim (I): Machery, Olivola, and de Blanc (2009) claim that truth-value judgment experiments test usage. Martí (2012) disagrees. We argue that Machery et al. are right and offer some results that are consistent with (...) that conclusion. Substantive Aim (II): Machery et al. provide evidence that the usage of a name varies, being sometimes descriptive, sometimes not. In seven out of eight tests of usage, we did not replicate this variation. Methodological Aim (II): to test the reliability of referential intuitions by comparing them with linguistic usage. Earlier studies led us to predict that we would find those intuitions unreliable, but we did not. Our results add to evidence that tests of referential intuition are susceptible to unpredictable wording effects. (shrink)

The 'substitution argument' purports to demonstrate the falsity of Russellian accounts of belief-ascription by observing that, e.g., these two sentences: (LC) Lois believes that Clark can fly. (LS) Lois believes that Superman can fly. could have different truth-values. But what is the basis for that claim? It seems widely to be supposed, especially by Russellians, that it is simply an 'intuition', one that could then be 'explained away'. And this supposition plays an especially important role in Jennifer Saul's defense (...) of Russellianism, based upon the existence of an allegedly similar contrast between these two sentences: (PC) Superman is more popular than Clark. (PS) Superman is more popular than Superman. The latter contrast looks pragmatic. But then, Saul asks, why shouldn't we then say the same about the former? The answer to this question is that the two cases simply are not similar. In the case of (PC) and (PS), we have only the facts that these strike us differently, and that people will sometimes say things like (PC), whereas they will never say things like (PS). By contrast, there is an argument to be given that (LS) can be true even if (LC) is false, and this argument does not appeal to anyone's 'intuitions'. The main goal of the paper is to present such a version of the substitution argument, building upon the treatment of the Fregan argument against Russellian accounts of belief itself in "Solving Frege's Puzzle". A subsidiary goal is to contribute to the growing literature arguing that 'intuitions' simply do not play the sort of role in philosophical inquiry that so-called 'experimental philosophers' have supposed they do. (shrink)

In order to uphold the claim that referential intuitions are a reliable source of evidence for theories of reference, Machery et al. conducted an empirical research by testing truth-value judgments. First, we discuss a conceptual limitation of Machery et al. ’s experiment on truth-value judgments. Then, we present the data of an empirical survey that shows that people’s truth-value judgments are not congruent with their use of proper names. We explain why the results (...) of our empirical research refute the conclusions of Machery et al. ’s experiment on truth-value judgments. We conclude that referential intuitions are still problematic. (shrink)

Ancients and moderns alike have constructed arguments and assessed theories on the basis of common sense and intuitive judgments. Yet, despite the important role intuitions play in philosophy, there has been little reflection on fundamental questions concerning the sort of data intuitions provide, how they are supposed to lead us to the truth, and why we should treat them as important. In addition, recent psychological research seems to pose serious challenges to traditional intuition-driven philosophical inquiry. Rethinking Intuition (...) brings together a distinguished group of philosophers and psychologists to discuss these important issues. Students and scholars in both fields will find this book to be of great value. (shrink)

Relativism offers a nifty way of accommodating most of our intuitions about epistemic modals, predicates of personal taste, color expressions, future contingents, and conditionals. But in spite of its manifest merits relativism is squarely at odds with epistemic value monism: the view that truth is the highest epistemic goal. I will call the argument from relativism to epistemic value pluralism the trivial argument for epistemic value pluralism. After formulating the argument, I will look at three (...) possible ways to refute it. I will then argue that two of these are unsuccessful, and defend the third, which involves denying that there are any genuinely relative truths. (shrink)

This paper considers ways that experimental design can affect judgments about informally presented context shifting experiments. Reasons are given to think that judgments about informal context shifting experiments are affected by an exclusive reliance on binary truth value judgments and by experimenter bias. Exclusive reliance on binary truth value judgments may produce experimental artifacts by obscuring important differences of degree between the phenomena being investigated. Experimenter bias is an effect generated when, for example, experimenters disclose (even (...) unconsciously) their own beliefs about the outcome of an experiment. Eliminating experimenter bias from context shifting experiments makes it far less obvious what the “intuitive” responses to those experiments are. After it is shown how those different kinds of bias can affect judgments about informal context shifting experiments, those experiments are revised to control for those forms of bias. The upshot of these investigations is that participants in the contextualist debate who employ informal experiments should pay just as much attention to the design of their experiments as those who employ more formal experimental techniques if they want to avoid obscuring the phenomena they aim to uncover. (shrink)

Ttler=‘Ttler is true’ says of itself that it is true. It is a truth-teller. I argue that we have equally telling arguments (i) to the effect that all truth-tellers must have the same truth-value (ii) and the effect that truth-tellers differ in truth-value. This is what I call the Truth-Tellers paradox. This paradox stems from the fact that the truth-value of a truth-teller like Ttler should be determined by the (...) fact that it says of itself that it is true (which entails (i)) but that it cannot be determined by that fact (as witnessed by (ii)). The Truth-Tellers paradox resem- bles the classical semantic paradoxes like the Liar. In both cases, a form of self-reference allows us to derive a contradiction from oth- erwise plausible semantic and logical principles. Furthermore the Truth-Tellers paradox can be formulated without using sentences which are in an intuitive sense ungrounded, it thus severs the link, almost universally taken for granted, between the semantic para- doxes and ungroundedness. Finally, some classical solutions to the Liar do not generalize to the Truth-Tellers paradox. (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)

Philosophers of language have long recognized that in opaque contexts, such as those involving propositional attitude reports, substitution of co-referring names may not preserve truth value. For example, the name ‘Clark Kent’ cannot be substituted for ‘Superman’ in a context like:1. Lois believes that Superman can flywithout a change in truth value. In an earlier paper, Jennifer Saul demonstrated that substitution failure could also occur in ‘simple sentences’ where none of the ordinary opacity-producing conditions existed, such (...) as:2. Superman leaps more tall buildings than Clark Kent does.Accounts focusing on opacity were unable to explain our ‘anti-substitution intuitions’ in such cases.In Simple Sentences, Substitution, and Intuitions, Saul extends her earlier work. She provides a comprehensive presentation and criticism of recent accounts of simple sentence substitution failure, and proposes a new approach drawing on psychological evidence about cognitive processing. Saul's purpose is not merely to solve the substitution puzzle cases, but to make …. (shrink)

Epistemic invariantism, or invariantism for short, is the position that the proposition expressed by knowledge sentences does not vary with the epistemic standard of the context in which these sentences can be used. At least one of the major challenges for invariantism is to explain our intuitions about scenarios such as the so-called bank cases. These cases elicit intuitions to the effect that the truth-value of knowledge sentences varies with the epistemic standard of the context in (...) which these sentences can be used. In this paper, I will defend invariantism against this challenge by advocating the following, somewhat deflationary account of the bank case intuitions: Readers of the bank cases assign different truth-values to the knowledge claims in the bank cases because they interpret these scenarios such that the epistemic position of the subject in question differs between the high and the low standards case. To substantiate this account, I will argue, first, that the bank cases are underspecified even with respect to features that should uncontroversially be relevant for the epistemic position of the subject in question. Second, I will argue that readers of the bank cases will fill in these features differently in the low and the high standards case. In particular, I will argue that there is a variety of reasons to think that the fact that an error-possibility is mentioned in the high standards case will lead readers to assume that this error-possibility is supposed to be likely in the high standards case. (shrink)

Resumen: El objetivo de este escrito es discutir el rol y validez de las intuiciones en el ámbito epistémico, en particular el rol de las denominadas intuiciones racionales y su característica de acceso a priori a ciertos ítems o de conocimiento o de creencia. Se analizará el supuesto de centralidad de las intuiciones en la argumentación filosófica. Este supuesto otorga un rol evidencial a una intuición I que un sujeto S tiene respecto a una proposición P. En otras palabras, dicha (...) intuición sería un proceso confiable para acceder al valor de verdad de dicha proposición, cumplir el rol de conductora de verdad. El criterio de conductora de verdad es asociado generalmente o una creencia o a un ítem de conocimiento, y el afirmar que una intuición es confiable implica que es una vía de acceso al valor de verdad de cierto ítem de conocimiento o de creencia. Siguiendo a Cappelen, en este escrito afirmo que el supuesto de centralidad es errado, en primer lugar, porque una intuición racional no tiene por objetivo fundamentar, justificar o evidenciar la verdad o falsedad de una creencia o conocimiento, sino más bien cumplir un rol propedéutico y transmisor previo a la determinación de ese valor de verdad. Hay, por tanto, un criterio de dispensabilidad en el rol epistémico que le compete a una intuición y un rol de falseador epistémico indirecto vía descarte de hipótesis.: The aim of this paper is to discuss the role and validity of intuitions in the epistemic field, in particular therole of so-called rational intuitions and their characteristic of access to certain items of a priori knowledgeor belief. The assumption of centrality of intuitions in philosophical argumentation will be analyzed. Thisassumption gives an evidential role to an intuition I that a subject S has regarding a proposition P. In otherwords, this intuition would be a reliable process to access the truth value of such a proposition, fulfillingthe role of conductor of truth. The truth-conduciveness criterion is usually associated either with a beliefor with an item of knowledge, and affirming that an intuition is reliable implies that it is a way of accessingthe truth value of a certain item of knowledge or belief. Following Cappelen, here I affirm that theassumption of centrality is wrong, firstly because a rational intuition is not intended to ground, justify or evidence the truth or falsity of a belief or knowledge, but rather to fulfill a propaedeutic role andtransmitter role before the determination of that truth value. There is, therefore, a criterion of dispensability in the epistemic role that corresponds to an intuition and an indirect epistemic defeater rolevia discarding hypotheses. (shrink)

Benjamin Schnieder has argued that several traditional definitions of truth-functionality fail to capture a central intuition informal characterizations of the notion often capture. The intuition is that the truth-value of a sentence that employs a truth-functional operator depends upon the truth-values of the sentences upon which the operator operates. Schnieder proposes an alternative definition of truth-functionality that is designed to accommodate this intuition. We argue that one traditional definition of ‘truth-functionality’ is immune from (...) the counterexamples that Schnieder proposes and is preferable to Schnieder’s alternative. (shrink)

Truth Be Told explains how truth and falsity result from relations that sentences and their constituents have to the circumstances at which they are evaluated. It offers a precise analysis of truth and a diagnosis of the Liar paradox. Current semantic theory employs generalized quantifiers as the extensions of noun phrases. The book provides simpler extensions for noun phrases. These permit intuitive compositions of truth-values and a diagnosis of the Liar and Grelling paradoxes.

There is strong disagreement about whether indicative conditionals have truth values. In this paper, I present a new argument for the conclusion that indicative conditionals have truth values based on the claim that some true statements entail indicative conditionals. I then address four arguments that conclude that indicative conditionals lack truth values, showing them to be inadequate. Finally, I present further benefits to having a worldly view of conditionals, which supports the assignment of truth values to (...) indicative conditionals. I conclude that certain types of account of indicative conditionals, which have been ignored in the literature partly on the basis of assigning truth values to indicative conditionals, deserve consideration. (shrink)

Gerald Harrison has argued that the readiness with which we have and agree to moral intuitions about the value of disembodied persons shows that persons are essentially non-material, for if we were essentially material we would not so easily be able to ascribe moral value to an impossible non-material person. To support this point, he advances a somewhat novel metaphor of intuitions as a "call" to a help desk which can answer our queries about counter-factual scenarios. (...) I first point out that the help desk metaphor is not only compatible with, but actually suggestive of, the possibility of systematic error on the part of our intuitions. But more crucially, rapid acquisition of and widespread agreement on even plausible intuitions about counter-factual scenarios does nothing to show that the counter-factual scenarios are possible, let alone true, giving several other counter-examples to this idea. I conclude with the suggestion that imagining such counter-factual scenarios should not be seen as a mode of accessing a fixed source of truths in a "help desk" manual, but as a constructive way of understanding the relationship between concepts, and hence ultimately as a mode of writing small parts of this heretofore unwritten text. (shrink)

Past work has shown systematic differences between Easterners' and Westerners' intuitions about the reference of proper names. Understanding when these differences emerge in development will help us understand their origins. In the present study, we investigate the referential intuitions of English- and Chinese-speaking children and adults in the U.S. and China. Using a truth-value judgment task modeled on Kripke's classic Gödel case, we find that the cross-cultural differences are already in place at age seven. Thus, these (...) differences cannot be attributed to later education or enculturation. Instead, they must stem from differences that are present in early childhood. We consider alternate theories of reference that are compatible with these findings and discuss the possibility that the cross-cultural differences reflect differences in perspective-taking strategies. (shrink)

The talk deals with Aristotle’s famous sea-battle problem concerning the truth values of sentences about contingent future events: If an utterance of the sentence “There will be a sea battle tomorrow” is true, then it seems that it is determined that there will be a sea battle tomorrow. For otherwise, how could the utterance be true? If, however, an utterance of the sentence “There will be a sea battle tomorrow” is false, then it seems that it is determined that (...) there will be no sea battle tomorrow. For otherwise, how could the utterance be false? Thus, it seems that it is determined whether there will be a sea battle tomorrow or not – and so for any future event whatsoever. This, however, is in conflict with the assumption that there is such a thing as an open future, i.e., that at least for some future events, it is not determined whether they will take place or not. Some have argued, in light of this problem, that sentences about f uture events are neither true nor false. In this talk, however, it shall be argued that the sea-battle problem can be resolved in an intuitively plausible manner without giving up the principle of bivalence. (shrink)

Several authors have turned to a semantic analysis that renders truth relative to a point of assessment in order to explain speaker intuitions concerning the truth-value of certain kinds of statements. On the surface, it appears as if a truth-relative semantics is able to account for ordinary speaker exchanges that involve the problematic terms. However, what about the truth-predicate itself—how exactly are we to understand its use on a relative semantics? Although John MacFarlane offers (...) an analysis of the truth-predicate as used by ordinary speakers, I aim to show his analysis has several counter-intuitive results. I argue that on relativism different uses of ‘is true’ will have differing extensions, and hence differing conditions for application. As a result, it becomes unclear if speakers can faithfully disquotationally report another speaker’s use of sentences of the form ‘P is true’ or predicate truth of contents that contain the truth predicate themselves. (shrink)

Philosophers of language have long recognized that in opaque contexts, such as those involving propositional attitude reports, substitution of co-referring names may not preserve truth value. For example, the name ‘Clark Kent’ cannot be substituted for ‘Superman’ in a context like:1. Lois believes that Superman can flywithout a change in truth value. In an earlier paper , Jennifer Saul demonstrated that substitution failure could also occur in ‘simple sentences’ where none of the ordinary opacity-producing conditions existed, (...) such as:2. Superman leaps more tall buildings than Clark Kent does.Accounts focusing on opacity were unable to explain our ‘anti-substitution intuitions’ in such cases.In Simple Sentences, Substitution, and Intuitions, Saul extends her earlier work. She provides a comprehensive presentation and criticism of recent accounts of simple sentence substitution failure, and proposes a new approach drawing on psychological evidence about cognitive processing. Saul's purpose is not merely to solve the substitution puzzle cases, but to make …. (shrink)

What is truth? Is there anything that all truths have in common that makes them true rather than false? Is truth independent of human thought, or does it depend in some way on what we believe or what we would be justified in believing? In what sense, if any, is it better for beliefs or statements to be true than to be false? In this engaging and accessible new introduction Chase Wrenn surveys a variety of theories of the (...) nature of truth and evaluates their philosophical costs and benefits. Paying particular attention to how the theories accommodate realist intuitions and make sense of truth’s value, he discusses a full range of theories from classical correspondence to relatively new deflationary and pluralist accounts. The book provides a clear, non-technical entry point to contemporary debates about truth for non-specialists. Specialists will also find new contributions to those debates, including a new argument for the superiority of deflationism to causal correspondence and pluralist theories. Drawing on a range of traditional and contemporary debates, this book will be of interest to students and scholars alike and anyone interested in the nature and value of truth. (shrink)

One of the most interesting and fruitful applications of logics, classical or other, has been in supplying formal frameworks for the semantics of natural language. In this paper, I discuss the following puzzle: there seem to be arguments that are logically valid - more precisely, that are instances of the rule of universal instantiation, and yet, the utterance of the premise is intuitively true while the conclusion is false. I will discuss two strategies, developed in response to different sorts of (...) problems, that seem immediately applicable to this puzzle. While the so-called contextualist strategy blocks the puzzle at the level of syntax, the index-shifting strategy actually embraces the apparently paradoxical claim that there are logically valid arguments with premises whose utterances are true and a conclusion whose utterance is false, but insists that different points of evaluation come into play in determining the truth values of the utterances involved in the alleged counter-instances to rules of logic. (shrink)

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

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 following method is popular in some areas of philosophy and linguistics when trying to describe the semantics of a given sentence Φ. Present ordinary speakers with scenarios that involve an utterance of Φ, ask them whether these utterances are felicitous or infelicitous and then construct a semantics that assigns the truth-value True to felicitous utterances of Φ and the truth-value False to infelicitous utterances of Φ. The author makes five observations about this intuition-based approach to (...) semantics; their upshot is that it should be revised in favour of a more nuanced method. The author suggests that this method should be based on corpus linguistics and makes some tentative remarks about what it might look like and which questions we need to address in order to develop it. (shrink)

A key question about the value of truth in epistemology is whether the truthfulness of some proposition is a factor in our evaluation of beliefs. The traditional view—evidenced in introductory texts and academic journals :349–369, 2002, p. 350)—is that the truth of a belief should not impact our evaluations of it. Recent work has raised empirical objections to this default position of truth-insensitivity by suggesting that our ordinary belief evaluations assign considerable weight to the truth (...) value of the believed proposition. If correct, this work grants truth a larger role in our epistemology—suggesting that it serves both as an element of our ordinary epistemic evaluations and as an intuitive norm for belief evaluation :4009–4030, 2015. https://doi.org/10.1007/s11229-015-0727-z, Philos Phenomenol Res 93:348–367, 2016. https://doi.org/10.1111/phpr.12218). However, this position is not convincing. In this paper, I argue that this empirical work, while revelatory of some interesting features of belief evaluation, falls far short of demonstrating that belief evaluation is truth-sensitive, or that truth-sensitivity is intuitive. (shrink)

Audi’s first chapter offers an informative history of intuitionist theories from the last century. The task of the intuitionist is to show that some basic moral truths are noninferentially known. What Audi specifically wants to do is develop Ross’s position in a way that addresses its critics and yet keeps the ability to be responsive to everyday life. The three main challenges to Ross are that there is widespread disagreement about which principles count as being self-evident, the incommensurability problem that (...) arises from positing irreducibly different kinds of moral grounds for action, and the charge of dogmatism on the part of intuitionists by those who do not intuitively arrive at the same guidelines for moral conduct. Audi offers strong responses to these challenges, but his position remains unconvincing because behind the intuitionist approach is the assumption that human intuitions are morally ideal as opposed to fallen and corrupted. Hence, even if the intuitionists can address the three standard challenges to their position, this does not prove that human moral intuitions are as they should be. (shrink)

This chapter contains sections titled: Where we are When truth at a world depends on more than how that world is A diagram to give the key idea A language where truth at a world is, by stipulation, a function of which world is actual On looking for examples of two–dimensional sentences in the English of the folk How should we approach questions like, How do we use the word “water”? and, How do we use the word “Gödel”? (...) More on the evidential role of intuitions about possible cases What information do we impart with the word “water”–first pass With enemies like these, who needs friends?16 What information do we impart with the word “water”–second pass The issue about narrow content18 Proper names and information (I) Proper names and information (II) Coda. (shrink)

Following a proposal by Kooi and Tamminga, we introduce a conservative translation manual for every four-valued truth-functional propositional logic into a modal logic. However, the application of this translation does not preserve the intuitive reading of the truth-values for every four-valued logic. In order to solve this problem, we modify the translation manual and prove its conservativity by exploiting the method of generalized truth-values.

Reflective equilibrium has been criticized for various reasons ever since the publication of Rawls’ A Theory of Justice. Recent empirical research into moral decision-making poses new challenges to RE because it questions the reliability of moral intuitions. This research might discredit moral intuitionism in general and RE in particular insofar as it ascribes epistemic value to moral intuitions. These findings suggest, for instance, that moral intuitions vary with cultural background, gender or framing. If it could be (...) shown that all or certain kinds of moral intuitions are unreliable, this would diminish the plausibility of the claim that they provide good reasons to believe in the truth of their content, especially given the growing evidence that professional philosophers are just as biased and susceptible to distorting factors as lay people. In this paper I critically discuss three recent defenses of RE against this unreliable intuitions objection. Two of these defenses argue that the UIO misses its target, because RE does not depend on intuitions, or because the relevant considered judgments in RE are not intuitions. The third defense grants that RE depends on intuitions and that some Rawlsian considered judgments are intuitions. But it argues that the notion of considered judgments can be revised, and that wide reflective equilibrium has the means to adopt the criticism because it can use information about unreliable intuitions and exclude those from further consideration. I argue that the first two defenses do not succeed. The third defense is the most promising one. However, I argue that this defense also fails. In this defense, RE is not a distinctive moral epistemic theory: different versions of RE would be conceivable, all of which are deeply problematic. I conclude with a discussion of the broader philosophical implications of the UIO, specifically whether or not accepting the UIO would warrant skepticism regarding moral knowledge. (shrink)

Contextualism is motivated by cases in which the intuitive correctness of a range of phenomena, including knowledge attributions, assertions and reasoning, depends on the attributor's context. Contextualists offer a charitable understanding of these intuitions, interpreting them as reflecting the truth value of the knowledge attributions and the appropriateness of the relevant assertions and reasoning. Here, I investigate a range of different invariantist accounts and examine the extent to which they too can offer a charitable account of the (...) contextualist data. (shrink)

This dissertation explores several accounts of the intuitions speakers have concerning the truth values of utterances of sentences containing vague nouns and adjectives. While some semanticists have attempted to account for these intuitions with multi-valued logics and supervaluation theories of truth, I focus on how utterances of vague sentences affect hearers' beliefs. ;Following a critique of the major semantical accounts of vagueness, I propose a formal theory of how beliefs are revised following utterances of sentences of (...) the form X is A, X is A and B, and X is A and not A, where A and B are vague scalar adjectives. Formally, a hearer's beliefs are represented as a set of weighted sentences, and the information conveyed by a speaker's utterance is represented as a set of weighted conditionals. When a speaker utters a sentence, a function on these sets yields the hearer's revised beliefs. I derive from this theory a criterion for proper assertability: a sentence is properly assertable in a given context if the maximum information loss that could obtain between competent discourse participants is less than some threshold. I argue that this criterion often predicts the truth-value judgements competent speakers make which violate the basic rules of logic. I extend these theories to utterances of sentences containing vague non-scalar nouns. ;In the second half of the dissertation, I propose two semantic accounts of vagueness. One incorporates the assertability criterion into its definition of truth. The other is independent of it. The former accounts for a large set of intuitions concerning the truth values of utterances of vague sentences. The latter accounts for only a subset of those intuitions, leaving the rest to be explained independently by the theory of proper assertability. ;I conclude with brief discussions of the Sorites Paradox and the experimental data obtained by Tversky and Kahneman which purport to demonstrate people's poor intuitions concerning the probabilities of conjunctions. (shrink)

The first chapter explores the theory developed in Kripke's "Outline of a Theory of Truth." A tension in Kripke's account of the concept of truth is revealed--a conflict between two intuitions. The first intuition, called the "fixed point conception of truth," is that the whole meaning of the truth predicate is given by the formula "we may assert of a sentence that it is true iff we may assert that sentence." The second intuition, called the (...) "thesis of the supervenience of semantics," is that the interpretation of the truth predicate is determined by the interpretations of all the other non-logical constants of the language. I show that these two intuitions cannot be reconciled within the context of Kripke's theory, and I argue for the choice of the fixed point conception of truth over the principle of the supervenience of semantics. Chief among the considerations that I advance is the fact that the fixed point conception of truth yields a natural logic of truth. In the second chapter I present that logic of truth in the form of a cut-free sequent calculus. I then turn, in chapter three, to a discussion of the significance of such cut-free sequent calculi. I argue that we may view the sequent calculus introduction rules for a logical constant as giving the meaning of that constant, under certain conditions. In particular, we can see our logic of truth as providing an explication of our intuitive concept of truth which complements Kripke's original model-theoretic explication. The fourth chapter takes up some criticisms of Kripke's theory which center on the logic of truth. In addition, the general ideas developed in the first three chapters are applied in a discussion of the various schemes of three-valued logic which can be used in the development of Kripke's approach. Finally, in the last chapter, it is shown that Kripke's technical concepts, and the logical ideas developed in the second and third chapters, can be used to provide a unified account of many contexts in which paradox arises. (shrink)