[The IFF Applied Aspect]

Overview

The applied aspect of the natural part represents applied mathematics. It is partitioned into a generic component and a specific component. The pure aspect includes meta-ontologies for both institution theory and first order logic, with instituion theory in the generic component and first order logic in the specific component. Future modules in the specific component may include a semiotic module, a modal logic module, a topic map module, etcetera. In the generic component, the finite metalevels are populated by generic and parametric meta-ontologies. Generic means that the terminology and axiomatization for any two metalevels is identical. Parametric means that the metalevel index is a parameter. Hence, only one copy of a meta-ontology with a level parameter is needed for all finite levels.