- John doesn't drive a Buick.
Does this mean the right thing?
Capturing truth conditions: (5.1.2)
gives the wrong truth-conditions for
- Suppose B11 and B12 are both Buicks.
John drives B11 and John doesn't drive B12.
- Then there is an x
such that it's not the case
both that x is a Buick and John drives x.
Namely B12. While B12 is a Buick
John doesnt drive it.
- So the logical formula (5.1.2) comes out true
in these circumstances.
- But the English sentence (5.1.1) is
not true in these circumstances. John shouldn't
be driving ANY Buicks, yet he's driving B11.
- The logical formula (5.1.2)
misdescribes the truth conditions of
- This is the semantic analogue of the grammar
mis-describing the grammaticality of a sentence.