John and Danny, you are both right :-) John is right that the SWeb should be based on FOL, and Danny is right that names, and the processes of designing, agreeing on, and using names are critically important (and traditional logic hasn't paid any attention to this stuff.) Take a look at the last slide of http://is.gd/1ehQK Pat On Jun 26, 2009, at 4:12 AM, Danny Ayers wrote: > John, while I strongly respect your arguments (especially the syntax > things, we have tended to get mired in that way), but I do believe you > overlook the value of simply naming things - for FOL this may be > trivial, but in the context of the Web it's hugely powerful, the > possibility of using a simple protocol to retrieve more information > about the topic at hand. > > Cheers, > Danny. > > > ------------------------------------------------------------ IHMC (850)434 8903 or (650)494 3973 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32502 (850)291 0667 mobile phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayesReceived on Friday, 26 June 2009 12:48:17 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:45:43 GMT