#
# KEHOME/kb/axiom.ho
# Nov/9/2005
#
# McCullough axiomatic concepts
# entity level of abstraction
# can be generalized to existent level of abstraction
# For comparison to Rand axiomatic concepts,
# see KEHOME/doc/RandMcCullough.html
#
do create context od vaxiom done; # create empty view
at view = vaxiom; # enter view
# define metaphysics verbs
ISA is relation verb with arity=2;
ISC is relation verb with arity=2;
IS is relation verb with arity=2;
HAS is relation verb with arity=2;
#DO is relation verb with arity=2;
DO_rel is relation with arity=2, formatverb = "DO";
CAUSES is relation verb with arity=2;
begin hierarchy haxiom;
existent; # universe
/ entity;
// animal;
/// man;
// knowledge;
#// word;
#/// ;;
#/// ::;
#/// :=;
#/// ISA;
#/// ISC;
#/// IS;
#/// HAS;
#/// DO;
#/// CAUSES;
#/// is;
#/// has;
#/// do;
#/// can;
#/// od;
#/// done;
#/// causes;
/ characteristic; # exists
// definition;
// relation;
// part;
// attribute;
/// conscious; # animal level
//// rational; # human level
/// power;
/// free will;
// action;
/// continue;
//// exist;
/// perceive; # animal level
//// identify; # human level
/// act;
/// choose;
// interaction;
/ proposition;
// existence;
// identity :: entity is entity;
/// entity HAS characteristic;
//// entity iss existent;
//// entity rel relation;
//// entity haspart part;
//// entity has attribute;
//// entity do action done;
//// {entity do action done;} causes {...};
// causality;
// potentiality;
/// Free Will 3;
/// xxx1;
//// xxx2;
// consciousness; # animal level
/// rationalness; # human level
// perception; # animal level
/// identification; # human level
// Free Will;
// Reality;
// primacy of existence;
// not {primacy of consciousness};
end hierarchy haxiom;
existence :: entity exists; # entity do continue done;
identity :: entity is entity;
existence IS identity;
causality :: {entity is entity;} CAUSES {entity can action done;}; # implies
potentiality :: {entity has power;} IS {entity can act done;}; # Aristotle
consciousness :: animal is entity with conscious;
perception :: percept := animal can perceive od entity done;
xxx1 :: consciousness IS perception;
xxx1 ISA potentiality;
rationalness :: man is animal with rational;
identification :: knowledge := man can identify od entity done;
xxx2 :: rationalness IS identification;
xxx2 ISA potentiality;
rationalness ISA consciousness;
identification ISA perception;
xxx2 ISA xxx1;
primacy of existence :: animal do perceive od universe done;
not {primacy of consciousness :: animal do create od universe done;};
Free Will 1 :: man has free will;
Free Will 2 :: man can choose done;
Free Will 3 :: Free Will 1 IS Free Will 2;
Free Will 3 ISA potentiality;
Reality 1 :: universe is all existent; # collective concept
Reality 2 :: existent is any universe; # individual concept
Reality 3 :: Reality 1 IS Reality 2;
# display hierarchy
existent isc* ?;
#