Combining Texts

All the ideas for 'Consciousness', 'Absolute Necessities' and 'Guide to Ground'

unexpand these ideas     |    start again     |     specify just one area for these texts


53 ideas

1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
Realist metaphysics concerns what is real; naive metaphysics concerns natures of things [Fine,K]
     Full Idea: We may broadly distinguish between two main branches of metaphysics: the 'realist' or 'critical' branch is concerned with what is real (tense, values, numbers); the 'naive' or 'pre-critical' branch concerns natures of things irrespective of reality.
     From: Kit Fine (Guide to Ground [2012], 1.02)
     A reaction: [compressed] The 'natures' of things are presumably the essences. He cites 3D v 4D objects, and the status of fictional characters, as examples of the second type. Fine says ground is central to realist metaphysics.
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
Truths need not always have their source in what exists [Fine,K]
     Full Idea: There is no reason in principle why the ultimate source of what is true should always lie in what exists.
     From: Kit Fine (Guide to Ground [2012], 1.03)
     A reaction: This seems to be the weak point of the truthmaker theory, since truths about non-existence are immediately in trouble. Saying reality makes things true is one thing, but picking out a specific bit of it for each truth is not so easy.
3. Truth / B. Truthmakers / 7. Making Modal Truths
If the truth-making relation is modal, then modal truths will be grounded in anything [Fine,K]
     Full Idea: The truth-making relation is usually explicated in modal terms, ...but this lets in far too much. Any necessary truth will be grounded by anything. ...The fact that singleton Socrates exists will be a truth-maker for the proposition that Socrates exists.
     From: Kit Fine (Guide to Ground [2012], 1.03)
     A reaction: If truth-makers are what has to 'exist' for something to be true, then maybe nothing must exist for a necessity to be true - in which case it has no truth maker. Or maybe 2 and 4 must 'exist' for 2+2=4?
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Physicalism requires the naturalisation or rejection of set theory [Lycan]
     Full Idea: Eventually set theory will have to be either naturalised or rejected, if a thoroughgoing physicalism is to be maintained.
     From: William Lycan (Consciousness [1987], 8.4)
     A reaction: Personally I regard Platonism as a form of naturalism (though a rather bold and dramatic one). The central issue seems to be the ability of the human main/brain to form 'abstract' notions about the physical world in which it lives.
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Logical consequence is verification by a possible world within a truth-set [Fine,K]
     Full Idea: Under the possible worlds semantics for logical consequence, each sentence of a language is associated with a truth-set of possible worlds in which it is true, and then something is a consequence if one of these worlds verifies it.
     From: Kit Fine (Guide to Ground [2012], 1.10)
     A reaction: [compressed, and translated into English; see Fine for more symbolic version; I'm more at home in English]
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
2+2=4 is necessary if it is snowing, but not true in virtue of the fact that it is snowing [Fine,K]
     Full Idea: It is necessary that if it is snowing then 2+2=4, but the fact that 2+2=4 does not obtain in virtue of the fact that it is snowing.
     From: Kit Fine (Guide to Ground [2012], 1.01)
     A reaction: Critics dislike 'in virtue of' (as vacuous), but I can't see how you can disagree with this obvervation of Fine's. You can hardly eliminate the word 'because' from English, or say p is because of some object. We demand the right to keep asking 'why?'!
If you say one thing causes another, that leaves open that the 'other' has its own distinct reality [Fine,K]
     Full Idea: It will not do to say that the physical is causally determinative of the mental, since that leaves open the possibility that the mental has a distinct reality over and above that of the physical.
     From: Kit Fine (Guide to Ground [2012], 1.02)
     A reaction: The context is a defence of grounding, so that if we say the mind is 'grounded' in the brain, we are saying rather more than merely that it is caused by the brain. A ghost might be 'caused' by a bar of soap. Nice.
An immediate ground is the next lower level, which gives the concept of a hierarchy [Fine,K]
     Full Idea: It is the notion of 'immediate' ground that provides us with our sense of a ground-theoretic hierarchy. For any truth, we can take its immediate grounds to be at the next lower level.
     From: Kit Fine (Guide to Ground [2012], 1.05 'Mediate')
     A reaction: Are the levels in the reality, the structure or the descriptions? I vote for the structure. I'm defending the idea that 'essence' picks out the bottom of a descriptive level.
'Strict' ground moves down the explanations, but 'weak' ground can move sideways [Fine,K]
     Full Idea: We might think of strict ground as moving us down in the explanatory hierarchy. ...Weak ground, on the other hand, may also move us sideways in the explanatory hierarchy.
     From: Kit Fine (Guide to Ground [2012], 1.05 'Weak')
     A reaction: This seems to me rather illuminating. For example, is the covering law account of explanation a 'sideways' move in explanation. Are inductive generalities mere 'sideways' accounts. Both fail to dig deeper.
We learn grounding from what is grounded, not what does the grounding [Fine,K]
     Full Idea: It is the fact to be grounded that 'points' to its ground and not the grounds that point to what they ground.
     From: Kit Fine (Guide to Ground [2012], 1.11)
     A reaction: What does the grounding may ground all sorts of other things, but what is grounded only has one 'full' (as opposed to 'partial', in Fine's terminology) ground. He says this leads to a 'top-down' approach to the study of grounds.
7. Existence / C. Structure of Existence / 1. Grounding / b. Relata of grounding
If grounding is a relation it must be between entities of the same type, preferably between facts [Fine,K]
     Full Idea: In so far as ground is regarded as a relation it should be between entities of the same type, and the entities should probably be taken as worldly entities, such as facts, rather than as representational entities, such as propositions.
     From: Kit Fine (Guide to Ground [2012], 1.02)
     A reaction: That's more like it (cf. Idea 17280). The consensus of this discussion seems to point to facts as the best relata, for all the vagueness of facts, and the big question of how fine-grained facts should be (and how dependent they are on descriptions).
Ground is best understood as a sentence operator, rather than a relation between predicates [Fine,K]
     Full Idea: Ground is perhaps best regarded as an operation (signified by an operator on sentences) rather than as a relation (signified by a predicate)
     From: Kit Fine (Guide to Ground [2012], 1.02)
     A reaction: Someone in this book (Koslicki?) says this is to avoid metaphysical puzzles over properties. I don't like the idea, because it makes grounding about sentences when it should be about reality. Fine is so twentieth century. Audi rests ground on properties.
7. Existence / C. Structure of Existence / 1. Grounding / c. Grounding and explanation
Only metaphysical grounding must be explained by essence [Fine,K]
     Full Idea: If the grounding relation is not metaphysical (such as normative or natural grounding), there is no need for there to be an explanation of its holding in terms of the essentialist nature of the items involved.
     From: Kit Fine (Guide to Ground [2012], 1.11)
     A reaction: He accepts that some things have partial grounds in different areas of reality.
Philosophical explanation is largely by ground (just as cause is used in science) [Fine,K]
     Full Idea: For philosophers interested in explanation - of what accounts for what - it is largely through the notion of ontological ground that such questions are to be pursued. Ground, if you like, stands to philosophy as cause stands to science.
     From: Kit Fine (Guide to Ground [2012], 1.02)
     A reaction: Why does the ground have to be 'ontological'? It isn't the existence of the snow that makes me cold, but the fact that I am lying in it. Better to talk of 'factual' ground (or 'determinative' ground), and then causal grounds are a subset of those?
7. Existence / C. Structure of Existence / 1. Grounding / d. Grounding and reduction
We can only explain how a reduction is possible if we accept the concept of ground [Fine,K]
     Full Idea: It is only by embracing the concept of a ground as a metaphysical form of explanation in its own right that one can adequately explain how a reduction of the reality of one thing to another should be understood.
     From: Kit Fine (Guide to Ground [2012], 1.02)
     A reaction: I love that we are aiming to say 'how' a reduction should be understood, and not just 'that' it exists. I'm not sure about Fine's emphasis on explaining 'realities', when I think we are after more like structural relations or interconnected facts.
7. Existence / C. Structure of Existence / 2. Reduction
Institutions are not reducible as types, but they are as tokens [Lycan]
     Full Idea: Institutional types are irreducible, though I assume that institutional tokens are reducible in the sense of strict identity, all the way down to the subatomic level.
     From: William Lycan (Consciousness [1987], 4.3)
     A reaction: This seems a promising distinction, as the boundaries of 'institutions' disappear when you begin to reduce them to lower levels (cf. Idea 4601), and yet plenty of institutions are self-evidently no more than physics. Plants are invisible as physics.
Types cannot be reduced, but levels of reduction are varied groupings of the same tokens [Lycan]
     Full Idea: If types cannot be reduced to more physical levels, this is not an embarrassment, as long as our institutional categories, our physiological categories, and our physical categories are just alternative groupings of the same tokens.
     From: William Lycan (Consciousness [1987], 4.3)
     A reaction: This is a self-evident truth about a car engine, so I don't see why it wouldn't apply equally to a brain. Lycan's identification of the type as the thing which cannot be reduced seems a promising explanation of much confusion among philosophers.
7. Existence / C. Structure of Existence / 3. Levels of Reality
One location may contain molecules, a metal strip, a key, an opener of doors, and a human tragedy [Lycan]
     Full Idea: One space-time slice may be occupied by a collection of molecules, a metal strip, a key, an allower of entry to hotel rooms, a facilitator of adultery, and a destroyer souls.
     From: William Lycan (Consciousness [1987], 4.3)
     A reaction: Desdemona's handkerchief is a nice example. This sort of remark seems to be felt by some philosophers to be heartless wickedness, and yet it so screamingly self-evident that it is impossible to deny.
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
Facts, such as redness and roundness of a ball, can be 'fused' into one fact [Fine,K]
     Full Idea: Given any facts, there will be a fusion of those facts. Given the facts that the ball is red and that it is round, there is a fused fact that it is 'red and round'.
     From: Kit Fine (Guide to Ground [2012], 1.10)
     A reaction: This is how we make 'units' for counting. Any type of thing which can be counted can be fused, such as the first five prime numbers, forming the 'first' group for some discussion. Any objects can be fused to make a unit - but is it thereby a 'unity'?
7. Existence / E. Categories / 3. Proposed Categories
I see the 'role'/'occupant' distinction as fundamental to metaphysics [Lycan]
     Full Idea: I see the 'role'/'occupant' distinction as fundamental to metaphysics.
     From: William Lycan (Consciousness [1987], 4.0)
     A reaction: A passing remark in a discussion of functionalism about the mind, but I find it appealing. Causation is basic to materialistic metaphysics, and it creates networks of regular causes. It leaves open the essentialist question of WHY it has that role.
9. Objects / E. Objects over Time / 5. Temporal Parts
Even a three-dimensionalist might identify temporal parts, in their thinking [Fine,K]
     Full Idea: Even the three-dimensionalist might be willing to admit that material things have temporal parts. For given any persisting object, he might suppose that 'in thought' we could mark out its temporal segments or parts.
     From: Kit Fine (Guide to Ground [2012], 1.02)
     A reaction: A big problem with temporal parts is how thin they are. Hawley says they are as fine-grained as time itself, but what if time has no grain? How thin can you 'think' a temporal part to be? Fine says imagined parts are grounded in things, not vice versa.
10. Modality / A. Necessity / 2. Nature of Necessity
Absolute necessity might be achievable either logically or metaphysically [Hale]
     Full Idea: Maybe peaceful co-existence between absolute logical necessity and absolute metaphysical necessity can be secured, ..and absolute necessity is their union. ...However, a truth would then qualify as absolutely necessary in two quite different ways.
     From: Bob Hale (Absolute Necessities [1996], 4)
     A reaction: Hale is addressing a really big question for metaphysic (absolute necessity) which others avoid. In the end he votes for rejecting 'metaphysical' necessity. I am tempted to vote for rejecting logical necessity (as being relative). 'Absolute' is an ideal.
10. Modality / A. Necessity / 3. Types of Necessity
Maybe not-p is logically possible, but p is metaphysically necessary, so the latter is not absolute [Hale]
     Full Idea: It might be metaphysically necessary that p but logically possible that not-p, so that metaphysical necessity is not, after all, absolute.
     From: Bob Hale (Absolute Necessities [1996]), quoted by E.J. Lowe - The Possibility of Metaphysics 1.5
     A reaction: Lowe presents this as dilemma, but it sounds fine to me. Flying pigs etc. have no apparent logical problems, but I can't conceive of a possible world where pigs like ours fly in a world like ours. Earthbound pigs may be metaphysically necessary.
A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale]
     Full Idea: One type of necessity may be said to be 'stronger' than another when the first always entails the second, but not conversely. This will obtain only if the possibility of the first is weaker than the possibility of the second.
     From: Bob Hale (Absolute Necessities [1996], 1)
     A reaction: Thus we would normally say that if something is logically necessary (a very strong claim) then it will have to be naturally necessary. If something is naturally possible, then clearly it will have to be logically possible. Sounds OK.
'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [Hale]
     Full Idea: Necessity is 'relative' if a claim of φ-necessary that p just claims that it is a logical consequence of some statements Φ that p. We have a 'strong' version if we add that the statements in Φ are all true, and a 'weak' version if not.
     From: Bob Hale (Absolute Necessities [1996], 1)
     A reaction: I'm not sure about 'logical' consequence here. It may be necessary that a thing be a certain way in order to qualify for some category (which would be 'relative'), but that seems like 'sortal' necessity rather than logical.
10. Modality / A. Necessity / 5. Metaphysical Necessity
Metaphysical necessity says there is no possibility of falsehood [Hale]
     Full Idea: Friends of metaphysical necessity would want to hold that when it is metaphysically necessary that p, there is no good sense of 'possible' (except, perhaps, an epistemic one) in which it is possible that not-p.
     From: Bob Hale (Absolute Necessities [1996], 2)
     A reaction: We might want to say which possible worlds this refers to (and presumably it won't just be in the actual world). The normal claim would refer to all possible worlds. Adding a '...provided that' clause moves it from absolute to relative necessity.
10. Modality / A. Necessity / 6. Logical Necessity
'Broadly' logical necessities are derived (in a structure) entirely from the concepts [Hale]
     Full Idea: 'Broadly' logical necessities are propositions whose truth derives entirely from the concepts involved in them (together, of course, with relevant structure).
     From: Bob Hale (Absolute Necessities [1996], 3)
     A reaction: Is the 'logical' part of this necessity bestowed by the concepts, or by the 'structure' (which I take to be a logical structure)?
Logical necessities are true in virtue of the nature of all logical concepts [Hale]
     Full Idea: The logical necessities can be taken to be the propositions which are true in virtue of the nature of all logical concepts.
     From: Bob Hale (Absolute Necessities [1996], p.10)
     A reaction: This is part of his story of essences giving rise to necessities. His proposal sounds narrow, but logical concepts may have the highest degree of generality which it is possible to have. It must be how the concepts connect that causes the necessities.
10. Modality / C. Sources of Modality / 1. Sources of Necessity
Each basic modality has its 'own' explanatory relation [Fine,K]
     Full Idea: I am inclined to the view that ....each basic modality should be associated with its 'own' explanatory relation.
     From: Kit Fine (Guide to Ground [2012], 1.01)
     A reaction: He suggests that 'grounding' connects the various explanatory relations of the different modalities. I like this a lot. Why assert any necessity without some concept of where the necessity arises, and hence where it is grounded? You've got to eat.
Every necessary truth is grounded in the nature of something [Fine,K]
     Full Idea: It might be held as a general thesis that every necessary truth is grounded in the nature of certain items.
     From: Kit Fine (Guide to Ground [2012], 1.11)
     A reaction: [He cites his own 1994 for this] I'm not sure if I can embrace the 'every' in this. I would only say, more cautiously, that I can only make sense of necessity claims when I see their groundings - and I don't take a priori intuition as decent grounding.
10. Modality / C. Sources of Modality / 4. Necessity from Concepts
Conceptual necessities are made true by all concepts [Hale]
     Full Idea: Conceptual necessities can be taken to be propositions which are true in virtue of the nature of all concepts.
     From: Bob Hale (Absolute Necessities [1996], p.9)
     A reaction: Fine endorse essences for these concepts. Could we then come up with a new concept which contradicted all the others, and destroyed the necessity? Yes, presumably. Presumably witchcraft and astrology are full of 'conceptual necessities'.
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / b. Direct realism
I think greenness is a complex microphysical property of green objects [Lycan]
     Full Idea: Personally I favour direct realism regarding secondary qualities, and identify greenness with some complex microphysical property exemplified by green physical objects.
     From: William Lycan (Consciousness [1987], 8.4)
     A reaction: He cites D.M.Armstrong (1981) as his source. Personally I find this a bewildering proposal. Does he think there is greenness in grass AS WELL AS the emission of that wavelength of electro-magnetic radiation? Is greenness zooming through the air?
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
We explain by identity (what it is), or by truth (how things are) [Fine,K]
     Full Idea: I think it should be recognised that there are two fundamentally different types of explanation; one is of identity, or of what something is; and the other is of truth, or of how things are.
     From: Kit Fine (Guide to Ground [2012], 1.11)
Is there metaphysical explanation (as well as causal), involving a constitutive form of determination? [Fine,K]
     Full Idea: In addition to scientific or causal explanation, there maybe a distinctive kind of metaphysical explanation, in which explanans and explanandum are connected, not through some causal mechanism, but through some constitutive form of determination.
     From: Kit Fine (Guide to Ground [2012], Intro)
     A reaction: I'm unclear why determination has to be 'constitutive', since I would take determination to be a family of concepts, with constitution being one of them, as when chess pieces determine a chess set. Skip 'metaphysical'; just have Determinative Explanation.
15. Nature of Minds / B. Features of Minds / 4. Intentionality / a. Nature of intentionality
Intentionality comes in degrees [Lycan]
     Full Idea: Intentionality comes in degrees.
     From: William Lycan (Consciousness [1987], 5.4)
     A reaction: I agree. A footprint is 'about' a foot, in the sense of containing concentrated information about it. Can we, though, envisage a higher degree than human thought? Is there a maximum degree? Everything is 'about' everything, in some respect.
15. Nature of Minds / B. Features of Minds / 4. Intentionality / b. Intentionality theories
Teleological views allow for false intentional content, unlike causal and nomological theories [Lycan]
     Full Idea: The teleological view begins to explain intentionality, and in particular allows brain states and events to have false intentional content; causal and nomological theories of intentionality tend to falter on this last task.
     From: William Lycan (Consciousness [1987], 4.4)
     A reaction: Certainly if you say thought is 'caused' by the world, false thought become puzzling. I'm not sure I understand the rest of this, but it is an intriguing remark about a significant issue…
15. Nature of Minds / B. Features of Minds / 5. Qualia / c. Explaining qualia
Pain is composed of urges, desires, impulses etc, at different levels of abstraction [Lycan]
     Full Idea: Our phenomenal experience of pain has components - it is a complex, consisting (perhaps) of urges, desires, impulses, and beliefs, probably occurring at quite different levels of institutional abstraction.
     From: William Lycan (Consciousness [1987], 5.5)
     A reaction: This seems to be true, and offers the reductionist a strategy for making inroads into the supposed irreducable and fundamental nature of qualia. What's it like to be a complex hierarchically structured multi-functional organism?
The right 'level' for qualia is uncertain, though top (behaviourism) and bottom (particles) are false [Lycan]
     Full Idea: It is just arbitrary to choose a level of nature a priori as the locus of qualia, even though we can agree that high levels (such as behaviourism) and low-levels (such as the subatomic) can be ruled out as totally improbable.
     From: William Lycan (Consciousness [1987], 5.6)
     A reaction: Very good. People scream 'qualia!' whenever the behaviour level or the atomic level are proposed as the locations of the mind, but the suggestion that they are complex, and are spread across many functional levels in the middle sounds good.
17. Mind and Body / A. Mind-Body Dualism / 8. Dualism of Mind Critique
If energy in the brain disappears into thin air, this breaches physical conservation laws [Lycan]
     Full Idea: By interacting causally, Cartesian dualism seems to violate the conservation laws of physics (concerning matter and energy). This seems testable, and afferent and efferent pathways disappearing into thin air would suggest energy is not conserved.
     From: William Lycan (Consciousness [1987], 1.1)
     A reaction: It would seem to be no problem as long as outputs were identical in energy to inputs. If the experiment could actually be done, the result might astonish us.
In lower animals, psychology is continuous with chemistry, and humans are continuous with animals [Lycan]
     Full Idea: Evolution has proceeded in all other known species by increasingly complex configurations of molecules and organs, which support primitive psychologies; our human psychologies are more advanced, but undeniably continuous with lower animals.
     From: William Lycan (Consciousness [1987], 1.1)
     A reaction: Personally I find the evolution objection to dualism highly persuasive. I don't see how anyone can take evolution seriously and be a dualist. If there is a dramatic ontological break at some point, a plausible reason would be needed for that.
17. Mind and Body / B. Behaviourism / 4. Behaviourism Critique
Two behaviourists meet. The first says,"You're fine; how am I?" [Lycan]
     Full Idea: Old joke: two Behaviourists meet in the street, and the first says,"You're fine; how am I?"
     From: William Lycan (Consciousness [1987], n1.6)
     A reaction: This invites the response that introspection is uniquely authoritative about 'how we are', but this has been challenged quite a lot recently, which pushes us to consider whether these stupid behaviourists might actually have a good point.
17. Mind and Body / C. Functionalism / 1. Functionalism
If functionalism focuses on folk psychology, it ignores lower levels of function [Lycan]
     Full Idea: 'Analytical functionalists', who hold that meanings of mental terms are determined by the causal roles associated with them by 'folk psychology', deny themselves appeals to lower levels of functional organisation.
     From: William Lycan (Consciousness [1987], 5.4)
     A reaction: Presumably folk psychology can fit into the kind of empirical methodology favoured by behaviourists, whereas 'lower levels' are going to become rather speculative and unscientific.
Functionalism must not be too abstract to allow inverted spectrum, or so structural that it becomes chauvinistic [Lycan]
     Full Idea: The functionalist must find a level of characterisation of mental states that is not so abstract or behaviouristic as to rule out the possibility of inverted spectrum etc., nor so specific and structural as to fall into chauvinism.
     From: William Lycan (Consciousness [1987], 5.4)
     A reaction: If too specific then animals and aliens won't be able to implement the necessary functions; if the theory becomes very behaviouristic, then it loses interest in the possibility of an inverted spectrum. He is certainly right to hunt for a middle ground.
17. Mind and Body / C. Functionalism / 2. Machine Functionalism
The distinction between software and hardware is not clear in computing [Lycan]
     Full Idea: Even the software/hardware distinction as it is literally applied within computer science is philosophically unclear.
     From: William Lycan (Consciousness [1987], 4.4)
     A reaction: This is true, and very important for functionalist theories of the mind. Even very volatile software is realised in 'hard' physics, and rewritable discs etc blur the distinction between 'programmable' and 'hardwired'.
17. Mind and Body / C. Functionalism / 5. Teleological Functionalism
Mental types are a subclass of teleological types at a high level of functional abstraction [Lycan]
     Full Idea: I am taking mental types to form a small subclass of teleological types occurring for the most part at a high level of functional abstraction.
     From: William Lycan (Consciousness [1987], 4.3)
     A reaction: He goes on to say that he understand teleology in evolutionary terms. There is always a gap between how you characterise or individuate something, and what it actually is. To say spanners are 'a small subclass of tools' is not enough.
Teleological characterisations shade off smoothly into brutely physical ones [Lycan]
     Full Idea: Highly teleological characterisations, unlike naïve and explicated mental characterisations, have the virtue of shading off fairly smoothly into (more) brutely physical ones.
     From: William Lycan (Consciousness [1987], 4.3)
     A reaction: Thus the purpose of a car engine, and a spark plug, and the spark, and the temperature, and the vibration of molecules show a fading away of the overt purpose, disappearing into the pointless activity of electrons and quantum levels.
17. Mind and Body / D. Property Dualism / 5. Supervenience of mind
If mind supervenes on the physical, it may also explain the physical (and not vice versa) [Fine,K]
     Full Idea: It is not enough to require that the mental should modally supervene on the physical, since that still leaves open the possibility that the physical is itself ultimately to be understood in terms of the mental.
     From: Kit Fine (Guide to Ground [2012], 1.02)
     A reaction: See Horgan on supervenience. Supervenience is a question, not an answer. The first question is whether the supervenience is mutual, and if not, which 'direction' does it go in?
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
Identity theory is functionalism, but located at the lowest level of abstraction [Lycan]
     Full Idea: 'Neuron' may be understood as a physiological term or a functional term, so even the Identity Theorist is a Functionalist - one who locates mental entities at a very low level of abstraction.
     From: William Lycan (Consciousness [1987], 5.4)
     A reaction: This is a striking observation, and somewhat inclines me to switch from identity theory to functionalism. If you ask what is the correct level of abstraction, Lycan's teleological-homuncular version refers you to all the levels.
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
We reduce the mind through homuncular groups, described abstractly by purpose [Lycan]
     Full Idea: I am explicating the mental in a reductive way, by reducing mental characterizations to homuncular institutional ones, which are teleological characterizations at various levels of functional abstraction.
     From: William Lycan (Consciousness [1987], 4.3)
     A reaction: I think this is the germ of a very good physicalist account of the mind. More is needed than a mere assertion about what the mind reduces to at the very lowest level; this offers a decent account of the descending stages of reduction.
Teleological functionalism helps us to understand psycho-biological laws [Lycan]
     Full Idea: Teleological functionalism helps us to understand the nature of biological and psychological laws, particularly in the face of Davidsonian scepticism about the latter.
     From: William Lycan (Consciousness [1987], 4.4)
     A reaction: Personally I doubt the existence of psycho-physical laws, but only because of the vast complexity. They would be like the laws of weather. 'Psycho-physical' laws seem to presuppose some sort of dualism.
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / b. Multiple realisability
A Martian may exhibit human-like behaviour while having very different sensations [Lycan]
     Full Idea: Quite possibly a Martian's humanoid behaviour is prompted by his having sensations somewhat unlike ours, despite his superficial behavioural similarities to us.
     From: William Lycan (Consciousness [1987], 5.4)
     A reaction: I think this firmly refutes the multiple realisability objection to type-type physicalism. Mental events are individuated by their phenomenal features (known only to the user), and by their causal role (publicly available). These are separate.
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / b. Limited purposes
We need a notion of teleology that comes in degrees [Lycan]
     Full Idea: We need a notion of teleology that comes in degrees.
     From: William Lycan (Consciousness [1987], 4.4)
     A reaction: Anyone who says that key concepts, such as those concerning the mind, should come 'in degrees' wins my instant support. A whole car engine requires a very teleological explanation, the spark in the sparkplug far less so.
27. Natural Reality / B. Modern Physics / 4. Standard Model / a. Concept of matter
'Physical' means either figuring in physics descriptions, or just located in space-time [Lycan]
     Full Idea: An object is specifically physical if it figures in explanations and descriptions of features of ordinary non-living matter, as in current physics; it is more generally physical if it is simply located in space-time.
     From: William Lycan (Consciousness [1987], 8.5)
     A reaction: This gives a useful distinction when trying to formulate a 'physicalist' account of the mind, where type-type physicalism says only the 'postulates of physics' can be used, whereas 'naturalism' about the mind uses the more general concept.