John, (01)
One issue with this approach is that you thereby reduce ontology to logic. I
think there is reason (and value) to consider both of these subject areas
distinct, if related. (02)
Ontologists use "universal" and "particular" because these technical terms are
important to their exposition of what ontology is. Cf. the "Logic and Ontology"
entry at http://plato.stanford.edu/entries/logic-ontology/. (03)
Similarly, I would oppose a reduction of formal semantics (natural language and
otherwise) to logic or ontology, though they are related. (04)
Thanks,
Leo (05)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F Sowa
Sent: Friday, June 29, 2012 1:09 PM
To: Avril Styrman
Cc: [ontolog-forum]
Subject: Re: [ontolog-forum] Truth (06)
On 6/29/2012 12:34 PM, Avril Styrman wrote:
> Then again, properties and particulars are needed in ontologies which
> directly concern the measurable reality. (07)
I agree. My point, though, is that you don't need the words
'property' or 'particular' when you develop or use an ontology. (08)
Those words are useful when you compare the theories of different
philosophers. But when you are developing a formal ontology, you use
some formal logic to express it. To discuss the ontology, you never
need to use any terms other than the words for the syntactic units
of the logic you use. (09)
If you're using FOL, the only words you need are 'function', relation',
'variable', and 'value' (of a variable). If you're using Common Logic,
the values of a variable can include functions and relations. (010)
I disagree with Quine's attempt to eliminate abstract entities, but I
am willing to accept his famous dictum: (011)
To be is to be the value of a quantified variable. (012)
In other words, the entities that exist in your ontology are identical
to the things you can refer to by variables in the logic you used to
express the ontology. (013)
My recommendation is to use the same terms to talk about the things
in your ontology that you would use to refer to whatever your logic
is able to express. (014)
This convention drastically simplifies the verbiage you use to talk
about your ontology, and it clarifies talk about what exists. (015)
John (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 (017)
_________________________________________________________________
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 (018)
|