Hanover
Davidson, I think, would tend to say that mental state A is the result of brain state B, but that it might also be the result of brain states C and D. Hence mental state A is not dependent on brain state B; and the need for a novel term. — Banno
Have you a direction for this thread? — Banno
What's that, then?non-essential cause — Hanover
So you take it that supervenience means a cause but a non-essential cause? — Hanover
Grounding and ontological dependence are distinct from each other. The simplest way to see this is by means of the kinds of case that revealed to David Lewis that causation is distinct from causal dependence (1973): preemption and overdetermination. Just as cases of causal overdetermination and preemption involve causation without causal dependence, so too do cases of ‘grounding overdetermination’ and ‘grounding preemption’ involve grounding without ontological dependence. For example, the fact that I exist grounds the fact that something exists, but the obtaining of the latter fact does not depend upon the obtaining of the former; the fact that something exists is massively overgrounded. — SEP | Supervenience, Grounding, and Ontological Depdendence
Nonetheless, that B-properties entail A-properties is neither necessary nor sufficient for A-properties to supervene on B-properties. (The notion of property entailment in play is this: property P entails property Q just in case it is metaphysically necessary that anything that possesses P also possesses Q.) To see that such entailments do not suffice for supervenience, consider the properties being a brother and being a sibling. [...]
To see that supervenience does not suffice for entailment, recall that supervenience can hold with only nomological necessity. In such cases, there is no entailment; thermal conductivity properties do not entail electrical conductivity properties, for example.
But what about supervenience with metaphysical or logical necessity? Even that does not in general guarantee that there are B-properties that entail the A-properties. At best, the logical supervenience of A on B means that how something is B-wise entails how it is A-wise. But it does not follow that every A-property is entailed by a B-property, or even that some A-property is entailed by a B-property. Consider two examples... — SEP | Supervenience and Entailment
I don't see how that follows. — Banno
Understood as rational, the connection between reason and action cannot be described in terms of any strict law. Yet inasmuch as the connection is also a causal connection, so there must exist some law-like regularity, though not describable in the language of rationality, under which the events in question fall (an explanation can be causal, then, even though it does not specify any strict law).
What kinds of 'law'... — Wayfarer
Suppose we defer consideration of a law of identity, and consider two identical beings in different possible worlds, with the difference between the two worlds being of negligible relevance to the two beings. — wonderer1
And yet it is not beyond the pale to say that you went to the fridge because you wanted a beer. — Banno
However I took the anecdote as a comment on the distinction between material causation and the Aristotelian final causation. — Wayfarer
The point is, that to be two beings there must be something which distinguishes them as one different from the other. If what distinguishes them one from the other, is "being in different possible words" then we cannot say that the difference between the two worlds is of negligible relevance, because we've already propositioned that this difference is what distinguishes them one from the other. Since being two distinct things rather than one and the same thing is fundamentally a significant difference, then it's necessarily of very significant relevance. — Metaphysician Undercover
Leontiskos - can you throw any light on my query? It seems related to the last paragraph you quote from the SEP entry but I’m struggling with putting it together. — Wayfarer
Neither of these property realization relations is the supervenience relation. A property can supervene on other properties even when it is not the kind of property that has a causal role associated with it, as is the case with pure mathematical properties, for instance. Nor is property supervenience required for property realization in either of the above senses. — SEP | Supervenience and Realization
Supervenience claims, by themselves, do nothing more than state that certain patterns of property (or fact) variation hold. They are silent about why those patterns hold, and about the precise nature of the dependency involved. — SEP | Supervenience and Explanation
I am glad that you two are sussing out some of the ambiguity between supervenience, cause, reason, etc. Much of the language in this thread is being used too loosely. — Leontiskos
. . .The upshot is that the logical supervenience of property set A on property set B will only guarantee that each A-property is entailed by some B-property if A and B are closed under both infinitary Boolean operations and property-forming operations involving quantification. — SEP | Supervenience and Entailment
As a philosophical Iayman, I don't often use the technical jargon "supervene" (to come after) in brain/mind discussions. Instead, I merely note that Mind (latin : mens, to think ; anim, life ; spirit) is the function (operation ; performance) of Brain. Hence, Mind is simply what a Brain does. In mathematics, a function is an input/output relationship : this follows logically from that. Thus sensory inputs, processed in the Brain, result in the Mental product that we call Ideas & Meanings.Just about everybody agrees that the mental supervenes on the physical, which means that the only way for a mental state to change is for something physical to change. Disagreements arise regarding the form of necessity here. — frank
For example, in your previous post you incorrectly imply that logical supervenience guarantees entailment (via your 'if-an-only-if' definition). — Leontiskos
To some extent supervenience is intuitive. The music created by an orchestra supervenes on the actions of the players. You could also say the music entails these actions. — frank
If we think of supervenience as pertaining to propositions, the truth of "Orchestral music evolved" is true IFF statements about required activities at the lower level are true. — frank
I think this direction of entailment is necessary but not sufficient for supervenience. This is because A can entail B without "exact similarity with respect to B-properties guarantee[ing] exact similarity with respect to A-properties — Leontiskos
I think someone could even hold to the [mental supervening on the physical] while also maintaining that the mental state causes the physical state. — Leontiskos
That quoted words do not describe supervenience. — frank
A-properties supervene on B-properties if and only if a difference in A-properties requires a difference in B-properties—or, equivalently, if and only if exact similarity with respect to B-properties guarantees exact similarity with respect to A-properties. — SEP | Supervenience Introduction
That quoted words do not describe supervenience.
— frank
It was a quote from the SEP definition of supervenience, in the introduction of the article you quoted from in your OP:
A-properties supervene on B-properties if and only if a difference in A-properties requires a difference in B-properties—or, equivalently, if and only if exact similarity with respect to B-properties guarantees exact similarity with respect to A-properties.
— SEP | Supervenience Introduction — Leontiskos
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.