## Tuesday, January 15, 2019

You can follow this conversation by subscribing to the comment feed for this post.

>> A proposition p presupposes a proposition q just in case both p and its negation ~p entail q.

Narrow or wide scope negation? If the former, what you say is trivial. If the latter, false.

Thanks Bill.

A proposition p presupposes a proposition q just in case: (i) p entails q, and (ii) ~p entails q.

Why false? It's a definition. You need to do better.

>>A proposition p presupposes a proposition q just in case: (i) p entails q, and (ii) ~p entails q.

Why false? It's a definition. You need to do better.
<<

The terms of the definition need to be clear. You now have a ~ instead of the word 'negation'. Is ~ wide or narrow scope?

Conventionally it is wide scope. Thus q is a necessary, if p presupposes it, as defined.

And just to be crystal clear, by 'false', I mean the suggestion that 'Tom has lied to his wife' is necessary.

p = Tom regrets lying to his wife
q = Tom has lied to his wife

If p presupposes q in the sense you define, and if the ~ is wide scope, then it is necessary that Tom has lied to his wife.

If by contrast ~ is narrow scope, p presupposes q trivially.

So your definition needs to be clearer.

The comments to this entry are closed.

## Other Maverick Philosopher Sites

Member since 10/2008

## November 2023

Sun Mon Tue Wed Thu Fri Sat
1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30