"That is, a system starts with a group of interrelated propositions which involve reference to empirical observations within the logical framework of the propositions in question."