I aim to offer a practical response to skepticism. I begin by surveying a family of responses to skepticism that I term “dogmatic” and argue that they are problematically evasive; they do not address what I take to be a question that is central to many skeptics: Why am I justified in maintaining some beliefs that fail to meet ordinary standards of doxastic evaluation? I then turn to a discussion of these standards of evaluation and to the different kinds of (...) doxastic value to which they appeal. While there is something good about having a true belief and something bad about having a false one, I argue the value of true beliefs is not intrinsic or final. Truth and knowledge are valuable because they contribute to both individual and collective flourishing. But if contributing to flourishing is what ultimately provides truth with its value, then we have discovered another doxastic value. I call this kind of doxastic value “practical.” The practical response addresses the skeptic’s question by claiming that some beliefs can be justified by appealing to their practical, rather than alethic, value. In fleshing out this practical response I contrast it both with dogmatic responses as well as some seemingly similar “practical” alternatives, namely Crispin Wright’s appeals to entitlements and Susanna Rinard’s “pragmatic skepticism.” I end by addressing some objections. (shrink)

It is shown how frege's problematic connection between truth-Value and "bedeutung" (of a sentence) becomes more plausible when set against the background of german language and philosophy, Especially by comparing frege's position with the value-Theoretical school of neo-Kantianism (w windelband).

This paper takes into account the processes of social construction in classification frameworks or conceptual schemes that all societies use as a frame of reference, with its interpretive codes, that give meaning and value to what we do, think, utter and perceive. In modern societies there is confli..

"Plato on Truth-Value and Truth-Aptness" examines Plato’s conception of truth-value and truth-aptness. The examination focuses on Philebus 36c3-50e4 where Socrates argues that pleasures can be true and false and more precisely that there are various kinds of true and false pleasures. The Philebus passage is the only one in Plato’s corpus where various kinds of truth, falsity, and truth-aptness are examined in close proximity and in relation to one another. Hence it is (...) an especially valuable and, with respect to the topics treated in this paper, neglected site. Socrates distinguishes four kinds of true and false pleasure, which I examine sequentially. In doing so, I argue that Plato distinguishes two kinds of representational truth-value and truth-aptness, propositional and non-propositional respectively, and two kinds of ontic truth-value and truth-aptness, absolute and gradable respectively. On the basis of a key passage at Philebus 42c5-7 the discussion concludes, suggestively but aporetically, with a consideration of how these various kinds of truth-value and truth-aptness are related to one another. (shrink)

Despite its exalted status in post‐war analytical educational philosophy as probably the main aim of liberal education, the basic philosophical psychology of autonomy or self‐determination is prey to certain not widely acknowledged conceptual difficulties. In relation to this problem, the present paper explores different conceptions of evaluation and competing liberal and communitarian conceptions of rational choice and decision, to the ultimate end of defending a crucial connection—discerned by many ancient and modern philosophers—between rational self‐direction and the possibility of objective knowledge (...) and truth. (shrink)

Among other good things, supervaluation is supposed to allow vague sentences to go without truth values. But Jerry Fodor and Ernest Lepore have recently argued that it cannot allow this - not if it also respects certain conceptual truths. The main point I wish to make here is that they are mistaken. Supervaluation can leave truth-value gaps while respecting the conceptual truths they have in mind.

The first section (§1) of this essay defends reliance on truth values against those who, on nominalistic grounds, would uniformly substitute a truth predicate. I rehearse some practical, Carnapian advantages of working with truth values in logic. In the second section (§2), after introducing the key idea of auxiliary parameters (§2.1), I look at several cases in which logics involve, as part of their semantics, an extra auxiliary parameter to which truth is relativized, a parameter that (...) caters to special kinds of sentences. In many cases, this facility is said to produce truth values for sentences that on the face of it seem neither true nor false. Often enough, in this situation appeal is made to the method of supervaluations, which operate by “quantifying out” auxiliary parameters, and thereby produce something like a truth value. Logics of this kind exhibit striking differences. I first consider the role that Tarski gives to supervaluation in first order logic (§2.2), and then, after an interlude that asks whether neither-true-nor-false is itself a truth value (§2.3), I consider sentences with non-denoting terms (§2.4), vague sentences (§2.5), ambiguous sentences (§2.6), paradoxical sentences (§2.7), and future-tensed sentences in indeterministic tense logic (§2.8). I conclude my survey with a look at alethic modal logic considered as a cousin (§2.9), and finish with a few sentences of “advice to supervaluationists” (2.10), advice that is largely negative. The case for supervaluations as a road to truth is strong only when the auxiliary parameter that is “quantified out” is in fact irrelevant to the sentences of interest—as in Tarski’s definition of truth for classical logic. In all other cases, the best policy when reporting the results of supervaluation is to use only explicit phrases such as “settled true” or “determinately true,” never dropping the qualification. (shrink)

We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only (...) with one of the above mentioned components, and they may be of use for a logical reconstruction of argumentative reasoning. (shrink)

As you might guess, the words goodness, truth, and beauty are not of heavy poetic value today. Terms of concept may be stressed again someday, and maybe soon, but at the moment have gone out of poetry in favor of more concreteness, more imagery, more connotative suggestion, less effect of the naming and labeling virtues, which Ezra Pound and other twentieth-century leaders have told us not to use. But actually these terms of abstract concept were lessened in major (...) usage in poetry long before the twentieth century. They had flourished in a setting of kings and courts. The love poetry, the political poetry, the philosophic poetry not only dealt directly with truth and goodness but used them constantly for evaluative commentary of other subjects. People, as well as moral issues, were good; lovers, as well as propositions, were true . . . Love and honor, good and true, these were terms of value in which poetry worked so strongly that a large proportion of its reference was limited to these alone, and so thoroughly that there was not a poet in the sixteenth and seventeenth centuries who did not share in this emphasis. Josephine Miles is a poet, critic, and University Professor of English at Berkeley. Her works of criticism include The Vocabulary of Poetry, The Continuity of Poetic Language, Eras and Modes in English Poetry, Style and Proportion, and Poetry and Change. She is also the author of a number of books of poems, from Lines at Intersection to Poems 1930-60, Kinds of Affection , and To All Appearances. (shrink)

Ivor Hunt; II—Value-Concepts and Conceptual Truth, Proceedings of the Aristotelian Society, Volume 63, Issue 1, 1 June 1963, Pages 23–44, https://doi.org/10.109.

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

Cappelen and Lepore (2005) claim that the English language contains a basic and limited set of context-sensitive expressions, as only expressions within this set pass the truth-related tests that they propose to single out context-sensitive from context-insensitive words. In this paper, I argue that racial and ethnic slurs also pass Cappelen and Lepore’s context sensitivity tests and that, as a result, slurs should also be seen as context-sensitive expressions in a truth-related sense.

The question is asked whether one can consistently both be a minimalist about truth, and hold that some meaningful assertoric sentences fail to be either true or false. It is shown that one can, but the issues are delicate, and the price is high: one must either refrain from saying that the sentences lack truth values, or else one must invoke a novel non-contraposing three-valued conditional. Finally it is shown that this does not help in reconciling minimalism with (...) emotivism, where this latter is understood as involving the view that ethical sentences are neither true nor false. (shrink)

According to the accepted translation-failure interpretation, the problem of incommensurability involves the nature of the meaning-referential relation between scientific languages. The incommensurability thesis is that some competing scientific languages are mutually untranslatable due to the radical variance of meaning or/and reference of the terms they employ. I argue that this interpretation faces many difficulties and cannot give us a tenable, coherent, and integrated notion of incommensurability. It has to be rejected. ;On the basis of two case studies, I find that (...) the confrontations between many classical incommensurable languages are not confrontations between two untranslatable languages with different distribution of truth values, but rather the confrontations between incompatible fundamental presuppositions at the ontological level. We can always identify a truth-value gap between two incommensurable languages. Such a truth-value gap indicates a communication breakdown between the two language communities on the one hand, and is caused by the incompatible fundamental presuppositions underlying them on the other. ;I thereby identify the truth-value functional relationship between sentences, instead of the meaning-referential relationship between terms, as the dominant semantic relation between two incommensurable languages. According to my presuppositional interpretation of incommensurability, the real secret of incommensurability lies in the ontological setup of two competing presuppositional languages. When two presuppositional languages with incompatible factual commitments encounter with each other, the confrontation leads to a truth-value gap, and consequently a communication breakdown between them. Formally put, two scientific languages are incommensurable when core sentences of one language, which have truth values when considered within its own context, lack truth values when considered within the context of the other due to an ontological gap between them. ;The presuppositional interpretation makes many significant contributions to the discussion of the issue of incommensurability and the related metaphysical and epistemological issues: It confirms the existence of the phenomenon of incommensurability and makes it metaphysically and epistemologically significant. It establishes the tenability and integrity of the notion of incommensurability. It avoids many alleged unattractive epistemological and metaphysical consequences of the translation-failure interpretation. (shrink)

To what extent is possession of truth considered a good thing in the Republic? Certain passages of the dialogue appear to regard truth as a universal good, but others are more circumspect about its value, recommending that truth be withheld on occasion and falsehood disseminated. I seek to resolve this tension by distinguishing two kinds of truths, which I label 'philosophical' and 'non-philosophical'. Philosophical truths, I argue, are considered unqualifiedly good to possess, whereas non-philosophical truths are (...) regarded as worth possessing only to the extent that possession conduces to good behaviour in those who possess them. In the non-philosophical arena it is an open question, to be determined on a case-by-case basis, whether falsehood is more efficacious in furthering this practical aim than truth. (shrink)

We introduce a general recipe for presenting non-classical logics in a modular and uniform way as labelled deduction systems. Our recipe is based on a labelling mechanism where labels are general entities that are present, in one way or another, in all logics, namely truth-values. More specifically, the main idea underlying our approach is the use of algebras of truth-values, whose operators reflect the semantics we have in mind, as the labelling algebras of our labelled deduction systems. The (...) “truth-values as labels” approach allows us to give generalized systems for multiple-valued logics within the same formalism: since we can take multiple-valued logics as meaning not only finitely or infinitely many-valued logics but also power-set logics, i.e. logics for which the denotation of a formula can be seen as a set of worlds, our recipe allows us to capture also logics such as modal, intuitionistic and relevance logics, thus providing a first step towards the fibring of these logics with many-valued ones. (shrink)

Syntax and semantics in Łukasiewicz infinite-valued sentential logic Ł are harmonized by revising the Bolzano-Tarski paradigm of “semantic consequence,” according to which, θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document} follows from Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document} iff every valuation v that satisfies all formulas in Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document} also satisfies θ.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta.$$\end{document} For θ\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document} to be a consequence of Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document}, we also require that any infinitesimal perturbation of v that preserves the truth of all formulas of Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Theta $$\end{document} also preserves the truth of θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document}. An elementary characterization of Łukasiewicz implication shows that the Łukasiewicz axiom →Y)→→X)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \rightarrow Y ) \rightarrow \rightarrow X )$$\end{document} guarantees the continuity and the piecewise linearity of the implication operation →\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\rightarrow $$\end{document}, an appropriate fault-tolerance property of any logic of [0,1]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\,\mathrm{[0,1]}\,}}$$\end{document}-valued observables. The directional derivability of the functions coded by all ψ∈Θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi \in \Theta $$\end{document} and by θ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\theta $$\end{document} then provides a quantitative formulation of our refinement of Bolzano-Tarski consequence, which turns out to coincide with the time-honored syntactic Ł-consequence. (shrink)

I address three issues in this paper: first, just as many have thought that there is a requirement of alternative possibilities for the truth of judgments of moral responsibility, is there reason to think that the truth of judgments of intrinsic value also presupposes our having alternatives? Second, if there is this sort of requirement for the truth of judgments of intrinsic value, is there an analogous requirement for the truth of judgments of moral (...) obligation on the supposition that obligation supervenes on goodness? Third, if the truth of judgments of intrinsic value and those of moral obligation do presuppose our having access to alternatives, what should be said about whether determinism imperils the truth of such judgments? I defend an affirmative answer to the first question, a more guarded answer to the second, and a yet more restrained answer to the third. (shrink)

The paper maintains that Frege's quantification of sentence positions motivates his identification of sentences as proper names of truth-values; that this identification is fully compatible with the Context Principle; that the relation of a thought to its truth-value is the primary case of the relation of sense to meaning. The paper offers a reconstruction of Frege's defense of in pp. 33-5 of “On Sense and Meaning”O artigo sustenta que a quantificação Fregeana sobre posições de sentença motiva sua (...) identificação de sentenças como nomes próprios de valores de verdade; que esta identificação é inteiramente compatível com o Princípio do Contexto; que a relação de um pensamento com o seu valor de verdade é o caso primário da relação do sentido para com o significado. O artigo oferece uma reconstrução da defesa de Frege de nas pp. 33-5 de “Sobre o Sentido e o Significado”. (shrink)

Reacting to contemporary thinkers who celebrate a liberation from absolute truth, Arthur Holmes explores historical ways of grounding moral values objectively in the nature of reality and reconnecting to objective and universal moral norms.

Nondeterministic programs occurring in recently developed programming languages define nondeterminate partial functions. Formulas (Boolean expressions) of such nondeterministic languages are interpreted by a nonempty subset of {T (true), F (false), U (undefined)}. As a semantic basis for the propositional part of a corresponding nondeterministic three-valued logic we study the notion of a truth-function over {T, F, U} which is computable by a nondeterministic evaluation procedure. The main result is that these truth-functions are precisely the functions satisfying four basic (...) properties, called -isotonic, –-isotonic, hereditarily guarded, and hereditarily guard-using, and that a function satisfies these properties iff it is explicitly definable (in a certain normal form) from if..then..else..fi, binary choice, and constants. (shrink)

After some generalities about connections between functions and relations in Sections 1 and 2 recalls the possibility of taking the semantic values of ‐ary Boolean connectives as ‐ary relations among truth‐values rather than as ‐ary truth functions. Section 3, the bulk of the paper, looks at correlates of these truth‐value relations as applied to formulas, and explores in a preliminary way how their properties are related to the properties of “logical relations” among formulas such as equivalence, (...) implication (entailment) and contrariety (logical incompatibility), concentrating for illustrative purposes on binary logical relations such as those just listed. To avoid an excess of footnotes, some points have been deferred to an Appendix as “Longer Notes”. (shrink)

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a (...) multilattice, and most notably, a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi. (shrink)

Various four- and three-valued modal propositional logics are studied. The basic systems are modal extensions BK and BS4 of Belnap and Dunn's four-valued logic of firstdegree entailment. Three-valued extensions of BK and BS4 are considered as well. These logics are introduced semantically by means of relational models with two distinct evaluation relations, one for verification and the other for falsification. Axiom systems are defined and shown to be sound and complete with respect to the relational semantics and with respect to (...) twist structures over modal algebras. Sound and complete tableau calculi are presented as well. Moreover, a number of constructive non-modal logics with strong negation are faithfully embedded into BS4, into its three-valued extension B3S4, or into temporal BS4, BtS4. These logics include David Nelson's three-valued logic N3, the four-valued logic N4 bottom, the connexive logic C, and several extensions of bi-intuitionistic logic by strong negation. (shrink)

Mixed inferences are a problem for those who want to combine truth-assessability and antirealism with respect to allegedly nondescriptive sentences: the classical account of validity has apparently to be given up. J.C. Beall's response is that validity can be defined as the conservation of designated valued (Beall 2000). I argue that since it presupposes a truth predicate that can be applied to all sentences, this suggestion is not helpful. I also consider problems arising from mixed conjunctions and discuss (...) the deeper worry that the distinction between truth which does and truth which does not entail realism is inferentially irrelevant. (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)

Suppose there are several experts, with some dominating others (expert A dominates expert B if B says something is true whenever A says it is). Suppose, further, that each of the experts has his or her own view of what is possible — in other words each of the experts has their own Kripke model in mind (subject, of course, to the dominance relation that may hold between experts). How will they assign truth values to sentences in a common (...) modal language, and on what sentences will they agree? This problem can be reformulated as one about many-valued Kripke models, allowing many-valued accessibility relations. This is a natural generalization of conventional Kripke models that has only recently been looked at. The equivalence between the many-valued version and the multiple expert one will be formally established. Finally we will axiomatize many-valued modal logics, and sketch a proof of completeness. (shrink)

In some presentations of classical and intuitionistic logics, the objectlanguage is assumed to contain (two) truth-value constants: ⊤ (verum) and ⊥ (falsum), that are, respectively, true and false under every bivalent valuation. We are interested to define and study analogical constants ‡, 1 ≤ i ≤ n, that in an arbitrary multi-valued logic over truth-values V = {v1,..., vn} have the truth-value vi under every (multi-valued) valuation. As is well known, the absence or presence of (...) such constants has a significant deductive impact on the logics studied. We define such constants proof-theoretically via their associated I/E-rules in a natural-deduction proof system. In particular, we propose a generalization of the notions of contradiction and explosiveness of a logic to the context of multi-valued logics. (shrink)

Truth-value gaps have received little attention from a foundational perspective, a fact which has rightfully opened up gap theories to charges of vacuousness. This paper develops an account of the foundations of gap-like behavior which has some hope of avoiding such charges. I begin by reviewing and sharpening a powerful argument of Dummett’s to constrain the options that gap theorists have to make sense of their views. I then show that within these strictures, we can give an account (...) of gaps by drawing on elements of a broadly Stalnakerian framework for assertion and using gaps to track an amalgamation of assertoric effects. The discussion reveals that we may need special resources in our theories of assertion to posit gaps, that gaps may be unusable in characterizing the structure of mental states, and that gaps may have heterogeneous linguistic sources that result in equally heterogeneous projective and inferential behavior. (shrink)

In Category Mistakes, Ofra Magidor provides two arguments against the view that category mistakes express propositions that are not truth-evaluable at some world. I argue that her first, Williamsonian argument against this view begs the question, and that her second argument rests on a misleading conception of how semantic defect results in infelicity judgments. I conclude by conceding that she is still correct to stress that the view she opposes face noteworthy foundational and empirical challenges.

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)

Is something true because we believe it to be so or because it is true? How can a culturally bound community achieve scientific knowledge when values, attitudes, and desires shape its beliefs? In this book an eminent philosopher considers various schools of thought on the nature of truth. David Weissman argues that truth exists in the correspondence between statement and fact: what can be said about our world can be measured against a reality that has a character and (...) existence independent of any property we ascribe to it. Weissman begins by evaluating the transcendental paradigm of Kant that has exercised enormous influence in the development of Western thought over the past two hundred years. He develops his critique of the Kantian model, in which value judgments underlie the perception or construction of truth, asserting that it is seriously flawed because it renders a determination of truth impossible. Weissman examines various value-driven perspectives on truth developed by such philosophers as Foucault, Derrida, and Rorty, for whom truth is only the set of affirmations, principles, and procedures sanctioned by power and value. However, says Weissman, truth is the required adjunct to desire. Knowing who we are, where we have been, and the consequences of what we have done is the essential preparation for choosing what to do next. We must respect the integrity of a world we have not made and find our way within it with the help of attitudes and desires that have been informed by truth. (shrink)

According to truth pluralism, sentences from different areas of discourse can be true in different ways. This view has been challenged to make sense of logical validity, understood as necessary truth preservation, when inferences involving different areas are considered. To solve this problem, a natural temptation is that of replicating the standard practice in many-valued logic by appealing to the notion of designated values. Such a simple approach, however, is usually considered a non-starter for strong versions of (...) class='Hi'>truth pluralism, since designation seems to embody nothing but a notion of generic truth. In this paper, I explore the analogy with many-valued logic by comparing the problem of mixed inferences with Suszko’s thesis, and argue that the strong pluralist has room to resist the commitment to a generic property of truth by undermining the semantic significance of Suszko’s reduction. (shrink)

The paper suggests a revival of the 17th century distinction between truths of reason and truths of fact. Some points are made which seem to me show it obviously false that a fact is merely a true proposition. Truths of fact, contingent truths, are rightly seen as corresponding to facts. Other truths, including ethical truths of right and wrong are, if true, necessarily true. In general, necessarily ture statements, including those of mathematics are wrongly construed as factual. Ethics and aesthetics, (...) it is maintained, can be construed as noncognitive; but not because claims in these domains are other than claims to truth. They are, in large part, not claims to knowledge, which does not bar them from being claims to truth. (shrink)

This work mainly concerns the—here introduced—category of \(\mathscr {Q}\) -sets and functional morphisms, where \(\mathscr {Q}\) is a commutative semicartesian quantale. We prove it enjoys all limits and colimits, that it has a classifier for regular subobjects (a sort of truth-values object), which we characterize and give explicitly. Moreover: we prove it to be \(\kappa \) -locally presentable, (where \(\kappa =max\{|\mathscr {Q}|^+, \aleph _0\}\) ); we also describe a hierarchy of monoidal structures in this category.

A selection of essays dedicated to Hans Herzberger with affection and gratitude for both his profound work and his lasting example. Contributors: I. Levi (on whether and how a rational agent should be seen as a maximizer of some cognitive value), C. Normore (on medieval accounts of logical validity), J. P. Tappenden (on the local influences on Frege's doctrines), A. Urquhart (on the inexpressible), A. C. Varzi (on dimensionality and the sense of possibility), and S. Yablo (on content and (...) carvings, and from there to mathematical realism). (shrink)

Scientists often use aesthetic values in the evaluation and choice of theories. Aesthetic values are not only regarded as leading to practically more useful theories but are often taken to stand in a special epistemic relation to the truth of a theory such that the aesthetic merit of a theory is evidence of its truth. This paper explores what aesthetic considerations influence scientists' reasoning, how such aesthetic values relate to the utility of a scientific theory, and how one (...) can justify the epistemic role for such values. The paper examines ways in which the link between beauty and truth can be defended, the challenges facing such accounts, and explores alternative epistemic roles for aesthetic values in scientific practice. (shrink)

We shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are expressible as terms. We show that expanding the original language of BK to include constants for ‘neither’ or/and ‘both’ leads to quite unexpected results. To be (...) more precise, adding one of these constants has the effect of eliminating the respective value at the level of BK-extensions. In particular, if one adds both of these, then the corresponding lattice of extensions turns out to be isomorphic to that of ordinary normal modal logics. (shrink)

This paper explores the thesis that the overarching goal of education is to cultivate virtuous intellectual character. It is shown how finally valuing the truth is central to this theory on account of how such valuing is pivotal to intellectual virtues. This feature of the proposal might be thought to be problematic for a number of reasons. For example, it could be argued that truth is not valuable, that insisting on valuing the truth in educational contexts could (...) be politically dubious, or that there is something unduly prescriptive about an educational methodology that has this component. It is argued, however, that many of these grounds for concern are not sound on closer inspection. Properly understood, educating for virtuous intellectual character, even once the truth-valuing aspect of this thesis is made explicit, should not be a contentious proposal. (shrink)

In this paper, some qualitative scientific laws are treated in a way that is analogous to the method by which Karl Menger has clarified the nature of quantitative laws such as Boyle's law about ideal gases. The qualitative analogue of the number-valued fluents, such as temperature, are fluents whose domains consist of physical objects while their values are T and F (true and false).

In this paper we define and examine frame constructions for the family of manyvalued modal logics introduced by M. Fitting in the '90s. Every language of this family is built on an underlying space of truth values, a Heyting algebra H. We generalize Fitting's original work by considering complete Heyting algebras as truth spaces and proceed to define a suitable notion of H-indexed families of generated subframes, disjoint unions and bounded morphisms. Then, we provide an algebraic generalization of (...) the canonical extension of a frame and model, and prove a preservation result inspired from Fitting's canonical model argument in [FIT 92a]. The analog of a complex algebra and of a principal ultrafilter is defined and the embedding of a frame into its canonical extension is presented. (shrink)