In DA I.1, Aristotle asks whether nous (understanding or reason) is chōristē (separable) and presents a separability condition: the soul is separable if it has some activity proper to it that is not shared with the body. I argue that Aristotle is speaking here of separability in being, not separability in account or taxonomical separation. In the case of the soul, this sort of separability would allow the soul to exist apart from the body. Met. Λ.3, GA II.3, and DA (...) III.4 suggest that Aristotle introduces the separability condition because understanding meets it. Reason is independent of the body in a way that no other power of the soul is. Nous alone is divine and separable. DA III.5 then situates this claim: there is an aspect of understanding that can only be active in connection with the body, but understanding is what it is and continues to be active apart from the body. This raises further questions about the life and ontological status of the sort of separated human nous Aristotle envisages. While figuring out its precise contours is difficult, Aristotle is, in fact, committed to the possibility of human intellectual activity continuing apart from the body. (shrink)

Separate and Dominate is Delphy's manifesto, lambasting liberal hypocrisy and calling for a fluid understanding of political identity that does not place different political struggles in a false opposition. She dismantles the absurd claim that Afghanistan was invaded to save women, and that homosexuals and immigrants alike should reserve their self-expression for private settings. She calls for a true universalism that sacrifices no one at the expense of others. In the aftermath of the Charlie Hebdo massacre, her arguments appear more (...) prescient and pressing than ever.--Provided by publisher. (shrink)

Intentional action is often accompanied by knowledge of what one is doing---knowledge which appears non-observational and non-inferential. G.E.M. Anscombe defends the stronger claim that intentional action always comes with such knowledge. Among those who follow Anscombe, some have altered the features, content, or species of the knowledge claimed to necessarily accompany intentional action. In this paper, I argue that there is no necessary connection between intentional action and knowledge, no matter the assumed features, content, or species of the knowledge. Further, (...) rather than follow the usual methodology in this debate of arguing by counterexample, I present an argument that explains why we continue to find counterexamples: intentional action and knowledge are regulated by thresholds under distinct pressures; in particular, the threshold of control regulating intentional action is disparately influenced by the role of intentional action in practical normativity. (shrink)

We propose a separation logic where resources are histories (sequences) of epistemic actions so that resource update means concatenation of histories and resource decomposition means splitting of histories. This separation logic, called AMHSL, allows us to reason about the past: does what is true now depend on what was true in the past, before certain actions were executed? We show that the multiplicative connectives can be eliminated from a logical language with also epistemic and action model modalities, if the horizon (...) of epistemic actions is bounded. (shrink)

Separability is roughly the principle that, in comparing the value of two outcomes, one can ignore any people whose existence and welfare are unaffected. Separability is both antecedently plausible, at least as a principle of beneficence, and surprisingly powerful; it is the key to some of the best positive arguments in population ethics. This chapter surveys the motivations for and consequences of separability. In particular, it presents an ‘additivity theorem’ which explains how separability leads to total utilitarianism and closely related (...) axiological views. It then examines systematically how this family of views can avoid the Repugnant Conclusion by incorporating lexicality, a critical level, or a neutral range. (shrink)

Based on a multiyear study, this article analyzes the reproduction of adult gender segregation in two youth-sports organizations in which most men volunteers become coaches and most women volunteers become “team moms.” We use interviews and participant observation to explore how these gender divisions are created. While most participants say the divisions result from individual choices, our interviews show how gendered language, essentialist beliefs, and analogies with gendered divisions of labor in families and work-places naturalize this division of labor. Observation (...) reveals how patterned, informal interactions reproduce it as well. We show how nonreflexive informal interactions at the nexus of three gender regimes—youth sports, families, and workplaces—produce a gender formation with two interrelated characteristics: an ascendant professional class gender ideology that we call “soft essentialism” and a “gender category sorting system” that channels most men into coaching and most women into being “team moms.”. (shrink)

Spitale, Germani, and Biller-Andorno’s (2024) PHERCC matrix sets out a useful and systematic framework for risk and crisis communication in public health emergencies. A problem in ensuring effective messaging is the extent to which the messaging environment is *quiet* or *noisy*: in other words, whether or not a message has to *compete with other messages* at the same time. I use the example of the UK’s experience during COVID-19, which was marked by tensions between the devolved regional governments—and consequently divergent (...) policy responses—which sowed confusion among the populace. More generally, if policymakers try to account for the needs of competing publics simultaneously (in order to meet the inclusivity and understandability principles), this may increase the noise problem and so actually undermine effective public health messaging. The issue of noisy messaging environments reveals a tradeoff between inclusivity and understandability versus effectiveness in risk and crisis communication. (shrink)

In this paper, I accomplish a conceptual task and a historical task. The conceptual task is to argue that (1) Einstein’s Principle of Separability (henceforth “separability”) is not a supervenience principle and that (2) separability and entanglement are compatible. I support (1) by showing that the conclusion of Einstein’s incompleteness argument would still follow even if one assumes that the state of a composite system does not supervene on the states of the subsystems, and by showing that what Einstein says (...) in “Quantum Mechanics and Reality” (1948) strongly suggests that separability is not a principle about how subsystem states relate to the state of composite systems. I support (2) by showing that if separability was incompatible with entanglement, then Einstein’s argument would be incoherent in a trivial way. Thus, by arguing for (1) and (2) I directly challenge what has been, and still is, a very common reading of separability. The historical task is to offer the first detailed review of the different ways in which separability has been defined by physicists and philosophers in the last 60 years. Among other things, such a review distinguishes three different definitions of the principle, and shows that since the 1990s and up until the present date, it became standard to take separability (as presented by Einstein) to be a supervenience principle. (shrink)

Ontological separation plays a key role in Aristotle’s metaphysical project: substances alone are ontologically χωριστόν. The standard view identifies Aristotelian ontological separation with ontological independence, so that ontological separation is a non-symmetric relation. I argue that there is strong textual evidence that Aristotle employs an asymmetric notion of separation in the Metaphysics—one that involves the dependence of other entities on the independent entity. I argue that this notion allows Aristotle to prevent the proliferation of substance-kinds and thus to secure the (...) unity of his metaphysical system. (shrink)

Separation of powers is one of the ideas with profound theoretical and practical significance, especially in the field of political science. The birth of the theory of separation of powers marked the transition from the barbaric use of power in authoritarian societies to the exercise of civilized power in democratic societies. Therefore, separation of powers is considered an objective necessity in democratic states, a condition to ensure the promotion of liberal values, and a criterion for assessing the existence and development (...) of the Rule of Law where people's sovereignty plays a paramount role. On the way to perfecting political thinking, the theory of separation of powers has developed into a complete system in the main philosophy of John Locke. Within the scope of the article, the author focuses on analyzing Locke's ideology of separation of powers in terms of the nature of separation of powers, the basis and some principles of power division, and the roles of the different parts of government power and the relationship between them. (shrink)

This paper addresses arguments that “separability” is an assumption of Bell’s theorem, and that abandoning this assumption in our interpretation of quantum mechanics (a position sometimes referred to as “holism”) will allow us to restore a satisfying locality principle. Separability here means that all events associated to the union of some set of disjoint regions are combinations of events associated to each region taken separately.In this article, it is shown that: (a) localised events can be consistently defined without implying separability; (...) (b) the definition of Bell’s locality condition does not rely on separability in any way; (c) the proof of Bell’s theorem does not use separability as an assumption. If, inspired by considerations of non-separability, the assumptions of Bell’s theorem are weakened, what remains no longer embodies the locality principle. Teller’s argument for “relational holism” and Howard’s arguments concerning separability are criticised in the light of these results. Howard’s claim that Einstein grounded his arguments on the incompleteness of QM with a separability assumption is also challenged. Instead, Einstein is better interpreted as referring merely to the existence of localised events. Finally, it is argued that Bell rejected the idea that separability is an assumption of his theorem. (shrink)

In a new study, Ben-Haim et al. use subliminal stimuli to separate conscious and unconscious perception in macaques. A programme of this type, using a range of cognitive tasks, is a promising way to look for conscious perception in more controversial cases.

Thick terms and concepts, such as honesty and cruelty, are at the heart of a variety of debates in philosophy of language and metaethics. Central to these debates is the question of how the descriptive and evaluative components of thick concepts are related and whether they can be separated from each other. So far, no empirical data on how thick terms are used in ordinary language has been collected to inform these debates. In this paper, we present the first (...) empirical study, designed to investigate whether the evaluative component of thick concepts is communicated as part of the semantic meaning or by means of conversational implicatures. While neither the semantic nor the pragmatic view can fully account for the use of thick terms in ordinary language, our results do favour the semanticist interpretation: the evaluation of a thick concept is only slightly easier to cancel than semantically entailed content. We further discovered a polarity effect, demonstrating that how easily an evaluation can be cancelled depends on whether the thick term is of positive or negative polarity. (shrink)

Evidence for a dichotomy between the planning of an action and its on-line control in humans is reviewed. This evidence suggests that planning and control each serve a specialized purpose utilizing distinct visual representations. Evidence from behavioral studies suggests that planning is influenced by a large array of visual and cognitive information, whereas control is influenced solely by the spatial characteristics of the target, including such things as its size, shape, orientation, and so forth. Evidence from brain imaging and neuropsychology (...) suggests that planning and control are subserved by separate visual centers in the posterior parietal lobes, each constituting part of a larger network for planning and control. Planning appears to rely on phylogenetically newer regions in the inferior parietal lobe, along with the frontal lobes and basal ganglia, whereas control appears to rely on older regions in the superior parietal lobe, along with the cerebellum. Key Words: action; apraxia; control; illusions; optic ataxia; PET; planning; reaching;. (shrink)

Legal positivism's ``separation thesis'' is usually taken in one of two ways: as an analytic claim about the nature of law – roughly, as some version of the Social Thesis; or as a substantive claim about the moral value of law – roughly, as some version of the Value Thesis. In this paper I argue that we should recognize a third kind of positivist separation thesis, one which complements, but is distinct from, positivism's analytic and moral claims. The Neutrality Thesis (...) says that the correct analytic claim about the nature of law does not by itself entail any substantive claims about the moral value of law. I give careful formulations of these three separation theses, explain the relationships between them, and sketch the role that each plays in the positivist approach to law. (shrink)

We often think of normal childhood as a progressive development towards a fixed—and often tacitly individualistic and masculine—model of what it is to be an adult. By contrast, phenomenologists, psychoanalysts, sociology of childhood, and feminist thinkers have set out to offer richer accounts both of childhood development and of mature existence. This paper draws on accounts of childhood development from phenomenologist Maurice Merleau-Ponty and object relations theorist D. W. Winnicott in order to argue that childhood development takes place in “transitional (...) spaces”; explores typical gendered patterns in the formation of selfhood that “split” relationality and separateness into the “feminine” and the “masculine”; and offers a phenomenology of perception, love, and objectivity in order to show the manner in which, contra individualistic and masculine visions of adulthood, maturity requires an embrace rather than eschewal of ambiguity, and the capacity to continue to dwell in the transitional space between relatedness and separateness. (shrink)

A full separation theorem for the derivable rules of intuitionistic linear logic without bounds, 0 and exponentials is proved. Several structural consequences of this theorem for subreducts of (commutative) residuated lattices are obtained. The theorem is then extended to the logic LR+ and its proof is extended to obtain the finite embeddability property for the class of square increasing residuated lattices.

*A shortened version of this paper will appear in Current Controversies in Philosophy of Science, Dasgupta and Weslake, eds. Routledge.* This paper describes the case that can be made for a high-dimensional ontology in quantum mechanics based on the virtues of avoiding both nonseparability and non locality.

The purpose of this paper is to draw out and make explicit the assumptions made in the treatment of technology within business ethics. Drawing on the work of Freeman (1994, 2000) on the assumed separation between business and ethics, we propose a similar separation exists in the current analysis of technology and ethics. After first identifying and describing the separation thesis assumed in the analysis of technology, we will explore how this assumption manifests itself in the current literature. A different (...) stream of analysis, that of science and technology studies (STS), provides a starting point in understanding the interconnectedness of technology and society. As we will demonstrate, business ethicists are uniquely positioned to analyze the relationship between business, technology, and society. The implications of a more complex and rich definition of lsquotechnologyrsquo ripple through the analysis of business ethics. Finally, we propose a pragmatic approach to understanding technology and explore the implications of such an approach to technology. This new approach captures the broader understanding of technology advocated by those in STS and allows business ethicists to analyze a broader array of dilemmas and decisions. (shrink)

BackgroundEmergency separation of conjoined twins is performed when one twin is already dead or dying and threatens the survival of the other. The particular decision to perform an emergency separation of conjoined twins provides an ethical dilemma that needs special attention. Adding to the complexity of surgical and postsurgical management in emergency separation, ethical and sociocultural aspects further complicate decision-making.Case presentationFrom 1987 to 2022, 18 conjoined twin separations were performed in our centre. This paper describes three conjoined twin emergency separations. (...) In the first case of thoracoomphalopagus babies at nine days of age, one baby was diagnosed with necrotizing enterocolitis with frequent desaturation and seizures, and the other baby was healthy. Emergency separation was performed on the twelfth day of age; unfortunately, neither baby survived the surgery. In the second case, emergency separation was performed on the 110th day of life due to sepsis in one baby. The nonseptic twin passed away six hours after surgery, while the septic twin died 12 days after surgery due to wound dehiscence and abdominal sepsis. The third case was of an omphalopagus conjoined twin with a parasitic twin. The healthy baby was deemed nonviable but found to be healthy upon birth. Immediate emergency separation was performed at 2 h of age. The living baby survived the surgery but passed away two months later.ConclusionsWhen separation is deemed necessary to save one twin, it becomes difficult to apply standard ethical medical reasoning. The decision to separate results in most cases in very high-risk surgeries with poor outcomes during surgery and postsurgery. Compounded by the complexity of the case, sociocultural and religious aspects further add to the dynamics of decision-making. A multidisciplinary team must work together with a health ethics committee and navigate through this ethical conundrum with the patient and family at its decision-making centre to decide on the best plan of care. (shrink)

In morally grounding a public justification requirement, public reason liberals frequently invoke the idea that persons should be construed as “free and equal.” But this tells us little with regard to what it is about us that makes us free or how a claim about our status as persons can ultimately ground a requirement of public justification. In light of this worry, I argue that a public justification requirement can be grounded in a Nozick-inspired argument from the separateness of persons (...) (one that is consistent with the idea that individuals are free and equal). As I claim, one particular feature of the fact of our separateness – the possession of a basic psychology consisting of beliefs, intentions, sentiments, and a variety of desire-like psychological states – does the most work in grounding both a principle of liberty (PL) and a requirement of public justification (RPJ). Together, PL and RPJ provide the basic framework for a theory of public reason liberalism. (shrink)

One might poetically muse that computers have the essence both of logic and machines. Through the case of the history of Separation Logic, we explore how this assertion is more than idle poetry. Separation Logic works because it merges the software engineer’s conceptual model of a program’s manipulation of computer memory with the logical model that interprets what sentences in the logic are true, and because it has a proof theory which aids in the crucial problem of scaling the reasoning (...) task. Scalability is a central problem, and some would even say the central problem, in appli- cations of logic in computer science. Separation Logic is an interesting case because of its widespread success in verification tools. For these two senses of model—the engineering/conceptual and the logical—to merge in a genuine sense, each must maintain their norms of use from their home disciplines. When this occurs, both the logic and engineering benefit greatly. Seeking this intersection of two different senses of model provides a strategy for how computer scientists and logicians may be successful. Furthermore, the history of Separation Logic for analysing programs provides a novel case for philosophers of science of how software engineers and computer scientists develop models and the components of such models. We provide three contributions: an exploration of the extent of models merging that is necessary for success in computer science; an introduction to the technical details of Separation Logic, which can be used for reasoning about other exhaustible resources; and an introduction to the problems, process, and results of computer scientists for those outside the field. (shrink)

Hume invokes the separability of perceptions to derive some of his most contentious pronouncements. To assess the cogency of the arguments, the notion must first be clarified. The clarification reveals that sic different separability claims must be distinguished. Of these, I consider the three that are rarely discussed. They turn out to be unacceptable. Locke espouses none of them.This Article does not have an abstract.

I argue that the use of the separateness of persons in the debate between the priority view and the competing claims view is deeply flawed. In making the case, I argue for three points. First, that...

Let the fact of the separateness of persons be that we are separate individuals, each with his or her own life to lead. This is to be distinguished from the doctrine of the separateness of persons: the claim that the fact of our separateness is especially deep and important, morally speaking. In this paper, I argue that we ought to reject this doctrine. I focus most of my attention on the suggestion that the separateness of persons best explains the importance (...) we attach to moral rights. After criticizing Nozick's use of the doctrine, I formulate an alternative account of the significance of rights. I then show how proponents of the doctrine of separateness have no principled way of distinguishing between egoism and moral libertarianism. I suggest that rejecting the doctrine of our separateness for the reasons I propose ensures that we need have no fear of having to embrace consequentialism as a result. (shrink)

The fact that persons are separate in some descriptive sense is relatively uncontroversial. But one of the distinctive ideas of contemporary liberal political philosophy is that the descriptive fact of our separateness is normatively momentous. John Rawls and Robert Nozick both take the separateness of persons to provide a foundation for their rejection of utilitarianism and for their own positive political theories. So why do their respective versions of liberalism look so different? This paper claims that the difference is based (...) in Rawls' and Nozick's differing understandings of the morally significant aspects of personhood, and argues that respect for separateness is a value better suited to defend Nozickian libertarianism than Rawlsian liberalism. (shrink)

Light and Kennison proposed that bias effects in the forced-choice perceptual identification of words result from a strategy engaged in by subjects to retrieve explicit information about the words. This article enumerates several problems with this proposal and presents new experimental data against it. It is concluded that subjects do not ordinarily employ an explicit retrieval strategy. The data are discussed in the context of the general problem of separating implicit from explicit influences on performance.

A full separation theorem for the derivable rules of intuitionistic linear logic without bounds, 0 and exponentials is proved. Several structural consequences of this theorem for subreducts of (commutative) residuated lattices are obtained. The theorem is then extended to the logic LR+ and its proof is extended to obtain the finite embeddability property for the class of square increasing residuated lattices.

À partir de cas cliniques, l’auteure analyse des situations de séparation précoce et met en évidence les conditions pour que cette séparation ne soit pas traumatique.

My goal in this essay will be to show, contra Parfit, that the separateness of human persons—although metaphysically shallow—has a moral significance that should not be overlooked. Parfit holds that his reductionist view of personal identity lends support to consequentialism; I reject this claim because it rests on the assumption that the separateness of human persons has an arbitrariness that renders it morally insignificant. This assumption is flawed because this separateness is grounded in our 'person practices', which reflect some of (...) the morally relevant aspects of our nature: if we imagine a species of person whose members are not naturally separate from each other, it is reasonable to suppose that the morality of this different species of person would be drastically different from human morality. Thus, if consequentialists aim to offer a human moral theory, they overlook the separateness of human persons with peril. (shrink)

Standard derivations of the Bell inequalities assume a common common cause system that is a common screener-off for all correlations and some additional assumptions concerning locality and no-conspiracy. In a recent paper (Grasshoff et al., 2005) Bell inequalities have been derived via separate common causes assuming perfect correlations between the events. In the paper it will be shown that the assumptions of this separate-common-cause-type derivation of the Bell inequalities in the case of perfect correlations can be reduced to the assumptions (...) of common-common-cause-system-type derivation. However, in the case of non-perfect correlations a non-reducible separate-common-cause-type derivation of some Bell-like inequalities can be given. The violation of these Bell-like inequalities proves Szabó's (2000) conjecture concerning the non-existence of a local, non-conspiratorial, separate-common-cause-model for a delta δ-neighborhood of perfect EPR correlations. (shrink)

Standard derivations of the Bell inequalities assume a common-commoncause-system that is a common screener-off for all correlations and some additional assumptions concerning locality and no-conspiracy. In a recent paper Graßhoff et al., "The British Journal for the Philosophy of Science", 56, 663–680 ) Bell inequalities have been derived via separate common causes assuming perfect correlations between the events. In the paper it will be shown that the assumptions of this separate-common-cause-type derivation of the Bell inequalities in the case of perfect (...) correlations can be reduced to the assumptions of a common-common-cause-system-type derivation. However, in the case of non-perfect correlations a non-reducible separate-common-cause-type derivation of some Bell-like inequalities can be given. The violation of these Bell-like inequalities proves Szabo's ) conjecture concerning the non-existence of a local, non-conspiratorial, separate-common-cause-model for a δ-neighborhood of perfect EPR correlations. (shrink)

The separation of Avicenna between Essence and Existence influenced logic and Arab and Muslim logicians in the Middle Ages among them Ibn al-Nafīs (1208-1288). Under this influence he contributed to the development of logic and especially the theory of the universal term. By means of the consequences of this analysis:-It has become possible to make a distinction between abstract concepts and formal concepts independent of any sensible reality, and hence the questioning of Aristotelian categories, that is to say the ability (...) to conceive for Ibn al-Nafīs like Avicenna, subjects and predicates which are not necessarily words expressing or belonging to one of the Aristotelian categories.-The analysis of the universal proposition as a conditional proposition, which made easier the distinction between absolute proposition which has no existential implication, and the other which differ from the first by an affirmation of explicit existence. (shrink)

All separable states satisfy all Bell-type inequalities, which involve as their assumption only existence of local realistic (local hidden variable) models of the correlations of spatially separated systems, observed by two or more observers making independent decisions on what to measure (free will). The recent observation by Loubenets, that some separable states do not satisfy the original Bell inequality (1964) has no consequences whatsoever for the studies of the relation of separability with local realism. The original Bell inequality was (...) derived using an additional assumption that the local results for a certain pair of local settings reveal perfect Einstein–Podolsky–Rosen (EPR) correlations. Therefore violation of this inequality by some quantum predictions implies that either (i) the predictions do not allow a local realistic model, or (ii) the predictions do not have the required EPR correlations, or finally both (i) and (ii). (shrink)

Let ≤r and ≤sbe two binary relations on 2ℕ which are meant as reducibilities. Let both relations be closed under finite variation and consider the uniform distribution on 2ℕ, which is obtained by choosing elements of 2ℕ by independent tosses of a fair coin.Then we might ask for the probability that the lower ≤r-cone of a randomly chosen set X, that is, the class of all sets A with A ≤rX, differs from the lower ≤s-cone of X. By c osure (...) under finite variation, the Kolmogorov 0-1 aw yields immediately that this probability is either 0 or 1; in case it is 1, the relations are said to be separable by random oracles.Again by closure under finite variation, for every given set A, the probability that a randomly chosen set X is in the upper ≤r-cone of A is either 0 or 1; let Almostr be the class of sets for which the upper ≤r-cone has measure 1. In the following, results about separations by random oracles and about Almost classes are obtained in the context of generalized reducibilities, that is, for binary relations on 2ℕ which can be defined by a countable set of total continuous functionals on 2ℕ in the same way as the usual resource-bounded reducibilities are defined by an enumeration of appropriate oracle Turing machines. The concept of generalized reducibility comprises a natura resource-bounded reducibilities, but is more general; in particular, it does not involve any kind of specific machine model or even effectivity. The results on generalized reducibilities yield corollaries about specific resource-bounded reducibilities, including several results which have been shown previously in the setting of time or space bounded Turing machine computations. (shrink)

The question of the status and the mode of functioning of technologies which participate in our cognitive activity (action, perception, reasoning) is inseparable from the question of the bodily inscription of these faculties. One can adopt the principle that a tool is fully appropriate when it functions as a component of the organs of our lived body. However, these technical entities can be differentiated along a scale according to the role played by their separability. The possibility of picking up and (...) putting down a hammer, a pair of spectacles, an agenda is part of the meaning of these tools. When they are “in hand”, they become transparent for the subject and serve in the constitution of his lived experience. Put down, they can be transmitted, modified, received. According to the frequency of the transition picking up/putting down, the tool can be picked up while anticipating that it can just as quickly put down again (the mouse of a computer, cutlery at table, an agenda, …). At the other extreme, another sort of tool functions rather as a prosthetic device that is taken up with the prospect of remaining attached to the body for a long time (an artificial leg, spectacles, clothes, …). This differentiation of technologies along a continuum which depends on forms of use seems to us sufficient to distinguish extension and embodiment. (shrink)

In [6] Messmer and Wood proved quantifier elimination for separably closed fields of finite Ershov invariant e equipped with a (certain) Hasse derivation. We propose a variant of their theory, using a sequence of e commuting Hasse derivations. In contrast to [6] our Hasse derivations are iterative.

We present a variety of (ω 1 ,∞)-distributive forcings which when applied to models of Martin's Maximum separate certain well known reflection principles. In particular, we do this for the reflection principles SR, SR α (α ≤ ω 1 ), and SRP.