[Top] [All Lists]

Re: [ontolog-forum] FW: Lattice of theories

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Len Yabloko" <lenya@xxxxxxxxxxxxx>
Date: Mon, 19 Jan 2009 00:39:35 +0000
Message-id: <W2309610871301781232325575@webmail27>
Rich,     (01)

The problem is that you can not simply "recast this same though" into 
technology until there is some sort of agreement terminology.      (02)

>[RC] To recast this same thought into currently representative technology, a
>database for a commercial web site has a schema or theory (T) and real or
>actual data (A) stored in the database.  IMHO, that means the data (A) is
>grounded in realities about which the data was captured.     (03)

Schema and theory are two different notions, which need to disambiguated before 
any claims are made about meaning. Database schema in particular is nothing but 
data storage format. You can glean (in many cases) some conceptual schema from 
data integrity constraints expressed in database schema.    (04)

Data is nothing but set of references, which can not even be interpreted 
without some theory that exists entirely outside the database. Such theory can 
be considered grounded in some realities. But it can not be found in the 
database.     (05)

>[RC] The semantic
>theory is the database schema (T).  So (T) represents the present theory of
>the universe with respect to this database.  
>    (06)

There is a circular definition in your statement, which undermines soundness of 
any reasoning about it.     (07)

>That implies that (T) is the set of generalizations or abstractions, while
>(A) is the set of specializations, or individuals.  
>Is this translation to database terminologies equivalent in your opinion?
>    (08)

That depends on what you want to do with it. Obviously it works for isolated 
database applications. Equally obvious that will not work for anything else.     (09)

>Rich Cooper
>Rich AT EnglishLogicKernel DOT com
>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>