Books on Amazon:
Supervenience/Chalmers: supervenience is in general a relation between two sets of properties:
B properties: higher-level properties
A properties: lower-level properties (for us physical properties). The specific nature of these properties is not relevant to us.
Definition Supervenience/Chalmers: B-properties supervene on A-properties, if two possible situations are not identical with regard to their A-properties and at the same time differ in their B-properties.
For example, biological properties supervene on physical ones insofar as two possible physically identical situations are also biologically identical.
Local/Global Supervenience/Chalmers: we distinguish global supervenience, depending on how the situations under consideration, refer to individuals or possible worlds.
Local Supervenience/Chalmers: B supervenes locally on A when the A properties of an individual determine the B properties of that individual.
E.g. form supervenes on physical properties.
Definition Global Supervenience/Chalmers: when A facts about the world determine B facts about the world. That is, there are no two possible worlds which are identical with respect to A, which are not also identical with regard to B. For example biological properties supervene globally on physical properties.
Definition local supervenience implies global supervenience, but not vice versa. E.g. two physical organisms can differ in certain biological characteristics, one individual can be fitter than the other, triggered by environmental conditions. ((s)> extrinsic properties,> niche).
Chalmers: For example, one could imagine that two physically identical organisms might belong to different species, if they had different evolutionary stories.
Consciousness: here it will be more about local supervenience.
Logical Supervenience/Chalmers: logical supervenience is conceptual and stronger than natural supervenience.
Natural Supervenience/Chalmers: this term is used to distinguish between logical supervenience.
A situation would be conceivable in which laws that automatically produce B facts might not produce these for once. (Kripke 1972).
Logical Supervenience/Chalmers: Problem: There could be a possible world which is identical to our actual world, but not additionally with non-physical elements such as angels and ghosts. These could be physically identical with us, but biologically different from us.
This has led some authors (Haugeland 1982, Petrie 1987) to say that the logical possibility and logical necessity are too strong terms for our supervenience relations.
Solution/Chalmers: we must explicitly refer to our actual world or specified possible worlds.
Other problems have to do with negative existence statements about what does not exist in our world, or does not exist in other possible worlds. Such problems can never be determined by local facts or local characteristics.
Supervenience should always be determined by reference to positive facts and characteristics.
Name/Supervenience/Explanation/Chalmers: E.g. according to Kaplan (1989) the name "Rolf Harris" simply picks out its speaker directly.
Does that mean that the property to be Rolf Harris does not logically supervene on physical facts?
Secondary intension of the name: what resulted from a certain egg and sperm in all possible worlds. This supervenes logically on facts.
Primary intension of the name: is that what results from the linguistic usage, of those who have, or had assiociate with Rolf Harris, or heard of Rolf Harris. The primary intension may be absent, which is a problem for the supervenience
Logical Supervenience/Chalmers: apart from conscious experience, indexicality, and negative existence theorems everything supervenes logically on physical facts, including physical laws.
Supervenience/Horgan/Blackburn/Chalmers: Question: (Blackburn 1985), Horgan (1993): How do we explain the supervenience relation itself?
Primary Intension/Chalmers: For logical supervenience on primary intensions, we simply need to present a conceptual analysis, together with the determination that the reference over possible worlds remains preserved (is rigid). Thereby, the supervenience conditional is an a priori conceptual truth.
Secondary Intension: here, the logical supervenience can be explained by saying that the primary intension of the concept picks out a referent of the actual world, which is projected unchanged to other physically identical worlds (by rigidifying operations). Such facts are contingent. (See Horgan and Timmons 1992b.)
Natural Supervenience/Chalmers: natural supervenience is - as opposed to the logical - contingent. This is ontologically expensive, so we can be glad that logical supervenience is the ussual case.
Supervenience/Consciousness/Chalmers: we have seen that conscious experience does not logically supervene on the physical facts, but not that it does not supervene at all!
The Conscious Mind Oxford New York 1996
Constructing the World Oxford 2014