1 Introduction

In On What Matters, Derek Parfit draws the following map of the metaethical landscape (Parfit 2015, 13; Parfit 2011, vol. 2, 263)Footnote 1:

[Q1] Are normative claims intended or believed to state truths?

Yes—conceptual cognitivism; no—[T1] non-cognitivism

[Q2] [Assuming that conceptual cognitivism is true], are there any normative truths?

Yes—substantive cognitivism; no—[T2] nihilism/error theory

[Q3] [Assuming that substantive cognitivism is true], are these truths irreducibly normative?

If the answer to Q3 is yes, [Q4] do [the irreducibly normative] truths have ontological implications?

Yes—[T3] metaphysical non-naturalism; no—[T4] non-realist cognitivism

If the answer to Q3 is no, [Q5] are the concepts and claims with which we state such truths irreducibly normative?

Yes—[T5] non-analytical naturalism; no—[T6] analytical naturalism

Parfit’s own answers are “yes” to Q1, Q2 and Q3 and “no” to Q4. He thus defends T4, which he called first “non-metaphysical cognitivism” (Parfit 2011, vol. 2, 479) and which he now calls “non-realist cognitivism” (Parfit 2015, 15). Parfit’s case for T4 is an argument from exclusion (Parfit, vol. 2, chapters 24–36; Parfit 2015, chapters 1–11). He tries to show that, because T1, T2, T3, T5 and T6 fail, we should accept non-realist cognitivism.

Parfit quickly excludes nihilism [T2], a view also known as the error theory. It claims that, because normative properties are not instantiated, it is, for example, not the case that we have reasons to avoid future agony.Footnote 2 Parfit is convinced that there are some normative truths such as the truth that we do have reasons to avoid future agony. He also thinks that, without such truths, nothing would matter in the normative reason-involving sense, which would be too bleak (Parfit 2011, vol. 2, 619–620). Furthermore, if you share Parfit’s previous conviction, then you are epistemically entitled to reject nihilism until you have been provided with sufficiently good epistemic reasons to give up your conviction. However, any such epistemic reasons would arguably show that there are normative truths (Parfit 2011, vol. 2, 293 and 619).Footnote 3

The second view that Parfit excludes is metaphysical non-maturalism [T3].Footnote 4 According to it, there are normative facts which do not depend for their existence on our stance towards them. No matter what we think, we always have reasons to avoid future agony. One part of this fact is a robust, worldly normative reason-relation between future agony and our attempts to avoid it. Such counting-in-favour-of relations are, on this view, irreducible and of their own unique kind. They are not empirically observable, causally efficacious, or a part of the subject matter of sciences. Despite this, according to T3, the reason-relations are a part of the fundamental structure of the world.

Parfit’s first objection to this view is that an additional normative layer of reality is “too queer to be compatible with a scientific world view” (Parfit 2011, vol. 2, 486 and 465; Parfit 2015, 15). This extra normative reality also raises familiar epistemic questions about how we could ever know about it even if it existed. Parfit’s second objection relies on analogies. According to him, there are necessary truths in mathematics and logic (Parfit 2011, vol. 2, 475–485; Parfit 2015, 130). There are even truths about what could exist and happen (Parfit 2011, vol. 2, 467). In these cases, according to Parfit, the relevant propositions can be necessarily true without any additional independently existing entities or properties such as numbers or possible worlds (Parfit 2011, vol. 2, 479; Parfit 2015, 93, 99, 113 and 129–130). The thought then is that, given the similarities between normative truths and the previous truths, the normative truths do not need to be based on an independently existing layer of reality either.Footnote 5

Parfit argues carefully against all other alternatives to non-realist cognitivism. In the second volume of On What Matters, chapters 99–104Footnote 6 are against non-cognitivism [T1], chapters 83–84 against analytical naturalism [T6],Footnote 7 and chapters 87–88 and 91–98 against non-analytical naturalism [T5].Footnote 8 There are already three volumes of critical evaluations of On What Matters in which leading non-cognitivists and naturalists defend their views against Parfit’s objections.Footnote 9 Parfit himself is using the third volume of On What Matters (i) to clarify his objections, (ii) to develop further objections to the non-cognitivist and naturalist responses and (iii) to find common ground between his view and the other alternatives (Parfit 2015, chapters 1–11).

So far, very few philosophers have focussed on Parfit’s own theory, non-realist cognitivism [T4],Footnote 10 because Parfit’s critics have mainly been interested in Parfit’s objections to their own views. Parfit’s own proposal, however, also deserves critical attention already because which metaethical view we should accept is a function of the theoretical costs and benefits of all the alternatives (Parfit 2011, vol. 2, 264). For this reason, I will focus here solely on non-realist cognitivism. I argue that its defenders cannot make sense of the truth of normative truths. The next section briefly outlines Parfit’s theory. “Correspondence Theories and Deflationism” section explains how it explicitly rules out the most popular theories of truth: different versions of correspondence theories and deflationism. “Coherentism and Pragmatism” section then argues that coherentist and pragmatist views of truth commit non-realist cognitivism to an objectionable type of first-order relativism. This means that non-realist cognitivists are left with epistemic theories of truth and primitivism, which are explored in the concluding “Epistemic Theories of Truth and Primitivism” section.

2 Parfit’s Non-Realist Cognitivism

This section describes Parfit’s non-realist cognitivism as it emerges from his answers to the questions Q1 to Q4.Footnote 11 In Q1, Parfit attempts to use whether we intend to state truths to draw the distinction between cognitivism and non-cognitivism (Parfit 2011, vol. 2, 263–265; Parfit 2015, 13–16). I will explain below why this is not a good idea. Instead, it is much easier to understand cognitivism as the view according to which normative judgments are beliefs whereas according to non-cognitivism, they are some types of desire-like attitudes.Footnote 12 We can then draw the distinction between beliefs and desire-like attitudes in terms of their directions of fit.Footnote 13 Beliefs have the mind-to-world direction of fit (which makes them satisfy their functional role when they fit how the world is), whereas desire-like attitudes have the world-to-mind direction of fit (which makes them satisfy their functional role when the world is made to fit them).

Parfit too accepts this way of drawing the distinction. He notes that, unlike the non-cognitivists, most of us think that moral beliefs are beliefs (Parfit 2011, vol. 2, 380). He also denies that moral beliefs have any necessary connection to motivation in the way that desire-like attitudes have (Parfit 2011, vol. 2, 382). And, he acknowledges that according to non-cognitivists, value judgments express desires (Parfit 2011, vol. 2, 391). Given that Parfit’s non-realist cognitivism is a form of cognitivism, we should then think that according to this position, normative judgments are beliefs with the mind-to-world direction of fit.

I will set Q2 aside too. Parfit’s answer to it merely states that some normative beliefs are true. This only tells us that non-realist cognitivism is not a version of nihilism. In explaining the rest of the features of non-realist cognitivism, I will not rely on Parfit’s questions Q3 to Q5 (“are normative truths irreducibly normative?”, “do the irreducible normative truths have ontological implications?”, and “are the concepts and claims with which we state such truths irreducibly normative?”) either because doing so would require taking a stand on controversial issues discussed later on. Instead, it is easier to understand Parfit’s position through how it disagrees with the remaining alternatives metaphysical non-naturalism [T3], non-analytical naturalism [T5] and analytical naturalism [T6].

According to analytical maturalism [T6], when we consider the propositions which are the contents of our normative judgments, the concepts that constitute them are ordinary concepts that we also employ when we think about the empirically observable physical world.Footnote 14 Thus, according to T6, the proposition <We have reasons to avoid future agony> is identical with and reducible to some proposition of the form <(we)R(future agony)> where “R” stands for a two-place relational predicate concept that can also be expressed by using non-normative vocabulary. Non-realist cognitivism rejects analytical naturalism. It holds that normative propositions and their constituent normative concepts are irreducible and of their own unique kind (Parfit 2011, vol. 2, 266, Parfit 2015, 19–21).

As explained above, according to metaphysical non-naturalism [T3], there are normative facts which obtain in virtue of actions and states of affairs instantiating irreducible, sui generis normative properties that are an additional part of the basic structure of the reality. This view then claims that these normative facts make some of our normative beliefs with irreducible normative contents true. Non-analytical naturalism [T5], in contrast, claims that, even if normative propositions have irreducible normative contents, some of these propositions are still made true by the natural facts of the world.Footnote 15 Thus, even if the proposition <We have reasons to avoid future agony> cannot be expressed with non-normative vocabulary, the fact that makes this proposition true can still be an ordinary natural fact such as the fact that, if we were fully informed and coherent, we would try to avoid future agony.

Parfit’s non-realist cognitivism rejects both metaphysical non-naturalism and non-analytical naturalism because it denies that the true irreducible normative propositions need to be made true by any part of the reality (Parfit 2011, vol. 2, 486–487; Parfit 2015, 14–15). The view claims that some of those propositions are true even if they are not made true by any natural facts or sui generis normative facts. Hence, on this view, the truth of irreducible normative propositions does not have any metaphysical or ontological implications. The truth of propositions such as <We have reasons to avoid future agony> is independent of what properties and facts are a part of the fundamental structure of the reality.Footnote 16

Non-realist cognitivists are then committed to the following:

  1. 1.

    Normative judgments are beliefs.

  2. 2.

    Some normative beliefs are true.

  3. 3.

    The normative concepts that are a part of the propositions that are the contents of normative beliefs are irreducible, unanalysable and of their own unique kind.

  4. 4.

    Neither the natural features of the reality nor any additional normative features of the reality make normative beliefs true.Footnote 17

We should then ask: of what does the truth of the relevant irreducible normative truths then consist? What is, on this view, the difference between the true normative propositions and the ones that are not true?

3 Correspondence Theories and Deflationism

Let us begin from two most popular theories of truth: the correspondence theories and versions of deflationism. This section briefly explains these theories and why they are not available for the non-realist cognitivists.

The basic crux of the correspondence theories is easy to state even if the basic tenets of these theories quickly lead to complications.Footnote 18 Roughly, on these views, the truth of true propositions consists of their correspondence to how things are. The problem with stating these views in this way is that most theories of truth can accommodate the previous platitude (Wright 1992, 25). For this reason, it is not sufficient to use mere correspondence to how things are to explain the correspondence theories.

It is better to begin from the idea that according to the correspondence theories truth is a relational property. According to them, the truth of a proposition consists of there being a “chunk of reality” such that the proposition is in a “correspondence” relation with it. The challenge for the correspondence theorists is then to give an informative account of the nature of the relevant chunk of reality and the correspondence relation.

Let us use the proposition <We have reasons to avoid future agony> to illustrate one response to this challenge.Footnote 19 It claims that, when this proposition is true, a chunk of the external reality must be a genuine fact that we have reasons to avoid future agony. For the proposition then to be true, the concepts of the proposition We, to avoid, future agony, and having reasons must refer to the constituents of the relevant fact: us, actions of avoidance, future agony and the relevant reason-relations. Furthermore, the structure in which these constituents form the fact must be isomorphic with the structure of the proposition which the relevant concept form. If this is the case, then the correspondence relation obtains and the proposition is true.

This theory is clearly not available for the non-realist cognitivists. They explicitly deny that there is a chunk of reality that is the normative fact that we have reasons to avoid future agony. This is why they cannot use a relation to such a fact to explain of what the truth of normative propositions consists.Footnote 20 To his credit, Parfit recognizes this. He defines alethic realism as the view that “[a]ll truths are made to be true by the way in which they correctly describe how things are in some part of reality” (Parfit 2015, 14; Parfit 2011, vol. 2, 745). This view encapsulates the essence of the correspondence theories. Parfit then explicitly states that accepting non-realist cognitivism is a way of rejecting alethic realism (Parfit 2011, vol. 2, 746; Parfit 2015, 15). By doing so, Parfit explicitly rules out the compatibility of correspondence theories of truth and non-realist cognitivism.

Let us then turn to the second popular family of theories of truth, the so-called deflationist views.Footnote 21 These theories are not so much theories of the property of being true as views about the meaning of the truth predicate. Roughly, according to them, this predicate makes no essential contribution to the sentences in which it is used. It is a transparent predicate in that the meaning of the sentences “p” and “it is true that p” is the same, which explains why we are willing to accept all non-pathological instances of the T-schema “the proposition <that p> is true if and only if p”. Deflationists then add that the transparent truth predicate can still play a useful role in linguistic communication. We can use it to express our agreement with sets of propositions (“everything in the Bible is true”) and with ones that are not explicitly expressed in the context (“what he first said is true”). In these cases, the truth predicate enables us to make a semantic descent from talking about language (what was written in bible) to talking about the world (things are in that way).

Deflationists claim that these observations about the truth predicate tell us all we need to know about truth. Once we know how the predicate functions, we can recognize that truth is not a genuine property or a relation. It does not have a real essence or nature that could be captured by a philosophical theory. At best, the predicate “…is true” can ascribe a logical, formal “quasi-property” to propositions (Horwich 1990, Sect. 2.9). Let us then consider why this view is not available for the non-realist cognitivists.

It is well known that non-cognitivists endorse deflationism.Footnote 22 They thus think that the sentence “it is true that we have reasons to avoid future agony” means the same as “we have reasons to avoid future agony”. Here, the non-cognitivists who think that the latter sentence expresses the speaker’s desire-like attitudes will think that the first sentence does exactly the same. To his credit again, Parfit is aware of this connection between non-cognitivism and deflationism (Parfit 2011, vol. 2, 380–381; Parfit 2015, 101 and 124–125).

In this situation, it is peculiar that Parfit attempts to rely on the notion of truth to draw the distinction between cognitivism and non-cognitivism in Q1. After all, in Q1, he draws the distinction by asking whether normative claims are intended and believed to state truths. Here, Parfit must be assuming that being true is a genuine substantial property given that in the deflationary sense the non-cognitivists will insist that normative claims are intended and believed to state truths. This means that, insofar as Parfit wants to continue to use Q1 to distinguish non-cognitivism from cognitivism, he cannot rely on deflationism about truth in his non-realist cognitivism.Footnote 23

Parfit and other non-realist cognitivists would not, however, need to commit themselves to an inflated property of being true when they distinguish non-cognitivism from cognitivism. They can draw this distinction perfectly well in the standard way by considering the different functional roles which normative judgments play according to these views as I discussed at the outset of this article (see the beginning of Sect. 2 above). Q1 should thus be the question of whether normative judgments are beliefs or desire-like attitudes. The question then is: if the non-realist cognitivists drew the distinction between cognitivism and non-cognitivism in this psychological way, could they then use deflationism about truth to make sense of normative truth? Could they, in this case, think that, when a normative proposition is true without being made true by a chunk of reality, the use of the truth predicate in this context should be understood in the deflationary way?

The reason why the answer to these questions is “no!” is that, if the non-realist cognitivists attempt to be deflationists about truth, they will face a dilemma. Either the non-realist cognitivists who also endorse deflationism about truth are deflationists in addition about normative facts or they understand these facts in a more inflationary way. The problem is that either way, the combination of non-realist cognitivism and deflationism faces decisive objections.

We must first note that it will be very difficult for the non-realist cognitivists who accept deflationism about truth to understand our talk of normative facts also in the same deflationary way (see Strawson 1950, Sect. 2). If asserting the sentence “it is a fact that we have reasons to avoid future agony” merely amounted to saying that we have reasons to avoid future agony, these non-realist cognitivists could not distinguish their view from metaphysical non-naturalism. In this situation, it would make no sense for the non-realist cognitivists in question to insist, as they do, that metaphysical non-Naturalism is false because there are no normative facts that make our normative claims true. After all, understanding the talk of these facts in the deflationary way would not add anything to what the non-realist cognitivists are already committed.

Therefore, in order to distinguish their view from metaphysical non-naturalism, the non-realist cognitivists who accept deflationism about truth must (i) understand normative facts in an inflationary way (they would be a genuine part of the reality if they existed) and they must also (ii) think that such facts do not obtain. This leads to the second horn of the dilemma. In this case, the non-realist cognitivists would be claiming that we have reasons to avoid future agony and that it is true (in the deflationary way) that we have those reasons even if no part of the reality is the (inflated) fact that we have reasons to avoid future agony.

The main problem with this combination of views is that it collapses non-realist cognitivism into the conservationist versions of moral error theory, which have been defended by J.L. Mackie (1977, 16, 22, 48–49 and part 2), Charles Pigden (Pigden 2007, 445–446) and Jonas Olson (2011 and 2014, chapter 9).Footnote 24 This is because the non-realist cognitivists and the conservationist moral error theorists would, at this point, accept all the same first-order normative and metaethical theses and only those.

Both non-realist cognitivists and conservationist moral error theorists believe that we have reasons to avoid future agony, and they also agree that we should continue to hold this belief. They furthermore both accept that this belief is, as a psychological state, a genuine belief state with the mind-to-world direction of fit and that it has irreducible normative content. Both sides additionally share the view in moral metaphysics according to which the external reality does not contain a normative fact that we have reasons to avoid future agony. The non-realist cognitivists and the conservationist moral error theorists can furthermore agree on what they should say about the truth of the belief that we have reasons to avoid future agony. If the truth predicate is understood in the deflationist transparent fashion, then both sides will be happy to believe that it is true that we have reasons to avoid future agony given that this is the same belief as the belief that we have reasons to avoid future agony, which they both already hold. They both also deny that it is true in the further correspondence sense that we have reasons to avoid future agony.Footnote 25

If the non-realist cognitivists thus accept a deflationist theory of the truth predicate and, at the same time, deny that there are (inflated) normative facts, then they can no longer distinguish their own view from the conservationist versions of moral error theory as both views end up accepting all the same normative and metaethical theses and only those. I, however, assume that the non-realist cognitivists will not be able to accept this result, but rather, they will instead insist that they genuinely disagree with the conservationist moral error theorists because their own view is substantially different from that version of moral error theory. The non-realist cognitivists will want to argue that their metaethical view is correct and also that the conservationist versions of moral error theory fail exactly for the same reasons as all other versions of moral error theory (see Sect. 1 above).

The question then becomes: how can the non-realist cognitivists distinguish their metaethical view from the conservationist versions of moral error theory? As far as I can see, the non-realist cognitivists must, at this point, reject the deflationist theories of the truth predicate and, instead, endorse some more substantial theory of the property of being true. This theory of truth could not, of course, be a correspondence theory of truth for the reasons already explained, but rather, it would have to be a view based on some other substantial property of normative beliefs and statements. The non-realist cognitivists would then be able to understand their disagreement with the conservationist moral error theorists in terms of this property. They could argue that certain normative beliefs such as the belief that we have reasons to avoid future agony have this substantial property that constitutes normative truth even when the conservationist moral error theorists are committed to denying that this belief has that property.Footnote 26 I do not see what other means that the non-realist cognitivists would have for distinguishing their view from conservationist versions of moral error theory, and if this is right, then, the non-realist cognitivists cannot endorse deflationist views of the meaning of the truth predicate. The following sections will then consider what alternatives that the non-realist cognitivists would have at this point and why these alternative substantial theories of truth will be problematic for them.

4 Coherentism and Pragmatism

This section considers two less popular theories of truth, coherentism and pragmatism, which too understand truth as a relational property. However, instead of being a relation between the truth-bearing propositions and reality, according to these views, truth is a relation between those propositions and either (i) other believed propositions or (ii) beneficial consequences. This section focuses on how these views lead to objectionable first-order relativism about normative truths.

Coherentists begin from the idea that a proposition <p> is true if and only if, and just because, the belief that p belongs to the maximally coherent set of beliefs.Footnote 27 For well-known reasons, maximal coherence here cannot merely consist of logical consistency, but rather, it must also include (i) comprehensiveness of the belief set, (ii) justificatory connections between the set’s members and (iii) being controlled by our sensory perceptions (Künne 2003, 382–385).Footnote 28

Let us then, for the sake of an argument, assume that S1 is the maximally coherent set of beliefs. S1 need not even be a set of beliefs picked out from all the beliefs that we all currently actually hold. Rather, it could instead be (i) the maximally coherent set of beliefs chosen from all the beliefs that people will hold at some point in the actual future or even (ii) the hypothetical maximally coherent set of beliefs of all those beliefs which people would have at the end of indefinitely long idealized process of inquiry. Let us finally stipulate that the belief that we have reasons to avoid future agony belongs to S1. In this situation, the non-realist cognitivists who are coherentists about truth could explain the truth of the proposition <We have reasons to avoid future agony> in terms of the stipulated form of coherence.

The problem is that this coherentist proposal is inconsistent with Parfit’s understanding of normative truths. According to him, normative truths are necessary truths and thus independent of human judgments, beliefs, desires and other attitudes (Parfit 2011, vol. 1, 129 and vol. 2, 307, 326, 489, 643 and 749). Normative truths would not have these features if coherentism about truth were true. Instead of S1, some other set of beliefs S2 could have been the maximally coherent set. This is because we all could have had different beliefs than the ones that we actually have now and the future people also could come to have different beliefs than the ones that they actually will have. It is even the case that people at least hypothetically could converge on having any one set of beliefs from a number of different alternatives at the end of indefinitely long idealized process of inquiry.Footnote 29

If some other set S2 then could have been the maximally coherent one, this entails that some other normative propositions could have been true. Thus, on this view, normative truths could have turned out to be different from what they are and therefore we could have lacked reasons to avoid future agony. This is why coherentism leads to relativism: what the normative truths are modally co-varies with and thus depends on which set of beliefs happens to be the maximally coherent one currently, in the future, or at the hypothetical end of the idealized reasoning.

The cost of using coherentism about truth to understand normative truth is then having to give up the idea that normative truths are necessary truths. Accepting coherentism thus commits the non-realist cognitivists to first-order relativism about reasons, which makes non-realist cognitivism less attractive to those who share Parfit’s basic conviction that whether we have reasons to avoid future agony cannot depend on our attitudes. Despite this, a combination of non-realist cognitivism and coherentism about truth remains available for those who are willing to endorse the first-order relativist implications.Footnote 30

The same can be said about the combination of non-realist cognitivism and pragmatism about truth. According to a crude version of pragmatism, the proposition that p is true if and only if, and just because, the belief that p is useful in the sense of having beneficial consequences through the actions of the believer.Footnote 31 Thus, the truth of the proposition <We have reasons to avoid future agony> would, on this view, consist of the belief in these reasons leading to successful actions.

This basic pragmatist view too leads to relativism.Footnote 32 Whether a belief with a certain proposition as its contents leads to successful action depends on the circumstances of the believer and what other beliefs and desires she has. One consequence of pragmatism would thus be that normative truths would not be necessary truths and hence independent of human judgments, attitudes and practices. In most situations, believing that we have reasons to avoid future agony presumably leads to success, and yet, in other exceptional situations, having this belief could be harmful. Whether it is true that we have reasons to avoid future agony would thus depend on our circumstances and what other attitudes that we have. Thus, a combination of non-realist cognitivist and coherentism is again not available for those who think that normative truths are necessary truths.Footnote 33

5 Epistemic Theories of Truth and Primitivism

This leaves us with epistemic theories of truth and primitivism. This final section will argue that epistemic theories of truth (i) collapse non-realist cognitivism to some other metanormative position, (ii) commit non-realist cognitivism to some other theory of truth in a problematic way, or (iii) lead to a vicious regress. This means that the only alternative for Parfit and other non-realist cognitivists will be primitivism about truth. I will finish off by outlining some of the costs of this remaining alternative.

Epistemic theories of truth begin from the observation that domains of discourse are governed by their internal epistemic norms.Footnote 34 These norms fix when you are warranted to assert the sentences that express the propositions of the discourse. They thus determine when you have sufficient evidence for making assertions in the given discourse. In any area of discourse, there is obviously a difference between having evidence that justifies asserting a proposition and the truth of that proposition. This is because it is possible to have sufficient warrant for asserting a false proposition given the misleading evidence you have.

At this point, it has been suggested that, even if there is a difference between truth and warrant, we can use the epistemic norms of a discourse to define a more demanding epistemic property of propositions than merely warranted assertibility and then use that property to give an account of the nature of truth in the discourse (Putnam 1981, 55). I will focus here on Crispin Wright’s (1992) proposal. Wright uses the epistemic norms of a discourse to define an epistemic property of superassertibility (Wright 1992, 44–48). A proposition is superassertible if and only if, and just because, (i) there exists an accessible state of information such that (ii) it would warrant asserting that proposition and (iii) this warrant would survive “arbitrarily close scrutiny of its pedigree and arbitrarily extensive increments to or other forms of improvement of our information” (Wright 1992, 48). Wright then argues that, because superassertible propositions have all platitudinous qualities of true propositions (see below), at least in some domains, we can understand truth to be realized by superassertibility (Wright 1992, 48–61).

Could the non-realist cognitivists then understand the truth of normative propositions in terms of superassertibility?Footnote 35 Given that superassertibility is a metaphysically lightweight epistemic property, this proposal would fit Parfit’s thought that normative truths do not have metaphysical implications (Parfit 2011, vol. 2, 486–487; Parfit 2015, 14–15). Yet, unfortunately, the combination of non-realist cognitivism and an epistemic theory of truth leads to a trilemma.

The problem is the condition (ii) in the definition of superassertibility. It sets a normative condition for superassertibility. A proposition is superassertible in part because information exists that would warrant asserting the proposition. However, having warrant for making an assertion amounts to having justification and good reasons for doing so, and justification and reasons are inherently normative notions. We must then consider the normativity that is built right into the definition of superassertibility. How could the non-realist cognitivists understand it?

The non-realist cognitivists have three bad alternatives here. Firstly, they could use some other metanormative theory to understand epistemic normativity (such as a version of non-cognitivism, naturalism, or metaphysical non-naturalism). This would make non-realist cognitivism a more restricted theory of normativity: it would not be an account of all normativity but rather perhaps only of normativity in the domain of practical reasons and other related normative properties.Footnote 36 The main challenge for the non-realist cognitivists would, however, be to explain why their own objections to other metaethical accounts of practical normative reasons do not also apply to the corresponding metanormative views about warranted assertion (see footnotes 5–7 above). For example, if naturalism about practical reasons fails because of the so-called missing property objection, then, other things being equal, naturalism about epistemic reasons suffers from the same problem.

This means that the non-realist cognitivists will, in all likelihood, adopt a non-realist cognitivist theory also of the epistemic normativity that is built into superassertibility. According to this proposal, there are some necessary truths about what information warrants asserting propositions about practical reasons where these truths are both necessary and lack any metaphysical implications. These normative epistemic truths would then determine which propositions about practical reasons are superassertible and hence minimally true. This allows us to ask again: of what does the truth of the relevant normative epistemic propositions about warranted assertion consist?

Here, the non-realist cognitivists can either again endorse an epistemic account of truth or adopt some other theory of truth. If my arguments so far have been along the right lines, they also provide grounds for thinking that non-realist cognitivists cannot, at this stage, adopt any of the previously discussed theories of truth. For example, because the non-realist cognitivists do not believe in a normative reality, for them, the truth of normative propositions about epistemic warrant cannot consist of correspondence to an epistemic normative reality any more than normative truth could consist of correspondence in the context of practical reasons. And, the same goes for deflationism, coherentism and pragmatism.

This means that the non-realist cognitivists who want to endorse an epistemic account of the truth of the normative propositions about practical reasons must also accept a similar account of the truth of the normative propositions concerning warranted assertion. Thus, she must also think that the truth of the proposition <Information s warrants asserting that we have reasons for avoiding future agony> consists of its superassertibility or some other related normative epistemic property.

This suggestion leads to a regress. In order for the previous proposition <Information s warrants asserting that we have reasons for avoiding future agony> to be superassertible and thus minimally true, it must also be true that some further information S* would warrant asserting that proposition. Of what does the truth of the proposition <Information S* warrants asserting that Information s warrants asserting that we have reasons for avoiding future agony> then consist? If it consists of superassertibility too, then it must again be true that some further information S** warrants asserting that S* warrants asserting that S warrants asserting a proposition about our reasons. And, again, of what does the truth of this third-order epistemic normative claim consist? Here, the non-realist cognitivist would be committed to there being infinitely many states of information that would warrant asserting propositions about warranted assertion on the lower levels.Footnote 37 It is not easy to see how there could be so many states of information.

We can then summarize the trilemma in the following way. The question is: how can the non-realist cognitivist give an account of this epistemic normativity built into warranted assertion, which could be used to give an epistemic account of normative truth? I have argued that she can here (i) adopt a different metanormative theory, (ii) understand this normativity in the non-realist cognitivist way but adopt a non-epistemic theory of the truth of the relevant normative epistemic propositions or (iii) also offer an epistemic account of the truth of the epistemic normative propositions. If the non-realist cognitivists go for (i), they have to deal with their own objections to the alternative metaethical theories. If they go for (ii), they have to deal with my objections to combining non-realist cognitivism with the other theories of truth. And, finally, (iii) leads to an infinite regress.

As a consequence, non-realist cognitivists are forced to accept the only account of normative truth left: primitivism. According to primitivism, the concept of truth is a fundamental, unanalysable and undefinable concept exactly in the same way as the concept of practical reasons is for Parfit.Footnote 38 However, the previous thesis is not enough for the non-realist cognitivists’ purposes. This is because a fundamental, unanalysable concept of truth is compatible with the property of truth being a relational property, a relation between the truth-bearing propositions and a chunk of reality (correspondence theories), other propositions (coherentism) or beneficial consequences (pragmatism) (Asay 2013, 503–504). We have already seen that non-realist cognitivists cannot accept these views, and so, the non-realist cognitivists must also accept primitivism about the property of truth.

This means that the non-realist cognitivists’ property of truth would need to be a non-relational, “monadic” property of some normative propositions. This property would need to be a metaphysically robust property—a genuine stance-independent difference between the normative propositions that have it and those that lack it. This is because the standard ways to make the truth property metaphysically lightweight rely on either deflationism or epistemic views about truth, and these views, we have seen, are not available for the non-realist cognitivists. Secondly, it also seems likely that this truth property could not be a natural property of propositions. Propositions are standardly understood as either sets of possible worlds or as some kind of structured semantic entities.Footnote 39 It is difficult to see how either of these types of entities could have non-relational properties that were empirically observable, causally efficacious and part of the subject matter of sciences.

As a consequence, the non-realist cognitivists have to claim that some normative propositions have a non-relational, monadic, metaphysically robust, non-natural property of being true. Presumably, this property would also be a simple property that does not consist of having any other non-relational, metaphysically robust and non-natural properties. It would furthermore be easy to understand this property as a sui generis property—as a property of its own unique kind.

The previous non-relational property of truth now appears to be very much like the metaphysical non-naturalists’ normative properties. G.E. Moore is often thought to have defended the view that intrinsic value is a simple, non-relational, metaphysically robust, sui generis non-natural property (Moore 1903 [1993], 66–72).Footnote 40 Now, the non-realist cognitivists are forced to claim that truth as a property of normative propositions shares these same features. At this point, it becomes difficult to understand what motivation there could be to prefer non-realist cognitivism over metaphysical non-naturalism. The original motivation for doing so was supposed to be that the normative properties posited by metaphysical non-naturalism would be “too queer to be compatible with a scientific world view” (Parfit 2011, vol. 2, 486 and 465). However, now it seems likely that non-realist cognitivists are committed to an equally queer property of truth that is equally incompatible with the scientific world view.Footnote 41 This would mean that the non-realist cognitivists’ own argument against metaphysical non-naturalism applies against their own view, and so, we have not been offered any reason to prefer non-realist cognitivism over metaphysical non-naturalism.

The second problem is that there are platitudinous things that we know about truth. It is controversial what these core truisms about truth are, but many people have claimed that they consist of the following (Engel 2002, 67; Lynch 2009, 7–19; Putnam 1981, 55; Wright 1992, 39 and 49):

  • Truth does not come in degrees.

  • Truth is a timeless notion.

  • No proposition can be both true and false.

  • A proposition is true when things are as the proposition represents them as being.

  • Some beliefs can be true but not warranted, and some can be warranted but not true.

  • Truth is an appropriate goal of inquiry.

  • Whatever attitude we take towards a proposition, we are committed to taking the same proposition towards its truth.

  • You should assert a sentence that expresses a given proposition only if the proposition is true.

  • Truth is preserved in valid arguments.

These widely accepted platitudes give us general information both about the property of truth itself and also about how that property is related to other important philosophical notions such as facts, warrant, assertion, inquiry, validity and so on. We then want the theories of truth to explain why true propositions have the properties which the core truth-truisms attribute to them (Lynch 2009, 18). Such explanations are, in fact, what the defenders of the competing views about truth (correspondence theories, coherentism, epistemic theories…) are attempting to provide.

The problem with the type of primitivism about truth which the non-realist cognitivists seem compelled to accept is that its defenders will not have any resources to explain the platitudinous features of true propositions. When it comes to some of those features, the non-realist cognitivists can at most stipulate that the truth property has them. For example, the non-realist cognitivists can only state that the simple non-relational, metaphysically robust, non-natural sui generis property is also a timeless property that does not come in degrees, but nothing we know of that property can be offered to explain why this is the case.

This problem gets even worse, because this strategy of stipulating what the truth property is like cannot be used to deal with the platitudes that connect the truth property to the other philosophically interesting notions. If truth is the appropriate goal of inquiry, functions as the norm of assertion and is separate from mere warrant, surely, there must be some explanation for why this is the case. Yet, nothing about the posited simple non-relational, metaphysically robust, non-natural sui generis property can shed any light on why truth would be related to inquiry, assertion and warrant in these ways. This is the second theoretical cost of adopting the relevant kind of primitivism about the truth property: adopting that view about truth leaves the non-realist cognitivists with no resources to explain the type of role that truth plays in relation to other central philosophical notions.Footnote 42

6 Conclusion

In this article, I have focused on Parfit’s non-realist cognitivism. It endorses stance-independent normative truths that do not have any metaphysical implications. I have tried to argue that the defenders of this view cannot make sense of what the truth of these normative truths consists by relying on the standard theories of truth: correspondence theories, forms of deflationism, coherentism, pragmatism and epistemic theories of truth. This means that they would need to posit a primitive, simple, non-relational, metaphysically robust, non-natural sui generis property of truth. At the end of the previous section, I outlined some of the significant costs of this last alternative.Footnote 43

I hope that this critical investigation presents non-realist cognitivists with a genuine challenge. They are required to give a plausible account of normative truth, which they have not yet done so far and which will not be a trivial task if my arguments above are correct. This hopefully illustrates how Parfit’s metaethical view is at least in one respect problematic. Whether we should reject this view for this reason, of course, depends on the other costs and benefits of the view and how all these costs and benefits compare with the theoretical costs and benefits of the other alternatives.