Metaphysical orthodoxy maintains that the relation of ontological dependence is irreflexive, asymmetric, and transitive. The goal of this paper is to challenge that orthodoxy by arguing that ontological dependence should be understood as non- symmetric, rather than asymmetric. If we give up the asymmetry of dependence, interesting things follow for what we can say about metaphysical explanation— particularly for the prospects of explanatory holism.

Few would deny that something ontologically depends on something else. Given that something depends on something, what depends on what? Huayan Buddhism 華嚴宗, a prominent Chinese Buddhist school, is known for its extensive thesis of interdependence, according to which everything depends on everything else. This intriguing thesis is entangled with seemingly paradoxical claims that everything is not only identified with everything else but also contained within it. Moreover, the radical thesis of interdependence entails that dependence is pervasive and (...) class='Hi'>symmetric. In this paper, I first develop a contemporary interpretation of Huayan interdependence by employing the definitional account of essence and the essence-based account of dependence. Through these contemporary resources, I elucidate and unify the theses of interdependence, mutual identity, and mutual containment within Huayan Buddhism. I then propose a unique framework of ontological dependence that suggests varying degrees of ontological dependence, aimed at accommodating and explaining away our intuitions against pervasive and symmetric dependence. By contemporizing Huayan Buddhism, I explore its potential and facilitate engagement between contemporary metaphysics and Huayan Buddhism. (shrink)

When an entity ontologically depends on another entity, the former ‘presupposes’ or ‘requires’ the latter in some metaphysical sense. This paper defends a novel view, Dependence Deflationism, according to which ontological dependence is what I call an aggregative cluster concept: a concept which can be understood, but not fully analysed, as a ‘weighted total’ of constructive and modal relations. The view has several benefits: it accounts for clear cases of ontological dependence as well as the source of (...) disagreement in controversial ones; it gives a nice story about the evidential relevance of modal, mereological and set-theoretic facts to ontological dependence; and it makes sense of debates over the relation's formal properties. One important upshot of the deflationary account is that questions of ontological dependence are generally less deep and less interesting than usually thought. (shrink)

This paper develops a novel theory of abstraction—what we call collective abstraction. The theory solves a notorious problem for noneliminative structuralism. The noneliminative structuralist holds that in addition to various isomorphic systems there is a pure structure that can be abstracted from each of these systems; but existing accounts of abstraction fail for nonrigid systems like the complex numbers. The problem with the existing accounts is that they attempt to define a unique abstraction operation. The theory of collective abstraction instead (...) simultaneously defines a collection of distinct abstraction operations, each of which maps a system to its corresponding pure structure. The theory is precisely formulated in an essentialist language. This allows us to throw new light on the question to what extent structuralists are committed to symmetric dependence. Finally, we apply the theory of collective abstraction to solve a problem about converse relations. (shrink)

We put forward a new, ‘coherentist’ account of quantum entanglement, according to which entangled systems are characterized by symmetric relations of ontological dependence among the component particles. We compare this coherentist viewpoint with the two most popular alternatives currently on offer—structuralism and holism—and argue that it is essentially different from, and preferable to, both. In the course of this article, we point out how coherentism might be extended beyond the case of entanglement and further articulated.

It is commonly assumed that grounding relations are asymmetric. Here I develop and argue for a theory of metaphysical structure that takes grounding to be nonsymmetric rather than asymmetric. Even without infinite descending chains of dependence, it might be that every entity is grounded in some other entity. Having first addressed an immediate objection to the position under discussion, I introduce two examples of symmetric grounding. I give three arguments for the view that grounding is nonsymmetric (I call (...) this view ‘metaphysical interdependence’). These arguments are: (i) that metaphysical interdependence is the only theory able to reconcile competing intuitions about grounding; (ii) that it is the only theory consistent with both ‘gunk’ and ‘junk’; and (iii) that offers a satisfactory solution to the problem concerning whether or not grounding is itself grounded. (shrink)

We put forward a new, ‘coherentist’ account of quantum entanglement, according to which entangled systems are characterized by symmetric relations of ontological dependence among the component particles. We compare this coherentist viewpoint with the two most popular alternatives currently on offer—structuralism and holism—and argue that it is essentially different from, and preferable to, both. In the course of this article, we point out how coherentism might be extended beyond the case of entanglement and further articulated.

In this volume Axel Honneth deepens and develops his highly influential theory of recognition, showing how it enables us both to rethink the concept of justice and to offer a compelling account of the relationship between social reproduction and individual identity formation. Drawing on his reassessment of Hegel’s practical philosophy, Honneth argues that our conception of social justice should be redirected from a preoccupation with the principles of distributing goods to a focus on the measures for creating symmetrical relations of (...) recognition. This theoretical reorientation has far-reaching implications for the theory of justice, as it obliges this theory to engage directly with problems concerning the organization of work and with the ideologies that stabilize relations of domination. In the final part of this volume Honneth shows how the theory of recognition provides a fruitful and illuminating way of exploring the relation between social reproduction and identity formation. Rather than seeing groups as regressive social forms that threaten the autonomy of the individual, Honneth argues that the ‘I’ is dependent on forms of social recognition embodied in groups, since neither self-respect nor self-esteem can be maintained without the supportive experience of practising shared values in the group. This important new book by one of the leading social philosophers of our time will be of great interest to students and scholars in philosophy, sociology, politics and the humanities and social sciences generally. (shrink)

Our ordinary causal concept seems to fit poorly with how our best physics describes the world. We think of causation as a time-asymmetric dependence relation between relatively local events. Yet fundamental physics describes the world in terms of dynamical laws that are, possible small exceptions aside, time symmetric and that relate global time slices. My goal in this paper is to show why we are successful at using local, time-asymmetric models in causal explanations despite this apparent mismatch with (...) fundamental physics. In particular, I will argue that there is an important connection between time asymmetry and locality, namely: understanding the locality of our causal models is the key to understanding why the physical time asymmetries in our universe give rise to time asymmetry in causal explanation. My theory thus provides a unified account of why causation is local and time asymmetric and thereby enables a reply to Russell’s famous attack on causation. (shrink)

I outline a heretofore neglected difference between manipulation scenarios and merely deterministic ones. Plausible scientific determinism does not imply that the relevant prior history of the universe is independent of us, while manipulation does. Owing to sensitive dependence of physical outcomes upon initial conditions, in order to trace a deterministic history, a microphysical level of analysis is required. But on this level physical laws are time-symmetrically deterministic, and causality, conceived asymmetrically, disappears. I then consider a revised scenario to resurrect (...) the threat of manipulation even in the presence of time-symmetry and sensitive dependence upon initial conditions. To do so we posit a manipulator containing all the information of the manipulated and time-symmetrically related to him. The new scenario violates special relativity, but even waiving that objection, the scenario faces a dilemma. I argue that the manipulator either lacks agency enough to manipulate the target, or can integrate thoughts separated by long time spans into a single decision. In the latter case, the 'manipulated agent' disappears into the manipulator, making it the story of just one agent. (shrink)

Cooperation has been analyzed primarily in the context of theories of collective intentionality. These discussions have primarily focused on interactions between pairs or small groups of agents who know one another personally. Cooperative game theory has also been used to argue for a form of cooperation in large unorganized groups. Here I consider a form of minimal cooperation that can arise among members of potentially large organized groups (e.g., corporate teams, committees, governmental bodies). I argue that members of organized groups (...) can be minimally cooperative in virtue of playing roles in an organizational structure and having a common goal. The minimal form of cooperation I argue for is not grounded in collective intentions involving symmetric mental states, special collective intentional modes, or joint commitments. More generally, I show how considering minimal cooperation in the context of organized groups provides an opportunity to reevaluate the extent to which the social world and social phenomena depend on internalist mental factors (e.g., intentions, beliefs) and externalist non-mental factors (e.g., documents, laws, job descriptions). The view of minimal cooperation among members of organized groups I offer provides support for an externalist rather than internalist theory of at least one social phenomenon. (shrink)

According to our understanding of the everyday physical world, observable phenomena are underpinned by persistent objects that can be reidentified across time by observation of their distinctive properties. This understanding is reflected in classical mechanics, which posits that matter consists of persistent, reidentifiable particles. However, the mathematical symmetrization procedures used to describe identical particles within the quantum formalism have led to the widespread belief that identical quantum particles lack either persistence or reidentifiability. However, it has proved difficult to reconcile these (...) assertions with the fact that identical particles are routinely assumed to be reidentifiable in particular circumstances. For example, when two electrons move through a bubble chamber, each is said to generate a sequence of bubbles that is caused by one and the same particle. Moreover, neither of these assertions accounts for the mathematical form of the symmetrization procedures used to describe identical particles within the quantum framework, leaving open theoretical possibilities other than bosonic and fermionic behavior, such as paraparticles, which do not appear to be realized in nature. Here we propose the novel idea that both persistence and nonpersistence models must be employed in order to fully account for the behaviour of identical particles. Thus, identical particles are neither persistent nor nonpersistent. We prove the viability of this viewpoint by showing how Feynman's and Dirac's symmetrization procedures arise through a synthesis of a quantum treatment of these models, and by showing how reidentifiability emerges in a context-dependent manner. We further show that the persistence and nonpersistence models satisfy the key characteristics of Bohr's concept of complementarity, and thereby propose that the behavior of identical particles is a manifestation of a persistence-nonpersistence complementarity, analogous to Bohr's wave-particle complementarity for individual particles. Finally, we construct a precise parallel between these two complementarities, and detail their conceptual similarities and dissimilarities. (shrink)

In this paper I present and evaluate van Inwagen’s famous Consequence Argument, as presented in An Essay on Free Will. The grounds for the incompatibility of freewill and determinism, as argued by van Inwagen, is dependent on our actions being logical consequences of events outside of our control. Particularly, his arguments depend upon, in one guise or another, the transference of the modal property of not being possibly rendered false through the logical consequence relation, i.e. the β-principle. I argue that, (...) due to the symmetric nature of determinism, van Inwagen is exposed to what I call “reversibility arguments” in the literature. Such arguments reverse the β-principle and start from our apparent control over our own actions to our control over the initial conditions. Since van Inwagen does not endorse a particular theory of laws or logical consequence, he is open to such counterarguments. The plausibility of such reversibility arguments depends on what would be called a Wittgensteinian conception of logical consequence. In the _Remarks on the Foundation of Mathematics_, one of Wittgenstein’s main concerns is the normativity of logical inference i.e. proof. Such concerns with normativity and rule-following are generally a feature of his later philosophy. In the _Remarks_ Wittgenstein resists a conception of logical deduction which places the source of normativity outside of human practice. (shrink)

Electrical brain activity modulation in terms of changes in its intensity and spatial distribution is a function of age and task demand. However, the dynamics of brain modulation is unknown when it depends on external factors such as training. The aim of this research is to verify the effect of deductive reasoning training on the modulation in the brain activity of healthy younger and older adults ( (mean age of 21 ± 3.39) and (mean age of 68.92 ± 5.72)). The (...) analysis reveals the benefits of training, showing that it lowers cerebral activation while increasing the number of correct responses in the trained reasoning task (). The brain source generators were identified by time-averaging low-resolution brain electromagnetic tomography (sLORETA) current density images. In both groups, a bilateral overactivation associated with the task and not with age was identified. However, while the profile of bilateral activation in younger adults was symmetrical in anterior areas, in the older ones, the profile was located asymmetrically in anterior and posterior areas. Consequently, bilaterality may be a marker of how the brain adapts to maintain cognitive function in demanding tasks in both age groups. However, the differential bilateral locations across age groups indicate that the tendency to brain modulation is determined by age. (shrink)

The topics approached in the 52 papers included in this book are: neutrosophic sets; neutrosophic logic; generalized neutrosophic set; neutrosophic rough set; multigranulation neutrosophic rough set (MNRS); neutrosophic cubic sets; triangular fuzzy neutrosophic sets (TFNSs); probabilistic single-valued (interval) neutrosophic hesitant fuzzy set; neutro-homomorphism; neutrosophic computation; quantum computation; neutrosophic association rule; data mining; big data; oracle Turing machines; recursive enumerability; oracle computation; interval number; dependent degree; possibility degree; power aggregation operators; multi-criteria group decision-making (MCGDM); expert set; soft sets; LA-semihypergroups; single valued (...) trapezoidal neutrosophic number; inclusion relation; Q-linguistic neutrosophic variable set; vector similarity measure; fundamental neutro-homomorphism theorem; neutro-isomorphism theorem; quasi neutrosophic triplet loop; quasi neutrosophic triplet group; BE-algebra; cloud model; Maclaurin symmetric mean; pseudo-BCI algebra; hesitant fuzzy set; photovoltaic plan; decision-making trial and evaluation laboratory (DEMATEL); Choquet integral; fuzzy measure; clustering algorithm; and many more. (shrink)

The principle of Information Conservation or Determinism is a governing assumption of physical theory. Determinism has counterfactual consequences. It entails that if the present were different, then the future would be different. But determinism is temporally symmetric: it entails that if the present were different, the past would also have to be different. This runs contrary to our commonsense intuition that what has happened in the future depends on the past in a way the past does not depend on (...) the future. To understand how this can be so we observe that while the truth of some counterfactuals is guaranteed by the laws of logic or the laws of nature, some are not. It is among the latter contingent, counterfactuals that we find temporal asymmetry. It is this asymmetry that gives causation a temporal direction. The temporal asymmetry of these counterfactuals is explained by the fact that the dynamical laws of nature are logically irreversible functions from partial states of the world onto other partial states. (Logical reversibility is not to be confused, though it too often is, with time-reversal invariance). Though these irreversible laws are locally indeterministic, they can sum to give a globally deterministic description of the world. This combination of global determinism and local indeterminism gives rise to contingent counterfactual dependence and gives that dependence a direction. That direction is independent of the direction of entropy. The direction of contingent counterfactual dependence is time's arrow. (shrink)

In this work we study dimensional theoretical properties of some a±ne dynamical systems. By dimensional theoretical properties we mean Hausdor® dimension and box- counting dimension of invariant sets and ergodic measures on theses sets. Especially we are interested in two problems. First we ask whether the Hausdor® and box- counting dimension of invariant sets coincide. Second we ask whether there exists an ergodic measure of full Hausdor® dimension on these invariant sets. If this is not the case we ask the (...) question, whether at least the variational principle for Haus- dor® dimension holds, which means that there is a sequence of ergodic measures such that their Hausdor® dimension approximates the Hausdor® dimension of the invariant set. It seems to be well accepted by experts that these questions are of great importance in developing a dimension theory of dynamical systems (see the book of Pesin about dimension theory of dynamical systems [PE2]). Dimensional theoretical properties of conformal dynamical systems are fairly well understood today. For example there are general theorems about conformal repellers and hyperbolic sets for conformal di®eomorphisms (see chapter 7 of [PE2]). On the other hand the existence of two di®erent rates of expansion or contraction forces problems that are not captured by a general theory this days. At this stage of de- velopment of the dimension theory of dynamical systems it seems natural to study non conformal examples. This is the ¯rst step to understand the mechanisms that determine dimensional theoretical properties of non conformal dynamical systems. A±ne dynamical systems represent simple examples of non conformal systems. They are easy to de¯ne, but studying their dimensional theoretical properties does never- theless provide challenging mathematical problems and exemplify interesting phe- nomena. We consider here a special class of self-a±ne repellers in dimension two, depending on four parameters (see 2.1.). Furthermore we study a class of attractors of piecewise a±ne maps in dimension three depending on four parameters as well. The last object of our work are projections of these maps that are known as gener- alized Baker's transformations (see 2.2.). The contents of our work is the following: In chapter two we give an overview about some main results in the area of di- mension theory of a±ne dynamical systems and de¯ne the systems we study in this work. We will explain, what is known about the dimensional theoretical properties of these systems and describe what our new results are. In chapter three we then apply symbolic dynamics to our systems. We will introduce explicit shift codings 4 and ¯nd representations of all ergodic measures for our systems using these codings. From chapter four to chapter eight we study dimensional theoretical properties, which our systems generally or generically have. In chapter four we will prove a formula for the box-counting dimension of the repellers and the attractors (see the- orem 4.1.). Then in chapter ¯ve we apply general dimensional theoretical results for ergodic measures found by Ledrappier and Young [LY] and Barreira, Schmeling and Pesin [BPS] to our systems. These results relate the dimension of ergodic measures to metric entropy and Lyapunov exponents. Using this approach we will be able to reduce questions about the dimension of ergodic measures in our context to ques- tions about certain overlapping and especially overlapping self-similar measures on the line. These overlapping self-similar measures are studied in chapter six. Our main theorem extends a result of Peres and Solomyak [PS2] concerning the absolute continuity resp. singularity of symmetric self-similar measures to asymmetric ones (see theorem 6.1.3.). In chapter seven we bring our results together. We prove that we generically (in the sense of Lebesgue measure on a part of the parameter space) have the iden- tity of box-counting and Hausdor® dimension for the repellers and the attractors. (see theorem 7.1.1. and corollary 7.1.2.). This result suggest that one can expect that the identity of box-counting dimension and Hausdor® dimension holds at least generically in some natural classes of non conformal dynamical systems. Furthermore we will see in chapter seven that there generically exists an ergodic measure of full Hausdor® dimension for the repellers. On the other hand the vari- ational principle for Hausdor® dimension is not generic for the attractors. It holds only if we assume a certain symmetry (see theorem 7.1.1.). For generalized Baker's transformations we will ¯nd a part of the parameter space where there generically is an ergodic measure of full dimension and a part where the variational principle for Hausdor® dimension does not hold (see theorem 7.1.3.). Roughly speaking the reason why the variational principle does not hold here is, that if there exists both a stable and an unstable direction one can not generically maximize the dimension in the stable and in the unstable direction at the same time. In an other setting this phenomenon was observed before by Manning and McCluskey [MM]. In chapter eight we extend some results of the last section to invariant sets that correspond to special Markov chains instead of full shifts (see theorem 8.1.1.). In the last two chapters of our work we are interested in number theoretical excep- tions to our generic results. The starting point of our considerations in section nine are results of ErdÄos [ER1] and Alexander and Yorke [AY] that establish singularity and a decrease of dimension for in¯nite convolved Bernoulli measures under special conditions. Using a generalized notion of the Garsia entropy ([GA1/2]) we are able 5 to understand the consequences of number theoretical peculiarities in broader class of overlapping measures (see theorem 9.1.1.). In chapter ten we then analyze number theoretical peculiarities in the context of our dynamical systems. We restrict our attention to a symmetric situation where we generically have the existence of a Bernoulli measure of full dimension and the identity of Hausdor® and box-counting dimension for all of our systems. In the ¯rst section of chapter ten we ¯nd parameter values such that the variational principle for Hausdor® dimension does not hold for the attractors and for the Fat Baker's transformations (see theorem 10.1.1.). These are the ¯rst known examples of dynamical systems for which the variational principle for Hausdor® dimension does not hold because of number theoretical peculiarities of parameter values. For the repellers we have been able to show that under certain number theoretical conditions there is at least no Bernoulli measure of full Hausdor® dimension; the question if the variational principle for Hausdor® dimension holds remains open in this situation. In the second section of chapter ten we will show that the identity for Hausdor® and box-counting dimension can drops because there are number theoretical pecu- liarities. In the context of Weierstrass-like functions this phenomenon was observed by Przytycki and Urbanski [PU]. Our theorem extends this result to a larger class of sets, invariant under dynamical systems (see theorem 10.2.1). At the end of this work the reader will ¯nd two appendices, a list of notations and the list of references. In appendix A we introduce the notions of dimension we use in this work and collect some general facts in dimension theory. In appendix B we state the facts about Pisot-Vijayarghavan number, we need in our analysis of number theoretical peculiarities. The list of notations contains general notations and a table with a summary of notations we use to describe the dynamical systems that we study. Acknowledgments I wish to thank my supervisor JÄorg Schmeling for a lot of valuable discussion and all his help. Also thanks to Luis Barreira for his great hospitality in Lisboa and many interesting comments. This work was done while I was supported by "Promotionstipendium gem. NaFÄoG der Freien UniversitÄat Berlin". (shrink)

If episodic memory is constructive, experienced time is also a construct. We develop an event-based formalism that replaces the traditional objective, agent-independent notion of time with a constructive, agent-dependent notion of time. We show how to make this agent-dependent time entropic and hence well-defined. We use sheaf-theoretic techniques to render agent-dependent time functorial and to construct episodic memories as sequences of observed and constructed events with well-defined limits that maximize the consistency of categorizations assigned to objects appearing in memories. We (...) then develop a condensed formalism that represents episodic memories as pure constructs from single events. We formulate an empirical hypothesis that human episodic memory implements a particular time-symmetric constructive functor, and discuss possible experimental tests. (shrink)

SYMMETRY IN PHYSICS: FROM PROPORTION AND HARMONY TO THE TERM OF METALENGUAJE -/- Ruth Castillo Universidad Central de Venezuela -/- The revolutionary changes in physics require a careful exploration of the way in which concepts depend on the theoretical structure in which they are immerse. A historical reconstruction allows us to show how the notion of symmetry evolves from the definition as proportion and harmony to its consideration within the language of contemporary physics, as a linguistic meta-theoretical requirement in physical (...) theories. In contemporary terms, symmetry is a fundamental category of research to which the usual categories of the natural sciences can be reduce in: space, time, causality, interaction, matter, strength, etc ... Thus, symmetry is a concept with different meanings: heuristically symmetric models inspire scientists in the search for solutions to different problems. Methodologically, symmetric structures are use to make theories, laws with invariant properties. A description of nature in terms of symmetric structures and symmetry ruptures seems to be the proper way to describe the complexity of reality. (shrink)

We present a novel approach to defining the mathematical constant π through the infinite den- sification of a sweeping net, which approximates a circle as the net becomes infinitely dense. By developing and enhancing notation related to sweeping nets and saddle maps, we establish a rigor- ous framework for expressing π in terms of the densification process using reverse integration. This method, inspired by the concept that numbers ”come from infinity,” leverages a reverse integral approach to model the transition from (...) infinite densification to the finite circle. Our work not only offers a new perspective on the geometric interpretation of π but also provides insights into reverse integration techniques and their applications in mathematical analysis. (shrink)

It is a metaphysical orthodoxy that interesting non-symmetric relations cannot be reduced to symmetric ones. This orthodoxy is wrong. I show this by exploring the expressive power of symmetric theories, i.e. theories which use only symmetric predicates. Such theories are powerful enough to raise the possibility of Pythagrapheanism, i.e. the possibility that the world is just a vast, unlabelled, undirected graph.

The existence of object-dependent thoughts has been doubted on the grounds that reference to such thoughts is unnecessaryor 'redundant'in the psychological explanation of intentional action.This paperarguesto the contrary that reference to object-dependent thoughts is necessary to the proper psycho- logical explanationof intentional action upon objects. Section I sets out the argument for the alleged explanatory redundancy of object-dependent thoughts; an argument which turns on the coherenceof an alternative'dual-component' model of explanation.Section II rebutsthis argumentby showing the dual- component model to be (...) incoherent precisely because of its exclusion of object-dependentthoughts. Section III concludes with a conjectureabout the furtherpossible significanceof object-dependenthoughtsfor the predictionof action. (shrink)

There are two ways to characterize symmetric relations. One is intensional: necessarily, _Rxy_ iff _Ryx_. In some discussions of relations, however, what is important is whether or not a relation gives rise to the same completion of a given type (fact, state of affairs, or proposition) for each of its possible applications to some fixed relata. Kit Fine calls relations that do ‘strictly symmetric’. Is there is a difference between the notions of necessary and strict symmetry that would (...) prevent them from being used interchangeably in such discussions? I show that there is. While the notions coincide assuming an intensional account of relations and their completions, according to which relations/completions are identical if they are necessarily coinstantiated/equivalent, they come apart assuming a hyperintensional account, which individuates relations and completions more finely on the basis of relations’ real definitions. I establish this by identifying two definable relations, each of which is necessarily symmetric but nonetheless results in distinct facts when it applies to the same objects in opposite orders. In each case, I argue that these facts are distinct because they have different grounds. (shrink)

Linguistic expressions frequently make reference to the situation in which they are uttered. In fact, there are expressions whose whole point of use is to relate to their context of utterance. It is such expressions that this article is primarily about. However, rather than presenting the richness of pertinent phenomena (cf. Anderson & Keenan 1985), it concentrates on the theoretical tools provided by the (standard) two-dimensional analysis of context dependence, essentially originating with Kaplan (1989)--with a little help from Stalnaker (...) (1978) and Lewis (1979a, 1980), and various predecessors including Kamp (1971) and Vlach (1973). The current article overlaps in content with the account in Zimmermann (1991), which is however much broader (and at times deeper).. (shrink)

McMahan’s own example of a symmetrical defense case, namely his tactical bomber example, opens the door wide open for soldiers to defend their fellow-citizens (on grounds of their special obligations towards them) even if as part of this defense they target non-liable soldiers. So the soldiers on both sides would be permitted to kill each other and, given how McMahan defines “justification,” they would also be justified in doing so and hence not be liable. Thus, we arrive, against McMahan’s intentions, (...) at a moral equality of combatants. In addition, his own account of liability cannot deal adequately with symmetrical defense cases in the first place. This undermines his presupposition that justification defeats liability, which is central to his defense of the moral inequality of combatants. I shall argue that McMahan’s attempts to counter these objections fail and that therefore his general claim of the moral inequality of combatants remains unpersuasive. (shrink)

We extend Barbanera and Berardi's symmetric lambda calculus [2] to second-order classical propositional logic and prove its strong normalization.

This essay provides an opinionated survey of some recent developments in the literature on ontological dependence. Some of the most popular definitions of ontological dependence are formulated in modal terms; others in non-modal terms (e.g., in terms of the explanatory connective, ‘because’, or in terms of a non-modal conception of essence); some (viz., the existential construals of ontological dependence) emphasise requirements that must be met in order for an entity to exist; others (viz., the essentialist construals) focus (...) on conditions that must be satisfied in order for an entity to be the very entity it is at each time at which it exists; some are rigid, in the sense that they concern a relation between particular entities; others are generic, in the sense that they involve only a relation between an entity and some entities or other, which bear certain characteristics. I identify three potential measures of success with respect to which these different definitions of ontological dependence can be evaluated and consider the question of how well they in fact meet these desiderata. I end by noting that certain challenges face even the most promising essentialist construals of ontological dependence. (shrink)

Why must incompatibility be symmetric? An odd question, but recent work in the semantics of non-classical logic, which appeals to the notion of incompatibility as a primitive and defines negation in terms of it, has brought this question to the fore. Francesco Berto proposes such a semantics for negation argues that, since incompatibility must be symmetric, double negation introduction must be a law of negation. However, he offers no argument for the claim that incompatibility really must be (...) class='Hi'>symmetric. Here, I provide such an argument, showing that, insofar as we think of incompatibility in normative pragmatic terms, it can play its basic pragmatic function only if it is symmetric. The upshot is that we can vindicate Berto’s claim about the symmetry of incompatibility but only if we, pace Berto, think about incompatibility, in the first instance, as a pragmatic relation between acts rather than a semantic relation between contents. (shrink)

Various philosophers have wanted to move from a (P.F.) “Strawsonian” understanding of the “practices of moral responsibility” to a non-skeptical result. I focus on a strategy moving from a “response-dependent” theory of responsibility. I aim to show that a key analogy associated with this strategy fails to support a compatibilist result. It seems clear that nothing could show that nothing we have been laughing at has really been funny. If “the funny” is similar to “the blameworthy”, then perhaps it would (...) follow that nothing could show that no one we have ever blamed has really been blameworthy. The comparison is interesting, but inconclusive: even if we grant that these properties are normatively similar, the latter has substantive empirical presuppositions, whereas the former does not. One important upshot: even if the standards operative in our practices cannot be mistaken, it could nevertheless be that no one has ever met these standards Ruling out this possibility seemingly requires re-engaging in all of the so-called "metaphysical" debates Strawsonians are keen to avoid. (shrink)

The relation of ontological dependence or grounding, expressed by the terminology of separation and priority in substance, plays a central role in Aristotle’s Categories, Metaphysics, De Anima and elsewhere. The article discusses three current interpretations of this terminology. These are drawn along the lines of, respectively, modal-existential ontological dependence, essential ontological dependence, and grounding or metaphysical explanation. I provide an opinionated introduction to the topic, raising the main interpretative questions, laying out a few of the exegetical and (...) philosophical options that influence one’s reading, and locating questions of Aristotle scholarship within the discussion of ontological dependence and grounding in contemporary metaphysics. (shrink)

Can an agent's intelligence level be negative? We extend the Legg-Hutter agent-environment framework to include punishments and argue for an affirmative answer to that question. We show that if the background encodings and Universal Turing Machine (UTM) admit certain Kolmogorov complexity symmetries, then the resulting Legg-Hutter intelligence measure is symmetric about the origin. In particular, this implies reward-ignoring agents have Legg-Hutter intelligence 0 according to such UTMs.

This essay attempts to provide and defend what may be the first actual argument in support of P. F. Strawson's merely stated vision of a response-dependent theory of moral responsibility. It does so by way of an extended analogy with the funny. In part 1, it makes the easier and less controversial case for response-dependence about the funny. In part 2, it shows the tight analogy between anger and amusement in developing the harder and more controversial case for response- (...) class='Hi'>dependence about a kind of blameworthiness. It then defends the view from three serious skeptical challenges. (shrink)

There has been much work on ontological dependence in recent literature. However, relatively little of it has been dedicated to the ways in which individual physical objects may depend on other distinct, non-overlapping objects. This paper gives several examples of such object-dependence and distinguishes between different types of it. The paper also introduces and refines the notion of an n-tet. N-tets (typically) occur when there are object-dependence relations between n objects. I claim that the identity (or, rather, (...) what I call the n-dentity) conditions for n-tets are not grounded in the individual identity conditions of each of the n objects, but instead are metaphysically basic. The paper then briefly discusses some ramifications of accepting object-dependence (and n-tets) on the philosophy of biology, ethics, and logic. (shrink)

Dependency is a keyword in disability studies. The article reviews the negative force of the term and why disability researchers and activists have made the case for the independence of disabled people. But dependency, I claim, is a feature of any human life and I argue that disability studies needs to neutralize the term and appropriate dependency as that which binds people, regardless of their abilities or disabilities. I argue that we can acknowledge dependency and work toward an ideal of (...) "managed dependency.". (shrink)

The paper discusses from a metaphysical standpoint the nature of the dependence relation underpinning the talk of mutual action between material and spatiotemporal structures in general relativity. It is shown that the standard analyses of dependence in terms of causation or grounding are ill-suited for the general relativistic context. Instead, a non-standard analytical framework in terms of structural equation modeling is exploited, which leads to the conclusion that the kind of dependence encoded in the Einstein field equations (...) is a novel one. (shrink)

Response-dependence theories have historically been very popular in aesthetics, and aesthetic response-dependence has motivated response-dependence in ethics. This chapter closely examines the prospects for such theories. It breaks this category down into dispositional and fittingness strands of response-dependence, corresponding to descriptive and normative ideal observer theories. It argues that the latter have advantages over the former but are not themselves without issue. Special attention is paid to the relationship between hedonism and response-dependence. The chapter also (...) introduces two aesthetic properties that lead to wrong kinds of reasons problems for aesthetic response-dependence: insightfulness and the capacity to change one’s perspective. These properties do not have obvious parallels in the ethical domain, and so present an obstacle for response-dependence even in aesthetics. The chapter ends by examining replies on behalf of the response-dependence theorist, ultimately suggesting that a restricted form of response-dependence is the most promising way forward for fans of such theories. (shrink)

Are grounding claims fully general in character? If an object a is F in virtue of being G, does it follow that anything that’s G is F for that reason? According to the thesis of Weak Formality, the answer here is ‘yes’. In this paper, however, I argue that there is philosophical utility in rejecting this thesis. More exactly, I argue that two currently unresolved problems in contemporary metaphysics can be dealt with if we hold that there can be cases (...) of ‘kind-dependent grounding’, the key thought being that once we allow for such cases, we must also accept that Weak Formality is false. (shrink)

This paper attacks an account of Kant's controversial distinction between "free" and "dependent" beauty. I present three problems—The Lorland problem, The Crawford Problem, and the problem of intrinsic relation—that are shown to be a consequence of various interpretations of Kant's distinction. Next, I reconstruct Robert Wicks' well-known account of dependent beauty as "the appreciation of teleological style" and point out a key equivocation in the statement of Wicks' account: the judgment of dependent beauty can be thought to consist in comparing (...) any two objects' teleological styles either in respect of how or in respect of how well each realizes a common purpose. I argue that this equivocation forces Wicks into a dilemma: either he must assert the impossibility of ugliness or he must assert that the judgment of dependent beauty is reducible to the judgment of perfection. Either way, he denies important theoretic desiderata. (shrink)

This paper presents and argues for an account of objectual understanding that aims to do justice to the full range of cases of scientific understanding, including cases in which one does not have an explanation of the understood phenomenon. According to the proposed account, one understands a phenomenon just in case one grasps a sufficiently accurate and comprehensive model of the ways in which it or its features are situated within a network of dependence relations; one’s degree of understanding (...) is proportional to the comprehensiveness and accuracy of such a model. I compare this account with accounts of scientific understanding that explicate understanding in terms of having an explanation of the understood phenomenon. I discuss three distinct types of cases in which scientific understanding does not amount to possessing an explanation of any kind, and argue that the proposed model-based account can accommodate these cases while still retaining a strong link between understanding and explanation. (shrink)

ABSTRACT On the traditional picture, accidents must inhere in substances in order to exist. Berkeley famously argues that a particular class of accidents—the sensible qualities—are mere ideas—entities that depend for their existence on minds. To defend this view, Berkeley provides us with an elegant alternative to the traditional framework: sensible qualities depend on a mind, not in virtue of inhering in it, but in virtue of being perceived by it. This metaphysical insight, once correctly understood, gives us the resources to (...) solve a central problem that still plagues the philosophy of perception—the problem of how, given the power of the mind to create phenomenally rich experiences, ordinary perception can nonetheless be said to acquaint us with the mind-independent world. (shrink)

This essay argues that the concept of dependence now invoked in noramtive discussions of the welfare state is both incoherent and biased as a result of its conflation of four distinctly different notions of dependence, ranging from the purely causal to that associated with lower class identities.

There is an old and powerful argument for the claim that divine foreknowledge is incompatible with the freedom to do otherwise. A recent response to this argument, sometimes called the “dependence response,” centers around the claim that God’s relevant past beliefs depend on the relevant agent’s current or future behavior in a certain way. This paper offers a new argument for the dependence response, one that revolves around different cases of time travel. Somewhat serendipitously, the argument also paves (...) the way for a new reply to a compelling objection to the dependence response, the challenge from prepunishment. But perhaps not so serendipitously, the argument also renders the dependence response incompatible with certain views of providence. (shrink)

The paper covers a range of topics of recent interest in relation to response-depdendence: its characterisation in terms of 'basic equations', its application to areas such as ethics, colour theory and philosophy of mind, and the 'missing explanation' argument.

This paper defends Flatland—the view that there exist neither determination nor dependence relations, and that everything is therefore fundamental—from the objection from explanatory inefficacy. According to that objection, Flatland is unattractive because it is unable to explain either the appearance as of there being determination relations, or the appearance as of there being dependence relations. We show how the Flatlander can meet the first challenge by offering four strategies—reducing, eliminating, untangling and omnizing—which, jointly, explain the appearance as of (...) there being determination relations where no such relations obtain. Since, plausibly, dependence relations just are asymmetric determination relations, we argue that once we come mistakenly to believe that there exist determination relations, the existence of other asymmetries (conceptual and temporal) explains why it appears that there are dependence relations. (shrink)

An increasingly popular approach to reconciling divine foreknowledge with human freedom is to say that, because God’s beliefs depend on what we do, we are free to do otherwise than what we actually do despite God’s infallible foreknowledge. This paper develops a new challenge for this dependence response. The challenge stems from a case of backward time travel in which an agent intuitively lacks the freedom to do otherwise because of the time-traveler’s knowledge of what the agent will do, (...) and this is so despite the fact that the time-traveler’s knowledge depends on what the agent will do. (shrink)

It is often assumed thatconsciousness and intentionality are twomutually independent aspects of mental life.When the assumption is denounced, it usuallygives way to the claim that consciousness issomehow dependent upon intentionality. Thepossibility that intentionality may bedependent upon consciousness is rarelyentertained. Recently, however, John Searle andColin McGinn have argued for just suchdependence. In this paper, I reconstruct andevaluate their argumentation. I am in sympathyboth with their view and with the lines ofargument they employ in its defense. UnlikeSearle and McGinn, however, I am (...) quite attachedto a naturalist approach to intentionality. Itwill turn out to be somewhat difficult toreconcile naturalism with the notion thatintentionality is dependent upon consciousness,although, perhaps surprisingly, I will arguethat McGinn's case for such dependence iscompatible with naturalism. (shrink)

This paper is about how to aggregate outside opinion. If two experts are on one side of an issue, while three experts are on the other side, what should a non-expert believe? Certainly, the non-expert should take into account more than just the numbers. But which other factors are relevant, and why? According to the view developed here, one important factor is whether the experts should have been expected, in advance, to reach the same conclusion. When the agreement of two (...) (or of twenty) thinkers can be predicted with certainty in advance, their shared belief is worth only as much as one of their beliefs would be worth alone. This expectational model of belief dependence can be applied whether we think in terms of credences or in terms of all-or-nothing beliefs. (shrink)

One notable area in analytic metaphysics that has seen a revival of Aristotelian and scho- lastic inspired metaphysics is the return to a more robust construal of the notion of essence, what some have labelled “real” or “serious” essentialism. However, it is only recently that this more robust notion of essence has been implemented into the debate on truthmaking, mainly by the work of E. J. Lowe. The first part of the paper sets out to explore the scholastic roots of (...) essential dependence as well as an account of truthmaking for accidental predications in terms of accidents. Along the way, the author examines the dialectical role the possibility of separated accidents in the Eucharist play with respect to developing a scholastic account of truthmaking as essential dependence. In conclusion the author utilises Aquinas’s hylomorphic ontology to suggest a new way forward for an essentialist account of truthmaking. (shrink)

Wright’s judgement-dependent account of intention is an attempt to show that truths about a subject’s intentions can be viewed as constituted by the subject’s own best judgements about those intentions. The judgements are considered to be best if they are formed under certain cognitively optimal conditions, which mainly include the subject’s conceptual competence, attentiveness to the questions about what the intentions are, and lack of any material self-deception. Offering a substantive, non-trivial specification of the no-self-deception condition is one of the (...) main problems for Wright. His solution is to view it as a positive presumption, which is violated only if there is strong evidence to the effect that the subject is self-deceived. In this paper, I will argue that the concern about self-deception in Wright’s account is misplaced and generally unmotivated. (shrink)

Although convinced by Frankfurt-style cases that moral responsibility does not require the ability to do otherwise, semicompatibilists have not wanted to accept a parallel claim about moral responsibility for omissions, and so they have accepted asymmetrical requirements on moral responsibility for actions and omissions. In previous work, I have presented a challenge to various attempts at defending this asymmetry. My view is that semicompatibilists should give up these defenses and instead adopt symmetrical requirements on moral responsibility for actions and omissions, (...) and in this paper I highlight three advantages of doing so: first, it avoids a strange implication of the truth of determinism; second, it allows for a principled reply to Philip Swenson’s recent ‘No Principled Difference Argument’; third, it provides a reason to reject a crucial inference rule invoked by Peter van Inwagen’s ‘Direct Argument’ for the incompatibility of moral responsibility and determinism. (shrink)