In modern predicate logic, we do not distinguish between these two forms of negation, at least for singular sentences. The negation ‘~Fa’ is true whenever some thing is referred to by the singular term ‘a’, and when that thing is not F. Thus it is predicate negation. But it is also the contradictory of ‘Fa’. If it is not true that ~Fa, then it is true that Fa, and conversely. Thus it is sentence negation.

By contrast, in traditional logic (or at least in standard forms of it) we do distinguish between these forms of negation. ‘Socrates is a non-runner’ is true when there is some such person as Socrates, and that person is not running. Thus ‘Socrates runs’ and ‘Socrates is a non-runner’ are contraries. Both can be false when Socrates does not exist. This is predicate negation (or ‘indefinite negation’ as the scholastics called it). This was considered distinct from propositional or ‘extinctive’ or ‘destructive’ negation, where everything asserted by ‘Socrates runs’ is denied, and which can be true even when there is no such person as Socrates. Thus ‘Socrates runs’ and the destructive negation ‘It is not the case that Socrates runs’ are contradictories. Both cannot be false, for one denies everything the other asserts.

Now I claim that in systems where there is no distinction between predicate and sentence negation, we have ‘direct reference’. This is easily shown. Direct reference in a singular sentence is when the sentence is meaningless when the singular subject fails to refer. Assume that ‘a is F’ is not meaningless. If it is true, then there is a referent for ‘a’. If it is not true, the sentential negation ‘It is not the case that a is F’ is true. If sentential negation is equivalent to predicate negation, it follows that ‘a is non-F’ is true, and so a exists, and so, there is a referent for ‘a’. But (by excluded middle) either ‘a is F’ is true, or its contradictory (the sentential negation) is true. In either case, ‘a’ has a referent. Thus if ‘a is F’ is not meaningless, ‘a’ has a referent. Conversely if ‘a’ does

*not*have a referent, ‘a is F’ is meaningless. But that is Direct Reference, as I have defined it.

In systems where we can make a distinction between the two forms of negation, we do not have to accept Direct Reference. If ‘a is F’ is meaningful but false, this could either be because the predicate negation is true, or because there is no referent for ‘a’.

Both Peter Lupu and David Brightly challenged this idea in their comments to the post.

Peter argued that we do not have to accept Direct Reference if we accept the distinction between meaning and reference (or ‘sense’ and reference or whatever you call it). I reply: in accepting this distinction we have (tacitly) accepted the distinction between the two forms of negation. If we are happy that ‘a is F’ may not be true in the case that ‘a’ has a sense but not a reference, and assuming that (in this system) we can

*say*that this is so, i.e. state that

*a*does not exist, then we can state the disjunction ‘a does not exist or a exists but is non-F’. But that disjunction is equivalent to the sentential negation of ‘a is F’, and is therefore distinct from the predicate negation ‘a does exist and is non-F’.

David argued that we can suppose a singular term has a referent, and prove a contradiction in order to show that it does not have a referent. For example, let ‘a’ denote the largest ordinal number. That supposition leads to a contradiction, therefore ‘a’ cannot denote that. Yet (according to David) it is meaningful to make assertions using the singular term ‘a’. I reply: what is meant by ‘denotes’ here? If it means ‘signifies’ or ‘means’, then the supposition that it has a meaning leads to a contradiction, and so it does not have a meaning. This is Direct Reference. On the other hand, if it does not mean ‘signifies’, but rather that a exists, then my reply is the same as to Peter. To accept the possibility that ‘a’ is meaningful but fails to correspond to any existing number, is tacitly to accept the distinction between the two forms of negation.

## 3 comments:

>> If it means ‘signifies’ or ‘means’, then the supposition that it has a meaning leads to a contradiction, and so it does not have a meaning.

This is not quite right. You have made a semantic ascent from talk of the existence of a largest prime or whatever to talk of the meaningfulness of a quoted name.

It's a condition of the applicability of MPL that all names have referents when they are used. In that sense MPL appears to presuppose DR. But there is a subtlety. Under the context of an assumption as to the existence of some entity meeting some condition I'm allowed to refer to said entity by a newly introduced name. This (or some other) assumption may have to be revoked if we arrive at a contradiction. But in the context of this assumption the name and the sentences using it are perfectly meaningful. The name simply tells us which entity meets the condition, just as 'Frodo' tells us which hobbit bore the Ring. This I think is wholly in accordance with your approach to proper names.

We should perhaps say that in an MPL argument involving existence assumptions the space of names is dynamic. It expands and contracts in a stack-like way as existence assumptions are introduced and discarded. Names come in and out of 'scope' as the argument proceeds, and a name may have distinct referents in distinct scopes. This does not fit well with your static characterisation of DR.

>>Under the context of an assumption as to the existence of some entity meeting some condition I'm allowed to refer to said entity by a newly introduced name.

In which case you can

tryto refer to it. But if there is no such thing, you will not succeed. In which case, what you say will be meaningless, if DR is correct. For, as I have shown the consequence 'if nameais meaningful, thenarefers to something' is valid. Conversely, if it does not refer to anything, it is meaningless.>>a name may have distinct referents in distinct scopes

If it has distinct referents, then it has distinct

existingreferents. Therefore we cannot proceed in this stacklike approach unless we our safe in the existence of referents.Post a comment