The scopes and subject matters of Ontology and Logic shouldn't be mixed.
The real semantics or meanings of any symbolism or notation is defined by
ontology; for this is the only knowledge domain studying the Being of
Everything which is, happens and relates. If Ontology is a real science,
Logic is a formal science, because it concerned only with the formal parts
of Discourse about Anything or Everything. Logic considers the elements (the
terms, propositions, inferences or syllogisms) of the whole discourse aside
from their reference to the world (or their real meanings and significance).
As a formal science, Logic deals with the formal patterns of discourse
common to all sciences. (02)
So, Ontology deals with the matter and content, with the real components of
discourse about anything, while Logic is an art, an instrument of
intellectual reasoning, at least a formal science,and it has nothing to do
with reality, real significance or real meanings, a coherent representation
of which is the ultimate target of Intelligent Web. (03)
----- Original Message -----
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
To: "Azamat" <abdoul@xxxxxxxxxxxxxx>
Cc: "Pat Hayes" <phayes@xxxxxxx>; "[ontolog-forum]"
<ontolog-forum@xxxxxxxxxxxxxxxx>; "'SW-forum'" <semantic-web@xxxxxx>;
Sent: Tuesday, July 31, 2007 9:40 PM
Subject: Re: [ontolog-forum] Current Semantic Web Layer Cake (05)
> Logic defines the semantics of any notation that is used
> to define any version of ontology.
> AA> ... instead of Unifying Logic, it will be a Unifying Ontology
> > (a single comprehensive model of reality) integrating as its parts
> > the Web general vocabularies and ontologies
> If the notations for expressing the ontology are inconsistent,
> there is no hope of making the ontology consistent.
> As I said, there are immense problems in maintaining the consistency
> of large ontologies. If you believe that you can achieve consistency,
> I wish you the best of luck.
> But if different parts or chapters of that ontology are expressed
> in inconsistent versions of logic, the project is doomed from
> the start.
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)