Conceptual engineering for truth: aletheic properties and new aletheic concepts

What is the property of being true like? To answer this question, begin with a Canberra-plan analysis of the concept of truth. That is, assemble the platitudes for the concept of truth, and then investigate which property might satisfy them. This project is aided by Friedman and Sheard’s groundbreaking analysis of twelve logical platitudes for truth. It turns out that, because of the paradoxes like the liar, the platitudes for the concept of truth are inconsistent. Moreover, there are so many distinct paradoxes that only small subsets of platitudes for truth are consistent. The result is that there is no property of being true. The failure of the Canberra plan analysis of the concept of truth, points the way toward a new methodology: a conceptual engineering project for the concept of truth. Conceptual engineering is assessing the quality of our concepts, and when they are found defective, offering new and better concepts to replace them for certain purposes. Still, there are many aletheic properties, which are properties satisfied by reasonably large subsets of platitudes for the concept of truth. We can treat these aletheic properties as a guide to the multitude of new aletheic concepts, which are concepts similar to, but distinct from, the concept of truth. Any new aletheic concept or team of concepts might be called on to replace the concept of truth. In particular, the concepts of ascending truth and descending truth are recommended, but the most important point is that we need a full-scale investigation into the space of aletheic properties and new aletheic concepts—that is, we need an Aletheic Principles Project (APP).

Over the last decade, there has been a fruitful interaction between those working on the nature of truth and those working on the paradoxes that affect truth, like the liar paradox. The liar paradox is that, by reflecting on sentences like 'this very sentence is not true', it is easy and quick to derive a contradiction: the sentence is both true and not true. 1 Although insulated from one another for decades, each tradition, the nature of truth and the paradoxes, has been invigorated by new unifying (or crossover) work contributed by many theorists. 2 A unifying project that draws from each tradition is our focus here.
In particular, there is a school of thought on the liar paradox that diagnoses it as a defect in our very concept of truth. We can call this the inconsistency approach. On the other hand, there has been a tremendous amount of work within the "nature of truth" tradition on the metaphysics of truth. Our question is: what might an inconsistency theorist about the paradoxes say about the metaphysics of truth?
A bit of background on each of these topics is in order, but first a word of caution. According to the usage here, the property of being true is the property designated by the English word 'true', which expresses the concept of truth. When something is true, it has the property of being true, whether it is a sentence, story, song, proposition, theory, utterance, prediction, or whatever. Likewise, anything that has the property of being true is true. The property (being true), the word ('true'), and the concept (truth) are not to be confused. 3 Inconsistency theorists focus on the concept of truth and the word 'true', while the metaphysics of truth is about the property of being true. We shall question whether there is a property of being true, but not whether there is a word, 'true', or whether there is a concept of truth.
Inconsistency theorists claim that the principles essential to the concept of truth permit a competent reasoner to derive a contradiction (e.g., liar sentences are both true and not true). The inconsistency approach goes back to Alfred Tarski's pioneering work in the 1930s, but it has really taken off since 2002, when Matti Ekund published "On Inconsistent Languages." 4 Since then, much has been done to explore various options and provide details for what were once just suggestions. Because my own work falls in this tradition, I am especially interested in these exploratory endeavors. Much has been written about how concepts can be inconsistent, how these can be possessed and used, and what sorts of logics and semantics go best with an inconsistency approach. However, there is little on the property of being true from this perspective.
On the other hand, the central issue in the metaphysics of truth discussion is whether the property of being true is deflationary or substantive. Is being true more like a logical property (e.g., being necessary) or more like a scientific property (e.g., being a mammal)? Is the property of being true cut out to explain anything? 5 Almost all the work on the metaphysics of truth assumes without question that the concept of truth is just fine and there is a unique property of being true.
Our unifying topic is: What does the metaphysical landscape look like for the inconsistency theorist? This particular bridge over the two broad traditions has yet to be investigated in much detail. Is there a property of being true? If so, what is it like? Might there be more than one equally good candidate for this property? If so, which ones? How exactly can there be a property of being true if the concept of truth is defective? And, most importantly, if there is no such property, then are there any properties that are somewhat like what we thought the property of truth would be like? For this last question, think about it like this. We have lots of beliefs about what the property of being true should be like. 6 If there are no properties that satisfy these beliefs, then there still might be properties that come close enough to count as the property of being true. And even if there are no properties that come close enough, there will no doubt be properties that are somewhat similar in various ways to what we thought the property of truth would have to be like. What are these properties like?
In order to have a term for talking about all these properties at once without prejudging whether there is a unique property of being true, we can use 'aletheic property'. ('Aletheic' just is an adjective synonymous with 'pertaining to truth'.) Hence, an aletheic property is any property that is similar to what we think the property of truth would have to be like. With this terminology in hand, we can say: we are investigating the class of aletheic properties, and in particular we are investigating the aletheic properties from the point of view of an inconsistency approach.
Our investigation is significant even to those who reject the inconsistency approach because we shall begin without prejudging the matter of whether the concept of truth itself is defective. We shall begin by assuming a neutral framework that is ubiquitous in contemporary analytic philosophy: the Canberra plan, which is just a useful term for the philosophical methodology according to which one first collects the relevant platitudes for some concept and then one searches for a unique thing in the world that satisfies them. 7 By following this strategy, we arrive at a novel and powerful argument for the inconsistency view, which appeals to a much wider range of considerations than anything in the literature now.
This strategy for investigating the aletheic properties has consequences for the literature on the metaphysics of truth as well. It has the virtue of providing an illuminating framework for investigating the aletheic properties. Moreover, our strategy can be encapsulated in the directive: first determine which aletheic properties there are, then figure out whether they are deflationary or substantive or otherwise. This directive is the opposite of how almost everyone in this literature proceeds.
I shall argue that there is no property of being true because no property comes close enough to satisfying the platitudes for truth. Even if there is no property of being true, there is still a worthy philosophical project of identifying the properties that are similar to what we thought being true was like. Why is it worthy? The aletheic properties are the ones that come closest to satisfying the beliefs we have about what the property of being true should be like. If we want to represent the world accurately, then it is these properties we should be trying to represent with our talk and thought. Indeed, it seems reasonable if we have certain purposes to require that the concepts we use really denote something out there in the world. That is, for certain purposes, we might want to avoid concepts that are so defective that there is nothing in the world for them pick out. Imagine that a person, Deandra, has some goal that requires that she avoid using defective concepts (or at least ones that are so defective they do not refer to anything). Then Deandra should not use the concept of truth for that purpose. Which concept or concepts should she use in place of the concept of truth? The answer to this question turns on which of the aletheic properties behaves most similarly to what we thought was the behavior of the property of being true. In simpler terms: which aletheic properties will do what we thought the property of being true could do? As of right now, this is an open question.
Identifying how we ought to change our conceptual scheme is one topic in the rapidly growing new field of conceptual engineering. 8 Once we see that there is no property of being true and we start looking around for which concepts to use in place of our defective concept of truth, we are doing conceptual engineering. It turns out that, right now, we do not have enough information about which aletheic properties exist to complete a satisfactory conceptual engineering project with respect to truth. So we cannot answer the question: which non-defective concepts should we use instead of the concept of truth? We do not currently know enough to answer it. In response to this result, I suggest that we, the community of theorists with an interest in the paradoxes affecting truth, ought to investigate which alethic properties exist by identifying which sets of platitudes for truth are consistent. We can call this the Aletheic Principles Project (APP), and the paper ends by trying to motivate you to take it up because we need your help.

The plan
We start by following the Canberra plan, certainly one of the most popular philosophical methodologies at the present time. This strategy will eventually be abandoned because there turns out to be no property even close to what we think of as the property of being true. We then switch to conceptual engineering to investigate which new concepts like truth we might adopt, given which aletheic properties turn out to exist. 9 The Canberra plan is one way of pursuing conceptual analysis-the methodology for which analytic philosophy is named. Instead of seeking a single definition for some philosophical term, the Canberra plan begins with platitudes about the topic in question. 10 Roughly, a platitude is a claim that seems obviously true, self-evident, or commonsensical. Some Canberra planners are more precise about platitudes, while others leave it at an intuitive level. The focus on platitudes gives the Canberra plan much more flexibility than traditional analysis since the platitudes need not constitute anything like a definition or even necessary or sufficient conditions.
The platitudes for a given concept might be analytic (i.e., true in virtue of their meaning alone), but one can follow the Canberra plan even if one takes platitudes to be simply uncontroversial principles or bits of common sense. One arrives at different versions of the Canberra plan by imposing stricter or looser standards on what counts as a platitude. For our purposes, we do not need to specify much of a standard because all the platitudes we care about are intuitively uncontroversial. We can say that all the platitudes we consider would be accepted by the vast majority of competent users of 'true' as obvious. Moreover, they all count as constitutive of the concept of truth in a certain sense: if a person rejects one of these principles in a conversation, that is a pro tanto reason to think that the person's word 'true' does not express the concept of truth. I have developed this notion of constitutive principles elsewhere, but it will not play a role in what follows. 11 After assembling the platitudes, we then engage in metaphysics by finding something in the world that does the best job of satisfying the platitudes. If the world cooperates, then the platitudes will be satisfied by a unique thing in the world. However, even if nothing perfectly fits the platitudes, something might fit them relatively well-well enough to say that it is what the term in question is ultimately about. In either of these cases, one might continue the investigation by considering whether that thing that fits the platitudes is fundamental or derivative, and if it is derivative, how it relates to the fundamental level of reality. These are the cases in which the Canberra plan is most fruitful and philosophically rich. In other cases, it might be that multiple things do an equally good job of satisfying the platitudes or perhaps nothing even comes close to satisfying them. Canberra planners spend little time considering these outcomes, and it is not clear what to do in these cases. Unfortunately, we will have to think more about these cases because truth turns out to be in this category.
The Canberra plan is a perfect starting place for our inquiry into what an inconsistency theorist ought to say about the metaphysics of truth. In fact, the Canberra 9 See (Braddon-Mitchell and Robert 2009) and Johnston and Leslie (2012) for discussions of the Canberra Plan. 10 There are other ways of pursuing analytic projects besides the Canberra plan, but we have good reason to think they would deliver the same results. There are other methodologies as well, but they are beyond the scope of the paper. 11 See Scharp (2013Scharp ( , 2018.

3
plan seems to encapsulate the common sense idea that we treat the platitudes for the concept of truth as a guide to the property of being true. That is, the platitudes that many or most of us treat as constitutive of the concept of truth are assumed to be principles governing the property of being true as well. For example, we think that if snow is white, then 'snow is white' is true. When thinking about the property of being true, we often unreflectively treat this as a principle of the property of being true: if snow is white, then 'snow is white' has the property of being true.

Truth platitudes
What are the platitudes for truth? There are so many to choose from, but we can begin with Michael Lynch's list, which is representative. (Objectivity) The belief that p is true if, and only if, with respect to the belief that p, things are as they are believed to be. Lynch is right that each of these principles has a good case for being called a platitude for truth. Each one seems central to how we think about truth. If we begin with these as our platitudes, then we can move on to investigate which property might uniquely satisfy them. That is, we can look around for which property is the property of being true.
However, the problem with using the Lynch platitudes is that they are not as precise as we might like. This is not a criticism of Lynch-he recognizes that many of the central platitudes concerning truth are somewhat fuzzy or vague principles linking truth to other concepts like belief, warrant, normativity, and inquiry. But there are many more platitudes concerning truth that are precise, and few people bother to even enumerate them because they seem so innocuous. I am thinking in particular of the logical platitudes, which relate truth to various logical expressions. By focusing on them, we can utilize the tools of logic to investigate the extent to which the logical platitudes form a consistent set. Further, if the logical platitudes fail to pick out a unique best option for the property of being true, then the fuzzier platitudes Lynch enumerates will fail as well. The reason is that most or all of the Lynch platitudes presuppose the truth of various logical platitudes. For example, if the Objectivity platitude is true, then, as Lynch observes, one can derive instances of Schema T from it (e.g., '2 + 2=4' is true iff 2 + 2=4).
Moreover, and this is the most important point, using the Lynch platitudes in a Canberra-plan analysis of truth turns out to obscure the fine-grained difficulties associated with identifying which property does the best job of satisfying the platitudes. In other words, we will see that the platitudes for truth are inconsistent, as evidenced by the liar paradox, but there are many many more paradoxes associated with truth, and each one is the result of a distinct subset of the platitudes. It turns out that the Lynch platitudes do not allow us to distinguish enough of these paradoxes because many of these paradoxes involve platitudes that are not explicitly among the Lynch platitudes. As a result, if we choose the Lynch platitudes, then we are led to think that the concept of truth is in far better shape than it actually is. Instead, we need to look closely at the logical platitudes about truth so we can get a better picture of the defects in our concept of truth.

Logical platitudes about truth
What exactly are the logical platitudes about truth? They include all and only the platitudes that contain only occurrences of a truth predicate and logical expressions like negation, disjunction, and universal quantification. The vast majority of these logical platitudes about truth are studied with the help of formal logical systems that are rather technical. Many of the technical details will not matter for our purposes here. Again, we are not engaged in a logical or technical project. Instead, we are interested in establishing a particular connection between technical work in logic on the paradoxes affecting truth and more mainstream work on the nature of truth. In particular, we are using some technical logical results to argue that the concept of truth is so defective that it does not pick out any property whatsoever. What follows is a presentation of some of this technical material for a more general audience. I hope that theorists familiar with the complexities of the technical material are patient with my attempts to summarize it for a non-technical audience. This sort of accessible summary inevitably involves some vagueness, distortion and sloppiness. My aim is to ignore nothing that makes a difference to the project with which I am engaged.
One of the most famous logical platitudes about truth (just 'logical platitudes' from here on) is: Tarski (1933). There are many ways of formulating this principle and others like it. For example, it is related to: (Intersubstitutability) Occurrences of p and 'p is true' can substituted in any sentence q without changing the truth value of q.] In this schema, 'p' is a sentential variable, which means the instances of (Schema T) have a sentence in place of 'p', and the angle brackets are a naming device associated with sentential variables. That is, in the instances of the (Schema T), a name or description of the sentence that goes in for 'p' goes in for '〈p〉'. Again, (Schema T) is inconsistent when we allow certain sentences in for 'p' (e.g., liar sentences) 1 3 and we work in a setting of classical logic or any of the most familiar alternatives to classical logic like intuitionistic logic or the logic of relevant implication. 12 For our purposes, the difference between schemata in the metalanguage and quantified sentences of the object language will not matter. 13 We are interested primarily in natural language, its truth predicate, the concept of truth this predicate expresses, and the paradoxes to which this concept gives rise. In what follows, I present the logical platitudes for truth as schemata only because these are easier for non-experts to read and understand. Our project is not to prove some new technical result, which would require extreme care with respect to these matters, but rather to show the philosophical significance (e.g., there is no property of being true) of some technical results. This is usually the point at which those of us who are inconsistency theorists about truth conclude our case: (Schema T) is both central to the concept of truth and inconsistent in reasonable logics. Hence, the concept of truth is defective. 14 That is, the typical inconsistency theorist puts all the weight on a single logical platitude, (Schema T), and a single paradox, the version of the liar that shows (Schema T) is inconsistent. I want to be clear that I agree with this conclusion, but this standard argument for the inconsistency of truth, by itself, is not enough. It does not give us anything like a comprehensive picture of the defect in our concept of truth. Inconsistency theorists have, so far, only seen the tip of the iceberg.
We need to consider a wide range of logical platitudes for truth and investigate all the paradoxes that can be found among them. Only once we have this broad picture of the various defects in our concept of truth can we begin a genuine investigation into which subsets of alethic platitudes are consistent, and thereby focus on which aletheic properties exist.
We can start our exploration by separating each direction of the biconditional in (Schema T) and then consider several weakenings of these conditional formulations as in the following disquotational platitudes 15 : (T-In) and (T-Out) constitute each conditional direction of (Schema T). (T-Elim) and (T-Intro) are inference rules, not conditionals. (T-Intro) is weaker than (T-In) and (T-Elim) is weaker than (T-Out). 16 Weaker still are the derivation rules (T-Enter) and (T-Exit). The former says that if one can derive a sentence, then one can derive the truth attribution to that sentence, and the latter says the converse. These are even weaker than the inference rules because inference rules can be used in hypothetical contexts (e.g., reductio arguments and conditional proof arguments), but the derivation rules cannot. The derivation rules can be utilized only for formulas proven by the theory in question (i.e., the theorems). One can think of the derivation rules as special cases of the inference rules restricted to the theorems of a theory. The derivation rules, (T-Enter) and (T-Exit) are weak enough to be consistent in classical logic. Finally, (T-Rep) and (T-Del) are like the two directions of (Schema T) but restricted to atomic truth attributions.

3
All the above principles come from reflecting on (Schema T). The next batch of platitudes involve the truth predicate distributing over logical vocabulary; they are compositional platitudes.
If a sentence is not true, then its negation is true If a sentence's negation is true, then the sentence is not true If two sentences are true, then their conjunction is true If a conjunction is true, then its conjunts are true.
T〈p∧q〉 → T〈p〉 ∧ T〈q〉 (∨-Imb) If two sentences are true, then their disjunction is true If a disjunction is true, then one of the disjuncts is true.
T〈p∨q〉 → T〈p〉 ∨ T〈q〉 (→ -Imb) If one truth claim implies another, then their conditional is true If a conditional is true, then if the antecedent is true then the consequent is true For each connective, there are two principles, each relating the connective in question, the truth predicate, and sentences. Note that (¬-Imb) and (¬-Exc) have a special significance because (¬-Imb) is logically equivalent to the claim that for every sentence, either it or its negation is true (sometimes called truth completeness), and (¬-Exc) is logically equivalent to the claim that no sentence is both true and not true (sometimes called truth consistency). These are listed separately below.
(T-Comp) Either a sentence or its negation is true It is not the case that a sentence and its negation are true.

¬ (T〈p〉 ∧ T〈¬p〉)
It might not be obvious that the negation principles have these consequences, but they play an important role in what follows.
The next set of platitudes concerns the relationships between logical relations among sentences and logical relations of sentences in the extension of the truth predicate; we can call them implication platitudes: (MPC) If a conjunction of sentences implies another sentence, then the conjunction of truth claims to the conjuncts implies the truth claim to the consequent.
(p 1 ∧… ∧ p n → q) → (T〈p 1 〉 ∧… ∧ T〈p n 〉 → T〈q〉) (SPC) If one sentence implies another, then if the antecedent is true, then the consequent is true. (Sub-In) If one sentence is equivalent to another, then their truth claims are equivalent.
p ↔ q → T〈p〉 ↔ T〈q〉 (MPT) If a conjunction of truth claims to some sentences implies another truth claim, then the conjunction of those sentences as implies the other sentence.
If two truth claims to sentences are equivalent, then the sentences are equivalent.
T〈p〉 ↔ T〈q〉 → (p ↔ q) (MPC), which stands for MultiPremise Closure, entails (SPC), which entails (Sub-In); likewise, (MPT), which stands for MultiPremise Tracking, entails (SPT), which entails (Sub-Out). The closure platitudes say that the sentences in the extension of the truth predicate have the same implication structure as the sentences of the language, while the tracking platitudes say that the sentences of the language have the same implication structure as the sentences in the extension of the truth predicate.
Another set of platitudes we consider seem very intuitive because they say that logical tautologies are true, that logical contradictions are not true, and that the set of truths is closed under various logical inference rules; we can call them inferential platitudes. (Taut) Tautologies are true It is rather intuitive to think that good deductive reasoning takes one from true claims to other true claims, that tautologies are true, and that contradictions are not true. Note also that (MP) is equivalent to (→ -Exc), T〈p → q〉 → (T〈p〉 → T〈q〉).
Dialetheists claim that some contradictions are true, but they should be perfectly happy with (Contra) being a platitude. 17 For the most prominent dialetheists, true contradictions are the result of having inconsistent analytic principles. So as long as the set of platitudes for truth is inconsistent-and we are going to see that it is very, very hard to get a consistent set of platitudes that has more than a handful of members-the dialetheist can accept that most people take for granted 'true contradiction' is a contradiction in terms. Or, in other words, dialetheism is no reason to think that (Contra) is not a platitude.
The next group of platitudes concerns the interaction between truth and logical quantifiers. The quantificational platitudes are: (U-Imb) If all instances of a universal generalization are true, then the universal generalization is true.
If a universal generalization is true, then all instances of the universal generalization are true.
If some instance of an existential generalization is true, then the existential generalization is true.
If an existential generalization is true, then some instance of the existential generalization is true.
The formulas are more complicated in these cases because of the quantifiers. In these formulas, 'ϕ(x)' serves as a metalinguistic variable ranging over sentences of the language that might have 'x' as a free variable. Because of the complexities surrounding quantifiers, the English glosses of these platitudes are a bit rough, but these details won't matter for us.
Finally, we turn to logical platitudes concerned with the truth of other logical platitudes. Two stand out: One can formulate platitudes like these for each of the other logical platitudes above. It makes sense to focus on them because we want our theory of truth to be true. In particular, self-refuting theories (i.e., those that entail they are not true) are unacceptable. As we will see, (T-TOut) is special because it plays a central role in a paradox discussed in Section Five.
There are plenty of other logical platitudes for truth, but the ones listed so far seem to be the most central, and they are the ones that have received the most attention.
Our focus on logical platitudes for truth in our Canberra plan for truth can be interpreted as a strategy of letting axiomatic theories of truth be our guide to the aletheic properties. 18 We have chosen to focus only on the logical platitudes, in part because it is much easier to figure out which collections of them are consistent or inconsistent. Of course, there is already a study of the consistent sets of logical platitudes for truth-it is the study of axiomatic theories of truth. Hence, we are taking axiomatic theories of truth to be our guide in the study of the aletheic properties. The aletheic properties will end up being those properties that satisfy the maximal consistent subsets of the logical platitudes for truth. I invite you to think about it this way: although we will find no property even remotely close to what we think of as the property of being true, we will find lots of properties that obey certain subsets of the logical platitudes for truth. 19

The Friedman-Sheard Criteria
So far, our Canberra plan for truth is humming along nicely. We have collected a ton of logical platitudes for tuth, and we are ready to discover which property uniquely satisfies them. So far we have no official reason to think there isn't a unique property of being true, although I have mentioned that a swarm of paradoxes is soon going to obliterate our plan.
Enter the liar paradox. From (T-In) (i.e., if p, then 〈p〉 is true) and (T-Out) (i.e., if 〈p〉 is true, then p)-one can derive that a sentence like (1) (1) is not true is both true and not true. Often the paradox is formulated in terms of falsity, but this is not necessary, and since falsity is often defined in terms of truth, it is a needless distraction. 20 Moreover, the argument relies on the claim that, because sentence (1) is identical to the sentence '(1) is not true', these expressions are intersubstitutable in the truth predicate; this principle is labeled (Sub) in the argument.
(1) is true and (1) is not true [conjunction introduction from 1, 3] (1) is true and (1) is not true [conjunction introduction from 5,7] There are other ways to formalize the informal liar reasoning that occurs in natural language, but this one is fine for our purposes. 21 However one formalizes the liar reasoning, the fact that one can derive a contradiction in this way from (T-In) and (T-Out) shows that they cannot be satisfied together in a setting that allows classical logic (or any of its familiar alternatives-e.g., intuitionistic logic and the logic of relevant implication).
Why accept the classical inferences used in this derivation of the paradox? We are investigating which aletheic properties exist. Because it is commonplace in discussions of properties to permit the intuitive ways of reasoning that are counted as valid by classical logic and any of its familiar alternatives, we also take for granted that these ways of reasoning are valid. Surely there is a place in the study of aletheic properties for investigations into which properties might exist if one severely restricts these ways of reasoning (as in any of the non-classical approaches to the liar and other paradoxes of truth), but that won't be our strategy here. 22 Hence, every aletheic property will satisfy at most one of (T-In) and (T-Out). This result is essentially Tarski's theorem on the indefinability of truth transferred into the study of aletheic properties. 23 There are other well-known paradoxes associated with truth, like the Curry paradox and the Yablo paradox. The Curry pertains to a conditional like: (2) If (2) is true, then 0 = 1.

From (T-In) and
(T-Out) one can derive that 0 = 1 using (2). By varying the example, one can derive anything at all. 20 Two common definitions are: 〈p〉 is false iff 〈p〉 is not true, and 〈p〉 is false iff 〈¬p〉 is true. 21 See Scharp (2013) for discussion. 22 See Field (2004) and Field et al (2017) for examples of non-classical theories of properties. 23 Tarski (1933); see Field (2008, ch. 1) for discussion.
The Yablo paradox is based on an infinite sequence of sentences each saying of all the ones beyond it that they are not true. Again, from (T-In) and (T-Out), one can derive that they are true and not true. 24 Because the Curry paradox and Yablo paradox involve exactly the same logical platitudes as the liar paradox-namely (T-In) and (T-Out)-these paradoxes won't concern us any more in our investigation. There is no accepted way of individuating paradoxes. However, for the purposes of identifying the aletheic properties, we care only about distinguishing paradoxes of truth that involve distinct sets of logical platitudes beyond (T-In) and (T-Out).
It is easy to see that the combination of (T-Intro) and (T-Elim) is inconsistent as well, since they can be used in place of (T-In) and (T-Out), respectively, in the liar reasoning. However, one cannot derive a contradiction from (T-Enter) and (T-Exit) since they cannot be deployed in hypothetical reasoning. In the proof given above, steps 1-4 occur as part of hypothetical reasoning, so we cannot use (T-Exit) in place of (T-Out) in step 3. Hence, some aletheic properties do satisfy these two platitudes-we will have to keep them in mind.
Still, this leaves us without much to go on. What wee need is some guide to the consistent and inconsistent sets among the logical platitudes for truth. Luckily, Harvey Friedman and Michael Sheard undertook just such an investigation. 25 They focused on twelve logical platitudes for truth. We call them the Friedman-Sheard Criteria: Friedman and Sheard worked meticulously to find every inconsistent subset of these principles, and they gave consistency proofs for each consistent subset.
We can see some of their results in Fig. 1. The Friedman-Sheard criteria are listed on the left and the right sides of the figure, and every subset of platitudes connected by dotted lines is inconsistent. In each case there is a paradox, like the liar paradox, but whose reasoning involves those particular principles. One can see seventeen 24 There are a number of subtleties in the formulation Yablo's paradox pertaining to omega-inconsistency and inconsistency that that do not concern us. See Ketland (2005) and Cook (2014). 25 Friedman and Sheard (1987). See also Friedman and Sheard (1988), Leigh and Rathjen (2010), and Leigh (2015). paradoxes depicted as dotted lines (if three or more platitudes are involved, then the dotted lines are connected by a small dot). Each dot and each line with no dots connecting platitudes is a distinct paradox. There are two entailments listed (there are others as well). Because it entails (T-Cons), (¬T-Enter) has three additional paradoxes associated with it that are not listed. And because it entails (T-Comp), (E-Exc) has an additional seven paradoxes associated with it that aren't listed. So the two solid lines represent ten paradoxes between them. A grand total of twenty-seven (!) distinct paradoxes are lurking in these twelve logical platitudes for truth.
We have to be careful because Friedman and Sheard make several background assumptions in their reasoning: PRE is a mathematical theory that Friedman and Sheard consider as part of their background assumptions. It contains certain mathematical equations. Friedman and Sheard also assume Peano arithmetic, which is a popular axiomatic theory of arithmetic (e.g., a theory of the natural numbers, addition, multiplication, etc.).
In assuming (PRE) and Peano Arithmetic, Friedman and Sheard are following standard protocol in the literature on axiomatic theories of truth. They use numerals in their object language to refer to symbols, expressions and sentences of the object language via a famous method called Gödel numbering. The truth predicate of their object language has only numbers in its extension, and these are intended to be interpreted as the Gödel numbers of the true sentences of the object language. Because Friedman and Sheard use Gödel numbers and arithmetic to prove various things about the sentences of their object language, they need some kind of mathematical theory for these proofs; Peano Arithmetic and PRE are the mathematical theories they use. 26 Because we care about natural language, we are not concerned with any of these details beyond noting that we achieve the same sorts of aims by assuming various things about sentences of English (e.g., that liar sentences exist and that the liar is identical to the sentence 'the liar is not true'). Given that (MP), (TAUT), and (PRE) are assumed throughout their discussion, it makes sense for us to add them to the list of Friedman Sheard criteria. There is no reason to think that they are somehow more sacrosanct than any of the other platitudes. However, giving up (PRE) would not help much with the aletheic paradoxes in natural language because reliance on (PRE) is largely an artifact of the object language in Friedman and Sheard's treatment. When reasoning about natural language paradoxes we use various assumptions about which words refer to which sentences instead. One of these was listed as (Sub) in the liar reasoning at the beginning of this section.
Although it might be hard to discern from  In Fig. 2, there is a table of the Friedman-Sheard criteria on the left and the consistent subsets on the top, with '✔' indicating inclusion of the platitude on the left of that row in the subset listed at the top of that column.
Remember that the three additional platitudes that Friedman and Sheard used as background reasoning should be appended to each of the nine consistent subsets of Friedman-Sheard criteria.
Some observations about the table deserve comment. First, Friedman and Sheard label the maximally consistent subsets in the order in which they prove them consistent, and they begin with the easiest cases first. Other than that there is nothing significant about the order.
Next, Universal Imbibe (U-Imb) is a member of every single consistent subset, and so it is not involved in any of the paradoxes Friedman and Sheard find; none of the other Friedman-Sheard criteria is like this. I shall use the term 'innocuous' for this feature, and 'destructive' for its converse. With this terminology, we can say that (U-Imb) is the most innocuous of the Friedman-Sheard criteria, given their background assumptions.
Note how destructive (T-In) and (T-Out) are individually; that is, each one is inconsistent with lots of other subsets of the Friedman-Sheard criteria. Each one shows up only one time among the consistent subsets of Friedman-Sheard Criteria; (T-In) is in subset A and (T-Out) is in subset H. None of the other criteria are even close to that destructive. Remember, that (T-In) and (T-Out) are the two conditionals conjoined in the biconditional (Schema T). So each direction of (Schema T), all by itself, is ridiculously destructive. No wonder they cause so much trouble together! Only one subset contains (T-Enter), (T-Exit), (¬T-Enter), and (¬T-Exit) together. If one is looking for a more innocuous version of (Schema T) that is consistent, then this combination is one option. 27 Together these four rules say something like: a theory proves a sentence if and only if the theory proves the truth attribution to that sentence, and a theory proves a negated sentence if and only if the theory proves the negation of the truth attribution to that sentence. Again, these rules cannot be used in hypothetical reasoning, as in when one argues using a reductio or conditional proof. Even though this combination of the four derivation rules is considerably more innocuous than (Schema T), they are still very destructive together-they occur together only in subset D.
The most important thing to note is how empty the table is. Only 54 of the 108 squares are occupied. Half! Even if the table were only 75% occupied, that would be really bad-there would be lots of contradictions within those twelve Friedman-Sheard criteria.
The Friedman-Sheard criteria seem to give us nine alethic properties-one property for each consistent subset of the Friedman-Sheard criteria. However, it would 27 See Greenough (2001) for a philosophical motivation for this combination. make more sense to think of these as families of aletheic properties because we can imagine adding other logical platitudes to any of these subsets (each subset is maximal among the Friedman-Sheard criteria-in the sense that one cannot consistently add any more Friedman-Sheard platitudes to any of these nine subsets-but they are certainly not maximal among the logical platitudes in general). Moreover, we will see in Section Six that some of these families of properties do not exist because they place unacceptable conditions on how to interpret our arithmetic vocabulary. In the meantime, we can call any property that satisfies the platitudes in subset A, the property of being FSAtrue. We can call any property that satisfies the platitudes in subset B, the property of being FSBtrue. And so on.
At last we have something to work with when thinking about which property is the property of being true. 28 And the results are grim. We are assuming for now that there is a property of being FSAtrue and a property of being FSBtrue and so on for each of our nine families. But which one of these is the property of being true? Of course, none of them satisfy all the Friedman-Sheard criteria. But more damning is that none of them even come close to satisfying all the Friedman-Sheard criteria. The best meet two-thirds of the criteria (subset A and subset D). Maybe you think that is close enough to count as the property of being true, but that view runs into another problem-there are two properties that satisfy eight out of the twelve criteria. So even if the Friedman-Sheard criteria were the only truth platitudes, no property comes close to satisfying all of them, and multiple distinct properties seem to do equally good jobs of satisfying some of them.
And we find more paradoxes when we include more logical platitudes.

More paradoxes
Friedman and Sheard look at twelve logical platitudes for truth but we saw over forty in Section Three. What one would want at this point in our investigation is a catalog like Friedman and Sheard's project but for a ton more logical platitudes.
Unfortunately, no such thing exists. As a prolegomena, we could consider several glimpses of the world beyond the Friedman-Sheard criteria in the form of paradoxes affecting this broader class of logical platitudes for truth. Several stand out. Richard Montague in 1963 proved a theorem whose intended interpretation was about necessity. 29 At the time, many philosophers thought that necessity might be best understood as a predicate, 'x is necessary', where 'x' gets filled in by a name or description, rather than as an operator, 'it is necessary that p', where 'p' gets filled in by a sentence. However, this result of Montague's showed that if necessity is a predicate, then it cannot be anything like what we take necessity to be. Since then, the operator treatment of necessity has become standard and the predicate treatment almost non-existent. But we have a different application in mind-truth. Interpreted as a limiting theorem for truth, just as Tarski's indefinability theorem, Montague's result says that the following logical platitudes for truth are inconsistent: 28 An alternative approach would investigate properties that satisfy many but not all instances of certain truth platitudes rather than properties that satisfy all the truth platitudes in some maximal consistent set of platitudes. For example, Horwich (1998) makes a suggestion like this for just (Schema T). Evaluating this alternative is beyond the scope of this paper. See Horwich (1998), McGee (1992), and Schindler (2015) for discussion. 29 Montague (1963). The new kid is (T-TOut), which says that (T-Out) is true. Note that in the case of necessity, Montague's theorem is less threatening because (T-TOut) would be the claim that 'if p is necessary then p' is necessary. Denying that an axiom of the proper theory of necessity is necessary is somewhat awkward, but not nearly as bad as a self-refutation, which occurs in the case of truth. That is, to deny (T-TOut) but accept (T-Out) for truth is to take one's own theory of truth to be not true. Therefore, Montague's theorem is even more troublesome in the realm of truth than it was in the realm of necessity, where it laid waste to the assumptions underlying generations of research on modality.
When we translate Montague's theorem into talk of aletheic properties, we get something like: for any aletheic property, either it isn't preserved by central inference rules like modus ponens, it isn't had by all logical tautologies and mathematical theorems, it isn't a guide to the world (e.g., a sentence p can have the aletheic property even though not-p), or it isn't had by the claim that it is a guide to the world. Every aletheic property has one of these highly undesirable features.
Montague's stunning result can be brought into fruitful interaction with the Friedman-Sheard criteria: the three background conditions for the Friedman-Sheard criteria together entail two of the four interesting logical platitudes shown to be inconsistent by Montague's theorem. And (T-Out), one of the assumptions of Montague's theorem, is another of the Friedman-Sheard criteria. (T-TOut) is the only assumption of Montague's theorem that is absent from the framework constructed by Friedman and Sheard (other than (Robinson)).
Montague's theorem shows that one cannot consistently add (T-Out) and (T-TOut) to any of the consistent subsets of Friedman-Sheard criteria. Recall that (T-Out) is a member of only one of the Friedman-Sheard families-subset H. So we know that we cannot add (T-TOut) to subset H. Any theory like H that includes (T-Out) is going to prove a liar sentence and prove that the liar sentence is not true. So any theory that includes (T-Out) proves that some of its own theorems are not true (more on this issue below in section nine). However, when we factor in Montague's theorem, we see that theories like H cannot even be said to have all true axioms, much less all true theorems.

3
The next result is not prominent in the literature on truth, but it is based on Gödel's second incompleteness theorem. Roughly, Gödel's second says that certain formal systems cannot prove their own consistency if they are consistent. Or, formal systems in a certain class can prove their own consistency only if they are inconsistent. The theorem includes several assumptions about proof, and it defines consistency in terms of proof as well. However, if one reinterprets these provability criteria and the definition of consistency as logical platitudes about truth, then one proves that the following platitudes are inconsistent: Thus, by Gödel's second incompleteness theorem, subset G defines an aletheic property that holds of contradictions. It is a dialetheic property. If the aletheic property that is satisfied by subset G of Friedman-Sheard criteria were somehow picked to be the best candidate for the property of being true, then this result would vindicate dialetheism. Moreover, unless everything is true, the internal logic of a dialetheic truth predicate must be very weak-weak enough so that it is impossible to reason from the truth of the contradiction to the truth of an arbitrary sentence via ex falso.
It might seem odd that there could be a dialetheic property of being true in the classical framework we are using as a background. Typically, dialetheism is paired with a paraconsistent logic, in which one cannot derive an arbitrary sentence from a contradiction, but there is a version of dialetheism that is consistent with classical logic-it entails that some contradictions are true, but it does not entail p and not p for some p. The reason is that this classical version of dialetheism does not have any way to "excrete" the contradiction from inside the truth predicate; it would need something like (T-Out) or (T-Exit), neither of which are in subset G. As far as I know, no one endorses this classical version of dialetheism-something like subset G; the main reason is that one of the main benefits of dialetheism is thought to be that it allows one to keep (Schema T) and so all the disquotational platitudes, but this benefit comes at the cost of giving up classical logic for paraconsistent logic. 30 Vann McGee discovered another paradox worth mentioning here. 31 McGee's result says that any theory containing the following platitudes is omega-inconsistent: Notice, McGee didn't prove these to be inconsistent, but instead showed that they are omega-inconsistent. An omega-inconsistent set of sentences proves some existential generalization (e.g., for some x, x is F) and it also proves the negation of each instance (e.g., a is not F, b is not F, c is not F, …). Omega-inconsistent sets might be consistent, so McGee's theorem has a weaker conclusion than Montague's theorem or Gödel's second theorem (in fact, McGee proves that it cannot be strengthened to an inconsistency result).
There is an important technical result about omega-inconsistency: omega inconsistent theories are inconsistent with the standard interpretation of arithmetical vocabulary. That is, if an omega-inconsistent theory formulated in some language that contains the usual arithmetic vocabulary (e.g., numerals, addition sign, …), then that arithmetic vocabulary cannot have its intended interpretation. In particular, it turns out that in omega-inconsistent theories formulated in languages with arithmetic vocabulary, the quantifiers do not range over only natural numbers.
An assumption of the discussion so far is that reality is consistent; hence, inconsistent theories do not describe any real properties. Omega-inconsistent theories are consistent, so one might think that they describe real properties, but in fact the opposite conclusion is in order. If reality is consistent and our arithmetic vocabulary really has the obvious interpretation, then omega-inconsistent theories don't describe real properties at all. Instead, the right view is that real properties are described by theories that do not require wild and radically counterintuitive interpretations of basic arithmetic. Therefore, in the study of aletheic properties, we should take McGee's theorem to be a limiting theorem just like Montague's theorem and Tarski's theorem. That is, we should think of McGee's paradox as on par with the rest.
In their recent evaluation of axiomatic theories of truth, Leon Horsten and Volker Halbach respond to the objection from omega-inconsistency. They write: "Certainly ω-consistency is an important requirement, but we do not see it as a very fundamental requirement: hardly anyone would have thought of imposing ω-consistency as a requirement before McGee (1985) proved the ω-inconsistency of a vast class of truth theories that looked otherwise very attractive." 32 This is not a good reason for thinking that omega consistency is not a "very fundamental requirement". The fact 1 3 that omega-inconsistent theories are not compatible with the standard interpretation of arithmetic should be decisive: there are no properties that satisfy these theories of truth; otherwise, we are seriously misinformed about meanings of the arithmetic bits of our own language. That is not a price anyone should be willing to pay for choosing one relatively arbitrary combination of truth platitudes over one of the other relatively arbitrary combinations. In general, one should try to keep the costs of one's philosophical views about X within the same realm so that collateral damage affecting independent topics is to be avoided. And that is exactly what an omega-inconsistent theory does. The fact that very few logicians happened to realize that some intuitive theories of truth are omega-inconsistent before McGee's result is irrelevant.
McGee's theorem has serious consequences for the consistent subsets of the Friedman-Sheard criteria: any consistent subset of Friedman-Sheard criteria that includes (U-Imb), (¬-Exc) and (T-Enter) is omega-inconsistent. Therefore, McGee's theorem shows that subset D and subset E are omega-inconsistent. Given our conclusion that omega-inconsistent sets of truth platitudes do not describe aletheic properties, we have a significant negative result-there is no property of being FSDtrue and there is no property of being FSEtrue.
There are so many more limiting theorems based on paradoxes among the logical platitudes for truth, but the case is pretty conclusive at this point.

The nightmare
There are twenty-seven distinct paradoxes among the twelve Friedman-Sheard criteria, and there are only nine maximal consistent subsets of these criteria. The largest two maximal subsets have eight members, but the average size of the maximal subsets is only six. There are 495 distinct subsets of the Friedman-Sheard criteria with eight members, but only two of these subsets are consistent! Let that sink in for a moment.
Moreover, if we were to weight the Friedman-Sheard criteria, (T-In) and (T-Out) would easily get the highest weights because of how central they are to the functioning of 'true'. Recall that these are each direction of the celebrated (Schema T). But each of these central criteria show up in only one of the maximal subsets.
However, the situation is actually much worse. Friedman and Sheard write, "The consistency of [(T-In) and (T-Del)] is easily verified by considering the model in which [every sentence of the object language is true]. While this model may seem distant from our original motivation for T, it certainly works, and moreover we will shortly see that it is the only model at all in which T-In holds." 33 Subset A has only one model (given their assumptions), and in that model, the truth predicate's extension contains every sentence. Hence, in that model, everything is true. That is, all the sentences in the language are in the extension of the truth predicate of the language. (Note that this result is different from having every sentence of the language 33 Friedman and Sheard (1987: pp. 7-8); note that they are assuming that all models have the natural numbers as their domain and that the arithmetic vocabulary has the standard interpretation.
be true in that model. What the model calls true and what the model calls 'in the extension of the truth predicate' need not be the same.) Having assumptions about truth and arithmetic that force all sentences of a language to be in the truth predicate's extension is so implausible that we can ignore subset A in what follows.
Recall that subset A was the only one that included (T-In). And, the subset of which (T-Out) is a member, subset H, has models that do not interpret the truth predicate of the language as having all the sentences in its extension. In some sense, (T-In) is the more destructive of the two directions, given Friedman and Sheard's background assumptions.
Moreover, McGee's theorem proves that subset D and subset E are omega-inconsistent (although they are consistent). We have found that omega-inconsistent sets do not describe any aletheic properties.
Therefore, no alethic properties satisfy three-A, D, E-of the nine consistent subsets of Friedman-Sheard criteria. Only Subsets B, C, F, G, H, and I are satisfied by properties at all.
In addition, Subset G is dialetheic, by Gödel's second theorem. That means that some contradictions are in the extension of the truth predicate described by Subset G. Or, in other words, some contradictions are FSGtrue. Note that Subset G commits one to classical dialetheism (what Field calls the classical glutty view), which no theorists endorse. It has the worst of both worlds-no (Schema T) and some contradictions are true. Graham Priest, Jc Beall and the other major dialetheists are paraconsistent dialetheists. 34 They reject classical logic for paraconsistent logic, which allows them to endorse much stronger logical platitudes for truth than are available for classical logic fans. (All of the Friedman and Sheard discussion assumes classical logic.) Because Subset G has such a violent combination of costs and no benefits we shall not consider it further (Field ignores it too).
Next, Montague's theorem shows that subset H is self-refuting in the sense that not all members of subset H have the property of being FSHtrue. In particular, T-Out is a member of subset H, but it is not FSHtrue. When we eliminate subsets A, D, E, G, and H, we are left with only four subsets of Friedman-Sheard criteria, and each of these subsets contains only five members. Five! Out of twelve criteria. And none of these four subsets-B, C, F, and I-contain either of the most important criteria: (T-In) and (T-Out).
The number of ways in which one can derive contradictions from the logical platitudes about truth is simply mind-boggling. This is exactly the nightmare scenario the Canberra plan faithful pray never happens. All the candidate properties are so far from satisfying even minimal subsets of truth platitudes, that there is no decent way to judge which one of the aletheic properties is the property of being true. They are so far from what we think of when we think of the concept of truth that it does not make sense to call any of them the property of being true. The result of this Canberra plan exercise is that there is no property of being true. 35,36 So what are the options for our Canberra plan now that it has encountered this kind of catastrophe?

Options
For anyone tempted to think that the lesson should be pluralism about truth, think again. All the truth properties claimed to exist by the truth pluralist are assumed to satisfy all the platitudes regarding the concept of truth. 37 But we already know that no aletheic properties satisfy even small numbers of logical platitudes. Pluralism is an option when too many properties satisfy all the platitudes.
Moreover, truth pluralists typically take distinct properties of being true to be operative in distinct domains of inquiry (e.g., correspondence in science and coherence in ethics). But there is no reason to think that each of the various aletheic properties is specific to some domain of discourse.
One response to a catastrophic Canberra plan failure is an error-theoretic treatment of the topic in question. The heart of any error theory about some topic is the claim that all atomic sentences about that topic are false. For example, moral error theorists take all atomic sentences with occurrences of 'morally good' to be false. 38 Likewise, the error theorist about truth would hold that all atomic sentences with occurrences of truth predicates are false.
In the moral case, error theories are radically implausible, but at least they are internally consistent. However, in the case of truth, it does not take much reflection to see that an error theory would be self-refuting. That is, it would be impossible for such a theory to be true since 'the error theory of truth is true' is an atomic sentence with an occurrence of 'true'. Hence, the error theory of truth implies that the error theory of truth is not true. Moreover, all the problems we have seen for satisfying the platitudes for the concept truth carry over to the platitudes for the concept of falsity because of how intimately these two concepts are related. Hence, an error theorist about truth will also be an error theorist about falsity. The result would be that all atomic sentences with occurrences of falsity predicates are false. Among the sentences declared to be false would be, of course, all the pronouncements of the error theory of truth and the error theory of falsity. Therefore, an error theory of 36 Note that some deflationists [e.g., expressivists like Schroeder (2010)] might welcome the conclusion that there is no property of being true. Still, disquotationalists and minimalists, which make up the overwhelming majority of deflationists, do accept that there is a property of being true, just not a substantive property. More on this in Section Ten. 37 See Lynch (2009). 38 See Mackie (1977) and Olson (2014) for examples. 35 If I had to pick, I would follow Jeremey Wyatt who (personal communication) suggested Subset F as the closest to what the property of being true would be like because it alone among the survivors has both directions of some kind of disquotational platitude: (T-Enter) and (T-Exit) -as well as (¬T-Exit).
truth is a non-starter. 39 Such is the problem with using the defective concept of truth to try to characterize what is wrong with the defective concept of truth.

Conceptual engineering
We need a better methodology-the Canberra plan is not helpful in situations like this one, and it obscures many of our options because it is fundamentally a static methodology, it is nothing to do with change or improvement. Indeed, David Lewis, who has done more to promote the Canberra plan than anyone else, writes: "One comes to philosophy already endowed with a stock of opinions. It is not the business of philosophy either to undermine or to justify these preexisting opinions, to any great extent, but only to try to discover ways of expanding them into an orderly system," (Lewis 1973: p. 88).
Instead, we need a methodology that encourages us to evaluate our concepts and, when they are found to be problematic, to improve our conceptual scheme. This is exactly the position advocated by those in the new philosophical movement called conceptual engineering. 40 Conceptual engineering projects are remarkably diverse, and examples include Sally Haslanger's ameliorative project, in which she defends replacing our everyday concept of woman with the concept of a person oppressed on the basis of stereotypical female characteristics. 41 Theodore Sider's suggestion that we replace our existential quantifiers and other elements of natural language with surrogates that are stipulated to be metaphysically fundamental is another kind of conceptual engineering project. 42 Given the crucial roles that truth plays in our lives, and the fact that our Canberra plan analysis of truth reached the conclusion that there simply is no property of being true, a conceptual engineering project for truth is in order.
We know that none of the aletheic properties can do what we expect the property of being true to do because none of them even come close to satisfying all the aletheic platitudes. And since none of these properties is designated by the word 'true', which is assumed to express the concept of truth, we can start thinking about the families of aletheic concepts, each of which corresponds to one of the aletheic properties. That is, we should think of each aletheic property as having its own aletheic concept, distinct from the concept of truth. We can think of each of these concepts as an addition to our conceptual scheme. In the terminology from here on, they will be known as the new aletheic concepts. They are related to one another in the same way as the aletheic properties described above. To provide a foundation for answering the overarching conceptual engineering question of how we ought to 39 For a contrary view on error theories of truth, see Devlin (2003). 40 For overviews see Plunkett (2013a, b) Cappelen (2018), and Scharp (2020); see also Novaes (2018) and Novaes and Reck (2017) for a way of understanding Carnapian explication that is similar to conceptual engineering. 41 See Haslanger (2000) 42 See Sider (2011). 1 3 change our conceptual scheme in light of these findings, I propose that we take the aletheic properties as a guide to the potential aletheic concepts we might add to our conceptual scheme.

Some aletheic properties
We have no idea how many consistent maximal axiomatic theories there are among, say, the forty or so logical platitudes listed so far. We do have several high-profile axiomatic theories, and we can think of each one as describing an alethic property. Because these axiomatic theories incorporate about as many logical platitudes about truth as we know how to do right now, it is natural to think that each of these axiomatic theories describes a fairly precise aletheic property.
Friedman and Sheard advocate a slight modification of Subset D, which has come to be known as Theory FS. 43 FS is the only popular axiomatic theory of truth that incorporates the four derivation rules from the Friedman-Sheard criteria: (T-Enter), (T-Exit), (¬T-Enter), and (¬T-Exit). That is, FS is the only popular axiomatic theory of truth to incorporate what we know to be a consistent alternative to the (Schema T). Unfortunately, FS is omega-inconsistent. Thus, given the standards for investigating aletheic properties that we have followed, it does not describe any aletheic property and shouldn't be considered further in the study of aletheic properties.
Another axiomatic theory of truth is inspirted by Saul Kripke's paper "Outline of a Theory of Truth," which developed a framework for thinking about non-classical theories of truth-theories that are inconsistent in classical logic, but consistent in vastly weaker logics. For example, Kripke showed how to accept Schema T without contradiction in a relatively weak logic called K 3 . Influenced by Kripke's work, Solomon Feferman formulated an axiomatic theory in a classical framework that is intended to model the class of truths Kripke constructed in a non-classical logic. The result is an axiomatic theory called KF: (KF1) T〈p〉 ↔ p for p atomic and arithmetic (KF2) T〈¬p〉 ↔ ¬p for p atomic and arithmetic 43 Warning: authors publishing in this area often mean slightly different things when they talk about the Friedman-Sheard theory; and the same goes for all of the other commonly discussed axiomatic theories.
Synthese (2021) 198 (Suppl 2):S647-S688 Whereas FS tries to incorporate a symmetric grouping of surrogates for (T-In) and (T-Out)-in the form of (T-Enter), (T-Exit), (¬T-Enter), and (¬T-Exit)-KF avoids all of these platitudes and instead focuses on interactions between the truth predicate and logical vocabulary. However, it does not contain either of the negation rules, which is why it has a clause for each kind of connective along with a clause for each kind of connective negated. One can consistently add either of the negation rules, (¬-Imb) or (¬-Exc) to KF, but not both. Hence, one could add either (T-Cons) or (T-Comp) to KF, but not both.
KF is consistent and omega-consistent, so there is an aletheic property, call it being KFtrue, that satisfies all of the axioms of KF. Being KFtrue is still very far from what we think of as the property of being true because being KFtrue fails to satisfy all sorts of logical platitudes for truth, especially the most important ones. All the general platitudes related to the (Schema T) fail-that is (T-In), (T-Out), (T-Enter), (T-Exit), (¬T-Enter), and (¬T-Exit) all fail in KF. (Only the platitudes specific to truth, (T-Rep) and (T-Del), are axioms of KF.) So, it is consistent with KF that p but 〈p〉 is not true, and that 〈p〉 is true but that not p. 44 How does KF relate to the Friedman-Sheard criteria? KF has both (T-Rep) and (T-Del). Only three Friedman-Sheard subsets have these two axioms: A, H, and I. However, subset A has (T-In), but KF doesn't, so KF isn't an extension of subset A. H has (T-Out), so KF isn't an extension of subset H. And I has (T-Exit), so KF isn't an extension of subset I. Instead, KF is not an extension of any of the Friedman-Sheard subsets. Indeed, it violates (Taut), which is one of the Friedman-Sheard background assumptions. That is, some instances of logical tautologies are not KFtrue.
Another influential axiomatic theory, first proposed by Andrea Cantini, is also inspired by Kripke's work, but this time by the supervaluational version of Kripke's approach, rather than the strong Kleene version, which is the basis for KF.
(VF1) p → T〈p〉, for p atomic and arithmetic, and for p negated atomic and arithmetic. This theory is called VF in honor of Bas van Fraassen, who popularized the supervaluation approach just prior to Kripke's work. Notice that the first two axioms of VF are background assumptions for the Friedman-Sheard Criteria. It turns out that VF is closely related to subset H of the Friedman-Sheard criteria. The difference is that H has (T-Del) whereas VF has something like (T-Del) but with a negation, and H has (¬T-Enter) whereas VF does not. We can call the property that satisfies VF being VFtrue.
One interesting feature of VF is that it takes (T-Out) as an axiom. A consequence is that it declares some of its own consequences to be not VFtrue. For example, consider something like a liar sentence for VFtruth: (3) is not VFtrue.
Using (T-Out), we can derive that (3) is not VFtrue using the first half of the liar reasoning outlined above. Notice, however, that this result just is sentence (3). So VF entails sentence (3) and it entails that sentence (3) is not VFtrue. Thus, although VF is a consistent theory, it is self-refuting in the sense that it entails that some of its own theorems are not VFtrue. 45 So, of the three axiomatic theories so far, FS, KF, and VF, one is omega-inconsistent and one is self-refuting. Not a good start.
Consider two additional alethic properties, being ascending true and being descending true. These properties are denoted by the concepts of ascending truth and descending truth. Elsewhere I advocate using them as a team of replacements for the concept of truth. 46 Here I am only concerned with presenting them alongside the other aletheic properties, and presenting the axiomatic theory of ascending truth and descending truth (ADT) along side the other axiomatic theories.
These two replacements are designed to split the two directions of the (Schema T), which we have been calling (T-In) and (T-Out). One concept, ascending truth, is such that if p then <p> is ascending true. The other, descending truth, is such that if <p> is descending true, then p. The converse rules fail in general, but are valid for a certain class, which are called the safe sentences. That is, if <p> is safe and <p> is ascending true, then p; if <p> is safe and p, then <p> is descending true. There are a host of other principles for each concept as well. In the following, A(x) (for 'x is ascending true'), D(x) (for 'x is descending true'), and S(x) (for 'x is safe') are all monadic, univocal, and invariant.
(D1) D〈p〉 → p 45 KF was criticized for not having (T-Out) because it makes being KFtrue dissimilar from what we think the property of being true should be like. But here VF is criticized for having (T-Out) because it makes VF self-refuting. Such is the way with consistent models of inconsistent concepts. 46 Scharp (2013).
Some of the axioms are redundant. Further, these axioms are not meant to be the theory of ascending truth and descending truth; rather any theory of ascending truth and descending truth should have the preceding as a subtheory.
Consider two examples involving 'ascending true' and 'descending true' in sentences that are similar to liars and might be thought to make trouble: (4) (4) is not ascending true.
We can prove that (4) and (5) are each ascending true and not descending true using the same kind of reasoning as in the liar paradox. However, this just shows that they are unsafe-there is no contradiction here.
It might seem that ADT is self-refuting like the theory VF. Properties satisfying self-refuting theories are genuine properties. But they are very far from what we think of as the property of being true. Moreover, the fact that they are self-refuting is a serious cost when it comes to evaluating conceptual engineering projects for truth. However, ADT is not self-refuting because all the axioms of ADT are descending true (and so ascending true).
Still, one might object that some theorems of ADT are not descending true, so it is self-refuting after all, just in a weaker sense. Indeed, ADT does imply that some of its own theorems are not descending true. For example '(10) is not descending true' is a theorem of ADT and ADT implies that (10) is not descending true. So ADT implies that some of its theorems are unsafe. (Incidentally, this feature of ADT is why there are redundancies in its formulation. Axiom schema D7 insures that all its axioms are descending true, but one is not thereby guaranteed that all its theorems are descending true. The more axioms one lists, the more are guaranteed to be descending true.) There are two points to be made in reply. First, if one has only one aletheic status to work with, e.g., VFtruth, then the self-refutation considerations given above are decisive. However, if one has two aletheic notions to work with, like ascending truth and descending truth, then we can formulate a criterion of adequacy for good (i.e., trustworthy) arguments that the theory, ADT, respects: namely a valid argument will never take one from descending truths to something not ascending true. It might take one from descending truth to unsafety or from unsafety to something not ascending true. For example, the descending liar-(5)-is provable in ADT, the axioms of ADT are descending true, but the descending liar is unsafe (so not descending true). Also, the ascending liar and its negation are unsafe (so ascending true), but their conjunction is a contradiction and so is not ascending true. Second, anyone who accepts that the new aletheic statuses are not preserved by valid arguments will be forced to distinguish between theorems of the theory that have top status, those that have middle status(es), and those that have bottom status. If valid arguments never take one from top to bottom, then the obvious condition on an acceptable theory is that all its axioms have top status. We know already that not all its theorems will have top status. So the best we can hope for is top status axioms and no bottom status theorems. That is exactly the case with ADT: all the axioms of the theory are descending true and none of its theorems are not ascending true. So it behaves exactly as one would hope a theory of this type would behave.
A summary is in order. We began with the twelve Friedman Sheard criteria and the 27 inconsistencies among them. Only four of the maximally consistent subsets are even worth considering as being satisfied by anything like what we think the property of being true should be like. Although there is no property of being true, these four are our first good examples of aletheic properties. We looked beyond the Friedman-Sheard criteria to other logical platitudes for truth and found more paradoxes among them but also some axiomatic theories that go beyond the Friedman-Sheard criteria. Several of these were non-starters however, being omegainconsistent or self-refuting. Each of these aletheic properties, FSBtruth, FSCtruth, FSFtruth, FSItruth, FStruth, KFtruth, VFtruth, ascending truth, and descending truth, is worth investigating in detail, but the next section has space for only a few broad themes.

Are any aletheic properties substantive?
Finally it is time for our study of aletheic properties to start paying dividends in the discussion of deflationism. Now that we have some sense of which aletheic properties exist and how they differ from what we intuitively take the property of being true to be like, we can turn to the question of what these aletheic properties are like. In particular, we can think about the question of whether deflationism is right about any of these aletheic properties.
Deflationism about truth has been influential in analytic philosophy for decades now, but there has been renewed interest in what deflationists should say about the property of being true. First generation deflationists tended to deny that there was any property denoted by 'true', but the subsequent debate made it clear that most of them meant instead that there is no substantive property denoted by 'true'. 47 Even so, most of the attention was on what form a deflationary theory of truth should take and on what a deflationist should say about the role of truth predicates in our linguistic practice. However, the debate has now shifted to deflationary views on the property of being true, with the result being that earlier characterizations have been seen as inadequate. There is a new sense that the debate over deflationism about truth might well be adjudicated best by evaluating what deflationists say about the property of being true. Wyatt's (2015) paper, "The Many (Yet Few) Faces of Deflationism," catalogs five deflationary theses about the property of being true: (Transparency) Being true is a metaphysically transparent property, (Non-explanatory) Being true is a non-explanatory property, These need not be accepted by every deflationist, but each has considerable support. A few clarificatory comments on these deflationary theses are in order.
First, being true is a metaphysically transparent property if and only if anyone who possesses the concept of truth is in a position to know all the essential facts about the property of being true. In other words, the property of being true does not have some hidden essence to be discovered by some investigation. Simply having the concept of truth is enough to be in a position to know everything important about the property of being true (but not, obviously, which things have that property).
Second, being true is a non-explanatory property iff there are no facts that are explained by facts about the property of being true. 48 It is important to stress that 'true' might occur in a theory only in its expressive role as a device of generalization despite the fact that the theory in question is genuinely explanatory. The word 'true' serves as a device of generalization when it changes a sentence position into a singular term position in a sentence. For example, one might say the following sentences. If grass is green and Sarah says that grass is green, then we should trust Sarah about this. If snow is white and Sarah says that snow is white, then we should trust Sarah about this. And so on. But one might want to state the general point and say if __________ and Sarah says that _____________, then we should trust Sarah (for whatever can be put in the sentence spaces). But that isn't a sentence. Whether 47 See Beall and Armour-Garb (2005) for a survey. 48 Wyatt formulates this condition in terms of facts about the essence of the property of being true. However, I am not clear on what this rules out. Regardless of how one formulates the condition, deflationists have long held that the property of being true can play no role in explaining meaning. As long as this result follows, nothing turns on the differences in formulation for (Non-explanatory).

3
English has anything that functions like those sentence spaces is contentious. But deflationists claim that the word 'true' helps us state the general point by turning those sentence gaps into singular term gaps, which might be filled in by a name or a description or a variable. For example: if for all things x, x is true and Sarah says that x is true, then we should trust Sarah. The word 'true' turns those sentence spaces into something we can use. That is it. (Non-explanatory) entails that the word 'true' does not (or should not) play any role in any explanatory theory other than this generalizing role.
Third, the property of being true is not constituted by any other property iff it is not the case that there is some property, being F, such that all and only things that have the property of being true have the property of being F, and anything that has the property of being true has it because it has the property of being F. For example, if truth is properly analyzed as correspondence with the facts, then true things have the property of being true because they have the property of corresponding with the facts. Deflationists deny that truth is constituted by correspondence or by anything else. We could say that, together, (Non-explanatory) and (Unconstituted) imply that the property of being true doesn't explain anything and nothing explains it.
A property is abundant iff it is to some extent unnatural, in Lewis's sense. Naturalness, for Lewis, is objective, and it explains objective similarities among things. 49 Natural properties "cut nature at its joints," in Plato's phrase. Most metaphysicians accept that there are degrees of naturalness, but it is not clear whether deflationists endorsing (Abundant) mean that being true is merely not perfectly natural or they mean that it is highly unnatural. 50 A property is logical iff it is invariant under certain one-one transformations of the world onto itself. 51 There are other ways to define 'logical', but Wyatt follows Tarski, who was inspired by Klein, and this invariance tradition is one of the most respected when it comes to defining what is logical. A one-one transformation of the world maps every thing in the world to some thing in the world. For example, the identity transformation maps everything to itself. If the distribution of a property is unaffected by any such transformation, then the property is logical.
What are we to make of these deflationary theses? And do any of the aletheic properties canvassed count as deflationary in any of these ways?
Given what we have seen so far, it is hard to be more wrong than (Transparency). Even if we assume that anyone who possesses the concept of truth has some access to the logical platitudes, that person would probably have no idea that they were inconsistent. As we have seen, the only reasonable response to the vast amount of inconsistency among the truth platitudes is that there is no property of being true. Nothing even comes close to satisfying even small subsets of the platitudes for the concept of truth. Hence, simply possessing the concept of truth does not put one in a position to know everything essential about the property of being true. 49 See Lewis (1986); see also Sider (2011). 50 See Edwards (2013) and Asay (2013). 51 This is very rough, see MacFarlane (2000) for a detailed treatment.
If a theorist denied this result and picked one of the aletheic properties to be the property of being true, then that aletheic property would be nothing like what the concept of truth would lead us to think it is like. Moreover, it has taken the accumulated effort of dozens of experts building on each others' work to figure this out. Even on a liberal reading of 'in a position to know', (Transparency) fails. For every inconsistent concept of X, if it has an associated property of being X, then being X is not a transparent property.
What about the aletheic properties themselves? 52 For example, the property of being FSAtrue. Is it metaphysically transparent? Is anyone who possesses the concept of FSAtruth in a position to know all the essential facts about the property of being FSAtrue? This depends on what one takes to be essential to the property of being FSAtrue. If we assume that possessing the concept requires some kind of acceptance of the axioms in subset A of Friedman-Sheard criteria, then the answer is clearly No. 53 One might understand and accept these axioms without being able to figure out that there is only one model for this subset whose domain is the natural numbers and whose arithmetic vocabulary have their standard interpretations. And such a person might also not be in a position to figure out that everything is in the extension of 'true' in this model. The fact that every sentence of the object language has the property of being FSA true seems essential to me, but people differ on what is essential even in obvious cases, much less on esoteric subjects like this one. This result is even necessary in some sense because it holds in all the relevant models. The same sort of thing can be said for the other aletheic concepts and properties. I doubt that any of them is transparent.
(Non-explanatory) should be treated as highly dubious. The concept of truth shows up in truth conditional semantic theories, which are among the most widely accepted theories for doing natural language semantics in the science of linguistics. 54 Denying that these theories have explanatory power would be like denying that Newton's theory of mechanics or Maxwell's theory of electrodynamics has explanatory power. It is an open question as to whether any of the aletheic properties (or their related concepts) have this explanatory power, but they might work in the same sorts of semantic theories just as well as we thought truth would. 55 Although we now know that there is no property of being true, the verdict on the explanatory power of the genuine aletheic properties is complex. Truth conditional semantic theories come in a dizzying variety, and they are often tailored to the specific linguistic expressions under consideration. Are any of the alethic properties we canvassed up to the task? In the vast majority of cases, the clauses of a truth-conditional semantic theory could be added consistently to any of the axiomatic theories we have studied. The reason is that these semantic theories 52 Thank you to a referee who emphasized this question. 53 And I would say that the antecedent of this conditional is far to demanding for concept possession. 54 See Chierchia and McConnell-Ginet (1990). 55 Many deflationists have defended the immodest view that deflationism is incompatible with truth conditional semantics, but there are attempts to reconcile deflationism with a reasonable modesty toward the sciences. For example, Michael Williams' argues that the concept of truth plays only a generalizing role in truth-conditional semantic theories; see Williams (1999). See also Burgess (2011b) and McGee (2016).

3
are not designed to apply to language fragments that contain truth predicates. Instead, semantic theories for epistemic modals, for example, apply to language fragments that contain epistemic modals, and semantic theories for conditionals apply to language fragments that contain conditionals. The problems in which we are interested crop up only for a truth-conditional semantic theory when they are interpreted as applying to sentences in which truth predicates occur. Hence, in this sense, any of our aletheic properties would be up to the task of satisfying the principles of most truth-conditional semantic theories.
But there is a catch. If we ask ourselves whether any of the aletheic properties studied so far could satisfy all the principles of a truth-conditional semantic theory when it is interpreted as applying to a language with a truth predicate and the resources to construct liar sentences, then the answer is No. There are plenty of paradoxes hiding among these principles and so no aletheic property is going to satisfy all of them. [For a detailed argument, see Scharp (2013)]. Therefore, any of the aletheic properties could serve an explanatory role in virtually any truthconditional semantic theory, but when it comes to a truth-conditional semantic theory for a truth predicate, none of them are up to the task. Never fear, because there is a way to fix this problem, which is a topic of the next section.
Are any of the aletheic properties unconstituted? This is hard to say because it is not obvious how to individuate properties and it isn't clear what kind of dependence is invoked with the claim that the property of being true is constituted by some other property. If something like a reductive explanation is given as the reading of 'constituted', then the answer is probably going to be No because uncontroversial reductive explanations (think thermodynamics and statistical mechanics) are rare in philosophy. If the standard is somewhat relaxed, say, to a weak supervenience claim, then perhaps the odds are a bit better, but probably not by much. What kind of explanatorily powerful property is going to explain any one of these aletheic properties? They are each hopelessly gerrymandered -their extensions zigzagging around to avoid the plethora of impossibility results. Hence it looks like all of the aletheic properties are unconstituted.
One might protest this conclusion: but we already have such properties! Correspondence to the facts or coherence, or superwarrant maybe. My reply: none of the classic analyses of truth are remotely plausible in light of the results of our attempted Canberra plan. First of all, there is no property of being true. That result is inconsistent with every purported constitution theory for the property of being true. Second, even if one denies this conclusion, it is hard to see that the property of corresponding to the facts could constitute any one of the aletheic properties. Consider the property of being FSFtrue (i.e., satisfying subset F of Friedman-Sheard critera). This property fails to obey (¬T-Enter). Hence, even if one can prove a theorem from subset F of form ¬p, one cannot conclude that ¬Tp. For example, it would be like proving 'snow is not white' but failing to prove ''snow is white' is not true'. Does the property of corresponding to the facts behave just like this? Highly doubtful.
What about abundance? All of the aletheic properties are highly unnatural in one sense. Naturalness is supposed to explain the objective similarities between things. If we intuitively think of all the truths as having some kind of objective similarity, then every aletheic property is going to violate this in myriad ways. And it is hard to believe that anyone thinks that all the KFtruths or all the VFtruths have objective similarity. So in this sense all the aletheic properties are deflationary.
Logicality? Wyatt argues that no deflationist should accept this thesis because it is easily refuted. 56 His argument is that some transformations will map some true proposition onto a false proposition, so truth is not preserved under all transformations. But Wyatt assumes that propositions are things in a particular world, whereas it is much more common to assume that propositions are sets of possible worlds, and so they are not members of any particular possible world. If that is right, then propositions are not among the things in a world, and so Wyatt's argument fails.
Certainly some aletheic properties count as logical: when the predicates that denote them get their own clauses in the semantic theory for languages in which they occur, just like negation and the rest of the logical vocabulary. If that is the case, then the interpretation of the predicate is by definition invariant across all models. For example, one can do this for ascending truth and descending truth. 57 So at least some aletheic properties count as logical properties.
We can summarize the results in this section: i. No aletheic properties are transparent, so versions of deflationism committed to (Transparency) are false. ii. No aletheic properties are non-explanatory, so versions of deflationism committed to (Non-Explanatory) are false. iii. All aletheic properties are unconstituted (depending on how one individuates properties), so insofar as they are committed to (Unconstituted), deflationist views of alethic properties are acceptable. iv. All aletheic properties are abundant, so insofar as they are committed to (Abundant), deflationist views of aletheic properties are acceptable. v. Some aletheic properties are logical (depending on how one understands logical expressions and how one formulates a semantic theory for a language with expressions that denote these properties), so insofar as they are committed to (Logical), deflationist views of aletheic properties might be acceptable.
It deserves to be emphasized that deflationist theories of truth have multiple aspects or parts, some of which pertain to the property of being true, some to the concept of truth, some to the word 'true', and some to the structure of any acceptable theory of truth. Moreover, there is no property of being true, so any theory, deflationist or not, that entails that there is such a property is false. At present, we are evaluating only deflationist views of aletheic properties, not deflationist views as a whole. As such, even those versions of deflationism that come out as acceptable on the present inquiry might be false for some other reason (e.g., because deflationist theories are typically taken to consist of all and only the non-paradoxical instances 56 Wyatt (2015: pp. 16-17). 57 See Scharp (2013).
1 3 of (Schema T), but it is difficult or impossible to specify in advance which instances these will be).

New aletheic concepts
There is a meaningful English word, 'true', and there is a concept of truth expressed by that word, but the concept of truth is defective in the sense that its platitudes are inconsistent. Moreover, they are seriously inconsistent-the average size of the nine maximally consistent subsets of twelve Friedman-Sheard criteria is only six, and the average size of the somewhat reasonable ones is only five. As such, there is no property of being true. Still, there are plenty of properties that are somewhat like what we think the property of being true should be like. These are the aletheic properties, and there is one for each consistent (and omega-consistent) subset of platitudes for the concept of truth.
Instead of ending our inquiry here, we have decided to see whether we can improve our situation by adding new aletheic concepts to our conceptual scheme. Our guide to the world of new aletheic concepts is the realm of alethic properties. In other words, for each aletheic property, there is a new aletheic concept, distinct from the concept of truth. There are, of course, lots of other concepts like truth but distinct from it, but the ones based on aletheic properties come with a guarantee: I am not inconsistent. 58 Each new aletheic concept has, as its constitutive principles, all the platitudes in the theory it satisfies-e.g., the concept of KFtruth has as its platitudes all the axioms of the theory KF, which is satisfied by the property of being KFtrue.
Which of these new aletheic concepts should we use in place of truth? There is good reason to think that no single new aletheic concept is up to the task because no single aletheic concept can do everything we expect the concept of truth to do. For example, it is widely accepted that we use 'true' to endorse propositions that we cannot assert directly; for example, Ralph can assert 'the Riemann hypothesis is true' and thereby endorse the Riemann hypothesis even though he does not remember or never learned which sentence expresses it. Or he can assert 'all the axioms of ZFC are true' and thereby endorse all the axioms of ZFC even though there are too many for him to assert one by one. We can capture this role by saying that a truth predicate functions as device of endorsement. The flip side of this role is a device of rejection; he can say 'the Riemann hypothesis is not true' and thereby reject the Riemann hypothesis. In order to serve as a device of endorsement, the truth predicate must obey (T-Out), and in order to serve as a device of rejection, the truth predicate must obey (T-In). Of course, we already know that in a classical setting no single concept obeys these two principles; thus, no concept can serve as both a device of endorsement and rejection given classical logic and the expressive resources to construct liar sentences. However, if we replace truth with two concepts, we can split 58 And an even further guarantee against consistent but omega-inconsistent concepts. As far as I know, no one has considered omega-inconsistent concepts before. the workload, allowing one to serve as a device of endorsement and the other to serve as a device of rejection.
Moreover, anyone who advocates replacing truth with a single aletheic concept would have to pick the best combination of truth platitudes and give up anything like the rest of them. However, when we replace truth with two concepts, we have the option of accepting some platitudes that are formulated with one concept and some platitudes that are formulated with the other. In addition, this strategy allows for hybrid platitudes, which are formulated with both concepts (e.g., a hybrid platitude would be 'If a conditional is descending true, then if the antecedent is descending true then the consequent is ascending true'). The theory of the replacement concepts I offer includes a replacement principle for every one of the platitudes listed above for truth. Such a thing is only possible when we replace truth with multiple new aletheic concepts.
One significant issue for choosing between new aletheic concepts is whether the aletheic properties they denote are deflationary or substantive, and in what sense. We saw five ways of drawing the deflationary/substantive distinction for the aletheic properties from Wyatt, and conducted a preliminary investigation into which aletheic properties have these features. Against the background of a conceptual engineering project, the question becomes: what do we want our replacement concepts to be like? What are the considerations for and against various features-explanatory power, expressive power, naturalness? And which ones do we want, given what we are interested in doing with our replacement concepts?
Another problem surfaced in the previous section: no new aletheic concept, by itself, can serve the explanatory role we save for the concept of truth. To make the point, focus on truth-conditional semantics. Recall that any of the aletheic properties could serve the explanatory role required by the vast majority of semantic theories in the truth-conditional tradition because few of these theories are intended to apply to fragments of natural language that include a truth predicate. However, none of them can be used to formulate a successful truth-conditional semantic theory that applies to the fragment of a natural language containing a truth predicate. This should be obvious: the aletheic properties are nothing like what we think of as the property of being true, so the aletheic properties deliver nothing like what we think of as truth conditions.
However, if we adopt ascending truth and descending truth into our conceptual scheme, then we can formulate a successful semantic theory using them. The theory specifies ascending truth conditions and descending truth conditions for all the sentences in a fragment of natural language that contains a truth predicate, an ascending truth predicate, and a descending truth predicate. Moreover, for safe sentencesroughly, the non-paradoxical ones-the ascending truth conditions are identical to the descending truth conditions, which are identical to the truth conditions. Thus, ascending and descending truth conditional semantics reduces to truth-conditional semantics in all the familiar cases where the distinction between ascending truth and descending truth is negligible. That is similar to the situation in physics-relativistic mechanics reduces to Newtonian mechanics in all the familiar cases where the distinction between relativistic mass and proper mass is negligible. For details, see Scharp (2013).
Whether my suggested replacements for the concept of truth can actually do all the things we think truth should be able to do is still an open question. Truth's expressive role is complex and truth's explanatory role is vast. Here I have focused only on the expressive roles of acceptance rejection, and generalization, and the explanatory role in contemporary natural language semantics. As such, we have just scratched the surface of the conceptual engineering project for truth.
What we desperately need is a catalogue of all the inconsistences among all the logical platitudes for truth listed in section two and a catalogue of all the maximal consistent subsets of these criteria. John Burgess has already suggested doing something like this, so we can reiterate his call to arms. 59 We can call it the aletheic platitudes project (APP). When complete, APP would be a gold mine for the study of aletheic properties. Moreover, APP would finally allow us to complete the conceptual engineering project of finding the best team of new aletheic concepts to replace our defective concept of truth. I think the community of mathematically minded philosophers and logicians can work together to make APP a real success. We can do this, and you can help!