presents a “relatively” simply mathematical framework for specifying the “internal” meanings of representational system. Doyle claims his framework requires neither special structures for sysrtems nor translations into logic and can thus be directly applied to representation system.