Abstract
Horwich has attempted to combine an anti-reductionist deflationism about sentential truth with a reductionist theory of meaning. Price has argued that this combination is inconsistent, but his argument is fallacious. In this paper I attempt to repair Price’s argument.
Similar content being viewed by others
Notes
Horwich sometimes (e.g. 2010: 103–104 fn. 5) writes this schema as: \(\forall x (x\hbox{ means }\langle p \rangle \rightarrow (x\hbox{ is true }\leftrightarrow p)).\)
1995: §1; 1998a: 28–29, 70–71, ch. 4; 2005: 74–75; 2010: 103–104. Occasionally Horwich weakens his position to the claim that we have no reason to expect a naturalistic reduction of truth (e.g. 2005: 75). This paper will show that even this weaker stance is incompatible with meaning reductionism: if we have a reduction of meaning then we have every reason to expect a reduction of truth.
I have changed every occurrence of ‘non-semantic’ in this quotation for ‘naturalistic’ to bring it in line with Horwich’s terminology. I have also made trivial changes in the notation to avoid clashes with that of my paper.
In fairness to Price, at one time Horwich (1998a: 5) did propose identifying each predicate-meaning f with the property it stands for F. If we assume this then (1) becomes less problematic. However, Horwich later retracted this thesis in his (2005: 33–34), and so Horwich’s (2005) timeslice is able to resist Price’s argument. And setting aside Horwich’s change of mind, Price’s argument as it stands at most establishes that anti-reductionist deflationism, meaning reductionism and the thesis that in general f is identical to F are together inconsistent, not the advertised conclusion that the first two theses are inconsistent with each other.
Price has made precisely this suggestion to me in correspondence.
It is, of course, controversial to bind predicate variables with quantifiers at all. However, given the assumption that there are properties, which Horwich (e.g. 1998a: 21) grants, such quantification is permissible.
Thanks to an anonymous reviewer for pointing out that it does not follow from (S) alone that true of reduces to, or is even co-extensive with, the disjunction of the relations of the form (4). (S) does not rule out the possibility that there is some x and y such that x is true of y but there is no f such that x means f. This is, however, a shortcoming of (S): that possibility should be ruled out. Horwich (2001: 158 n.21) is aware of this general problem, and his strategy, which is surely correct, is to add the principle ‘For any x and y, x is true of y only if there is some f such that x means f’ to his deflationist account of true of.
That is assuming that there is a definite totality of them at all; if there are not then this reduction is in even worse shape.
A ban on infinitely disjunctive reductions will also block the identification/reduction of true of to the disjunction of instances of (4).
This marks a change from his 1998a (20–21) position I mentioned in fn. 8.
In fact, Horwich suggests reducing x means f to x instantiates y. However, I take it that Horwich is charitably interpreted as meaning (6): it obviously does not follow from the fact that Horwich instantiates some property or other, for instance the property of being a human, that Horwich means something.
In moving from (6) to (\(6^{\prime}\)), Horwich is making a pun. ‘U’ in (6) is a first-order variable, but in (\(6^{\prime}\)) it is a second-order one. For the sake of argument I will ignore this slide.
It is worth noting that my uses of ‘first-order’ and ‘higher-order’ are not intended to line up with their uses in ‘first-order logic’ and ‘higher-order logic’.
Here is a more Horwich-specific presentation of this problem. Horwich (1998a: esp. ch. 2–3; 2005: ch. 2) claims that the reductive bases of meaning-properties are lawlike “use-properties”. What Horwich must do is find a way of describing the use of each meaningful predicates which is general enough that all of the uses have a (non-infinitely disjunctive) naturalistic feature in common. It is difficult to see what common use all predicates are put to apart from being applied to the members of their extension. But if we think of use-properties in this way then they will be of the form ‘R(x, F)’. Therefore, by reducing the meaning-properties to these use-properties, Horwich will be giving a strongly relational reduction of meaning.
I suppose we might wonder whether Horwich should be interpreted as saying that truth is not reducible in the sense in which meaning is, or whether he is using two different senses of ‘reducible’. But there is textual evidence that Horwich meant the two senses to be the same (e.g. 2005: 34–35); he even goes so far as to say that “we have no reason to expect any sort of reductive analysis of the truth-theoretic properties and relations” (2005: 75, original emphasis). But even if Horwich did mean to use different senses of ‘reducible’, it is still a substantial lesson to learn that there are serious problems with saying that the meaning-properties are reducible but that truth isn’t reducible in the same sense.
This is Price’s (1997: 114–115) recommendation.
ANONYMOUS has recommended this option to me.
References
Field, H. (1992). Critical notice: Paul Horwich’s Truth. Philosophy of Science, 59, 321–330.
Horwich, P. (1995). Meaning, use and truth. Mind, 104, 355–368.
Horwich, P. (1997). Truth and the problem of aboutness. Philosophical Issues, 8, 95–106.
Horwich, P. (1998a). Meaning. Oxford: Oxford University Press.
Horwich, P. (1998b). Truth (2nd ed.). Oxford: Clarendon.
Horwich, P. (2001). A defense of minimalism. Synthese, 126, 149–165.
Horwich, P. (2005). Reflections on meaning. Oxford: Oxford University Press.
Horwich, P. (2010). Truth-meaning-reality. Oxford: Oxford University Press.
McGrath, M. (1997). Weak deflationism. Mind, 106, 69–98.
Price, H. (1997). What should a deflationist about truth say about meaning?. Philosophical Issues, 8, 107–115.
Acknowledgments
Thanks to Timothy Button, Christina Cameron, Paul Horwich, Steven Methven, Michael Potter, Huw Price, Adam Stewart-Wallace and everyone at the Serious Metaphysics Group.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Trueman, R. Reducing Truth Through Meaning. Erkenn 78, 823–832 (2013). https://doi.org/10.1007/s10670-011-9359-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10670-011-9359-y