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". (01)
1) Is this true? (02)
2) If it is true, is this a design feature of the web? (03)
3) If it is not true, how are pragmatics assert in FOL? (04)
Note: I tend to assume that it is not true on the basis of the following
program fragment intermixing VDM and Pascal (05)
VDM: TRUE
Pascal: x:= 3;
VDM: (x = 3) (06)
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. (07)
Sean Barker
Bristol, UK (08)
_________________________________________________________________
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 (09)
|