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.     

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.     

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.     

Artworks,context and ontology

Horgan believes that the truth of the statement “Beethoven’s fifth symphony has four movements” does not require that there be some “dedicated object” answering to the term “Beethoven’s fifth simphony”. To the contrary, the relevant language/world correspondence relation is less direct than this. Especially appropriate is the behavior by Beethoven that we would call “composing his fifth symphony”.Our objections go along two directions: (1) is the process ontology (a) really a right kind of ontology for artworks (symphonies, novels) and, (b) more important, is this kind of ontology compatible with Parmenidian approach to ontology? The answer to (a) is negative. With reference to point (1b) we might say that Parmenides was a typical staunch advocate of substance metaphysics rather than process metaphysics. Traditionally, substances are individuated by their properties, namely, there are assumed two sorts of properties: primary and secondary. Primary properties describe the substance as it is in and by itself; secondary properties underlie the impact of substances upon others and the responses they elicit from them. (2) The claim that it is most unlikely to suppose that we can have some kind of cognitive contact “with an entity which has no spatio-temporal location and does not causally interact with anything” does not hold. We underpin the claim that there is some cognitive access to entity such as Beethoven’s fifth symphony with Bender’s theory of realization relation between musical work and performance.     

Contextualism,art, and rigidity: Levinson,Currie and Davies

The topic of this paper is the role played by context in art. In this regard I examine three theories linked to the names of J. Levinson, G. Currie and D. Davies. Levinson’s arguments undermine the structural theory. He finds it objectionable because it makes the individuation of artworks independent of their histories. Secondly, such a consequence is unacceptable because it fails to recognise that works are created rather than discovered. But, if certain general features of provenance are always work-constitutive, as it seems that Levinson is willing to claim, these features must always be essential properties of works. On the other hand, consideration of our modal practice suggests that whether a given general feature of provenance is essential or non-essential depends upon the particular work in question or is “work relative”. D. Davies builds his performance theory on the basis of the critical evaluation of Currie’s action-type hypotheses (ATH). Performances, says Davies, are not to be identified with “basic actions” to which their times belong essentially, but with “doings” that permit of the sorts of variation in modal properties required by the work-relativity of modality. He is also a fierce critic of the contextualist account. Contextualism is in his view unable to reflect the fact that aspects of provenance bear upon our modal judgements with variable force.In the second part of the paper I consider Davies’s “modality principle”. Davies is inclined to defend the claim that labels used for designation of works are rigid designators. Such a view offers a ground for discussion about the historicity of art. What has been meant when people claim that art is an historical concept? I argue that any historical theory implies a two-dimensional notion of “art”. At the end of the paper I suggest that Davies should embrace the theory of contingent identity and not the colocationist view about the relationship that exists between a particular artwork and its physical bearer.     

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.     

Can realists know that they know?

Realists typically suppose that nonepistemic truth is an independent condition on propositional knowledge. Few philosophers, however, have seriously questioned the meta-epistemic consequences of combining alethic and epistemic variants of realism. In this paper I aim to show that the truth condition in the customary definition of knowledge presents an important problem for the realist at higher epistemic levels. According to my argument, traditional epistemic-logical analyses of metaknowledge fail because of their extensionalism and certain presuppositions they have about the satisfaction of the truth condition. I further suggest that we need a different approach to metaknowledge if (1) we want to retain alethic realism, and (2) we want our epistemological accounts to adequately explicate the meta-epistemic states of actual, evidence-bound cognitive agents. This paper greatly benefited from the comments and criticisms of an anonymous referee for Acta Analytica.     

Vagueness, ignorance, and margins for error

We argue that the epistemic theory of vagueness cannot adequately justify its key tenet-that vague predicates have precisely bounded extensions, of which we are necessarily ignorant. Nor can the theory adequately account for our ignorance of the truth values of borderline cases. Furthermore, we argue that Williamson’s promising attempt to explicate our understanding of vague language on the model of a certain sort of “inexact knowledge” is at best incomplete, since certain forms of vagueness do not fit Williamson’s model, and in fact fit an alternative model. Finally, we point out that a certain kind of irremediable inexactitude postulated by physics need not be-and is not commonly-interpreted as epistemic. Thus, there are aspects of contemporary science that do not accord well with the epistemicist outlook.     

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.     

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.     

Deflationist Truth is Substantial

Deflationism is usually thought to differ from the correspondence theory over whether truth is a substantial property. However, I argue that this notion of a ‘substantial property’ is tendentious. I further argue that the Equivalence Schema alone is sufficient to lead to idealism when combined with a pragmatist theory of truth. Deflationism thus has more powerful metaphysical implications than is generally thought and itself amounts to a kind of correspondence theory.     

Relevance and Relationalism

This paper will provide support for relationalism; the claim that the identity of objects is constituted by the totality of their relations to other things in the world. I will consider how Kit Fine’s criticisms of essentialism within modal logic not only highlight the inability of modal logic to account for essential properties but also arouse suspicion surrounding the possibility of nonrelational properties. I will claim that Fine’s criticisms, together with concerns surrounding Hempel’s paradox, show that it is not possible to provide a satisfactory account of certain properties in abstraction from their place within a wider context. Next, we will shift attention to natural kinds and consider the notion that relevance plays in metaphysical accounts of identity, by examining Peter Geach’s notion of relative identity. I will argue that the intensional relation between subject and object must be included in a satisfactory account of metaphysical identity.     

A Note on Belief Reports and Context Dependence

The aim of this paper is to pose a problem for theories that claim that belief reports are context dependent. Firstly, I argue that the claim (interpreted in the spirit of moderate contextualism) is committed to verbalism, a theory that derives the context sensitivity of belief reports from the context sensitivity of the psychological verbs used in such reports. Secondly, I argue that verbalism is not an attractive theoretical option because it is in conflict with the non-proto-rigidity of verbs like ‘believe’. Finally, I describe various consequences that the argument has for invariantism and moderate contextualism.     

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.     

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 Deflationary Metaphysics of Morality

The metaphysical dispute between moral realists and antirealists is cast in terms of properties: the realist holds that moral properties exist, the antirealist denies this claim. There is a longstanding philosophical dispute over the nature of properties, and the obscurity of properties may make the realist/antirealist dispute even more obscure. In the spirit of deflationary theories of truth, we can turn to a deflationary theory of properties in order to clarify this issue. One might reasonably worry that such an account of properties would not be capable of properly characterizing disputes regarding the existence or nonexistence of genuine moral properties. In this paper, I will show that, within this framework, the traditional disputes over the existence of moral properties can be characterized in a far clearer fashion than is usually the case. A deflationary account of properties, along with an explanatory hierarchy of properties, makes the dispute in ontology clear.     

Dispositions, Laws, and Categories

After a short sketch of Lowe’s account of his four basic categories, I discuss his theory of formal ontological relations and how Lowe wants to account for dispositional predications. I argue that on the ontic level Lowe is a pan-categoricalist, while he is a language dualist and an exemplification dualist with regard to the dispositional/categorical distinction. I argue that Lowe does not present an adequate account of disposition. From an Aristotelian point of view, Lowe conflates dispositional predication with hôs epi to poly statements about what is normally or mostly the case.     

A Priori knowledge contextualised and Benacerraf’s dilemma

In this article, I discuss Hawthorne’s contextualist solution to Benacerraf’s dilemma. He wants to find a satisfactory epistemology to go with realist ontology, namely with causally inaccessible mathematical and modal entities. I claim that he is unsuccessful. The contextualist theories of knowledge attributions were primarily developed as a response to the skeptical argument based on the deductive closure principle. Hawthorne uses the same strategy in his attempt to solve the epistemologist puzzle facing the proponents of mathematical and modal realism, but this problem is of a different nature than the skeptical one. The contextualist theory of knowledge attributions cannot help us with the question about the nature of mathematical and modal reality and how they can be known. I further argue that Hawthorne’s account does not say anything about a priori status of mathematical and modal knowledge. Later, Hawthorne adds to his account an implausible claim that in some contexts a gettierized belief counts as knowledge.     

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.