Re: The king of france is ...

On Apr 19, 8:05 pm, "Jesse F. Hughes" <je...@xxxxxxxxxxxxx> wrote:
Newberry <newberr...@xxxxxxxxx> writes:
On Apr 19, 5:58 pm, "Jesse F. Hughes" <je...@xxxxxxxxxxxxx> wrote:
Newberry <newberr...@xxxxxxxxx> writes:
Are you saying that the singular of "all the apples in my basket are
red" =  (x)[Bx -> (Rx & ~(y)(By -> y=x)] is not

     (x)[Bx -> (Rx & (y)(By -> y=x)]        (5)

but

     (Ex)[Bx & Rx & (y)(By -> y=x)]        (7)

?

I don't know what you mean by "the singular" of a sentence,

You should purchase a textbook of English grammar then. "All the
apples in my basket are red" is in plural. "The apple in my basket is
red" is in singular.

It's terminology I'm not familiar with, but okay.

Hmm ...


[...]



Any suggestion for a better translation of "all the apples in my
basket are red"?

(Ex)Bx & (x)[Bx -> (Rx & ~(y)(By -> y=x)]

perhaps?

That's fine.  Another translation would be

  (x)(Bx -> Rx) & (Ex)(Ey)(Bx & By &  x!=y)      

Every apple in the basket is red and there's more than one apple in
the basket.

NOTE: It seems to me that the plain English sentence "all the apples
in my basket are red" is true when there are no apples in the basket.
I'm not convinced that we always interpret such sentences as having an
implicit claim that there are more than one apple in my basket.  But,
insofar as that's how you want to interpret the sentence, either of
the above will do.

Make up your mind. Either
A)
"the aple in my basket is red" = (Ex)(Bx & Rx & (y)(By -> y=x)) and
then
"all the apples in my basket are red" = (Ex)Bx & (x)[Bx -> (Rx & ~(y)
(By -> y=x)], or
B)
"the apple in my basket is red" = (x)[Bx -> (Rx & (y)(By -> y=x))]
"all the apples in my basket are red" = (x)[Bx -> (Rx & ~(y)(By ->
y=x))] and

Which one is it?

.