Emmanuel Kant's "Critique of Pure Reason", published in 1781,
is far more descriptive of semantics than anything Peirce did, IMHO.
We wouldn't have modern science and technology if the
philosophers hadn't thoroughly analyzed the many thorny issues.
That is a circular definition. The "philosopher" label
is assigned only to people who have already throughly analyzed the many thorny
Rich AT EnglishLogicKernel DOT com
9 4 9 \ 5 2 5 - 5 7 1 2
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F. Sowa
Sent: Friday, July 08, 2011 6:24 AM
Subject: Re: [ontolog-forum] Why most classifications are fuzzy
Pat and Doug,
Philosophers have discovered, created, and occasionally solved
huge numbers of problems over the centuries. On the whole, I
would say that their influence has been positive. We wouldn't
have modern science and technology if the philosophers hadn't
thoroughly analyzed the many thorny issues.
But philosophers often create problems that nobody but a philosopher
would ever worry about. Some amount of worrying can guard against
disaster. But too much worrying can cause depression and despair.
I have recommended Peirce's philosophy for one very important
reason: it can cure an enormous amount of philosophical disease.
Peirce created a lot of terminology of his own, but in general
he eliminated more useless terminology and worrying than he created.
Furthermore, all his terms can be mapped directly to logic -- that's
not true of all philosophy.
>> When do contracts exist?
>> Pardon for the tangential post: There is one point in
>> that I am curious about -
>> do contracts (or other conceptual works) exist even if
>> all tangible record of them (including the record in the
>> disappear? This was mentioned in Doug F's post (below)
> This is a few steps past what i referred to. It really
becomes a meta-
> physical issue: "if all evidence of a non-tangible ceases to
> the non-tangible cease to exist as well?"
This is a symptom of a philosophical disease. Please remember the
triad of Mark, Token, and Type. Every contract is a type, which
embodied in one or more tokens.
Every type is of the same nature as any mathematical structure.
example is the mathematical definition of a dodecahedron. That
a type. Every physical object that looks like a dodecahedron is a
or less perfect token of that type. Asking whether a mathematical
entity exists if there are no embodiments or no mathematicians who
learned or remember the definition is a symptom that somebody needs
an aspirin to avoid an incipient philosophical headache.
> How would one ever know that an identical conceptual work was
> if all knowledge and records of the previous work ceased to exist?
That question could cause a migraine.
> I try to make my classes as unfuzzy as possible.
> This is useful for most purposes. Cyc generally does the
> But it does find fuzzy classes useful for NLP stages.
This is another issue that Peirce addressed. He used the word
instead of 'fuzzy', but the issues are the same.
Peirce insisted that vagueness is *not* a degenerate stage from some
original Platonic realm where everything is precise. Instead, he
noted that continuity is all pervasive. No discrete set of words,
types, or classes can precisely describe the physical world.
For mathematical analysis, we often need precision in order to
prove theorems. Just think of a dodecahedron. We couldn't
theorems about them if we had to worry about the rough edges.
But we have to remember that every physical token will be an
imperfect embodiment for which many of those theorems will be
approximations. Sometimes they'll be completely false.
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
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