Economic policy evaluations require social welfare functions for variable-size populations. Two important candidates are critical-level generalized utilitarianism (CLGU) and rank-discounted critical-level generalized utilitarianism, which was recently characterized by Asheim and Zuber (2014) (AZ). AZ introduce a novel axiom, existence of egalitarian equivalence (EEE). First, we show that, under some uncontroversial criteria for a plausible social welfare relation, EEE suffices to rule out the Repugnant Conclusion of population ethics (without AZ’s other novel axioms). Second, we provide a new characterization of CLGU: (...) AZ’s set of axioms is equivalent to CLGU when EEE is replaced by the axiom same-number independence. (shrink)

Let X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{X }$$\end{document} be a set of outcomes, and let I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{I }$$\end{document} be an infinite indexing set. This paper shows that any separable, permutation-invariant preference order \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$$$\end{document} on XI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{X }^\mathcal{I }$$\end{document} admits an additive representation. That is: there exists a linearly ordered abelian group (...) R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{R }$$\end{document} and a ‘utility function’ u:X⟶R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$u:\mathcal{X }{{\longrightarrow }}\mathcal{R }$$\end{document} such that, for any x,y∈XI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf{x},\mathbf{y}\in \mathcal{X }^\mathcal{I }$$\end{document} which differ in only finitely many coordinates, we have x≽y\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf{x}\succcurlyeq \mathbf{y}$$\end{document} if and only if ∑i∈Iu-u≥0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sum _{i\in \mathcal{I }} \left[u-u\right]\ge 0$$\end{document}. Importantly, and unlike almost all previous work on additive representations, this result does not require any Archimedean or continuity condition. If \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$$$\end{document} also satisfies a weak continuity condition, then the paper shows that, for anyx,y∈XI\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf{x},\mathbf{y}\in \mathcal{X }^\mathcal{I }$$\end{document}, we have x≽y\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf{x}\succcurlyeq \mathbf{y}$$\end{document} if and only if ∗∑i∈Iu≥∗∑i∈Iu\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${}^*\!\sum _{i\in \mathcal{I }} u\ge {}^*\!\sum _{i\in \mathcal{I }}u$$\end{document}. Here, ∗∑i∈Iu\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${}^*\!\sum _{i\in \mathcal{I }} u$$\end{document} represents a nonstandard sum, taking values in a linearly ordered abelian group ∗R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${}^*\!\mathcal{R }$$\end{document}, which is an ultrapower extension of R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{R }$$\end{document}. The paper also discusses several applications of these results, including infinite-horizon intertemporal choice, choice under uncertainty, variable-population social choice and games with infinite strategy spaces. (shrink)

How can we resist the repugnant conclusion? James Griffin has plausibly suggested that part way through the sequence we may reach a world—let us call it “J”—in which the lives are lexically superior to those that follow. If it would be preferable to live a single life in J than through any number of lives in the next one, then it would be strange to judge K the better world. Instead, we may reasonably “suspend addition” and judge J superior, as (...) if aggregating the lives in the larger world intrapersonally. I argue that the addition of new people with separate preferences renders this inference illicit when comparing J+ and K. When one pairwise comparison suspends addition and the other does not, the result is an intransitive value judgement: J < J+ < K < J, producing the mere addition paradox. (shrink)

We study the infinitely definable subgroups of the additive group in a separably closed field of finite positive imperfection degree. We give some constructions of families of such subgroups which confirm the diversity and the richness of this class of groups. We show in particular that there exists a locally modular minimal subgroup such that the division ring of its quasi-endomorphisms is not a fraction field of the ring of its definable endomorphisms, and that in contrast there exist 20 pairwise (...) orthogonal locally modular minimal subgroups whose induced structure is exactly that of an-vector space. We also show that there exist infinitely many pairwise orthogonal subgroups of infinite U-rank. Furthermore, these constructions are carried out in the additive group considered as a module over its ring of definable endomorphisms. (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)

Is the overall value of a world just the sum of values contributed by each value-bearing entity in that world? Additively separable axiologies (like total utilitarianism, prioritarianism, and critical level views) say 'yes', but non-additive axiologies (like average utilitarianism, rank-discounted utilitarianism, and variable value views) say 'no'. This distinction is practically important: additive axiologies support 'arguments from astronomical scale' which suggest (among other things) that it is overwhelmingly important for humanity to avoid premature extinction and ensure the existence (...) of a large future population, while non-additive axiologies need not. We show, however, that when there is a large enough 'background population' unaffected by our choices, a wide range of non-additive axiologies converge in their implications with some additive axiology -- for instance, average utilitarianism converges to critical-level utilitarianism and various egalitarian theories converge to prioritiarianism. We further argue that real-world background populations may be large enough to make these limit results practically significant. This means that arguments from astronomical scale, and other arguments in practical ethics that seem to presuppose additive separability, may be truth-preserving in practice whether or not we accept additive separability as a basic axiological principle. (shrink)

This chapter sets out the theorems, and presents some examples that show in a rough way how the theorems work. It explains separability precisely, and states the theorems. The chapter starts the work of interpreting the theorems, and also explains the significance of their conclusions from a formal, mathematical point of view. It then discusses a significant assumption that is used in the proofs of the theorems. The published proofs of both the separability theorems depend on an assumption that may (...) be objectionable in some contexts. These theorems are about an ordering defined on a field of alternatives. If an ordering can be represented by an additively separable utility function, the theorem shows it can be represented by a whole family of additively separable functions. Each member of the family is an increasing linear transform of the others, and the family includes every increasing linear transform of each of its members. (shrink)

Utility functions often lack additive separability, presenting an obstacle for decision theoretic axiomatizations. We address this challenge by providing a representation theorem for utility functions of quasi-separable preferences of the form $$u(x,y,z)=f(x,z) + g(y,z)$$ on subsets of topological product spaces. These functions are additively separable only when holding z fixed but are cardinally comparable for different values of z. We then generalize the result to spaces with more than three dimensions and provide applications to belief elicitation, inequity (...) aversion, intertemporal choice, and rank-dependent utility. (shrink)

If non-human animals experience wellbeing and suffering, such welfare consequences arguably should be included in a social welfare evaluation. Yet economic evaluations almost universally ignore non-human animals, in part because axiomatic social choice theory has failed to propose and characterize multi-species social welfare functions. Here we propose axioms and functional forms to fill this gap. We provide a range of alternative representations, characterizing a broad range of possibilities for multi-species social welfare. Among these, we identify a new characterization of (...) class='Hi'>additively-separable generalized (multi-species) total utilitarianism. The multispecies setting permits a novel, weak species-level separability axiom with important consequences. We provide examples to illustrate that non-separability across species is implausible in a multi-species setting, in part because good lives for different species are at very different welfare levels. Finally, we explore the consequences for evaluating climate policy and understanding speciesism and non-climate environmental goals, such as biodiversity. (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)

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)

Is the overall value of a world just the sum of values contributed by each value-bearing entity in that world? Additively separable axiologies (like total utilitarianism, prioritarianism, and critical level views) say 'yes', but non-additive axiologies (like average utilitarianism, rank-discounted utilitarianism, and variable value views) say 'no'. This distinction appears to be practically important: among other things, additive axiologies generally assign great importance to large changes in population size, and therefore tend to strongly prioritize the long-term survival of (...) humanity over the interests of the present generation. Non-additive axiologies, on the other hand, need not assign great importance to large changes in population size. We show, however, that when there is a large enough `background population' unaffected by our choices, a wide range of non-additive axiologies converge in their implications with additive axiologies—for instance, average utilitarianism converges with critical-level utilitarianism and various egalitarian theories converge with prioritarianism. We further argue that real-world background populations may be large enough to make these limit results practically significant. This means that arguments from the scale of potential future populations for the astronomical importance of avoiding existential catastrophe, and other arguments in practical ethics that seem to presuppose additive separability, may succeed in practice whether or not we accept additive separability as a basic axiological principle. (shrink)

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)

Lexical and morphological knowledge of school-aged children are correlated with each other, and are often difficult to distinguish. One reason for this might be that many tasks currently used to assess morphological knowledge require children to inflect or derive real words in the language, thus recruiting their vocabulary knowledge. The current study investigated the possible separability of lexical and morphological knowledge using two complementary approaches. First, we examined the correlations between vocabulary and four morphological tasks tapping different aspects of morphological (...) processing and awareness, and using either real-word or pseudo-word stimuli. Thus, we tested the hypothesis that different morphological tasks recruit lexical knowledge to various degrees. Second, we compared the Hebrew vocabulary and morphological knowledge of 5th grade language minority speaking children to that of their native speaking peers. This comparison allows us to ask whether reduced exposure to the societal language might differentially influence vocabulary and morphological knowledge. The results demonstrate that indeed different morphological tasks rely on lexical knowledge to varying degrees. In addition, language minority students had significantly lower performance in vocabulary and in morphological tasks that recruited vocabulary knowledge to a greater extent. In contrast, both groups performed similarly in abstract morphological tasks with a lower vocabulary load. These results demonstrate that lexical and morphological knowledge may rely on partially separable learning mechanisms, and highlight the importance of distinguishing between these two linguistic components. (shrink)

The theories of inclusive fitness and multilevel selection provide alternative perspectives on social evolution. The question of whether these perspectives are of equal generality remains a divisive issue. In an analysis based on the Price equation, Queller argued (by means of a principle he called the separation condition) that the two approaches are subject to the same limitations, arising from their fundamentally quantitative-genetical character. Recently, van Veelen et al. have challenged Queller’s results, using this as the basis for a broader (...) critique of the Price equation, the separation condition, and the very notion of inclusive fitness. Here we show that the van Veelen et al. model, when analyzed in the way Queller intended, confirms rather than refutes his original conclusions. We thereby confirm (i) that Queller’s separation condition remains a legitimate theoretical principle and (ii) that the standard inclusive fitness and multilevel approaches are indeed subject to the same limitations. (shrink)

I suggest addressing the problems Yarkoni identifies by separating substantive from statistical hypotheses, and treating them differently. A statistical test of experimental data only bears directly on statistical hypotheses. Evaluation of related substantive hypotheses requires an additional, qualitative inference to the best explanation. Statistical inference cannot do all of the work of theory choice.

In this paper, we consider how the four key team emergent states for team learning identified by Bell, Kozlowski and Blawath (2012), namely psychological safety, goal orientation, cohesion, and efficacy, operate as a system that produces the team’s learning climate (TLC). Using the language of systems dynamics, we conceptualize TLC as a stock that rises and falls as a joint function of the psychological safety, goal orientation, cohesion, and efficacy that exists in the team. The systems approach highlights aspects of (...) TLC management that are traditionally overlooked, such as the simultaneous influence of and feedback between the four team emergent states and the inertia that TLC can have as a result. The management of TLC becomes an issue of controlling the system rather than each state as an independent force, especially because changing one part of the system will also affect other parts in sometimes unintended and undesirable ways. Thus the value is to offer a systems view on the leadership function of team monitoring with regards to team emergent states, which we term team state monitoring. This view offers promising avenues for future research as well as practical wisdom. It can help leaders remember that TLC represents an equilibrium that needs balance, in addition to pointing to the various ways in which they can influence such equilibrium. (shrink)

Linear temporal logic with Since and Until modalities is expressively equivalent, over the class of complete linear orders, to a fragment of first-order logic known as FOMLO. It turns out that LTL, under some basic assumptions, is expressively complete if and only if it has the property, called separation, that every formula is equivalent to a Boolean combination of formulas that each refer only to the past, present or future. Herein we present simple algorithms and their implementations to perform separation (...) of the LTL with Since and Until, over discrete and complete linear orders, and translation from FOMLO formulas into equivalent temporal logic formulas. We additionally show that the separation of a certain fragment of LTL results in at most a double exponential size growth. (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)

Membranous organelles allow sub‐compartmentalization of biological processes. However, additional subcellular structures create dynamic reaction spaces without the need for membranes. Such membrane‐less organelles (MLOs) are physiologically relevant and impact development, gene expression regulation, and cellular stress responses. The phenomenon resulting in the formation of MLOs is called liquid–liquid phase separation (LLPS), and is primarily governed by the interactions of multi‐domain proteins or proteins harboring intrinsically disordered regions as well as RNA‐binding domains. Although the presence of RNAs affects the formation and (...) dissolution of MLOs, it remains unclear how the properties of RNAs exactly contribute to these effects. Here, the authors review this emerging field, and explore how particular RNA properties can affect LLPS and the behavior of MLOs. It is suggested that post‐transcriptional RNA modification systems could be contributors for dynamically modulating the assembly and dissolution of MLOs. (shrink)

Among contemporary religious believers, some follow in the footsteps of Newton, allowing their religious understanding to fill in gaps left by the sciences. Others take a more Wittgensteinian approach, discretely separating religious from scientific ways of thinking. Because neither of these relatively irenic positions captures the important element of cultural reform that is prevalent in so much of the religious life of the past, George Lakoff's recent work in cognitive studies is used to suggest ways that religious ideas may be (...) used to challenge and enrich scientific thought. A scrutiny of Richard Dawkins's biological analyses of human behavior reveals the distorting limitations of exclusively scientific understanding, thereby clearing conceptual space for genuinely religious values, actions, responsibilities, and forms of human life. (shrink)

Reasoning about concurrent programs involves representing the information that concurrent processes manipulate disjoint portions of memory. In sophisticated applications, the division of memory between processes is not static. Through operations, processes can exchange the implied ownership of memory cells. In addition, processes can also share ownership of cells in a controlled fashion as long as they perform operations that do not interfere, e.g., they can concurrently read shared cells. Thus the traditional paradigm of distributed computing based on locations is replaced (...) by a paradigm of concurrent computing which is more tightly based on program structure. Concurrent Separation Logic with Permissions, developed by O’Hearn, Bornat et al., is able to represent sophisticated transfer of ownership and permissions between processes. We demonstrate how these ideas can be used to reason about fine-grained concurrent programs which do not employ explicit synchronization operations to control interference but cooperatively manipulate memory cells so that interference is avoided. Reasoning about such programs is challenging and appropriate logical tools are necessary to carry out the reasoning in a reliable fashion. We argue that Concurrent Separation Logic with Permissions provides such tools. We illustrate the logical techniques by presenting the proof of a concurrent garbage collector originally studied by Dijkstra et al., and extended by Lamport to handle multiple user processes. (shrink)

This would be admirably clear and would give excellent sense, but it does entail the deletion of as an interpolation before Marshall is aware that is a word that is not likely to be used by an interpolator, but still feels able to propose its deletion and gives a detailed account of the way in which an interpolator might have approached the sentence. When one attempts to read the mind of an ancient scribe, all sorts of possibilities are opened up; (...) in this instance, it seems equally possible that a reader who, as Marshall suggests, was faced with … and was not able to understand the sentence because he failed to separate from and to see that was to be taken in the second clause, would have been inclined first at least to see whether sense could be obtained by separating from rather than to conjure up the word. (shrink)

In June 2015, in Obergefell v. Hodges, the Supreme Court of the United States determined that there is a fundamental right to marriage that extends to same-sex couples. This Article analyzes the Obergefell decision in light of the Court’s 2014 decision in Burwell v. Hobby Lobby regarding religious protections that might by analogy be afforded under state Religious Freedom Restoration Acts. In particular, the article considers whether a government official may claim the right to religious freedom to deny issuing marriage (...) licenses to same-sex couples. Additionally, the article suggests that a new standard for the separation of church and state may be required. Although the 2015 decision prevents the government from denying marriage to same-sex couples, the decision does not directly affect private businesses that choose not to provide services for same-sex weddings. It may, however, have an important indirect effect if laws are already present that prohibit sexual orientation discrimination. Therefore, the article explores possible avenues for protection from private. (shrink)

Ambiguous data obtained by deception say nothing about social behavior. A balanced social psychology requires separating statistical hypotheses from substantive hypotheses. Neither statistical norms nor moral rules are psychological theories. Explanatory substantive theories stipulate the structures and processes underlying behavior. The Bayesian approach is incompatible with the requirement that all to-be-tested theories be given the benefit of the doubt.

Here we discuss a “chromosome separation checkpoint” that might regulate the anaphase‐telophase transition. The concept of cell cycle checkpoints was originally proposed to account for extrinsic control mechanisms that ensure the order of cell cycle events. Several checkpoints have been shown to regulate major cell cycle transitions, namely at G1‐S and G2‐M. At the onset of mitosis, the prophase‐prometaphase transition is controlled by several potential checkpoints, including the antephase checkpoint, while the spindle assembly checkpoint guards the metaphase‐anaphase transition. Our hypothesis (...) is based on the recently uncovered feedback control mechanism that delays chromosome decondensation and nuclear envelope reassembly until effective separation of sister chromatids during anaphase is achieved. A central player in this potential checkpoint is the establishment of a constitutive, midzone‐based Aurora B phosphorylation gradient that monitors the position of chromosomes along the spindle axis. We propose that this surveillance mechanism represents an additional step towards ensuring mitotic fidelity. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:242 HISTORY OF PHILOSOPHY Thus Locke's mistake is not the simplistic one of bringing in a new type of perception --perception of the agreement of an idea with something which is not an idea. He attributes the certainty which is appropriate for a general verbal truth concerning archetypal ideas to a real truth concerning ectypal ideas. There is an additional difficulty in Locke's use of the distinction between adequate (...) and inadequate ectypal ideas when he uses them in his theory of self knowledge. How can we be sure that these simple ectypal ideas are adequate? We have certainty concerning the adequacy of our archetypal ideas because we have a complete knowledge of the archetype which is itself an idea. However, we are not given a complete knowledge of the archetype of simple ectypal ideas. We are assured of the adequacy of simple ectypal ideas only by assuming the truth of the causal principle. This leads to a circular argument. We can be assured of the adequacy of the causal relation considered as a product of our own construction. If the idea of the causal relation is archetypal, then the idea of this relation is adequate. However, when the causal relation is used to assure us of the adequacy of our simple ectypal ideas, the causal relation is no longer restricted to the level of archetypal ideas. In order to insure the adequacy of our simple ideas, the causal relation must be a relation between our ectypal ideas and something which is not an idea, viz., the power which causes the sensation. Archetypal ideas of relations are adequate, but this is not an archetypal idea of a relation, and thus we have no way of judging its adequacy. The only way to determine the adequacy of the causal connection is to show the adequacy of our simple ectypal ideas, but the adequacy of these simple ectypal ideas is itself predicated on the adequacy of the idea of the causal relation. Thus, the whole argument for the adequacy of simple ectypal ideas is circular. Either the real and nominal essences of simple ideas are identical as claimed in Book Three, or the real and nominal essences of simple ideas are not identical, as claimed in Book Two. If the real and nominal essences of simple ideas are identical, then these simple ideas are archetypal and adequate but they afford us no knowledge about any extra-mental thing. If the real and nominal essences of simple ideas are not identical then simple ideas are ectypal, but we cannot be assured of their adequacy because their adequacy is dependent on the causal relation whose adequacy is not assured. Thus, Locke's epistemology does not support his claim for intuitive knowledge of his own existence, but the mistakes he does make are not nearly as simplistic as they are often claimed to be. DONALD W. GOTTERBARN University of Southern California THE DISTINGUISHABLE AND THE SEPARABLE; A NOTE ON HUME AND CAUSATION In this note, I shall be concemed with only one part of Hume's doctrine of causation, and my criticism of this feature of his position will leave much of the remainder untouched. This is not to say that my point is unimportant, for I shall challenge Hume's fight to claim that there cannot in any case be a direct impression of connection, force, or power. He attempted to establish this claim by argument, and I wish to show that there is a fatal flaw in that argument. NOTES AND DISCUSSIONS 243 In order that what follows shall not be misunderstood, two points must be noted. First, I would not claim that we have an impression of connection, force, or power in all cases in which we hold that events are related as cause and effect. There are many instances in which this is not true, and the number and even the varieties of these cases could be greatly expanded beyond the illustrations which Hume gave in the Treatise and the Enquiry Concerning the Human Understanding. I shall only argue that he did not offer adequate reasons for holding that there are no eases in which we can possibly have such... (shrink)

We argue that the separation between CF (contextual field) and RF (receptive field) in relation to the NMDA (N-methyl-D-aspartate) system is empirically questionable and that it is functionally unnecessary. In addition, the proposed suppression of unexpected information will in many cases be counterproductive.

Atoms and molecules are particular kinds of restricted n-body systems, which generally behave as quasi-separable, unlike other n-body systems, e.g., Newtonian ones. The Coulomb repulsion and the Pauli exclusion principle in atoms and molecules are responsible for that separability. Additionally, chemical bonds, especially covalent bonds, enhance the separability of molecules. Independent particle models do not describe atoms and molecules since first-order energy corrections are high. However, these corrections obtained by the first-order perturbation or mean-field strongly converge, implying a one-electron (...) effective potential description. Consequently, stable states of atoms and molecules can be reasonably described by one-electron effective potentials, which strongly differ from other n-body problems. We discuss the peculiarities of the correlation motion of generic systems in the context of the four fundamental forces. In particular, we have shown that the two components (attraction and repulsion) of the electromagnetic force confer a relatively low correlation motion to atoms and molecules. We discuss the physical and chemical nature of atoms and molecules, comparing the degrees of separability between different systems. For example, the separability of Newtonian systems is generally possible in particular classes of restricted systems due to relative mass differences. However, for atoms and molecules, the separability is much broader. (shrink)

Population axiology includes two major arguments. The first is the repugnant conclusion, which was originally formulated by Derek Parfit to criticize total utilitarianism. The second is the sadistic conclusion. In this study, I demonstrate that no additively separable principle can avoid both repugnant and sadistic conclusions if individual moral values have no upper bound. This impossibility holds not only for utilitarian principles but also for any population principles that guarantee the separability of people’s well-being. I emphasize the importance (...) of examining non-separable principles in population ethics. (shrink)

Judicial review of statutes presupposes the establishment of a clear hierarchical supremacy of the constitution, which can serve as a standard of review, as well as an independent and assertive judiciary. The conditions for such a hierarchical supremacy of the constitution were only partly fulfilled in nineteenth‐century Germany. In addition, the concept of the separation of powers was rejected and the judiciary was in a weak position. Therefore the judicial review of ordinances was slow to develop. The judicial review of (...) statutes began only at the end of the nineteenth century and was restricted to formal review as opposed to a review of the content of statutes. (shrink)

Sussman et al. state that auditory systems exploit linear correlations in the sound signal in order to identify perceptual categories. Can the auditory system recognize linearity? In bats and owls, separability of emergent features is an additional constraint that goes beyond linearity and for which linearity is not a necessary prerequisite.

In his book on P max [7], Woodin presents a collection of partial orders whose extensions satisfy strong club guessing principles on ω | . In this paper we employ one of the techniques from this book to produce P max variations which separate various club guessing principles. The principle (+) and its variants are weak guessing principles which were first considered by the second author [4] while studying games of length ω | . It was shown in [1] that (...) the Continuum Hypothesis does not imply (+) and that (+) does not imply the existence of a club guessing sequence on ω | . In this paper we give an alternate proof of the second of these results, using Woodin's P max technology, showing that a strengthening of (+) does not imply a weakening of club guessing known as the Interval Hitting Principle. The main technique in this paper, in addition to the standard P m a x machinery, is the use of condensation principles to build suitable iterations. (shrink)

One of the issues covered by Muʿtazila’s idea of justice is the subject of the imposition of moral obligation (taklīf). The concept of the obligation (taklīf), which expresses that God imposes some difficult acts on His servants and asks them to fulfill them, is important because it explains God’s justice for His servants and His wisdom in creating them. For this reason, the main emphasis in the matter of imposition has been on the veneration of the servants and rendering benefits (...) to them in return for imposition. As a matter of fact, God offers His servants such a reward that it is not possible to achieve with anything other than obligation. This article presents examples of hypothetical obligations emphasizing the same issue. Al-taklīf al-zāid is an additional imposition period meaning that God does not end the life that he determines for the morally obliged (mukallaf), but prolongs the life of the servant in such a way that changes the result of his imposition. In Muʿtazilite thought, the issue of the additional imposition basically takes place in the form of two separate discussions about unbeliever and believer. While the additional imposition of the unbeliever deals with the situation of the unbeliever who is known to believe when his imposition (or life) is prolonged; the additional imposition of believer deals with the situation of the believer who is known to disbelieve when his imposition (or life) is prolonged. Abū ʿAli thinks that it is obligatory (wajib) for God to keep this unbeliever alive when it is known that he would come to believe if He did not kill him and his imposition had been prolonged. His argument in this regard is his thought that the additional imposition is a favour (lutf) for the unbeliever to believe. Abū Hāshim, on the other hand, says that it is not obligatory for God to prolong the imposition of unbeliever in such a situation, and that it would be good (hasan) to kill the unbeliever, even though it is known that he would have believed if his imposition had been prolonged. Because, according to Abū Hāshim, God already gave the unbeliever the opportunity to attain rewards in his first imposition. The unbeliever reached this end because he made a wrong choice in his imposition and it cannot be obligatory for God to re-present the circumstances that will change this outcome. According to him, the additional imposition of an unbeliever is not a favour (lutf), but it is like the enabling to act (tamkīn) and is not obligatory. As for the additional imposition of a believer, Abū ʿAli, Abū Hāshim and the Bahshamites agree that it is good to prolong the imposition of the believer who is known to be an unbeliever if his imposition was prolonged. The reason for their view is that God has endowed the servant with a reward, which would otherwise be unattainable, in return for the prolonged imposition. However, the Husaynites believe that prolonging the imposition of believer in this situation would not be good. Because the believer deserves a reward for his first imposition and in this case, his additional imposition will be a corruption (mafsada) for him. As a result of these different views, when we look generally, it is seen that the main concern in Muʿtazilite thought is to make the most appropriate decision for the benefit of the servant in all the impositions that God has imposed and is likely to impose. The Bahshamites have always prioritized offering more rewards to the servant. However, Abū ʿAli regarding the additional imposition of the unbeliever, and the Husaynites regarding the additional imposition of believer, prioritized the imposition’s resulting in belief, and they thought that it was more suitable for the benefit of the servant. Since the purpose of the imposition in Muʿtazilite thought is to provide the opportunity to attain the degrees that it could never been reached in any other way, regardless of the outcome, it should be said that the views of the Bahshamites on both additional obligations are more consistent within the general system of Muʿtazila. (shrink)

We consider separably closed fields of characteristic $p > 0$ and fixed imperfection degree as modules over a skew polynomial ring. We axiomatize the corresponding theory and we show that it is complete and that it admits quantifier elimination in the usual module language augmented with additive functions which are the analog of the $p$-component functions.

“Separation/disassociation from what is dear is suffering . . . ” declares the first noble truth of suffering, in a statement that is overwhelming in its decisiveness and scope, encompassing both the severance of ties to loved ones and the discontinuity of any attempt to hold on to what is pleasant or liked. However, in first-millennium Indian Sanskrit classical lore, Buddhist not excepted, separation comes to mean and convey much more—in terms of emotional phenomena—than just suffering. It is understood in (...) terms of diverse and sometimes excluding emotional phenomena, which are experienced under different (and sometimes contrastive) contexts. In Sanskrit belletristic literature and aesthetics, where lovers’ experience of “love in separation” is listed under the rubric of the erotic emotion, separation comes with its own particular sub-moods, typical landscapes, and associated practices, all of which are extended also under virahabhakti to the religious realm and the highly aestheticized relations with the divine. And in the case of philosophical texts and themes connected with Śramaṇic ideology, Buddhist and non-Buddhist alike, a sense of doom regarding one’s impending demise and the inevitable separation from all that is dear becomes a dominant mood, and carries with it normative and moral prescriptions, a theorization of action, and a particular kind of perceptual salience. These various outlooks on separation, however, are not unrelated, and often both come into play within the confines of a single work. This is especially true in the case of the Buddhist belletristic poetical works (mahākāvya) of Aśvaghoṣa (second century CE ), Life of the Buddha (Buddhacarita, BC) and Beautiful Nanda (Saundarananda, SN), in which separation—and here I refer primarily to the term viprayoga in both its concrete sense as the separation from loved ones and its broader existential sense—features as a central theme. Exploring the range of meanings and dynamic use of the term within Aśvaghoṣa’s SN, the first part of this article provides a brief theoretical framework with which to approach Aśvaghoṣa’s understanding of separation and its relation to the emotions. In this regard, I argue that separation, more than just an umbrella term for a cluster of associated feelings and emotions, serves as a unique emotional context—prescribing specific kinds of perceptual and moral saliency, practices and regimes of the self—under which emotional phenomena become meaningful. As such, its analysis may also contribute to the ongoing scholarly discussion about the adequacy of using the very category of emotion in the context of Buddhist literature. Drawing on this framework and focusing on Aśvaghoṣa’s BC, the second part of the article turns to deal specifically with the role he allocates in the work to philosophical moral arguments regarding separation. Through analysis of the workings of a particular recurrent argument that I will call “the argument from separation,” I argue that, in addition to its role in justifying Buddhist ideology, it functions in Aśvaghoṣa’s BC primarily as a self-therapy of the emotions. (shrink)

You and I lead different lives. While we share a society and a world, our existence is separate from one another. You and I matter individually, by ourselves. My dissertation is about this simple thought. I argue that this simple insight, the separateness of persons, tells us something fundamental about morality. My dissertation seeks to answer how the separateness of persons matters. I develop a precise view of the demands of the separateness of persons. The separateness of persons imposes both (...) a requirement on the justification of first-order moral principles as well as a requirement on the content of first-order moral principles. In specifying these demands, I argue that respecting the separateness of persons requires taking into consideration each person’s point of view separately. This requires taking into account the moral relations in which individuals stand to one another. I make use of this relational understanding of the separateness of persons to advance various debates in moral and political philosophy. I argue for a framework to assess to which extent the veil of ignorance can be reconciled with the separateness of persons. I also argue for a new view on the ethics of risk which is a form of contractualism that discounts risks only by their objective risk. Furthermore, I argue for a new solution to the problem of aggregation that is skeptical of aggregation and can set plausible limits to aggregation. Lastly, I provide a new relational agent-based justification for deontological constraints. In addition to answering how the separateness of persons matters, I defend the separateness of persons against challenges. Most importantly, I argue that the importance of the separateness of persons is not undermined even if we believe that our personal identity, i.e. whether we persist as the same person, is unimportant. (shrink)

One method for uncovering the subprocesses of mental processes is the “Additive Factors Method” (AFM). The AFM uses reaction time data from factorial experiments to infer the presence of separate processing stages. This paper investigates the conceptual status of the AFM. It argues that one of the AFM’s underlying assumptions is problematic in light of recent developments in cognitive neuroscience. Discussion begins by laying out the basic logic of the AFM, followed by an analysis of the challenge presented by neural (...) reuse. Following this, implications are analysed and avenues of response considered. (shrink)

Farmers’ markets have enjoyed a resurgence in the past two decades in Canada, the United States, and the United Kingdom. This increase in popularity is attributed to a host of environmental, social, and economic factors, often related to the alleged benefits of local food, alternative farming, and producer–consumer interactions. Steeped in tradition, there are also widely held assumptions related to the type of food and food vendors that belong at a farmers’ market in addition to the type of experience that (...) should take place. There remains a need to explore and analyze these fundamental aspects of the farmers’ market and to consider how they influence their formation and function. This paper argues that discourses of authenticity are central to the identity of the farmers’ market, and that they are constructed differently “from above” by those seeking to regulate farmers’ markets in particular jurisdictions and “from below” by managers, producers, and consumers at individual markets. A literature-based discussion is complemented and grounded by consideration of institutional statements regarding authenticity and of key results from a survey of managers, food vendors, and customers at 15 farmers’ markets in Ontario, Canada. It is demonstrated that while the general discourse about authenticity at the farmers’ market is built around strict, almost ideological assumptions about the presence of “local food” and those who produce it, community-level responses reflect considerable diversity in the interpretation and composition of the farmers’ market. It is suggested that a binary view of authenticity, where some farmers’ markets are cast as “real” and others presumably not, is highly problematic as it tends to ignore a large and important middle ground with multiple identities. (shrink)

In two studies of a GO–NOGO task assessing sustained attention, we examined the effects of altering speed–accuracy trade-offs through instructions and auditory alerts distributed throughout the task. Instructions emphasizing accuracy reduced errors and changed the distribution of GO trial RTs. Additionally, correlations between errors and increasing RTs produced a U-function; excessively fast and slow RTs accounted for much of the variance of errors. Contrary to previous reports, alerts increased errors and RT variability. The results suggest that standard instructions for sustained (...) attention tasks, emphasizing speed and accuracy equally, produce errors arising from attempts to conform to the misleading requirement for speed, which become conflated with attention-lapse produced errors and auditory alerts have complex, and sometimes deleterious, effects on attention. We argue that instructions emphasizing accuracy provide a more precise assessment of attention lapses in sustained attention tasks. (shrink)

Research integrity is fundamental to the validity and reliability of scientific findings, and for ethical conduct of research. As part of PRINTEGER (Promoting Integrity as an Integral Dimension of Excellence in Research), this study explores the views of researchers, research managers, administrators, and governance advisors in Estonia, Italy, Norway and UK, focusing specifically on their understanding of institutional and organisational influences on research integrity.A total of 16 focus groups were conducted. Thematic analysis of the data revealed that competition is pervasive (...) and appeared in most themes relating to integrity. The structural frameworks for research such as funding, evaluation and publication were thought to both protect and, more commonly, undermine integrity. In addition, institutional systems, including workload and research governance, shaped participants’ day-to-day work environment, also affecting research integrity. Participants also provided ideas for promoting research integrity, including training, and creating conditions that would be supportive of research integrity.These findings support a shift away from individual blame and towards the need for structural and institutional changes, including organisations in the wider research environment, for example funding bodies and publishing companies. (shrink)

From 1895, the year he published his first signed article, to four days before his death in 1970 when he wrote his last, Bertrand Russell was a powerful force in the world of mathematics, philosophy, human rights and the struggle for peace. During those years he published 70 books, almost as many pamphlets and over 2,000 articles, he also contributed pieces to some 200 books. The availability of the Bertrand Russell Archives at McMaster University since 1968 has made it possible (...) for the first time to compile a full, descriptive bibliography of his writings. The Collected Papers are based on it. Fully annotated, the Bibliography is textually oriented and will guide the scholar, collector and general reader to the authoritative editions of Russell's works. It includes references to the locations of all known speeches and interviews, and reproductions of the dust-jackets of Russell's books. Blackwell, Ruja and Turcon have cooperated for nearly 20 years on the new Bibliography. Lord Russell saw the extensive additions for it near the end of his life and declared: `I am impressed.'. (shrink)

From 1895, the year he published his first signed article, to four days before his death in 1970 when he wrote his last, Bertrand Russell was a powerful force in the world of mathematics, philosophy, human rights and the struggle for peace. During those years he published 70 books, almost as many pamphlets and over 2,000 articles, he also contributed pieces to some 200 books. The availability of the Bertrand Russell Archives at McMaster University since 1968 has made it possible (...) for the first time to compile a full, descriptive bibliography of his writings. The _Collected Papers_ are based on it. Fully annotated, the Bibliography is textually oriented and will guide the scholar, collector and general reader to the authoritative editions of Russell's works. It includes references to the locations of all known speeches and interviews, and reproductions of the dust-jackets of Russell's books. Blackwell, Ruja and Turcon have cooperated for nearly 20 years on the new Bibliography. Lord Russell saw the extensive additions for it near the end of his life and declared: `I am impressed.'. (shrink)