Re: [ontolog-forum] Semantic v. Pragmatic Web

["Richard H. McCullough" <rhm@xxxxxxxxxxxxx>]

That's a design feature of the RDF, OWL languages,

not the Semantic Web.

Use the mKR language to buy your pizza.

 

Dick McCullough
http://mkrmke.org

 

----- Original Message -----

From: "Sean Barker" <sean.barker@xxxxxxxxxxxxx>

To: "Ontolog-Forum-Bounces" <ontolog-forum@xxxxxxxxxxxxxxxx>

Sent: Sunday, June 07, 2009 1:11 AM

Subject: [ontolog-forum] Semantic v. Pragmatic Web

> In the theoy of the sematic web, I can identify whether a 
particular pizza
> is the one I want to buy, and in theory I could 
identify if I've already
> ordered one (There exists order...), however I 
see no logical way of
> actually buying it. That is, holding fast to the 
distinction between
> semantics and pragmatics implies that semantic web 
must necessarily
> incomplete, because logic does not deal with 
performative utterenaces, such
> as "I'd like to buy a pizza".
> 
> 1) Is this true?
> 
> 2) If it is true, is this a design 
feature of the web?
> 
> 3) If it is not true, how are pragmatics 
assert in FOL?
> 
> Note: I tend to assume that it is not true on 
the basis of the following
> program fragment intermixing VDM and 
Pascal
> 
> VDM:    TRUE
> Pascal: x:= 
3;
> VDM:   (x = 3)
> 
> That is VDM could assert 
pre-  and post-conditions, but was not itself
> executable. At the 
time I looked at this there was some discussion of
> executable 
specifications, but I didn't follow this up.
> 
> Sean 
Barker
> Bristol, UK
> 
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)