This paper develops co-ordinated multiple-domain supervenience relations to model determination and dependence relations between complex entities and their constituents by appealing to R-related pairs and by making use of associated isomorphisms. Supervenience relations are devised for order-sensitive and repetition-sensitive mereologies, for mereological systems that make room for many-many composition relations, as well as for hierarchical mereologies that incorporate compositional and hylomorphic structure. Finally, mappings are provided for theories that consider wholes to be prior to their parts.

My goal is to illuminate truth-making by way of illuminating the relation of making. My strategy is not to ask what making is, in the hope of a metaphysical theory about is nature. It's rather to look first to the language of making. The metaphor behind making refers to agency. It would be absurd to suggest that claims about making are claims about agency. It is not absurd, however, to propose that the concept of making somehow emerges from some feature (...) to do with agency. That's the contention to be explore in this paper. The way to do this is through expressivism,. Truth-making claims, and making-claims generfally, are claims in which we express mental states linked to our maipulation of concepts, like truth. In particular, they express disposition to undertake derivations using inference rules, in which introduction rules have a specific role. I then show how this theory explains our intuitions about truth's asymmetric dependence on being. (shrink)

Recent attempts to resolve the truthmaker objection to presentism employ a fundamentally tensed account of the relationship between truth and being. On this view, the truth of a proposition concerning the past supervenes on how things are, in the present, along with how things were, in the past. This tensed approach to truthmaking arises in response to pressure placed on presentists to abandon the standard response to the truthmaker objection, whereby one invokes presently existing entities as the supervenience base for (...) the truth of past-directed propositions. In this paper, I argue that a fundamentally tensed approach to truthmaking is implausible because it requires the existence of cross-temporal supervenience relations, which are anathema to presentism. (shrink)

Two versions of global supervenience have recently been distinguished from each other. I introduce a third version, which is more likely what people had in mind all along. However, I argue that one of the three versions is equivalent to strong supervenience in every sense that matters, and that neither of the other two versions counts as a genuine determination relation. I conclude that global supervenience has little metaphysically distinctive value.

We evaluate the scope of Jaegwon Kim's “supervenience argument” for reduction. Does its conclusion apply only to psychology, or does it generalize to all the special sciences? The claim that the supervenience argument generalizes to all the special sciences if it goes through for psychology is often raised as an objection to the supervenience argument. We argue that this objection is ambiguous. We distinguish three readings of it and suggest that some of them make it a plausible claim, whereas other (...) readings make it implausible. We suggest that this ambiguity is the result of picturing the world as being hierarchically organized in levels, with the domain of physics at the bottom and the domains of the social sciences at the top. The plausibility of the objection depends on how we think of this picture. This popular picture, we suggest, involves three different dimensions along which reduction may occur. (shrink)

In his recent book, Jaegwon Kim argues thatpsychophysical supervenience withoutpsychophysical reduction renders mentalcausation `unintelligible'. He also claimsthat, contrary to popular opinion, his argumentagainst supervenient mental causation cannot begeneralized so as to threaten the causalefficacy of other `higher-level' properties:e.g., the properties of special sciences likebiology. In this paper, I argue that none ofthe considerations Kim advances are sufficientto keep the supervenience argument fromgeneralizing to all higher-level properties,and that Kim's position in fact entails thatonly the properties of fundamental physicalparticles are causally efficacious.

Most attempts at defining or elucidating ’weak’ or ’strong’ supervenience introduce various forms of _physical indiscernibility_. After glancing at some definitions, I argue that they must fail if mental events are supposed to be genuinely causally efficacious and non-epiphenomenal. Then I elucidate Davidson’s account of supervenience (’D-supervenience’), first as an abstract relation between a predicate and a set of predicates (to be illustrated by uncontroversial examples), and then as applied to the mental/physical relation. I argue that Davidson must defend that (...) if two events are physically indiscernible in the light of a complete physical theory of the world then they must be identical in the Leibnizian sense (‘L-identity’): physical indiscernibility collapses into L-identity. It follows that mental differences between two numerically different events logically entail physical differences between them. I conclude by demonstrating how the Davidsonian account of the concept can explain some counterexamples to Moore’s approach to supervenience of moral on natural properties. The central tenet in this paper is that supervenience principles based on duplication create, rather than solve, problems in this problem area. (shrink)

A philosophical standard in the debates concerning material constitution is the case of a statue and a lump of clay, Lumpl and Goliath respectively. According to the story, Lumpl and Goliath are coincident throughout their respective careers. Monists hold that they are identical; pluralists that they are distinct. This paper is concerned with a particular objection to pluralism, the Grounding Problem . The objection is roughly that the pluralist faces a legitimate explanatory demand to explain various differences she alleges between (...) Lumpl and Goliath, but that the pluralist’s theory lacks the resources to give any such explanation. In this paper, I explore the question of whether there really is any problem of this sort. I argue (i) that explanatory demands that are clearly legitimate are easy for the pluralist to meet; (ii) that even in cases of explanatory demands whose legitimacy is questionable the pluralist has some overlooked resources; and (iii) there is some reason for optimism about the pluralist’s prospects for meeting every legitimate explanatory demand. In short, no clearly adequate statement of a Grounding Problem is extant, and there is some reason to believe that the pluralist can overcome any Grounding Problem that we haven’t thought of yet. (shrink)

The modal primitivist who takes a sentential possibility operator as her only modal resource can provide adequate representations of the familiar concepts of weak, strong and global supervenience. The primitivist representations of these concepts can be applied to provide adequate interpretations of speciflc supervenience theses which will be considered. Moreover the modal primitivist is no better and no worse placed than the genuine modal realist to present supervenience as a simple and unifled notion. Therefore, Lewis is unjustified in claiming that (...) a genuine modal realist approach to the analysis of the concept of supervenience is superior to a modal primitivist approach. (shrink)

The discussion of supervenience is replete with the use of in?nitary logical operations. For instance, one may often ?nd a supervenient property that corresponds to an in?nite collection of supervenience-base properties, and then ask about the in?nite disjunction of all those base properties. This is crucial to a well-known argument of Kim (1984) that supervenience comes nearer to reduction than many non-reductive physicalists suppose. It also appears in recent discussions such as Jackson (1998).

In §2-4, I survey three extant ways of making sense of indeterminate truth and find each of them wanting. All the later sections of the paper are concerned with showing that the most promising way of making sense of indeterminate truth is via either a theory of truthmaker gaps or via a theory of truthmaking gaps. The first intimations of a truthmaker–truthmaking gap theory of indeterminacy are to be found in Quine (1981). In §5, we see how Quine proposes to (...) solve Unger’s problem of the many via positing the possibility of groundless truth. In §6, I elaborate the truthmaker gap model of indeterminacy first sketched by Sorensen (2001, ch.11) and use it to give a reductive analysis of indeterminate truth. In §7, I briefly assess what kind of formal framework can best express the possibility of truthmaker gaps. In §8, I contrast what I dub ‘the ordinary conception of worldly indeterminacy’ with Williamson’s conception of worldly indeterminacy. In §9, I show how one can distinguish linguistic from worldly indeterminacy on a truthmaker gap conception. In §10, I briefly sketch the relationship between truthmaker gaps and ignorance. In §11, I assess whether a truthmaker gap conception of vagueness is really just a form of epistemicism. In §12, I propose that truthmaker gaps can yield a plausible model of (semantic) presupposition failure. In §13, in response to the worry that a truthmaker gap conception of indeterminacy is both parochial and controversial—since it commits us to an implausibly strong theory of truthmaking—I set forth a truthmaking gap conception of indeterminacy. In §14, I answer the worry that groundless truths, of whatever species, are just unacceptably queer. A key part of this answer is that a truthmaker–truthmaking gap model of indeterminacy turns out to be considerably less queer than any model of indeterminacy which gives up on Tarski’s T-schema for truth (and cognate schemas). (shrink)

What Robots Can and Can't Be (hereinafter Robots) is, as Selmer Bringsjord says "intended to be a collection of formal-arguments-that-border-on-proofs for the proposition that in all worlds, at all times, machines can't be minds" (Bringsjord, forthcoming). In his (1994) "Précis of What Robots Can and Can't Be" Bringsjord styles certain of these arguments as proceeding "repeatedly . . . through instantiations of" the "simple schema".

I argue that the semantic thesis of direct reference and the meta- physical thesis of the supervenience of the non-physical on the physical cannot both be true. The argument first develops a necessary condition for supervenience, a so-called conditional locality requirement, which is then shown to be incompatible with some physical object having object dependent properties, which in turn is required for the thesis of direct reference to be true. We apply this argument to formulate a new argument against the (...) claim that a thisness is analyzable in purely general terms, one that does not rely on complete symmetry nor the falsity of the identity of indiscernibles. I outline a strategy at the end how the conclusion could be avoided, at a price. (shrink)

In the first part of this article we will formulate postulates, which must be satisfied by a reasonable concept of emergence. The postulates will articulate conditions of adequacy for an appropriate explication of the concept of emergence. These conditions of adequacy are based primarily upon the philosophical and scientific history of the concept of emergence, in which the intended role of the concept is expressed. In the second part we will discuss and evaluate some candidates for the concept of emergence (...) in light of these conditions of adequacy. (shrink)

In this article, I will focus on the notion of supervenience introduced and deployed by Armstrong. The aim is to settle the issue of whether it has any fruitful applications. My conclusions are negative. Armstrong gives to his notion of supervenience a major explanatory role of telling why one need not consider certain beings as a genuine ontic expansion, if one already assumes a certain meagre set of more basic entities. On closer inspection, however, Armstrong’s notion does not clarify such (...) intuitions any further. The legitimate uses of the notion for the above purpose turn out to be redundant: the concepts of identity and partial identity can be employed instead. (shrink)

“Supervenience”, though a philosophers’ notion, has a venerable history. It was used by Leibniz to say that relations are nothing over and above the intrinsic properties of their relata, by Sidgwick to say that moral characteristics covary with non-moral ones, by Moore to say that the former are grounded in the latter, by Hare to say that they stand in some relation of strict implication and by Davidson (1970: 214) to say that “mental characteristics are in some sense dependent, or (...) supervenient, on physical characteristics” (cf. Kim 1990: 136–138). Here is what Robert Stal- naker (1996) says about the “intuitive ideas that motivate the attempts to articulate concepts of supervenience”:

To say that the A-properties or facts are supervenient on the B-properties or facts is
to say that the A-facts are, in a sense, redundant, since they are already implicitly
specified when one has specified all the B-facts. A-facts are not fact ‘over and above’
the B-facts, not something ‘separate’. To state an A-fact, or ascribe an A-property, is
to describe the same reality in a different way, at a different level of abstraction, by
carving the same world at different joints. (Stalnaker 1996: 87)

Kim (1990: 140) identifies three key features of our concept of supervenience: covariance, depend- ency and nonreducibility (where “non-reducibility” means that the supervenience of A-features on B-features is consistent with the former not being reducible to the latter).¹ Explanation, sometimes required for reducibility, is absent : supervenience claims state that some patterns of property covariation hold, without explaining why they hold.². (shrink)

Jaegwon Kim is one of the most preeminent and most influential contributors to the philosophy of mind and metaphysics. This collection of essays presents the core of his work on supervenience and mind with two sets of postscripts especially written for the book. The essays focus on such issues as the nature of causation and events, what dependency relations other than causal relations connect facts and events, the analysis of supervenience, and the mind-body problem. A central problem in the philosophy (...) of mind is the problem of explaining how the mind can causally influence bodily processes. Professor Kim explores this problem in detail, criticizes the nonreductionist solution of it, and offers a modified reductionist solution of his own. Both professional philosophers and their graduate students will find this an invaluable collection. (shrink)

This paper explores the explanatory adequacy of lower-level theories when their higher-level counterparts are irreducible. If some state or entity described by a high-level theory supervenes upon and is realized in events, entities, etc. described by the relevant lower-level theory, does the latter fully explain the higher-level event even if the higher-level theory is irreducible? While the autonomy of the special sciences and the success of various eliminativist programs depends in large part on how we answer this question, neither the (...) affirmative or negative answer has been defended in detail. I argue, contra Putnam and others, that certain facts about causation and explanation show that such lower-level theories do explain. I also argue, however, that there may be important questions about counterfactuals and laws that such explanations cannot answer, thereby showing their partial inadequacy. I defend the latter claim against criticisms based on eliminativism about higher-level explanations and sketch a number of empirical conditions that lower-level explanations would have to meet to fully explain higher-level events. (shrink)

Computers have far to go to match human strengths, and our estimates will depend on analogy and extrapolation. Fortunately, these are grounded in the first bit of the journey, now behind us. Thirty years of computer vision reveals that 1 MIPS can extract simple features from real-time imagery--tracking a white line or a white spot on a mottled background. 10 MIPS can follow complex gray-scale patches--as smart bombs, cruise missiles and early self-driving vans attest. 100 MIPS can follow moderately unpredictable (...) features like roads--as recent long NAVLAB trips demonstrate. 1,000 MIPS will be adequate for coarse-grained three-dimensional spatial awareness--illustrated by several mid-resolution stereoscopic vision programs, including my own. 10,000 MIPS can find three-dimensional objects in clutter--suggested by several "bin-picking" and high-resolution stereo-vision demonstrations, which accomplish the task in an hour or so at 10 MIPS. The data fades there--research careers are too short, and computer memories too small, for significantly more elaborate experiments. (shrink)

Kim argues that weak and global supervenience are too weak to guarantee any sort of dependency. Of the three original forms of supervenience, strong, weak, and global, each commonly wielded across all branches of philosophy, two are thus cast aside as uninteresting or useless. His arguments, however, fail to appreciate the strength of weak and global supervenience. I investigate what weak and global supervenience relations are functionally and how they relate to strong supervenience. For a large class of properties, weak (...) and global supervenience are equivalent to strong supervenience. I then offer a series of arguments showing that it is precisely because of their strength, not their weakness, that both weak and global supervenience are useless in characterizing any dependencies of interest to philosophers. (shrink)

Weak and global supervenience are equivalent to strong supervenience for intrinsic properties. Moreover, weak and global supervenience relations are always mere parts of a more general underlying strong supervenience relation. Most appeals to global supervenience, though, involve spatio-temporally relational properties; but here too, global and strong supervenience are equivalent. _Functionally_ we can characterize merely weak and global supervenience as follows: for A to supervene on B requires that at all worlds an individual’s A properties be a function of its B (...) properties, where this function varies from world to world. But what are the. (shrink)

What is the relation between weak and strong supervenience? Kim claims that weak supervenience is weaker, that it fails to entail strong supervenience. But he mistakenly infers this in virtue of logical form. In fact, one line of reasoning suggests weak supervenience _does_ entail strong. Following this line, we see that weak and strong supervenience.

Nonreductive materialism is the dominant position in the philosophy of mind. The global supervenience of the mental on the physical has been thought by some to capture the central idea of nonreductive materialism: that mental properties are ultimately dependent on, but irreducible to, physical properties. But Jaegwon Kim has argued that global psychophysical supervenience does not provide the materialist with the desired dependence of the mental on the physical, and in general that global supervenience is too weak to be an (...) interesting dependence relation. We argue that these arguments are unsound. Along the way, we clarify the relationship between global and strong supervenience, and show clearly what sort of dependence global supervenience provides. (shrink)

This paper presents an argument to the effect that the relation of exact similarity with respect to properties that are supervenient cannot be transitive. The point of departure is that, while a difference in respect of supervenient properties entails a difference in respect of subvenient properties, exact similiarity in respect of supervenient properties is compatible with differences in respect of subvenient properties. It is logically possible that two such sets of differences that each individually is insufficient for a difference as (...) regards the supervenient property together are sufficient for such a supervenient difference. This possibility claim is incompatible with the necessity claim entailed by the transitivity of exact similarity. Several objections to this argument are then considered. (shrink)

Abstract. Alleged counter-examples based on conceptual thought-experiments, including those involving sense or content, have no force against physicalist supervenience theses properly construed. This is largely because of their epistemological status and their modal status. Still, there are empirical examples that do contradict Kim-style theses, due to the latter's individualism. By contrast, non-individualist supervenience, such as "global" supervenience, remains unscathed, a possibility overlooked by Lynne Baker, as is clear from a physicalist account of sense in the case of non-human biological adaptations (...) that are for producing things about affairs in the world. (shrink)

After some preliminary clarifications, arguments for the supposed asymmetry of supervenience and determination, such as they are, are shown to be unsound. An argument against the supposed asymmetry is then constructed and defended against objections. This is followed by explanations of why the intuition of asymmetry is nonetheless so entrenched, and of how the asymmetric ontological priority of the physical over the non-physical can be understood without the supposed asymmetry of supervenience and determination.

Supervenience is one of the 'hot discoveries' of recent analytic philosophy, and this collection of new essays on the topic represents a 'state of the art' examination of it and its application to major areas of philosophy. The interest in supervenience has much to do with the flexibility of the concept. To say that x supervenes on y indicates a degree of dependence without committing one to the view that x can be reduced to y. Thus supervenience is a relationship (...) that has the potential of replacing the traditional notion of dependence, while performing at least part of the function reductive relationships were supposed to fulfil. Moreover, since it is a topic-neutral concept, supervenience has a wide range of applicability. (shrink)

Theodore Sider distinguishes two notions of global supervenience: strong global supervenience and weak global supervenience. He then discusses some applications to general metaphysical questions. Most interestingly, Sider employs the weak notion in order to undermine a familiar argument against coincident distinct entities. In what follows, I reexamine the two notions and distinguish them from a third, intermediate, notion (intermediate global supervenience). I argue that (a) weak global supervenience is not an adequate notion of dependence; (b) weak global supervenience does not (...) capture certain assumptions about coincidence relations; (c) these assumptions are better accommodated by the stronger notion of intermediate global supervenience; (d) intermediate global supervenience, however, is also not an adequate notion of dependence; and (e) strong global supervenience is an adequate notion of dependence. It also fits in with anti-individualism about the mental. It does not, however, serve to rebut arguments against coincident entities. (shrink)

Jaegwon Kim contends that global supervenience is consistent with non-materialistic cases. Paull and Sider, Horgan, as well as Kim, attempt to defend it from these charges. It is shown here that their defense is only partially successful. Their defense meets one challenge to global supervenience-the hydrogen-atom case-but fails to meet other, `local', cases. It is suggested that the other challenges can be met if global supervenience is combined with weak supervenience. The combination of global and weak supervenience constitutes a viable (...) picture of psychophysical relations, and is especially attractive to nonreductive materialists who are also anti-individualists. (shrink)

The existence and importance of supervenience principles for identity across times and worlds have been noted, but insufficient attention has been paid to their precise nature. Such attention is repaid with philosophical dividends. The issues in the formulation of the supervenience principles are two. The first involves the relevant variety of supervenience: that variety is global, but there are in fact two versions of global supervenience that must be distinguished. The second involves the subject matter: the names “identity over time” (...) and “identity across worlds” are misnomers, for in neither case is identity at issue. The philosophical dividends then follow. Nathan Salmon’s argument that identity over time needs no “grounds” in matters of qualitative fact can be answered, as can an argument offered by many, that coincident objects (such as statues and lumps of clay) would require objectionably ungrounded differences in identities across times and worlds. (shrink)

According to the thesis of modal supervenience it is impossible that two objects be alike in their actual properties but differ in their modal properties. Some have argued that the concept of supervenience is inapplicable to the modal-actual case. Some have argued that the thesis of modal supervenience is trivially true. These arguments are refuted; a thesis of the supervenience of the modal on the actual is meaningful and nontrivial. The significance of the thesis is nevertheless limited by the problem (...) of finding a nonmodal specification for the purported subvenient properties. (shrink)

I show how existing concepts of supervenience relate to two more fundamental ontological relations: determination and dependence. Determination says that the supervenient properties of a thing are a function of its base properties, while dependence says that having a supervenient property implies having a base property. I show that most varieties of supervenience are either determination relations or determination relations conjoined with dependence relations. In the process of unpacking these connections I identify limitations of existing concepts of supervenience and provide (...) ways of overcoming them. What results is a more precise, flexible, and powerful set of tools for relating sets of properties than current concepts of supervenience provide. I apply these tools to a recalcitrant problem in the physicalism literature – the problem of extras. (shrink)