[Top] [All Lists]

Re: [ontolog-forum] Terminology Question concerning Web Architecture and

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: 'SW-forum' <semantic-web@xxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Sat, 21 Jul 2007 15:54:35 -0400
Message-id: <46A2647B.3010107@xxxxxxxxxxx>
Azamat,    (01)

That is true of pure mathematics of any kind.  As Bertrand Russell
said, "Mathematics may be defined as the subject where we never know 
what we are talking about, nor whether what we are saying is true."    (02)

> "Formal meaning is just a mathematical curiosity and has nothing to
> do with Real Meanings (the kind that really Matter in Human Discourse
> in Society, or whatever), so whenever any formal inferences are done,
> the formal conclusions lose all their Real Meaning and are just
> mathematical curiosities of no real significance, devoid of any Real
> Meaning content outside some narrow abstract mathematical domain."    (03)

In order to applicable to reality, structures in the hypothesis
of the argument must be mapped to the entities of interest in
the subject matter of interest.    (04)

If you do so and if the mapping has a one-to-one correspondence
with the entities of interest, then you can be certain that
the corresponding parts of the conclusion will also have a
one-to-one mapping to the subject matter.    (05)

That is the essence of all inference, formal or informal.    (06)

John    (07)

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    (08)

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