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

[paola.dimaio@xxxxxxxxx]

Use the mKR language to buy your pizza.

it would be good to see some mkr based web service
lots of basil on mine please


PDM

 

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
 

-- 
Paola Di Maio, 
****************************************

_________________________________________________________________
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)