ontolog-forum
[Top] [All Lists]

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

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, "paola.dimaio@xxxxxxxxx" <paola.dimaio@xxxxxxxxx>
From: Duane Nickull <dnickull@xxxxxxxxx>
Date: Sun, 25 Jan 2009 13:46:05 -0800
Message-id: <C5A21D9D.1B8C9%dnickull@xxxxxxxxx>
Specifically, right now I am using a laptop under a water fountain in Phoenix 
(well more or less "near" but at a safe distance so it does nto get wet).  
Pat's point is well taken in this context.  "Logical" probably means something 
slightly deviant from other uses on this list.  I like to use John Sowa's terms 
("Pragmatics etc") to help be more clear.    (01)

Duane    (02)

PS - I think this now qualifies as our longest perma-thread.    (03)


On 25/01/09 1:38 PM, "Pat Hayes" <phayes@xxxxxxx> wrote:    (04)



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

> 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',    (06)

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.    (07)

> 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 .    (08)

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.    (09)

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

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

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.    (012)

PatH    (013)

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






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



--
**********************************************************************
Senior Technical Evangelist - Adobe Systems, Inc.
Duane's World TV Show - http://tv.adobe.com/#pg+1537
Blog - http://technoracle.blogspot.com
I am a Twit - http://twitter.com/duanechaos
Community Open Source Music - http://www.mixmatchmusic.com
My Band - http://www.myspace.com/22ndcentury
**********************************************************************    (016)

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

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