|Definition: determination of the use of linguistic signs (words, symbols, connectives) for non-linguistic or linguistic objects. New definitions are not supposed to be creative, that is, they are to be derived from the use of the signs already employed. See also definability, conservativity, systems, theories, models, reference systems, context definition, explicit defnition, implicit definition.|
Books on Amazon:
Definitions/Chalmers: none of my arguments is based on the existence of clear and finished definitions.
A higher-level property P may be based on two lower-level parameters A and B, each of which may assume different values from a domain. Even if we do not have necessary and sufficient conditions for A and B, we can make statements if we do without the concept of conceptual truth.
Solution: a lot of facts can contain a different set of facts without there being a clear definition of the terms for the second set in terms of the first set.
Logical supervenience is not affected by this.
The Conscious Mind Oxford New York 1996
Constructing the World Oxford 2014