There exist two notions of equivalence of behavior between states of a Labelled Markov Process (LMP): state bisimilarity and event bisimilarity. The first one can be considered as an appropriate generalization to continuous spaces of Larsen and Skou’s probabilistic bisimilarity, whereas the second one is characterized by a natural logic. C. Zhou expressed state bisimilarity as the greatest fixed point of an operator that there is such a process with an uncountable Zhou ordinal.

We give a solution stated in the title to problem 3 of part 1 of the problems listed in the book of Eklof and Mekler [2], p. 453. There, in pp. 241-242, this is discussed and proved in some cases. The existence of strongly λ-free ones was proved earlier by the criteria in [5] and [3]. We can apply a similar proof to a large class of other varieties in particular to the variety of (non-commutative) groups.

We give a solution stated in the title to problem 3 of part 1 of the problems listed in the book of Eklof and Mekler [2], p. 453. There, in pp. 241-242, this is discussed and proved in some cases. The existence of strongly $\lambda$-free ones was proved earlier by the criteria in [5] and [3]. We can apply a similar proof to a large class of other varieties in particular to the variety of (non-commutative) groups.

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)

Although not the main point of his target article, Block defends the view that perception and awareness of perception could be functions of different brain systems. I will argue that the available data do not support this view, and that Block's defense of the view rests on problematic eonstruals of the “executive system” and of the components of information-processing models.

We announce two new dichotomy theorems for Borel equivalence relations, and present the results in context by giving an overview of related recent developments.§1. Introduction. For X a Polish space and E a Borel equivalence relation on X, a classification of X up to E-equivalence consists of finding a set of invariants I and a map c : X → I such that xEy ⇔ c = c. To be of any value we would expect I and c to be (...) “explicit” or “definable”. The theory of Borel equivalence relations investigates the nature of possible invariants and provides a hierarchy of notions of classification.The following partial ordering is fundamental in organizing this study. Given equivalence relations E and F on X and Y, resp., we say that E can be Borel reduced to F, in symbolsif there is a Borel map f : X → Y with xEy ⇔ fFf. Then if is an embedding of X/E into Y/F, which is “Borel”.Intuitively, E ≤BF might be interpreted in any one of the following ways: The classi.cation problem for E is simpler than that of F: any invariants for F work as well for E. One can classify E by using as invariants F-equivalence classes. The quotient space X/E has “Borel cardinality” less than or equal to that of Y/F, in the sense that there is a “Borel” embedding of X/E into Y/F. (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)

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)

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)

We consider future cash flows that are contingent both on dates in time and on uncertain states. The decision maker (DM) values the cash flows according to its decision criterion: Here, the payoffs’ expectation with respect to a capacity measure. The subjective measure grasps the DM’s behaviour in front of the future, in the spirit of de Finetti’s (1930) and of Yaari’s (1987) Dual Theory in the case of risk. Decomposition of the criterion into two criteria that represent the DM’s (...) preferences on uncertain payoffs and time contingent payoffs are derived from Ghirardato’s (1997) results. Conditional Choquet integrals are defined by dynamic consistency (DC) requirements and conditional capacities are derived, under some conditions on information. In contrast with other models referring to DC, ours does not collapse into a linear one because it violates a weak version of consequentialism. (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)

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.

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)

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)

*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.

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.

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)

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)

À 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.

This book offers a comprehensive overview of the structure, strategy and methods of assessment of orthodox theoretical economics. In Part I Professor Hausman explains how economists theorise, emphasising the essential underlying commitment of economists to a vision of economics as a separate science. In Part II he defends the view that the basic axioms of economics are 'inexact' since they deal only with the 'major' causes; unlike most writers on economic methodology, the author argues that it is the rules that (...) economists espouse rather than their practice that is at fault. Part III links the conception of economics as a separate science to the fact that economic theories offer reasons and justifications for human actions, not just their causes. With its lengthy appendix introducing relevant issues in philosophy of science, this book is a major addition to philosophy of economics and of social science. (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)

Discusses the sense of separability in Aristotle and how they apply to the separability of mind or nous.

Gabbay's separation theorem about linear temporal logic with past has proved to be one of the most useful theoretical results in temporal logic. In this paper, we establish an analogous statement a...

This paper argues that instrumental rationality is more permissive than expected utility theory. The most compelling instrumentalist argument in favour of separability, its core requirement, is that agents with non-separable preferences end up badly off by their own lights in some dynamic choice problems. I argue that once we focus on the question of whether agents’ attitudes to uncertain prospects help define their ends in their own right, or instead only assign instrumental value in virtue of the outcomes they (...) may lead to, we see that the argument must fail. Either attitudes to prospects assign non-instrumental value in their own right, in which case we cannot establish the irrationality of the dynamic choice behaviour of agents with non-separable preferences. Or they don’t, in which case agents with non-separable preferences can avoid the problematic choice behaviour without adopting separable preferences. (shrink)

A central claim of this book is that the emergence of humanity involves a splitting of consciousness—the ability of consciousness to become reflectively aware of itself. But the splitting of consciousness is simultaneously the development of the possibility of fragmentation and alienation. Thus, through the growth of reflective consciousness, separation comes to permeate the whole of human experience. So understood, it creates the need for integration, and Rossman’s discussion ultimately centers on its attainment. Within this perspective, various aspects of consciousness, (...) including perception, organic sensation, desire, and belief, are explored. There is also extensive discussion of personal identity or the experience of being a self. Finally, the above analyses provide the ground for discussions of freedom, morality, and being religious. (shrink)

Although logical empiricism is now mostly decried, their naturalist claim that the content of a theory can be read off from its structure, without any philosophical considerations needed, still supports traditional strategies to escape cases of underdetermination. The appeal to theoretical equivalence or to theoretical virtues, for instance, both assume that there is a neutral standpoint from which the structure of the theories can be analyzed, the physically relevant from the superfluous separated, and a comparison made between their theoretical content (...) and virtues. In my dissertation, I examine the presuppositions upon which such strategies depend. I argue that the methodological principle underlying them, according to which theories with no superfluous structure should be preferred, is unpractical, for what constitutes relevant structure is determined by epistemic considerations about the aim of scientific theories. In chapter 1, I analyze the claim that theories with ordinary bosons and fermions are theoretically equivalent to theories with exotic `paraparticles'. I argue that this claim does not do justice to the latter, as the proof is formulated in a vocabulary parochial to the former and thus favors one of the theory while giving an impoverished version of the second. In chapter 2, I examine recent arguments to the effects that any interpretation of Quantum Mechanics that can offer a no-go theorem against paraparticles possesses an explanatory advantage over other interpretations and should, as such, be favored over others. Given that most physicists consider paraparticles as surplus structure whose non-observation does not require an explanation, I evaluate arguments of both sides and suggest a third way to approach the question. Finally, in chapter 3, I turn my attention to methods for excluding another kind of unphysical structure, mathematical artifacts, from rival dark matter models. Simulations are our only window into what rival models predict about the universe’s structure. But for them to play a useful role in generating knowledge, we need to distinguish reliably between real predictions and artifacts. I argue that robustness analysis fails to fulfill this task. I propose in its place another methodology, that of crucial simulations. (shrink)

Egregious, unfair, unethical, and immoral are all adjectives that the public and shareholder activists use to describe separation payments, which are payments made to executives who leave firms for various reasons. Such complaints often cite corporate governance issues as well, noting the potentially problematic relationships between executives' and board members' compensation levels. However, some studies of separation pay agreements suggest a lack of any significant relationship between the quality of corporate governance and separation payments. Using a unique, hand-collected dataset pertaining (...) to actual payouts received by the top executives who left their posts between 2002 and 2013 in Italy, this study reveals instead that better quality corporate governance, in both internal and external dimensions, helps regulate the level of separation payments. In turn, it can offset stakeholders' perceptions of unfairness and the resulting negative consequences for the firm; such governance also can help minimise the prevalence of pay-for-failure cases. (shrink)

Is business intimately related to ethics or can the two be separated? I argue that examining this question by focusing on how the two areas might be separated is logically flawed. Examining how business and ethics are connected, however, can bear fruit. This examination shows that business is a proper subset of ethics. Understanding this intimate connection has two practical benefits. It removes the seemingly incommensurable conflict between financial and ethical responsibilities of managers and it gives us new and positive (...) insights into Milton Friedman’s view that the social responsibility of business is to increase its profits. (shrink)