[Top] [All Lists]

Re: [ontolog-forum] Ontology, Information Models and the 'Real World':

To: "Barker, Sean (UK)" <Sean.Barker@xxxxxxxxxxxxxx>
Cc: ontolog-forum@xxxxxxxxxxxxxxxx
From: Pat Hayes <phayes@xxxxxxx>
Date: Thu, 7 Jun 2007 15:07:30 -0500
Message-id: <p06230907c28e1375d471@[]>
>Catching up on this thread, and several sub-threads:
>a) The point about a three-d object in a 2-D world was not about
>embedding things in contexts, but about a technical problem of when a
>proposition becomes a non-proposition because some term in it ceases to
>have meaning.    (01)

I understand, but that was my point. Contexts are 
often justified by the claims like this, that 
terms may cease to have a meaning. (BTW, that 
word 'cease' implies a change of something, so we 
might as well call whatever it is that you think 
is changing, a "context".) And my response is 
that if we do things right, then this never 
happens. That is, there is no change in the 
logic, and terms never cease to have meaning.    (02)

>This is significant in formal specification for software,
>where one has to deal with side effects of illegal values sent to
>procedures.    (03)

Of course but (1) that is quite a different topic 
from ontology design, and (2) the logical analogy 
is not terms "ceasing" to have meaning, but terms 
having no meaning because they are ill-typed. The 
logical approach to this is to use a typed logic, 
so that the meaningless terms are ill-formed.    (04)

>  In "Systematic Software Development in VDM" (VDM = Vienna
>Development Method), Cliff Jones uses the Logic Of Partial Functions
>(LPF) a three valued, monotonic extension of classical logic, which,
>incidentally, seems to be a quantization of fuzzy logic.    (05)

I doubt it. 3-valued logic and fuzzy logic are incommensurate.    (06)

>are then designed to always to evaluate to True or False, even where
>some intermediate results evaluate to *. In Z, the problem is avoided by
>imposing/assuming an order of evaluation.    (07)

Lord save us from having to do ontology specifications in Z.    (08)

>b) From a natural language view, I might take "Pat is sleeping" to mean
>something like, "please don't make to much noise, or you might wake him
>up".    (09)

That would be a mistake. It does not MEAN that. 
What it means is clear: that I am asleep. Now, 
that assertion in turn can be used to perform a 
variety of speech acts, just as 'its cold in 
here' or simply "I'm cold" can be used to perform 
a request to close a window or to turn up the 
thermostat.    (010)

>Sentences in natural language have (ultimately) the function of
>influencing human behaviour, rather than modelling the world    (011)

Sorry, but this really is nonsense. First, 
accurate modelling (describing) the world is 
closely linked to, and involved in, influencing 
behavior. But in any case, language is used for 
all kinds of purposes, and influencing human 
behavior is only one of them.    (012)

>, and only
>do the latter when specifically making such a claim. In data modelling,
>this relationship between language and behaviour is absolutely
>fundamental to effective data exchange - in this I support David Hays
>mutterings about the data modelling/management/database community. This
>thinking also lies behind the ontologies that are being used as part of
>number of fairly significant data exchange projects for various DoD's.
>c) I have not read Sister Miriam Joseph    (013)

If you are interested in applying logic to natural language, you should.    (014)

Pat    (015)

>, but some years ago I did read
>though a fairly traditional text book of Porte Royal logic only to find
>that the entire book reduced to six simple statements in set theory.
>Sean Barker
>0117 302 8184
>This email and any attachments are confidential to the intended
>recipient and may also be privileged. If you are not the intended
>recipient please delete it from your system and notify the sender.
>You should not copy it or use it for any purpose nor disclose or
>distribute its contents to any other person.
>Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ 
>Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>    (016)

IHMC            (850)434 8903 or (650)494 3973   home
40 South Alcaniz St.    (850)202 4416   office
Pensacola                       (850)202 4440   fax
FL 32502                        (850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes    (017)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (018)

<Prev in Thread] Current Thread [Next in Thread>