- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Sun, 9 May 2004 17:32:41 -0400 (EDT)
- To: www-rdf-logic@w3.org
> [Pat Hayes] <phayes@ihmc.us>
> If its any consolation,
> in just about every such case, people have tried to make logics which
> capture intuition better, and they always break in some worse way...
A historical note of no importance: Lewis Carroll, a not insignificant
figure in the history of logic, insisted all his life that "All P are
Q" was true only if there was a P.
In his framework, the negation of "All P are Q" is "Either there are
no P or some P is not a Q."
> (If you have no kids, are all your children graduates of Yale?....)
By an amazing coincidence, Lewis Carroll denied that all of his
children graduated from Yale.
-- Drew
--
-- Drew McDermott
Yale Computer Science Department
Received on Sunday, 9 May 2004 17:32:42 UTC