ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Ontology of Rough Sets

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Rich Cooper" <rich@xxxxxxxxxxxxxxxxxxxxxx>
Date: Tue, 18 Jan 2011 21:01:20 -0800
Message-id: <20110119050124.E21AC138CF1@xxxxxxxxxxxxxxxxx>
True - the instances DON'T define the type in programming languages such as
Delphi.  But instances DO define the types, WITH/USING pattern proxies.
That works well, in text mining, linguistics, and the social and medical
sciences.      (01)

I think it's the distinction between empirical sciences (instances to types)
and so called pure sciences, based on very limited views of reality (types
to instances).      (02)

The process of synthesis transforms instance patterns to types, while
analysis is a process transforming types to specifications.  The combination
of the two processes in the proper phase relationships is an ideal balance.    (03)


JMHO,
-Rich    (04)

Sincerely,
Rich Cooper
EnglishLogicKernel.com
Rich AT EnglishLogicKernel DOT com
9 4 9 \ 5 2 5 - 5 7 1 2    (05)

-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F. Sowa
Sent: Tuesday, January 18, 2011 6:58 PM
To: ontolog-forum@xxxxxxxxxxxxxxxx
Subject: Re: [ontolog-forum] Ontology of Rough Sets    (06)

On 1/18/2011 9:37 PM, Rich Cooper wrote:
> As for RECOGNIZING instances, every instance has a known class
> derivation line from a type statement, so it isn't necessary to
> calculate that - the compiler knows it at symbol binding time.    (07)

That's true.  But the type definition comes first.  The instances
are created from the type definition, but they don't define the type.    (08)

John    (09)

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