BPFK Section: Logical Variables
pc:
> The lambda, even as importing is curiously defined, taking acoount of the
> anomolous cases rather than eliminating them from the get-go. If it were
> just what we would write in unrestricted quantifiers as "~Ex(Fx & ~Gx) &
> ExFx" (or, at the end, "Ex(Fx & Gx)") it does not appear that the anomolous
> cases would arise. Further, all the cases could be handled using importing
> quantifiers.
But the point is that lambda is NOT the dual of E.
Lambda is for cases where all do but at the same time some don't.
All the students surround the building, but at the same time
some of the students (the Italians) don't surround it, as there's
only two of them.
> Having said that, I should note that, while this solves the problem for
> "all,"
It does not.
mu'o mi'e xorxes
__
Do you Yahoo!?
New and Improved Yahoo! Mail - 100MB free storage!
http://promotions.yahoo.com/new_mail