|Description Levels: Levels result from dividing a domain into sub-domains, for which different rules for making statements are valid. Thus, e.g. other statements are made about sets than about their elements. See also metalanguage, object language, theories, metatheory, metalogic, metasemantics, meta-ethics, meta-level, paradoxes, order, 2nd order logic, higher order logic, HOL, completeness.|
Books on Amazon
|Description Levels||I 43
Levels/Universals/Hierarchy/Bigelow/Pargetter: N.B.: we do not consider universals of a "higher-level" as objects of a quantification of a higher level or second-level logic, but as entities that can be named, that is, first level logic (1st level language).
J. Bigelow, R. Pargetter
Science and Necessity Cambridge 1990