W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2002

Re: What is truth anyways? was: Re: MISC: Internet Media Type registration: proposed TAG finding

From: Jim Hendler <hendler@cs.umd.edu>
Date: Wed, 12 Jun 2002 03:57:00 -0400
Message-Id: <p05111708b92caeca2df2@[192.168.0.146]>
To: patrick hayes <phayes@ai.uwf.edu>, "Jonathan Borden" <jonathan@openhealth.org>
Cc: "Dan Connolly" <connolly@w3.org>, www-rdf-logic@w3.org

>
>>What
>>is the harm in being so draconian in how we define truth?
>>
>>Isn't that how the internet works ... let a thousand flowers bloom ... and
>>so why not allow a thousand truths?
>
>OK, provided you agree that when the ATM talks to the bank and 
>credit union computers, and those computers talk to the IRS 
>computers, and they all use their own notions of truth, that you are 
>happy with what happens to your bank account. And then of course 
>there are the FBI computers and the NIMA computers....


Interesting Pat, so you're saying that when I stick my little plastic 
card into the Automated teller in Italy, and it hands me Euros 
charging an appropriate exchange rate against my machine in the US, 
that they are using a formal model theory to make it work -- can you 
show it to me??    err, perhaps sometimes you underestimate what can 
be done with "social agreements" instead of pure logic...
  -JH

-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler
Received on Wednesday, 12 June 2002 03:57:36 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:42 GMT