I have two objectives in this paper. The first is to investigate whether, and to what extent, truth is valuable. I do this by first isolating the value question from other normative questions. Second, I import into the debate about the nature of truth some key distinctions hailing from value theory. This will help us to clarify the sense in which truth is valuable. I then argue that there is significant variability in the value of truth in (...) different areas of discourse. I shall call this the axiological variability conjecture. I illustrate and substantiate AVC by contrasting the occurrence of disagreement in two paradigmatically evaluative areas of discourse, viz. matters of taste, on the one hand, and morality, on the other. I claim that there is a reasonable tendency to care much more about settling moral disagreements than taste disagreements and that this difference has to do, at least partly but significantly, with the different value that truth exhibits in these two areas of discourse. I then turn to the second objective of the paper—namely, to discuss how pluralistic accounts of the nature of truth may deal with the value of truth in light of AVC. I will argue that AVC is a problem for all versions of truth pluralism that are committed to the following two theses: that truth is a value concept; and that this characteristic of the concept has to be reflected in the metaphysical nature of any admissible truth properties—i.e., all the various properties that are admissible in the pluralist account are value-conferring properties and thus intrinsically valuable. In so doing, I will focus primarily on Michael Lynch’s functionalist incarnation of truth pluralism. Lynch terms this “Manifestation Alethic Pluralism”. My reason for this is twofold: first and foremost, MAP is a paradigmatic exemplification of a model of truth pluralism that is committed to both and ; second, MAP has, to date, enjoyed the most discussion, and currently provides the most developed account of truth pluralism. However, I argue that MAP lacks the resources to account for AVC. Owing to this, I suggest two ways out for an advocate of MAP, which force various structural changes in her view. (shrink)

Hilary Putnam spent much of his career criticizing the fact/value dichotomy, and this became apparent already during the phase when he defended internal realism. He later changed his epistemological and metaphysical view by endorsing natural realism, with the consequence of embracing alethic pluralism, the idea that truth works differently in various discourse domains. Despite these changes of mind in epistemology and in theory of truth, Putnam went on criticizing the fact/value dichotomy. However, alethic pluralism entails drawing (...) distinctions among discourse domains, especially between factual and nonfactual domains, and these distinctions are in tension with the rejection of the fact/value dichotomy, as this would in principle hinder factual domains as genuine. This issue raises, prima facie, some doubts about the effective compatibility of these views. (shrink)

Great thinkers have devoted to explaining morality and ethics in human beings. The major reflections have resulted in a well-known dichotomy, that of matters of fact and matters of value, or what is known as the theoretical world, which is objective, and the practical world, that of affections. With the birth of analytic philosophy, the emphasis is placed on language allowing to explain philosophical problems, such as validity. This study proposes the following thesis: it is possible to derive “ought” (...) from “is”, as it is evidenced in the Spanish verb “tocar” and several of its verbal periphrasis. To achieve this, a naturalization of morality is proposed from the postulates of two theories, namely, cognitive semantics (Talmy 2000) and the Modular Theory of Modalities (Gosselin 2010). The methodology applied consists of both a semantic and a cognitive analysis of “tocar”, for which a corpus was collected in literary texts and presidential speeches. The main result shows that “tocar” has a prototypical descriptive semantic value, alethic value, and new prescriptive semantic values. It is concluded that the new semantic values for this verb and its periphrasis are the deontic and the axiological ones, which demonstrates once again the evolutionary character of language and the need to provide empirical information on philosophical issues, such as morality. (shrink)

It has been argued that alethic pluralists -- who hold that there are several distinct truth properties -- face a problem when it comes to defining validity. Via consideration of the classical concept of logical consequence, and of strategies for defining validity in many-valued logics, this paper proposes two new kinds of solution to the problem.

Bradley N. Seeman charges that my book, The End of Apologetics: Christian Witness in a Postmodern Context, tends toward “the idolatry of linguistic license.” I point out some ways this runs against the text of the book and then outline a Wittgensteinian approach to language and truth that is alethically “quasi-realist.” On this view truth is both epistemic, or deflationary, in the sense that it depends upon assertability conditions for its truth values, while there is also a nonepistemic, realist component (...) to truth in that these assertability conditions derive from forms of life that involve precognitive involvement with extralinguistic affairs. (shrink)

In my paper 'Validity in Simple Partial Logic'(2002) I made comparison between several definitions of validity in Simple Partial Logic(SPL) and adopted two of them as most appropriate. In this paper, after elaborating more on these two definitions than in my previous paper and considering the characteristics of Partial Semantics, in which these definitions are given, I construct a tableau proof system and prove its soundness and completeness. Then, based on the characterization of Partial Semantics, I will show that we (...) can regard SPL as a logic of extensional alethic modality. (shrink)

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)

Alethic pluralists argue truth is a metaphysically robust higher-order property that is multiply realized by a set of diverse and domain-specific subvening alethic properties. The higher-order truth property legitimizes mixed inferences and accounts for a univocal truth predicate. Absent of this higher-order property, pluralists lack an account of the validity of mixed inferences and an adequate semantics for the truth predicate and thereby appear forced to abandon the central tenets of alethic pluralism. I argue the use of (...) many-valued logics to support pluralism fails to address the pluralist’s metaphysical problem regarding mixed inferences and mixed truth functional connectives. The high degree of heterogeneity of the alethic realizers challenges the plausibility of a single higher-order functional property. A functional property with such a heterogeneous base cannot be projectable at a theoretically significant level. The problem with mixed inferences and truth functions is but one symptom of the deeper projectability problem. (shrink)

This paper explores the relationship between the ascription of value to an object and an assessment of conative attitudes taken towards that object. It argues that this relationship is captured by an a priori necessary truth that falls out of the mastery conditions for the concept of value: what has value is worth valuing, when valuing is understood to be a relatively stable conative attitude distinct from judging valuable. What kind of assessment of attitude is at stake? (...) How are we to understand the worth-relation that holds between an object and the attitude? It is argued that deontological, evaluative and alethic eluciations of the worth-relation are wrongheaded. We should be looking for a mind-world relation that marks a success in how the emotional and motivational energies integral to valuing are directed: a success that does not consist in meeting a deontic requirement, in exemplifying value, or in representing truly. (shrink)

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)

This paper is about the alethic aspect of epistemic rationality. The most common approaches to this aspect are either normative (what a reasoner ought to/may believe?) or evaluative (how rational is a reasoner?), where the evaluative approaches are usually comparative (one reasoner is assessed compared to another). These approaches often present problems with blindspots. For example, ought a reasoner to believe a currently true blindspot? Is she permitted to? Consequently, these approaches often fail in describing a situation of (...) class='Hi'>alethic maximality, where a reasoner fulfills all the alethic norms and could be used as a standard of rationality (as they are, in fact, used in some of these approaches). I propose a function α, which accepts a set of beliefs as inputand returns a numeric alethic value. Then I use this function to define a notion of alethic maximality that is satisfiable by finite reasoners (reasoners with cognitive limitations) and does not present problems with blindspots. Function α may also be used in alethic norms and evaluation methods (comparative and non-comparative) that may be applied to finite reasoners and do not present problems with blindspots. A result of this investigation isthat the project of providing purely alethic norms is defective. The use of function α also sheds light on important epistemological issues, such as the lottery and the preface paradoxes, and the principles of clutter avoidance and reflection. (shrink)

This paper outlines a new pluralistic theory of normative reasons for belief, welfarist pluralism, which aims to explain how there can be basic alethic/epistemic reasons for belief and basic pragmatic/non-alethic reasons for belief that can combine to determine what one ought to believe. The paper shows how this non-derivative first-order pluralism arises from a purely welfarist account of the foundations of theoretical normativity, thereby combining foundational pragmatism with non-derivative pluralism about normative reasons for belief. In addition, this paper (...) outlines how welfarist pluralism provides a new and potentialy attractive account of the value of truth (or its indicators), namely that the value of truth (or its indicators) is its direct contribution to individuals' personal good or wellbeing. (shrink)

This is chapter 5 of the book project _The true and the good: a new theory of theoretical reason_, in which I explore the claim that both alethic and pragmatic reasons for belief are basic, but that they share a pragmatic foundation in a pluralist theory of wellbeing in which being in a positive epistemic state is a non-derivative component of wellbeing. This chapter argues that all three of fittingness first, reasons first, and value first views are false. (...) It does so by showing that fittingness and reasons both have unalike variance conditions with respect to value, i.e. that sometimes the value of something can switch from good to bad or bad to good without there being any change in whether it is fitting to favour it or whether there are reason to favour it. This is a form of an argument from under-generation following on earlier work by Krister Bykvist and Andrew Reisner, respectively. It is also more tentatively that reasons cannot be analysed in terms of correctness. Because the the arguments in this paper concern the extensional adequacy of the various bi-conditionals linking fittingness, reasons, and value, they suffice for rejecting even modest versions of '-first' views that do not purport to provide analyses, but rather only sets of correctness conditions for, e.g., reasons and value in terms of fittingness, or any two in terms of the third. (Updated 10 May 2022). (shrink)

Recently, Bourne constructed a system of three-valued logic that he supposed to replace Łukasiewicz’s three-valued logic in view of the problems of future contingents. In this paper, I will show first that Bourne’s system makes no improvement to Łukasiewicz’s system. However, finding some good motivations and lessons in his attempt, next I will suggest a better way of achieving his original goal in some sense. The crucial part of my way lies in reconsidering the significance of the intermediate truth-value (...) so as to reconstruct Łukasiewicz’s three-valued logic as a kind of extensional modal logic based on partial logic. (shrink)

This book explains the Problem of Truth’s Value and offers a virtue-theoretic solution to it. The Problem of Truth’s Value arises because it is hard to reconcile good theories of truth’s nature with good theories of why we should value truth. Some theories build value into the very nature of truth, but they tend to obscure the connection between what is true and how things are in the world. Other theories treat truth as a purely descriptive (...) feature of claims. They struggle to explain how such a feature could make something good or right to believe. To solve the problem, this book proposes a “Strong Virtue Theory” of truth’s value. On that theory, truth is worth caring about, but not because of any pre-existing value that inheres in states of true belief. Instead, truth is worth caring about because caring about truth is a moral virtue; it is part of being a morally good person. The book offers an account of Truthfulness as a moral virtue, independent of any value that inheres in states of true belief. It also criticizes several alternative ways of explaining truth’s value. Those alternatives include the idea that truth is inherently normative, the idea that truth makes beliefs intrinsically or instrumentally valuable, and the idea that truth confers a special sort of “epistemic value” on beliefs. (shrink)

According to a widely held view of the matter, whenever we assess beliefs as ‘rational’ or ‘justified’, we are making normative judgements about those beliefs. In this discussion, I shall simply assume, for the sake of argument, that this view is correct. My goal here is to explore a particular approach to understanding the basic principles that explain which of these normative judgements are true. Specifically, this approach is based on the assumption that all such normative principles are grounded in (...) facts about values, and the normative principles that apply to beliefs in particular are grounded in facts about alethic value––a kind of value that is exemplified by believing what is true and not believing what is false. In this chapter, I shall explain what I regard as the best way of interpreting this approach. In doing so, I shall also show how this interpretation can solve some problems that have recently been raised for approaches of this kind by Selim Berker, Jennifer Carr, Michael Caie, and Hilary Greaves. (shrink)

Ethical reasoning of all types is anthropocentric, in that it is addressed to agents, but anthropocentric starting points vary in the preference they accord the human species. Realist claims about environmental values, utilitarian reasoning and rights-based reasoning all have difficulties in according ethical concern to certain all aspects of natural world. Obligation-based reasoning can provide quite strong if incomplete reasons to protect the natural world, including individual non-human animals. Although it cannot establish all the conclusions to which anti-speciesists aspire, it (...) may establish many of them with some clarity. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

Andrew Kania has attempted to argue for nihilistic fictionalism about musical works. This view combines an error theory about musical work discourse with the proposal that musical work discourse has a non-alethic value which warrants continued participation in it. In this paper, I argue that Kania fails to establish either component of nihilistic fictionalism. First, I elaborate and reject Kania’s attempt to establish fictionalism on the basis of a methodological proposal he calls ‘descriptivism’. I argue that the methodology (...) is unpopular, unappealing and that the interest in its implications is unclear. What is worse descriptivism does not support fictionalism. I then elaborate and reject Kania’s attempt to establish fictionalism as the best theory compatible with nominalism. I argue that, even by Kania’s standards, eliminativist nominalism, materialist nominalism and materialist fictionalism are preferable to nihilistic fictionalism. (shrink)

The present study reiterates one of the main ideas that we exposed in 1983, in the paper “Din fals rezultă orice” (“From False Follows Anything”), published in the volume Întemeieri raţionale în filosofia ştiinţei (Rational Foundations in the Philosophy of Science) when we referred to the notion of semi-truth, as a third alethic value, placed between „truth” and „falsehood”, thus contributing to the functionality of the trivalent logic. Now we analyze the conceptions of Petre Botezatu, Mario Bunge, Karl (...) R. Popper and Nicholas Rescher, in order to argue that it is important not to identify the epistemological term „probable” (= uncertain) with the semantic term „partial” or „approximate”, when we speak about the concept of truth. (shrink)

I propose the notion of ‘epistemic sanity’, a property of parsimony between the holding of true but not false beliefs and the consideration of our cognitive limitations. Where ‘alethic value’ is the epistemic value of holding true but not false beliefs, the ‘alethic potential’ of an agent is the amount of extra alethic value that she is expected to achieve, given her current environment, beliefs, and reasoning skills. Epistemic sanity would be related to the (...) holding of (true or false) beliefs that increase the agent's alethic potential (relevant beliefs) but not of beliefs that decrease it (this is related to cognitive parsimony). Suspension of judgment, forgetting, and clutter avoidance are the main contributors to an agent's epistemic sanity, where this paper focuses on suspension. I argue that rational suspension favors the holding of true and relevant beliefs, which is not the case for the extremes of opinionation (no suspension) and skepticism (general suspension). In the absence of evidence, opinionated agents are often forced to rely on principles such as the principle of indifference, but suspension dominates indifference in terms of alethic value in some conditions. A rational agent would only find it beneficial to adopt skepticism if she considers herself to be an anti-expert about her entire agenda, but then ‘flipping’ beliefs maximizes expected alethic value in relation to skepticism. The study of epistemic sanity results in an ‘impure’ veritism, which can deal with some limitations of veritism (e.g., explaining the existence of false but relevant beliefs). (shrink)

Our main aim in this paper is to contribute towards a better understanding of the epistemology of absence-based inferences. Many absence-based inferences are classified as fallacies. There are exceptions, however. We investigate what features make absence-based inferences epistemically good or reliable. In Section 2 we present Sanford Goldberg’s account of the reliability of absence-based inference, introducing the central notion of epistemic coverage. In Section 3 we approach the idea of epistemic coverage through a comparison of alethic and evidential principles. (...) The Equivalence Schema–a well-known alethic principle–says that it is true that $p$ if and only if $p$ . We take epistemic coverage to underwrite a suitably qualified evidential analogue of the Equivalence Schema: for a high proportion of values of $p$ , subject $S$ has evidence that $p$ due to her reliance on source $S^{*}$ if and only if $p$ . We show how this evidential version of the Equivalence Schema suffices for the reliability of certain absence-based inferences. Section 4 is dedicated to exploring consequences of the Evidential Equivalence Schema. The slogan ‘absence of evidence is evidence of absence’ has received a lot of bad press. More elaborately, what has received a lot of bad press is something like the following idea: absence of evidence sufficiently good to justify belief in $p$ is evidence sufficiently good to justify belief in $\sim p$ . A striking consequence of the Evidential Equivalence Schema is that absence of evidence sufficiently good to justify belief in p is evidence sufficiently good to justify belief in $\sim p$ . We establish this claim in Section 4 and show how this supports the reliability of an additional type of absence-based inference. Section 4 immediately raises the following question: how can we make philosophically good sense of the idea that absence of evidence is evidence of absence? We address this question in Section 5. Section 6 contains some summary remarks. (shrink)

Alethic pluralism holds that there are many ways of being true. Such a view has been challenged to make sense of the standard account of logical validity as necessary truth preservation. In this paper, the recent solution elaborated by Aaron Cotnoir, based on an algebraic approach, is shown to be untenable. Some reflections about the relation of many-valued logics with truth pluralism are also discussed.

[Alethic Realism] 1. The sense of ‘true’ and ‘false’ in which such items as beliefs, statements, and propositions can be evaluated as true or false. 2. It is important to determine the truth-value of such items in this sense.

Naive versions of decision theory take probabilities and utilities as primitive and use expected value to give norms on rational decision. However, standard decision theory takes rational preference as primitive and uses it to construct probability and utility. This paper shows how to justify a version of the naive theory, by taking dominance as the most basic normatively required preference relation, and then extending it by various conditions under which agents should be indifferent between acts. The resulting theory can (...) make all the decisions of classical expected utility theory, plus more in cases where expected utilities are infinite or undefined. Although the theory requires similarly strong assumptions to classical expected utility theory, versions of the theory can be developed with slightly weaker assumptions, without having to prove a new representation theorem for the weaker theory. This alternate foundation is particularly useful if probability is prior to preference, as suggested by the recent program to base probabilism on accuracy and alethic considerations rather than pragmatic ones. (shrink)

There has been much discussion of powers or real dispositions in the past decade, but there remains an issue that has been inadequately treated. This concerns the precise modal value that comes with dispositionality. We contend in this paper that dispositionality involves a non-alethic, sui generis, irreducible modality. Dispositions only tend towards their manifestations; they do not necessitate them. Tendency is, of course, a dispositional term itself, so this last statement offers little by way of illumination. But given (...) our thesis on the irreducible nature of dispositionality, we maintain that it cannot be explicated correctly in non-dispositional terms. Nevertheless, we all have experience of dispositionality at work, through the exercise or our own powers and the action of other powers upon us. The notion of dispositionality that we acquire is one that involves a modality stronger than pure contingency but weaker than necessity. The recognition of this distinct modal value for dispositionality is one of the biggest oversights in the growing literature in the area. Yet it is there for all to see in even the most mundane example. (shrink)

Conceptions of acceptability-based moral or political justification take it that authoritative acceptability constitutes, or contributes to, validity, or justification. There is no agreement as to what bar for authoritativeness such justification may employ. The paper engages the issue in relation to (i) the level of idealization that a bar for authoritativeness, ψ, imparts to a standard of acceptability-based justification, S, and (ii) the degree of discursive purchase of the discursive standing that S accords to people when it builds ψ. I (...) argue that (i) and (ii) are interdependent: high idealization values entail low discursive purchase, while high degrees of purchase require low idealization values. I then distinguish between alethic conceptions of justification that prioritize ends that commit to high idealization values, and recognitive conceptions that favour high discursive purchase. On this basis, I argue for a moderately recognitivist constraint on idealization. To render the recognitive discursive minimum available to relevant people at the site of justification, S should set ψ low enough so that it is a genuine option for actual people to reject relevant views in ways that S recognizes as authoritative. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...) book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

Pettigrew offers new axiomatic constraints on legitimate measures of inaccuracy. His axiom called ‘Decomposition’ stipulates that legitimate measures of inaccuracy evaluate a credence function in part based on its level of calibration at a world. I argue that if calibration is valuable, as Pettigrew claims, then this fact is an explanandum for accuracy-rst epistemologists, not an explanans, for three reasons. First, the intuitive case for the importance of calibration isn’t as strong as Pettigrew believes. Second, calibration is a perniciously global (...) property that both contravenes Pettigrew’s own views about the nature of credence functions themselves and undercuts the achievements and ambitions of accuracy-rst epistemology. Finally, Decomposition introduces a new kind of value compatible with but separate from accuracy-proper in violation of Pettigrew’s alethic monism. introduction. (shrink)

Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of alethic-deontic modalities rather than deontic modalities alone. The interpretation of the concepts of obligation and permission comes down exclusively to the logical value that a sentence adopts for the accessible deontic alternatives. Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the system (...) of values under which we predicate the deontic qualifications. By taking this aspect into account, we arrive at a logical system which preserves laws proper to a deontic logic but where the standard paradoxes of deontic logic do not arise. It is a logic of strictly-deontic modalities DR. (shrink)

Desert-realists maintain that those who do wrong without an excuse deserve blame. Desert-skeptics deny this, holding that though we may be responsible for our actions in some sense, we lack the kind of responsibility needed to deserve blame. In two recent papers, Randolph Clarke advances an innovative defense of desert-realism. He argues for deserved-guilt, the thesis that the guilty deserve to feel guilt. In his 2013 paper, Clarke suggests two strategies for defending deserved-guilt: the fitting-guilt strategy and the good-guilt strategy. (...) In his 2016 paper, Clarke issues a challenge to the desert-skeptic: he calls on them to provide a non-desert based account of guilt’s fittingness. In the first two thirds of the paper, I respond to Clarke’s challenge to the desert-skeptic, showing that guilt felt by the guilty is alethic-fitting, reason-fitting, and value-fitting. None of these notions of fittingness, I argue, are desert based. In the last third of the paper, I show how the work done in previous sections affords us the tools to finely diagnose the failures of both the fitting-guilt and the good-guilt strategies. Here, I draw on one of Clarke’s own insights—namely, that desert is intimately connected to the value of justice. I propose that showing that guilt is fitting, or again non-instrumentally good, fails to show that it is deserved because to show that it is deserved one must show that guilt is fitting or good in a sense that implicates justice. (shrink)

A centerpiece of Juhani Yli-Vakkuri and John Hawthorne’s Narrow Content (OUP 2018) is the parameter proliferation argument. The authors consider a series of cleverly constructed cases of pairs of corresponding thoughts of qualitatively identical twins and argue that divergence in truth value for such thoughts forces the internalist to admit novel alethic parameters for semantic evaluation that are not independently motivated. I argue that the internalist will resist this argument by denying that such pairs of thoughts diverge in (...) truth value. I then argue that the construal of content presupposed by the argument should be rejected or amended by the internalist on independent grounds. I end in a more diagnostic vein by considering why parameter proliferation might have seemed pressing for internalism to begin with. (shrink)

To accommodate vague statements and predicates, I propose an infinite-valued, non-truth-functional interpretation of logic on which the tautologies are exactly the tautologies of classical two-valued logic. iI introduce a determinacy operator, analogous to the necessity operator in alethic modal logic, to allow the definition of first-order and higher-order borderline cases. On the interpretation proposed for determinacy, every statement corresponding to a theorem of modal system T is a logical truth, and I conjecture that every logical truth on the interpretation (...) corresponds to a theorem of T. the interpretation is extended to predicate logic. A borderline case of a predicate 'F’ is neither determinately F nor determinately not-F. Traditional sorites arguments are seen to fall apart early in their gradual stepwise passage from truth to falsity. (shrink)

[IMPORTANT CORRECTION - See end of abstract.] In Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability, Acta Philosophica Fennica 16 (1963), 153–167, Richard Montague shows that the use of a single syntactic predicate (with a context-independent semantic value) to represent modalities of alethic necessity and idealized knowledge leads to inconsistency. In A Note on Syntactical Treatments of Modality, Synthese 44 (1980), 391–395, Richmond Thomason obtains a similar impossibility result for idealized belief: under a syntactical (...) treatment of belief, the assumption that idealized belief is deductively closed, together with certain other plausible conditions on idealized belief, imply that an ideal believer with consistent beliefs cannot believe the truth of Robinson's Arithmetic. In this essay I assert an impossibility result similar to Thomason's but which does not assume that belief is deductively closed or ideal in any other way. There are technical mistakes in the formulations of Lemmas 1-4 and Theorem 2, however. Corrections can be found in the Erratum section of the author's website. (shrink)

In this paper, I will discuss boulesic and deontic logic and the relationship between these branches of logic. By ‘boulesic logic,’ or ‘the logic of the will,’ I mean a new kind of logic that deals with ‘boulesic’ concepts, expressions, sentences, arguments and systems. I will concentrate on two types of boulesic expression: ‘individual x wants it to be the case that’ and ‘individual x accepts that it is the case that.’ These expressions will be symbolised by two sentential operators (...) that take individuals and sentences as arguments and give sentences as values. Deontic logic is a relatively well-established branch of logic. It deals with normative concepts, sentences, arguments and systems. In this paper, I will show how deontic logic can be grounded in boulesic logic. I will develop a set of semantic tableau systems that include boulesic and alethic operators, possibilist quantifiers and the identity predicate; I will then show how these systems can be augmented by a set of deontic operators. I use a kind of possible world semantics to explain the intended meaning of our formal systems. Intuitively, we can think of our semantics as a description of the structure of a perfectly rational will. I mention some interesting theorems that can be proved in our systems, including some versions of the so-called hypothetical imperative. Finally, I show that all systems that are described in this paper are sound and complete with respect to their semantics. (shrink)

In ‘Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability’, Acta Philosophica Fennica16 (1963), 153–167, Richard Montague shows that the use of a single syntactic predicate (with a context-independent semantic value) to represent modalities of alethic necessity and idealized knowledge leads to inconsistency. In ‘A Note on Syntactical Treatments of Modality’, Synthese44 (1980), 391–395, Richmond Thomason obtains a similar impossibility result for idealized belief: under a syntactical treatment of belief, the assumption that idealized belief is (...) deductively closed, together with certain other plausible conditions on idealized belief, imply that an ideal believer with consistent beliefs cannot believe the truth of Robinson's Arithmetic. In this essay I show that an impossibility result similar to Thomason's can be obtained which does not assume that belief is deductively closed or ideal in any other way. (shrink)

Pragmatic justifications of epistemic norms tell us to observe these norms as the best means to attaining the things we value. I argue that such justifications do not work, because they harbour an irresolvable tension: their non-alethic character intrinsically conflicts with the truth-aiming character of the epistemic norms they are justifying. We should abandon, then, either epistemic norms or pragmatic justifications of these norms. I therefore argue that we should abandon pragmatic justifications.

There is debate among virtue epistemologists concerning what is the nature of an intellectual virtue. Linda Zagzebski in Virtues of the Mind , for instance, argues that an intellectual virtue has both a success and motivational component. Furthermore, Zagzebski defines knowledge with reference to acts of intellectual virtue. An agent S knows p iff S performs an act of intellectual virtue in forming the belief that p. This means that Zagzebski is committed to the counter-intuitive claim that low-grade knowledge requires (...) the agent to be epistemically motivated to form such low-grade beliefs. In this project I look at empirical research in cognitive psychology which suggests that epistemic motivations are involved in low-grade processing. Research on the role of attention in vision and memory suggests that attentional focus is necessary in order to have low-grade knowledge. And research on the relationship between motivation and attentional processing suggests that motivation informs attentional operations. The next step in the argument aims to show that such motivations are epistemic in that they are motivations to attain a cognitive state whose value is alethically related. Thus, one's epistemic motivations are necessary for low-grade knowledge. The second half of my project turns to higher-grade knowledge, i.e., testimony. It is here that I apply Zagzebski's account of knowledge to testimony. I do this to give a heretofore counterexample free definition of testimonial knowledge. Altogether, the project shows how Zagzebski's theory can account for the major modes by which we acquire empirical knowledge. (shrink)

What is truth? Philosophers are interested in a range of issues involving the concept of truth beginning with what sorts of things can be true. This is a collection of eighteen new and original research papers on truth and other alethic phenomena by twenty of the most promising young scholars working on truth today.