W3C home > Mailing lists > Public > www-rdf-logic@w3.org > May 2004

Re: Universal Quantification

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Sun, 9 May 2004 17:32:41 -0400 (EDT)
Message-Id: <200405092132.i49LWf4W005857@pantheon-po01.its.yale.edu>
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

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:42 UTC