« Proof that I am a Native American | Main | Truth and Consolation »

Tuesday, February 05, 2019

Comments

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

I thought BV meant Bill Vallicella!

Sorry, Bill, bad joke . . .

Jeffery Hodges

* * *

Hi Jeff,

Great to hear from you. Are you on Facebook?

Just finished listening to Trump's State of the Union address. Impressive. He really rose to the occasion.

Best to you and yours,

Bill

A few points. First, the schemata I set out in my previous comments were not disquotational.

TRUE: S says that p and p
FALSE: S says that p and not-p

I used a ‘that’ clause to specify what S says. Of course there is a schema, but that is because ‘p’ is a placeholder for any meaningful sentence.

Second, I note you have only two schemata, whereas Aristotle gives 4. I suppose two are sufficient on the assumption that ‘p’ could stand in for a negated sentence, e.g. ‘grass is not green’. So if S says that grass is not green and it is not the case that grass is not green, then S speaks falsely.

Third, your schema is

DS: p is true iff p.

This is not quite the same as my schema, as is obvious from above. Let’s assume it doesn’t matter for the moment.

>> This will NOT work if negation can only be explained in terms of falsehood. For then we would enter an explanatory circle of embarrassingly short diameter. The negation of p is the proposition that is true iff p is false and false iff p is true. To explain the logico-syntactic notion of negation we have to reach for the semantic notions of truth and falsehood. But then falsehood cannot be exhaustively understood or reduced to negation.<<

But as I have argued elsewhere, we can define negation without reaching for the notions of truth and falsity. Assume that the notion of ‘all possible situations’ is coherent, and suppose it is coherent for any proposition ‘p’ to map onto a subset of that set. Then ‘not p’ maps onto the complement. The question is whether the very idea of a complement or of a subset covertly appeals to the concept of negation. But then that suggests that negation is a primitive indefinable concept, rather than what you are claiming (namely that it is truth and falsity which are primitive).

>> Are there counterexamples to (DS)? It seems to fail right-to-left if 'Sherlock Holmes is a detective' is plugged in for 'p' on the RHS of (DS). Arguably, Holmes is a detective, but it is not true that Holmes is a detective.<<

No. It is true that Conan Doyle said that Sherlock Holmes is a detective. It is not true, understood strictly and literally, that Sherlock Holmes is a detective.

Bill, can you elaborate on a couple of things? First, how is DS-F a consequence of DS?

Second, you say "But this works only if falsehood can be adequately explained in terms of the merely logical operation of negation." I don't see where this comes from unless you are thinking that DS-F is to be taken as a definition of falsehood, but DS-F is symmetrical, so it could just as easily be taken as a definition of negation, or for that matter it could be taken as an axiom that is not a definition at all.

Verify your Comment

Previewing your Comment

This is only a preview. Your comment has not yet been posted.

Working...
Your comment could not be posted. Error type:
Your comment has been saved. Comments are moderated and will not appear until approved by the author. Post another comment

The letters and numbers you entered did not match the image. Please try again.

As a final step before posting your comment, enter the letters and numbers you see in the image below. This prevents automated programs from posting comments.

Having trouble reading this image? View an alternate.

Working...

Post a comment

Comments are moderated, and will not appear until the author has approved them.

Your Information

(Name and email address are required. Email address will not be displayed with the comment.)

My Photo
Blog powered by Typepad
Member since 10/2008

Categories

Categories

February 2019

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    
Blog powered by Typepad