The relative merits and demerits of historically prominent views such as the correspondence theory, coherentism, pragmatism, verificationism, and instrumentalism have been subject to much attention in the truth literature and have fueled the long-lived debate over which of these views is the most plausible one. While diverging in their specific philosophical commitments, adherents of these historically prominent views agree in at least one fundamental respect. They are all alethic monists. They all endorse the thesis that there is only one property (...) in virtue of which propositions can be true, and so, in this sense, take truth to be one. The truth pluralist, on the other hand, rejects this idea. There are several properties in virtue of which propositions can be true. The literature on truth pluralism has been growing steadily for the past twenty years. This volume, however, is the first of its kind—the first collection of papers focused specifically on pluralism about truth. Part I is dedicated to the development, investigation, and critical discussion of different forms of pluralism. An additional reason to look at truth pluralism with interest is the significant connections it bears to other debates in the truth literature—the debates concerning traditional theories of truth and the deflationism/inflationism divide being cases in hand. Parts II and III of the volume connect truth pluralism to these two debates. (shrink)
The aim of this paper is to provide an overview of various forms of alethic pluralism. Along the way we will draw a number of distinctions that, hopefully, will be useful in mapping the pluralist landscape. Finally, we will argue that a commitment to alethic disjunctivism, a certain brand of pluralism, might be difficult to avoid for adherents of the other pluralist views to be discussed. We will proceed as follows: Section 1 introduces alethic monism and alethic pluralism. Section 2 (...) presents a distinction between strong and moderate versions of monism and pluralism, understood as theses about the existence of truth properties. Section 3 introduces four pluralist positions: strong alethic pluralism, alethic disjunctivism, second-order functionalism and manifestation functionalism. These positions are classified using the basic framework from Section 2, and a further distinction between pure and mixed versions of pluralism is drawn. Interestingly, alethic disjunctivism and the two kinds of functionalism—i.e. three out of four positions— have a mixed character. They incorporate a monist thesis. The only pure form of pluralism is strong alethic pluralism. Section 4 adds another distinction to the stock: one-level and two-level views. Each of the mixed positions operates with two levels, locating certain “alethically potent”—or grounding—properties at a lower level and others at a higher level. We briefly discuss the nature of grounding. In Section 5, we answer a question about mixed, two-level views, viz. whether they are as much monist as pluralist in nature, or more. They are not. Section 6 is devoted to the task of arguing that the strong pluralist, the second-order functionalist, and the manifestation functionalist will find it hard to deny a commitment to alethic disjunctivism. (shrink)
Here is a well-known thought about truth: Truth consists in correspondence with reality. A sentence is true just in case what it says corresponds with how the world is. Theories of truth that incorporate this thought are naturally regarded as robust or “heavyweight”. Truth is to be understood in a realist fashion. The world decides what is true and what is not. A recent incarnation of the correspondence view is found in truth-maker theories, whose adherents maintain that truths are true (...) in virtue of there being something – a truth-maker – in the world that makes them so.2. (shrink)
Alethic pluralism is the view that the nature of truth is not uniform across domains. There are several ways of bang true $(T_1 ...\,T_n )$ A simple argument, the 'instability challenge', purports to show that this view is inherently unstable. One can simply say that something is uniformly true if and only if it is T₁ or ... or $\,T_n $ . Being uniformly true is a single truth property that applies across the board, and so the nature of truth (...) is uniform across domains, contra pluralism. I defend pluralism against the instability challenge. I show that the challenge bifurcates: one Challenge is formulated in terms of predicates, and the other is formulated in terms of properties. Vie pluralist has the resources to defuse both of these. The sparse/abundant property distinction and considerations of explanatory asymmetry play a crucial role in my argument. (shrink)
This paper offers a discussion of metaphysical pluralism, alethic pluralism, and logical pluralism. According to the metaphysical pluralist, there are several ways of being. According to the alethic pluralist, there are several ways of being true, and according to the logical pluralist, there are several ways of being valid. Each of these three forms of pluralism will be considered on its own, but the ambition of the paper is to explore possible connections between them. My primary objective is to present (...) and develop a positive account according to which the different forms of pluralism are intimately related. I will proceed in two steps. First, I will investigate the connection between alethic pluralism and logical pluralism. I will argue that a certain version of alethic pluralism supports logical pluralism. Second, I will connect alethic pluralism and logical pluralism to metaphysical pluralism. I will suggest that the former two are at least partly founded on the latter. (shrink)
In this paper I discuss two fundamental challenges concerning Crispin Wright's notion of entitlement of cognitive project: firstly, whether entitlement is an epistemic kind of warrant since, seemingly, it is not underwritten by epistemic reasons, and, secondly, whether, in the absence of such reasons, the kind of rationality associated with entitlement is epistemic in nature. The paper investigates three possible lines of response to these challenges. According to the first line of response, entitlement of cognitive project is underwritten by epistemic (...) reasons – and thus supports epistemic rationality – because, when P is an entitlement, trust in P is a dominant strategy with respect to promotion of epistemic value. The second line of response replaces dominance with maximization of expected utility. I argue that both of these proposals are flawed and develop an alternative line of response. (shrink)
We review the "Entitlement" projects of Tyler Burge and Crispin Wright in light of recent work from and surrounding both philosophers. Our review dispels three misunderstandings. First, Burge and Wright are not involved in a common “entitlement” project. Second, though for both Wright and Burge entitlement is the new notion, “entitlement” is not some altogether third topic not clearly connected to the nature of knowledge or the encounter with skepticism. Third, entitlement vs. justification does not align with the externalism vs. (...) internalism distinction. (shrink)
Table of Contents -/- 1. Introduction and Overview: Two Entitlement Projects, Peter J. Graham, Nikolaj J.L.L. Pedersen, Zachary Bachman, and Luis Rosa -/- Part I. Engaging Burge's Project -/- 2. Entitlement: The Basis of Empirical Warrant, Tyler Burge 3. Perceptual Entitlement and Scepticism, Anthony Brueckner and Jon Altschul 4. Epistemic Entitlement Its Scope and Limits, Mikkel Gerken 5. Why Should Warrant Persist in Demon Worlds?, Peter J. Graham -/- Part II. Extending the Externalist Project -/- 6. Epistemic Entitlement and Epistemic (...) Competence, Ernest Sosa 7. Extended Entitlement, Adam Carter and Duncan Pritchard 8. Moorean Pragmatics, Social Comparisons and Common Knowledge, Allan Hazlett 9. Internalism and Entitlement to Rules and Methods, Joshua Schecter -/- Part III. Engaging Wright's Project -/- 10. Full Bloodied Entitlement, Martin Smith 11. Pluralist Consequentialist Anti-Scepticism, Nikolaj Jang Lee Linding Pedersen 12. Against (Neo-Wittensteinian) Entitlements, Annalisa Coliva 13. The Truth Fairy and the Indirect Consequentialist, Daniel Elstein and Carrie S. I. Jenkins 14. Knowledge for Nothing, Patrick Greenough . (shrink)
While historically prominent theories of truth such as the correspondence theory, coherentism, pragmatism, verificationism, and instrumentalism diverge in many ways, they converge in at least one fundamental respect. They are all monist theories of truth. They incorporate the thesis that there is one property—and one property only—in virtue of which propositions can be true. The truth pluralist, on the other hand, rejects this idea. There are several properties in virtue of which propositions can be true. This article offers a survey (...) of recent work on alethic pluralism—presenting various incarnations of the view, objections leveled against them, and various lines of response available to pluralists. (shrink)
Pluralistic ignorance is a socio-psychological phenomenon that involves a systematic discrepancy between people’s private beliefs and public behavior in certain social contexts. Recently, pluralistic ignorance has gained increased attention in formal and social epistemology. But to get clear on what precisely a formal and social epistemological account of pluralistic ignorance should look like, we need answers to at least the following two questions: What exactly is the phenomenon of pluralistic ignorance? And can the phenomenon arise among perfectly rational agents? In (...) this paper, we propose answers to both these questions. First, we characterize different versions of pluralistic ignorance and define the version that we claim most adequately captures the examples cited as paradigmatic cases of pluralistic ignorance in the literature. In doing so, we will stress certain key epistemic and social interactive aspects of the phenomenon. Second, given our characterization of pluralistic ignorance, we argue that the phenomenon can indeed arise in groups of perfectly rational agents. This, in turn, ensures that the tools of formal epistemology can be fully utilized to reason about pluralistic ignorance. (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.
In this paper we explore the potential bearing of the extended mind thesis—the thesis that the mind extends into the world—on epistemology. We do three things. First, we argue that the combination of the extended mind thesis and reliabilism about knowledge entails that ordinary subjects can easily come to enjoy various forms of restricted omniscience. Second, we discuss the conceptual foundations of the extended mind and knowledge debate. We suggest that the theses of extended mind and extended knowledge lead to (...) a bifurcation with respect to the concepts of belief and knowledge. We suggest that this conceptual bifurcation supports a form of pluralism about these concepts. Third, we discuss whether something similar can be said at the metaphysical level. (shrink)
ABSTRACTThis paper discusses the normativity of truth and logic. The paper has three objectives. First, I argue that logic is normative for thought in the sense of underwriting instrumental rationality. Logic is a good instrument for achieving truth, the goal of cognition. In recent work, Filippo Ferrari has argued that the normative nature of truth may vary across domains. My second aim is to extend this idea to logic, against the background of the idea that logic serves to underwrite instrumental (...) rationality. The third objective is to further develop Ferrari’s framework of normative alethic variability. I do so through a discussion of the normative problem of mixed compounds: the challenge of providing a principled account of the normativity of compounds with constituents whose respective normative profiles differ. I argue that the challenge can be met. Besides offering a solution to a major challenge, the response offered sheds new light on the normative variability framework: the truth of a single mixed compound may have different normative profiles across different ‘disagreement-realizers’. This feature of the view is rooted in a key commitment of the normative variability framework – namely, that disagreement and alethic normativity are intimately connected. (shrink)
Crispin Wright has recently introduced a non-evidential notion of warrant – entitlement of cognitive project – as a promising response to certain sceptical arguments, which have been subject to extensive discussion within mainstream epistemology. The central idea is that, for a given class of cognitive projects, there are certain basic propositions – entitlements – which one is warranted in trusting provided there is no sufficient reason to think them false. (See Wrigh [2].) The aim of this paper is to provide (...) an account of the notion of entitlement of cognitive project and briefly discuss the question whether there is any work for the notion of entitlement to do within the philosophy of mathematics. Bearing in mind its applications in mainstream epistemology, it will be suggested that the notion can be used to formulate a response to certain kinds of scepticism which call into question the warrantability of (acceptances of) propositions that appear integral to mathematical theorizing in a given mathematical theory T – in particular, that T is consistent and that T ’s background logic is sound. (shrink)
When talking about truth, we ordinarily take ourselves to be talking about one-and-the-same thing. Alethic monists suggest that theorizing about truth ought to begin with this default or pre-reflective stance, and, subsequently, parlay it into a set of theoretical principles that are aptly summarized by the thesis that truth is one. Foremost among them is the invariance principle.
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)
This is the introduction to Moretti, Luca and Nikolaj Pedersen (eds), Non-Evidentialist Epistemology. Brill. Contributors: N. Ashton, A. Coliva, J. Kim, K. McCain, A. Meylan, L. Moretti, S. Moruzzi, J. Ohlorst, N. Pedersen, T. Piazza, L. Zanetti.
Second-order axiomatizations of certain important mathematical theories—such as arithmetic and real analysis—can be shown to be categorical. Categoricity implies semantic completeness, and semantic completeness in turn implies determinacy of truth-value. Second-order axiomatizations are thus appealing to realists as they sometimes seem to offer support for the realist thesis that mathematical statements have determinate truth-values. The status of second-order logic is a controversial issue, however. Worries about ontological commitment have been influential in the debate. Recently, Vann McGee has argued that one (...) can get some of the technical advantages of second-order axiomatizations—categoricity, in particular—while walking free of worries about ontological commitment. In so arguing he appeals to the notion of an open-ended schema—a schema that holds no matter how the language of the relevant theory is extended. Contra McGee, we argue that second-order quantification and open-ended schemas are on a par when it comes to ontological commitment. (shrink)
This edited volume brings together 18 state-of-the art essays on pluralism about truth and logic. Parts I and II are dedicated to respectively truth pluralism and logical pluralism, and Part III to their interconnections. Some contributors challenge pluralism, arguing that the nature of truth or logic is uniform. The majority of contributors, however, defend pluralism, articulate novel versions of the view, or contribute to fundamental debates internal to the pluralist camp. The volume will be of interest to truth theorists and (...) philosophers of logic, as well as philosophers interested in relativism, contextualism, metaphysics, philosophy of language, semantics, paradox, epistemology, or normativity. (shrink)
According to ontological pluralism there are several ways of being. This is so if there is an unrestricted quantifier that ranges over everything there is, and there are several semantically primitive, restricted quantifiers with possible meanings such that each restricted quantifier has a non-empty domain that is properly included in the domain of the unrestricted quantifier, the domains of the restricted quantifiers do not overlap, and the meaning of each restricted quantifier is at least as natural as the meaning of (...) the unrestricted quantifier. My long-standing interest in the debate concerning pluralism about truth has shaped my choice of focus in this piece. According to truth pluralism there are several ways of being true. Different properties are relevant to the truth of propositions concerning different domains. The problem of mixed compounds challenges truth pluralists to provide a principled account of the truth of mixed compounds, i.e. compounds whose constituents are true in different ways. My aim here is to present and articulate a corresponding issue facing ontological pluralists: the problem of mixed beings. The problem of mixed beings challenges ontological pluralists to provide a principled account of the way in which mixed beings exist, i.e. beings whose constituents exist in different ways. (shrink)
The neo-Fregean account of arithmetical knowledge is centered around the abstraction principle known as Hume’s Principle: for any concepts X and Y , the number of X ’s is the same as the number of Y ’s just in case there is a 1–1 correspondence between X and Y . The Caesar Problem, originally raised by Frege in §56 of Die Grundlagen der Arithmetik , emerges in the context of the neo-Fregean programme, because, though Hume’s Principle provides a criterion of (...) identity for objects falling under the concept of Number–namely, 1–1 correspondence—the principle fails to deliver a criterion of application. That is, it fails to deliver a criterion that will tell us which objects fall under the concept Number, and so, leaves unanswered the question whether Caesar could be a number. Hale and Wright have recently offered a neo-Fregean solution to this problem. The solution appeals to the notion of a categorical sortal. This paper offers a reconstruction of their solution, which has the advantage over Hale and Wright’s original proposal of making clear what the structure of the background ontology is. In addition, it is shown that the Caesar Problem can be solved in a framework more minimal than that of Hale and Wright, viz . one that dispenses with categorical sortals. The paper ends by discussing an objection to the proposed neo-Fregean solutions, based on the idea that Leibniz’s Law gives a universal criterion of identity. This is an idea that Hale and Wright reject. However, it is shown that a solution very much in keeping with their own proposal is available, even if it is granted that Leibniz’s Law provides a universal criterion of identity. (shrink)
Traditional theories of truth – such as the correspondence theory – are monist in character. All propositions, regardless of subject-matter, are true in the same way (if true). Recently, this view has been called into question by alethic pluralists (most notably Crispin Wright and Michael Lynch). According to the pluralist, the nature of truth varies across domains. Pluralists try to motivate their position by appealing to the following principle: for any domains D1 and D2, if the metaphysical constitutions of respectively (...) D1 and D2 differ, then D1-propositions and D2-propositions are true in different ways (if true). The aim of the paper isto present a monist challenge to this principle. The gist of the challenge is this: even if metaphysical pluralism (i.e. the antecedent) is granted, truth can be given a uniform account within a correspondence framework. The basic argument is this: every domain that the alethic pluralist is interested in is truth-apt. But any domain that deals in truth-apt propositions likewise deals in facts – after all, it seems a mere platitude that facts are what makes propositions true (if true). Once facts are admitted, the monist can argue as follows: a proposition is true if, and only if, it corresponds to reality. Now, a proposition corresponds to reality if, and only if, it represents reality correctly – and a proposition represents reality correctly if, and only if, what is says is a fact, or is the case. However, since the notion of fact is available for any truth-apt domain, a proposition – whatever its (truth-apt) domain – can be taken to be true if, and only if, it corresponds to reality. Thus, metaphysical pluralism does not imply alethic pluralism. (shrink)
This is the first edited collection entirely dedicated to non-evidentialist epistemology or non-evidentialism—the controversial view that evidence is not required in order for doxastic attitudes to enjoy a positive epistemic status. Belief or acceptance can be epistemically justified, warranted, or rational without evidence. The volume is divided into three section: the first focuses on hinge epistemology, the second offers a critical reflection about evidentialist and non-evidentialist epistemologies, and the third explores extensions of non-evidentialism to the fields of social psychology, psychiatry, (...) and mathematics. Contributors: N. Ashton, A. Coliva, J. Kim, K. McCain, A. Meylan, L. Moretti, S. Moruzzi, J. Ohlorst, N. Pedersen, T. Piazza, L. Zanetti. (shrink)
Vann McGee claims that open-ended schemas are more innocuous than ordinary second-order quantification, particularly in terms of ontological commitment. We argue that this is not the case.
i.e. for any concepts X and Y, the number of X’s and the number of Y’s are identical if and only if there is a 1-1 correspondence between X and Y.1 The central claim of neo- Fregeanism with respect to arithmetic is that arithmetical knowledge can be obtained a priori through Frege’s Theorem, the result that the axioms of arithmetic are derivable in the system obtained by adding Hume’s Principle to second-order logic.
A mathematical theory T is categorical if, and only if, any two models of T are isomorphic. If T is categorical, it can be shown to be semantically complete: for every sentence ϕ in the language of T, either ϕ follows semantically from T or ¬ϕ does. For this reason some authors maintain that categoricity theorems are philosophically significant: they support the realist thesis that mathematical statements have determinate truth-values. Second-order arithmetic (PA2) is a case in hand: it can be (...) shown to be categorical and semantically complete. The status of second-order logic is a controversial issue, however. Worries about the purported set-theoretic nature and ontological commitments of second-order logic have been influential in the debate. (shrink)