WikiDiscuss

WikiDiscuss


BPFK Section: Logical Variables

posts: 1912


pc:
> A>I don't get your point then.

My point is that:

pa da broda ijo ge su'o de broda gi ro di poi broda cu du de

is true when the da's are singular variables, but false when they
are plural variables (taking ro as McKay's lambda quantifier).

In other words, assuming there are broda, {su'o da poi broda
cu du ro de poi broda} is always true with plural variables, but
normally not true with singular variables.

[McKay's system has two (or three) "all"s.]
> C> I only count two (and note he is mistakena about the need for
> non-importing regular lambda "all" since he screwed up an example.

Count again. He represents one of them with an inverted A, that's
the dual of inverted E. The other two are represented with capital
lambda, one with and one without a superscript that indicates
existential import. But this latter distinction is not that
interesting, the two interesting cases are the inverted A versus
the lambda.

mu'o mi'e xorxes




__
Do you Yahoo!?
Yahoo! Mail is new and improved - Check it out!
http://promotions.yahoo.com/new_mail