ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Is there something I missed?

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Thu, 05 Feb 2009 12:47:53 -0500
Message-id: <498B2649.4090701@xxxxxxxxxxx>
Azamat,    (01)

That is not only true, it is inevitable:    (02)

 > You must know such common things that most dictionary definitions
 > are ending in loops.    (03)

In mathematics, the field in which the most precise definitions are
written, there are very few "closed form" definitions that define
some entity type X as a structure composed of previously defined types.    (04)

Instead, the axioms of mathematical systems are usually stated as
relationships among terms, none of which can be defined independently.
It would be extremely unlikely that the real world in all its
complexity should happen to be so simple that all our conceptions
of it could be defined by the simplest form of definition.    (05)

For a more realistic view, see the _Web of Belief_ by Quine and Ullian:    (06)

    http://socialistica.lenin.ru/analytic/txt/q/quine_1.htm
    The Web of Belief    (07)

Following is an article that discusses the Quine-Ullian view and relates
it to other methods of definition:    (08)

    http://plato.stanford.edu/entries/justep-coherence/
    Coherentist Theories of Epistemic Justification    (09)

An excerpt:    (010)

    "Quine's web of belief metaphor -- according to which our beliefs
    form an interconnected web in which the structure hangs or falls
    as a whole."    (011)

No term in that web can be defined by itself.  They are all defined
by the pattern of relationships to other terms.  This view has
strong similarities to Wittgenstein's language games (which probably
had a strong influence on Quine and Ullian).    (012)

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

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