Alethic Functionalism,Manifestation, and the Nature of Truth

Michael Lynch has recently proposed an updated version of alethic functionalism according to which the relation between truth per se and lower-level truth properties is not the realization relation, as might be expected, and as Lynch himself formerly held, but the manifestation relation. I argue that the manifestation relation is merely a resemblance relation and is inadequate to properly relate truth per se to lower-level truth properties. I also argue that alethic functionalism does not justify the claim that truth per se exists, or that truth per se is a functional property. Finally, I suggest a replacement for the manifestation relation. I argue that the resulting theory is a strict improvement over alethic functionalism on two counts, but that the improved theory does not justify the claim that truth per se exists. Since no further improvements to the theory are apparent, the prospects for alethic functionalism are dim.     

Theories and Theories of Truth

Formal theories, as in logic and mathematics, are sets of sentences closed under logical consequence. Philosophical theories, like scientific theories, are often far less formal. There are many axiomatic theories of the truth predicate for certain formal languages; on analogy with these, some philosophers (most notably Paul Horwich) have proposed axiomatic theories of the property of truth. Though in many ways similar to logical theories, axiomatic theories of truth must be different in several nontrivial ways. I explore what an axiomatic theory of truth would look like. Because Horwich’s is the most prominent, I examine his theory and argue that it fails as a theory of truth. Such a theory is adequate if, given a suitable base theory, every fact about truth is a consequence of the axioms of the theory. I show, using an argument analogous to Gödel’s incompleteness proofs, that no axiomatic theory of truth could ever be adequate. I also argue that a certain class of generalizations cannot be consequences of the theory.     

The slingshot argument and the correspondence theory of truth

The correspondence theory of truth holds that each true sentence corresponds to a discrete fact. Donald Davidson and others have argued (using an argument that has come to be known as the slingshot) that this theory is mistaken, since all true sentences correspond to the same “Great Fact.” The argument is designed to show that by substituting logically equivalent sentences and coreferring terms for each other in the context of sentences of the form ‘P corresponds to the fact that P’ every true sentence can be shown to correspond to the same facts as every other true sentence. The claim is that all substitution of logically equivalent sentences and coreferring terms takes place salva veritate. I argue that the substitution of coreferring terms in this context need not preserve truth. The slingshot fails to refute the correspondence theory.     

Primitive Disclosive Alethism

The contemporary debate about truth is polarized between deflationists and those who offer robust accounts of truth. I present a theory of truth called ‘Primitive Disclosive Alethism’ that occupies the middle ground between these two extremes. Contrary to deflationist claims, truth has a nature beyond its merely linguistic, expressive function. Truth is objective and non-epistemic, yet cannot be characterized in terms of correspondence. Primitive Disclosive Alethism offers a metaphysically satisfying explanation of our correspondence intuitions, while explaining why the concept of truth is an undefined primitive. The theory also explains why the T-schema offers the clearest expression of what makes a sentence true. I distinguish this theory from the Identity Theory of Truth which equates true propositions with facts.     

The Metaphysics of Mixed Inferences: Problems with Functionalist Accounts of Alethic Pluralism

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

Particularist semantic normativity

We sketch the view we call contextual semantics. It asserts that truth is semantically correct affirmability under contextually variable semantic standards, that truth is frequently an indirect form of correspondence between thought/language and the world, and that many Quinean commitments are not genuine ontological commitments. We argue that contextualist semantics fits very naturally with the view that the pertinent semantic standards are particularist rather than being systematizable as exceptionless general principles.     

Conceptual Schemes Revisited: Davidsonian Metaphysical Pluralism

Davidson’s 1974 argument denying the possibility of incommensurable conceptual schemes is widely interpreted as entailing a denial of metaphysical pluralism. Speakers may group objects differently or have different beliefs about the world, but there is just one world. I argue there is tension arising from three aspects of Davidson’s philosophy: (1) the 1974 argument against conceptual schemes; (2) Davidson’s more recent emphasis on primitive triangulation as a necessary condition for thought and language; and (3) Davidson’s semantic approach to metaphysics, what he calls ‘the method of truth in metaphysics’. After elucidating the tension, I argue the tension can be resolved while preserving at least two major tenets of Davidson’s philosophy: (1) conceptual schemes do not carve an uninterpreted reality into different worlds and (2) truth is objective and non-epistemic. I argue Davidson is implicitly committed to a plurality of worlds.     

Functionalism about Truth and the Metaphysics of Reduction

Functionalism about truth is the view that truth is an explanatorily significant but multiply-realizable property. According to this view the properties that realize truth vary from domain to domain, but the property of truth is a single, higher-order, domain insensitive property. We argue that this view faces a challenge similar to the one that Jaegwon Kim laid out for the multiple realization thesis. The challenge is that the higher-order property of truth is equivalent to an explanatorily idle disjunction of its realization bases. This consequence undermines the alethic functionalists’ non-deflationary ambitions. A plausible response to Kim’s argument fails to carry over to alethic functionalism on account of significant differences between alethic functionalism and psychological functionalism. Lynch’s revised view in his book Truth as One and Many (2009) fails to answer our challenge. The upshot is that, while mental functionalism may survive Kim’s argument, it mortally wounds functionalism about truth.     

Expressing One’s Mind

Remarks such as ‘I am in pain’ and ‘I think that it’s raining’ are puzzling, since they seem to literally describe oneself as being in pain or having a particular thought, but their conditions of use tend to coincide with unequivocal expressions of pain or of that thought. This led Wittgenstein, among others, to treat such remarks as expressing, rather than as reporting, one’s mental states. Though such expressivism is widely recognized as untenable, Bar-On has recently advanced a neo-expressivist view, on which such remarks exhibit characteristics of both expressions of mental states and reports of those states. I argue against any attempt to see such remarks as both reporting and expressing the same mental states, and that a correct account rests on distinguishing the truth conditions of such remarks from their conditions of use.     

Perdurance, Endurance, and ‘Having a Property Atemporally’

In this paper, I argue that both perdurance theory and the ‘relations-to-times’ endurantist view rely on an atemporal notion of property instantiation and relation bearing. I distinguish two possible meanings of ‘atemporal’ which result in two different understandings of what it is for an object to have a property or to bear a relation atemporally. I show that standard presentations of the theories considered are indeterminate as to which of these two understandings is the intended one. I claim that even if both understandings are admissible, one of them is more attractive and has more to recommend than the other.     

Non-Realist Cognitivism,Truth and Objectivity

In On What Matters, Derek Parfit defends a new metaethical theory, which he calls non-realist cognitivism. It claims that (i) normative judgments are beliefs; (ii) that some normative beliefs are true; (iii) that the normative concepts that are a part of the propositions that are the contents of normative beliefs are irreducible, unanalysable and of their own unique kind; and (iv) that neither the natural features of the reality nor any additional normative features of the reality make the relevant normative beliefs true. The aim of this article is to argue that Parfit’s theory is problematic because its defenders have no resources to make sense of the nature of normative truth, which is an essential element of their view. I do this by showing how the traditional theories of truth are not available for the non-realist cognitivists.     

Factive Presupposition and the Truth Condition on Knowledge

In this paper I argue, against some recent criticisms, that the factivity of ??knows?? does not support the traditional truth condition on knowledge. I articulate a conception of the factivity of ??knows?? on which it is a matter of cancelable pragmatic presupposition, and consider the epistemological implications of this.     

Coherentism,Truth, and Witness Agreement

Coherentists on epistemic justification claim that all justification is inferential, and that beliefs, when justified, get their justification together (not in isolation) as members of a coherent belief system. Some recent work in formal epistemology shows that “individual credibility” is needed for “witness agreement” to increase the probability of truth and generate a high probability of truth. It can seem that, from this result in formal epistemology, it follows that coherentist justification is not truth-conducive, that it is not the case that, under the requisite conditions, coherentist justification increases the probability of truth and generates a high probability of truth. I argue that this does not follow.     

A Novel Interpretation of Plato’s Theory of Forms

In several recent issues of this journal, I argued for an account of property possession as strict, numerical identity. While this account has stuck some as being highly idiosyncratic in nature, it is not entirely something new under the sun, since as I will argue in this paper, it turns out to have a historic precedent in Plato’s theory of forms. Indeed, the purpose of this paper is twofold. The first is to show that my account of property possession can be utilized to provide a novel interpretation of Plato’s theory of forms. And the second is to show that once it has been divorced from a variety of implausible doctrines with which it has historically been wedded, Plato’s central insight that all properties possess themselves, far from being of mere historical interest, is independently plausible, ironically enough, even from an empirical point of view.     

Defending Particularism from Supervenience/Resultance Attack

I take the debate between the particularists and the principlists to be centered on the issue of whether there are true moral principles. One argument the principlists often appeal to in support of their claim that there are true moral principles is the argument from supervenience. Roughly, the argument is made up of the following three statements: (P1) If the thesis of moral supervenience holds, then there are true moral principles. (P2) The thesis of moral supervenience holds. (C) There are true moral principles, and hence particularism is false. In this paper, I argue that the above argument is not sound by attacking (P1). I hold that no general supervenient/resultance base has a robust enough configuration of contextual features as to ground the existence of true moral principles. If I am right about this, I think it would be indicative of a reason to be less confident about the truth of principlism and more confident about the truth of particularism.     

A (Different) Virtue Responsibilism: Epistemic Virtues Without Motivations

Debate rages in virtue epistemology between virtue reliabilists and responsibilists. Here, I develop and argue for a new kind of responsibilism that is more conciliar to reliabilism. First, I argue that competence-based virtue reliabilism(s) cannot adequately ground epistemic credit. Then, with this problem in hand, I show how Aristotle’s virtue theory is motivated by analogous worries. Yet, incorporating too many details of Aristotelian moral theory leads to problems, notably the problem of unmotivated belief. As a result, I suggest a re-turn to Aristotle to develop a distinctively epistemological virtue theory that does not require any motive or affect for epistemic virtue. Nevertheless, my theory affirms that virtues are acquired, agent-expressive traits. The result is a conciliar responsibilism that leans closer to reliabilism. I end by arguing that my virtue responsibilism can solve worries facing both reliabilism and (extant) responsibilism.     

Disbelieving the Normativity of Content

Adherents as well as detractors of the normativity of mental content agree that its assessment crucially depends on the assessment of a principle for believing what is true. In this paper, I present an alternative principle, which is based on possession conditions for pure thinking or mere entertaining. I argue that the alternative approach has not been sufficiently emphasised in the literature and has two important merits. First, it yields a direct analysis of the normativity of mental content, which is, furthermore, independent of arguably non-normative notions such as truth. Second, the approach suggests new and challenging lines of response to central non-normativist objections.     

Contractualism, Politics, and Morality

Rawls developed a contractualist theory of social justice and Scanlon attempted to extend the Rawlsian framework to develop a theory of rightness, or morality more generally. I argue that there are some good reasons to adopt a contractualist theory of social justice, but that it is a mistake to adopt a contractualist theory of rightness. I begin by illustrating the major shared features of Scanlon and Rawls’ theories. I then show that the justification for these features in Rawls’ theory, the centrality of cooperative fairness to social justice, cannot be used to defend their use in Scanlon’s. Finally, I argue that Scanlon has not provided an adequate alternative defense of these features, and show that they create problems when contractualists try to explain major features of our common-sense morality.