|
This note has three themes.
1. Peirce terms (see Figure 2.7 of Sowa KR 2000
book)
remarkably similar in meaning.
2. mKR propositions express basic relations between
terms.
3. Considering "mediating" last leads to some new
insights,
including the use of proposition
names.
1. The tabula rasa equivalents of Figure 2.7
are
[Notes below include some
variations
from my original tabula rasa]
entity -- Object
action -- Process
attrpart -- Schema
method -- Script
group -- Juncture
interaction --
Participation
description -- Description
history -- History
view -- Structure
space-time -- Situation
reason -- Reason
purpose -- Purpose
Notes
a. Rand distinguishes two species of
attrpart
[see Rand ITOE 1990 book]
attribute (inseparable
characteristic)
part (separable
characteristic)
b. group is physical, not abstract
c. description, history are species of
proposition
d. instances of view and space-time
are
proposition names. My concept of
view
subsumes space-time [see 2. group 2].
2. The first group of mKR propositions
are
genus-differentia definitions which specify the
partial-order structure of the concept
hierarchy.
entity is existent
with independent, physical, continuant;
action is existent
with independent, physical, occurrant;
attribute is existent
with independent, abstract, continuant,
inseparable;
part is existent
with independent, abstract, continuant, separable;
method is existent
with independent, abstract, occurrent;
group is existent
with relative, physical, continuant;
interaction is existent
with relative, physical, occurrent;
view is existent
with mediating, physical, continuant;
space-time is existent
with mediating, physical, occurrent;
reason is existent
with mediating, abstract, continuant;
purpose is existent
with mediating, abstract, occurrent;
description is existent with
relative, abstract, continuant;
history is existent
with relative, abstract, occurrent;
The second group of propositions describes the
other
fundamental relations between
existents.
[ name :: {
proposition list };
is usually written
at name {
proposition list }; ]
view ::
{
entity haspart
part;
entity has
attribute;
space-time ::
{
entity
do action with reason
done;
group
ido interaction with purpose
done;
};
};
The third group of propositions describes
the
underlying context of humans creating
propositions.
human iss entity;
conscious iss
attribute;
identify iss action;
human has conscious;
human do identify
with
reason
od
existent
out
proposition
done;
3. As shown in 2. group 2 above:
instances of view/Structure and space-time/Situation
can be viewed as proposition names;
instances of reason/Reason and
purpose/Purpose
can be viewed as modifiers of actions and
interactions.
|