Nested Models Implemented in Nested Theories

摘要

The representation of knowledge by the object-oriented programming technique represents a tool for formulating theories that are as exact as those formulated by traditional ways of mathematics and formal logic. Moreover, this representation is suited to formalize knowledge systems on many material entities and science on them and automatically to invert the formulations into computer models. Striking is the fact that similar attempts existed already in the Aristotelian ontology and especially in his "hylemorphism". Interesting factor is that the theories can be nested so that elements of one of them are formulated as carriers of (other) knowledge systems. Real applications that led to running computer models will be presented in the paper, together with speciphication of the essential properties of the object-oriented programming.