Chris (01)
thanks for reply and I do not intend to bother you with what is
something which is occupying my mind as your write (02)
I am just working on a paragraph about this and I am also struggling
to avoid writing things that can be easily disproven (got to avoid
the proof freaks breathing on my neck), so I am glad I have the chance
to share what i am thinking (03)
well, from my reading, axioms are essential artifacts in ontology, because
any object relating too another object does so according to some logic (04)
an ontology must have relationships, and some of these relationships
are fixed truths (axioms) (05)
[although it can be argued that lightweight ontologies do not depend
on axioms as much as upper ontologies, no valid (that can be proven)
assertion (thus ontological statements) can exist without relation to
at least one axiom] (06)
axioms represent logical statements.
an ontology without axioms (relationships) is more of a taxonomy (07)
there is no ontology without relationships between concepts, and these
relationships, when they are fixed, are axioms (08)
therefore, ontology includes logic within itself (09)
(what you wrote earlier seemed to contrast ontology and logic, which
in my understanding is not true) (010)
Just thinking loud (011)
PDM (012)
On Thu, Jan 22, 2009 at 7:47 PM, Chris Partridge
<mail@xxxxxxxxxxxxxxxxxx> wrote:
> Hi Paola,
>
>> >
>> > A less simple answer would have to do with the relationship between
>> logic
>> > (inference) and ontology. Traditionally logic studies inference and
>> ontology
>> > existence. (I realise that in CS ontology (or as Pat called it WC3
>> ontology)
>> > inference plays a big part.)
>> >
>>
>> it strikes me that you write this as I am working on it
>> (its either echelon, or colletive consciouness, or both)
>>
>> however, I cannot see the sharp distinction between the two, cause
>> ontology (existence) includes logic in its axioms
>> therefore I am lead to conclude that logic is part of ontology
>>
>> if we consider axioms (and constraints) necessary to inference
>> then the two are dependent
>>
>> isnt that so?
>
> I must apologise, I am afraid I do not understand your comments.
> I do not see how "ontology (existence) includes logic in its axioms".
> Ontology, in the philosophical sense I am using it, is a set of things. It
> does not have axioms, though I suppose one could argue axioms are objects in
> some (mathematical or logical) ontology. I suspect we are using terms in
> different ways.
>
> Also, I was not arguing for there being no relationship between ontology and
> logic. A hundred years ago people like Russell and Husserl saw logic as
> being the language that could be used to describe an ontology. However, over
> the last 100 years or so, the notion of logic has been refined to the study
> of inference. I suspect there is a relationship, but have not managed to
> find much material describing it, so if anyone knows of some ...
>
> Regards,
> Chris
>
>>
>> _________________________________________________________________
>> 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
>>
>
>
> _________________________________________________________________
> 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
>
> (013)
_________________________________________________________________
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 (014)
|