Ed writes,
p = *Socrates has just stopped talking*
q = *Socrates was talking just now*
1. p presupposes q
2. If p presupposes q, then (p or not-p) entails q
3. It is necessary that p or not-p
4. It is necessary that q
5. It is not necessary that Socrates was talking just now
We agree with (1) in some sense. In (2), we try to sharpen that sense, i.e. of ‘presupposition’. (3) is a logical truth. So is (4): if the antecedent is necessary, so is the consequent. (5) is obviously true (unless we hold the necessity of the past, but the example could be changed with the same problematic result).
My feeling is that we are not being sharp enough about ‘presupposition’. What exactly is it?
.....................................................
The above propositions are collectively inconsistent: they cannot all be true. But there is a philosophical problem only if all of the propositions are plausible. (2), however, is not at all plausible and seems to reflect a blunder on Ed' s part. The idea behind semantic presupposition is that if p presupposes q, then both p and its negation entail q. What Ed should have written is
2* If p presupposes q, and p is true, then p entails q, and if p is false, then not-p entails q.
For example, if I stop talking at time t, then my stopping entails my talking immediately before t; if I keep talking at t, then that also entails my talking immediately before t. The proposition presupposed is the same whether I stop talking or keep talking.
Clearly (2) and (2*) are different propositions. So I solve the pentad by rejecting (2) and its consequences.
According to Sep a standard def (not the only one) is
'One sentence presupposes another iff whenever the first sentence is true, the second is true, and whenever the negation of the first sentence is true, the second sentence is true.'
My textbook logic may be rusty, but this entails my 2, no?
Posted by: Ostrich | Monday, January 07, 2019 at 02:52 PM
Also stopping talking and keeping talking are contraries, not contradictories. True negation contradicts.
Posted by: Ostrich | Monday, January 07, 2019 at 02:58 PM
Also, you don’t solve the pentad by your proposed revision to 2. Suppose p is true. Then we agree q is true. Suppose p is false. If we agree with (3) that it is necessary that p is true or not-p is true, and if p is false, i.e. not true, it follows that not-p is true. According to your 2*, this entails q (for if p is false, not-p entails q, and not-p, therefore q). But p being true and p being false are the only possible cases. In both cases, q is true, therefore q is necessarily true. But it isn’t.
This seems to reflect a blunder on your part!
Also, as I already pointed out, the example you give (keep talking, stop talking) is not propositional negation.
Posted by: The Bad Ostrich | Tuesday, January 08, 2019 at 12:09 AM
You are right that the negation of a proposition is its contradictory, not its contrary.
But surely your (2) above is a travesty of the idea of presupposition. We agree, I hope, that if S asserts that John's child is asleep, then S presupposes that John has a child.
Here is an instance of (2):
If *John's child is asleep* presupposes *John has a child,* then (either *John's child is asleep* or *John's child is not asleep*) entails *John has a child.*
But the tautology in the parentheses is not the presupposition of *John's child is asleep.*
The problem may be that you are trying to explain an irreducibly pragmatic notion in terms that are wholly semantic.
P. F. Strawson says this: "... a statement S presupposes a statement S' in the sense that the truth of S' is a precondition of the truth-or-falsity of S . . ." (Intro Log Theory, 175) Thus the truth of *John has a child* is a precondition of *John's child is asleep* having a truth value. Try this:
2A If p presupposes q, then *p has a truth-value* entails *q is true.*
Note that *p v not-p* does not have the same meaning as *p has a truth-value.* Herein, perhaps, lies your mistake.
Tricky stuff!
Posted by: BV | Tuesday, January 08, 2019 at 04:27 AM
I have made absolutely no mistake.
>>2A If p presupposes q, then *p has a truth-value* entails *q is true.*
Still doesn't work. Your problem is (3) which fairly explicitly asserts that p is true or not-p is true. Suppose I say (p) 'Socrates has just started arguing', although Socrates has been arguing for hours or days now. So it is not the case that p is true. Then (3) says that not-p is true, i.e. 'it is not the case that Socrates has just started arguing' is true. But if this entails q is true, and this is the only other case, i.e. p or not-p, then q is not contingent.
>>The problem may be that you are trying to explain an irreducibly pragmatic notion in terms that are wholly semantic.
Possibly, but I was fairly clear that the problem revolves around the definition of presupposition. Nor am I clear what 'irreducibly pragmatic' means. The principle of excluded middle is with us, like it or not.
Posted by: The light ostrich | Tuesday, January 08, 2019 at 05:36 AM