|
As a prelude to translating mKR to
IKL,
this email describes the meaning of myView in
mKR.
myView names a list of propositions.
The starting list comes from my
epistemology,
as defined in the tabula rasa
hierarchy.
The meaning of
at view = tabula
rasa;
is shown below
[without the details of formats].
proposition := man do identify od existent with
purpose done;
existent has characteristic;
man is entity with consciousness;
identify iss action;
purpose iss attribute;
entity is existent with space, time;
group is existent with not space, not
time;
characteristic iss existent;
proposition iss existent;
proposition haspart context,
sentence;
context haspart space, time, view;
attribute is characteristic with not space, not
time, single-existent, not separable;
part is characteristic with not space, not time,
single-existent, separable;
action is characteristic with space, time,
single-existent;
interaction is characteristic with space, time,
multiple-existent;
relation is characteristic with not space, not
time, multiple-existent;
|