To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | Alex Shkotin <alex.shkotin@xxxxxxxxx> |
Date: | Tue, 18 Dec 2012 10:04:36 +0400 |
Message-id: | <CAFxxRORDzTWLgX8k9ukTWNibWTobMtzuvXF-aNXZtc2sEEBRTA@xxxxxxxxxxxxxx> |
Dear Leo, some ontologists ground their ontologies with finite model theory, as, luckily, it's enough for most domain areas. Finite model (like finite tree, graph) may be written in full using sometimes just a kind of FOL.
And most of "individuals" of a model are not from domain axioms, but just from model. And they say, you know, things are modeling our axioms:-) But a procedure to assign a real thing to a model element is necessarily physical (locate and measure). This is an identification.
Alex 2012/12/18 Obrst, Leo J. <lobrst@xxxxxxxxx> This conversation illustrates why we have a notion of "ontological analysis" as opposed to, say, "logical analysis" or "semantic analysis". Many ontologists will not ground their ontologies (or ontological analysis) on set theory, though they will use logic, which has a foundation in set theory. (A discussion is at: http://plato.stanford.edu/entries/logic-ontology/). _________________________________________________________________ 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 (01) |
Previous by Date: | Re: [ontolog-forum] Fwd: Ontologies and individuals, John F Sowa |
---|---|
Next by Date: | Re: [ontolog-forum] Fwd: Ontologies and individuals, Pat Hayes |
Previous by Thread: | Re: [ontolog-forum] Fwd: Ontologies and individuals, Richard Dapoigny |
Next by Thread: | Re: [ontolog-forum] Fwd: Ontologies and individuals, Pat Hayes |
Indexes: | [Date] [Thread] [Top] [All Lists] |