[Top] [All Lists]

Re: [ontolog-forum] formal systems, common logic and lbase

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Fri, 23 Nov 2007 13:53:20 -0500
Message-id: <474721A0.4010803@xxxxxxxxxxx>
Azamat,    (01)

That is precisely the point:    (02)

 > ... all the noise about CL looks as a razmataz; for it is
 > just a version of FOL, a conceptual instrument of ontology,
 > along with mathematics, semantics, etc.    (03)

First-order logic is not a research project.  It was independently
discovered and formulated in two versions with exactly the same
expressive power, but two very different notations over 120 years
ago -- by Frege in a tree notation (1879), which nobody else ever
used, and by Peirce in an algebraic notation (1880, 1885), which
Peano adopted and, with a change of symbols, developed into the
most widely used variant of FOL.    (04)

But during the past century, there have been many, many almost
identical notations and many more subsets, some of which created
obstacles that made interchange difficult.    (05)

One example of the difficulty is the strongly typed language Z
and the untyped versions of RDF and OWL.  Although they are
first-order languages, the different typing conventions create
obstacles to interchange.    (06)

The purpose of Common Logic was to develop and standardize a
superset of the most commonly used variations, including the
languages of the Semantic Web.  Languages such as Z, RDF, OWL,
and other versions of FOL can all be translated to Common Logic
in a way that preserves their semantics -- in the sense that
any statement p, when translated to CL, has exactly the same
truth value that it had in the original language.    (07)

That is all there is.  There's no magic and no claim to magic.
It is not a major breakthrough, but somebody had to do it.    (08)

John    (09)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (010)

<Prev in Thread] Current Thread [Next in Thread>