[Top] [All Lists]

Re: [ontolog-forum] Next steps in using ontologies as standards

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>, paola.dimaio@xxxxxxxxx
From: Pat Hayes <phayes@xxxxxxx>
Date: Sun, 25 Jan 2009 15:38:43 -0600
Message-id: <6ED85027-7AE6-4B68-BC1C-AE8EBA6EF8BA@xxxxxxx>

On Jan 24, 2009, at 8:49 AM, paola.dimaio@xxxxxxxxx wrote:    (01)

> Ali,
>> My point (and the one I think Paolo was making) is that while the  
>> physical
>> relationship between your desk and computer is independent of  
>> logic, your
>> account of the fact that your desk and computer are in said  
>> relation appeals
>> to some form of, if not logic, then coherency.
> yes I intended that, but also something else
> this is what I mean
> 1. that the computer on the desk is a spatial relationship caused by
> the function. I dont know how to call this, but I would call it
> 'logical',    (02)

Please don't. Use a less loaded word, like 'sensible' or 'rational'.  
But 'logical' , especially when used in this forum, is often  
interpreted as implying some connection to sentential logic.    (03)

> as opposed to the computer being place under the table or
> in a waterfountain. but maybe there is a better way of defining this
> inherent, implied relationship between two things .    (04)

One problem is there there are many, many possible such relationships.  
In my office the computers are normally kept under the tables, and for  
some purposes computers belong inside waterfountains.    (05)

> 2, as you point above, logic is a way of representing, expressing,
> communicating, capturing the relationship, which can be done using
> different formalism
> and yes, natural language is a formalism (in reply to PH)
> # [noun] A formalism is a means to represent the rules used in the
> establishment of a models of linguistic knowledge.
> portal.bibliotekivest.no/terminology.htm    (06)

Quite. So natural language is not a formalism. NL is not a "means to  
represent the rules" used in "models" of anything.    (07)

On this particular issue, I will not engage in a war of dictionary  
definitions, but simply assert authority, having worked in the logical  
and linguistic fields for 30 years. Natural language is not a formalism.    (08)

PatH    (09)

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

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    (011)

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