This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by (...) one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems. (shrink)

Tenure is designed to protect the academic freedom of faculty members by insulating them from arbitrary dismissal by administrative authorities external to their community of scholars. Therefore, the target article's focus on constraints that derive from peer pressures and academic politics is misplaced, rendering the results of the survey irrelevant to the issue of the value of tenure. (Published Online February 8 2007).

We discuss models that attempt to provide an explanation for the violation of Bell inequalities at a distance in terms of hidden influences. These models reproduce the quantum correlations in most situations, but are restricted to produce local correlations in some configurations. The argument presented in (Bancal et al. Nat Phys 8:867, 2012) applies to all of these models, which can thus be proved to allow for faster-than-light communication. In other words, the signalling character of these models cannot remain (...) hidden. (shrink)

Despite the numerous instances of PED use in professional sports, there continues to be a strong negative moral response to those athletes who dope. My goal is to offer a diagnosis of this response. I will argue that we do not experience such disdain because these athletes have broken some constitutive rule of sport, but because they have lied about who they are. In violating the constraints of their own public narratives, they make both themselves and their choices unintelligible. (...) This worry becomes especially profound as we care greatly about who our athletes are. Using cases from both athletics and US politics, I argue that certain kinds of lies so violate our understanding of who a person is that we can no longer recognize them as the person we took them to be. Fundamentally, I believe that PED users have lied about something central to their public narratives. I develop this view through an examination of narrative identity, primarily focusing on J. David Velleman’s work on agency and self-constitution. I do not claim that the athlete using steroids is nonidentical to who she would be in the absence of steroid use, but that through use of PEDs, she has misled us about an important component of her pubic narrative and this is difficult for us to reconcile. Ultimately, this has implications for sport as well as other other aspects of human social life. (shrink)

Deontologists often assume that ethical constraints hold ‘come what may’ but that violations of the constraints can be excused or pardoned. Vinit Haksar has argued for pardon as deontologically appropriate mitigation for the violation of deontological constraints. However, the reasons he adduces against excuse are inconclusive. In this paper, I show how complex the question of excuse versus pardon for deontological transgressions is. Liability for the development of character traits and the assumption of agent-centered responsibility have (...) to be taken into account before the possibility of pardon can be identified as appropriate deontological softener for strict constraints. (shrink)

The study of biomechanics most often takes a classic adaptationist approach, examining the functional abilities of organisms in relation to what is allowed by physical parameters. This approach generally assumes strong selection and is less concerned with evolutionary stochasticity in determining the presence of biological traits. It is equally important, however, to consider the importance of constraint in determining the form of organisms. If selection is relatively weak compared to stochastic events, then the observed forms in living systems can be (...) taken not as those shapes that were strongly selected for, so much as those forms that do not violate physical rules and therefore persist. Using the problem of maximum animal size as a case study for this alternative biomechanical philosophy, I demonstrate one example of how biomechanical approaches can be used to study constraint and consider the concept of absent forms. This alternative mindset and approach produces a complementary system to the traditional form and function approach in biomechanics. The two philosophies can be used in conjunction to better understand biological systems. I focus particularly on the maximum size of flying animals, as they are a heavily constrained class of system that has also been shaped by substantial stochasticity. (shrink)

According to the Generality Constraint, mental states with conceptual content must be capable of recombining in certain systematic ways. Drawing on empirical evidence from cognitive science, I argue that so-called analogue magnitude states violate this recombinability condition and thus have nonconceptual content. I further argue that this result has two significant consequences: it demonstrates that nonconceptual content seeps beyond perception and infiltrates cognition; and it shows that whether mental states have nonconceptual content is largely an empirical matter determined by the (...) structure of the neural representations underlying them. (shrink)

The paper discusses the potential value of a deontic approach to database specification. More specifically, some different types of integrity constraints are considered and a distinction is drawn between necessary (hard) and deontic (soft) constraints.Databases are compared with other normative systems. A deontic logic for database specification is proposed and the problems of how to react to, and of how to correct, or repair, a situation which arises through norm violation are discussed in the context of this (...) logic. The limitations of the proposed logic and possible modifications and extensions of it are analysed. (shrink)

The thesis examines the philosophical implications of the computational theory of early vision developed by Marr. According to Marr, early visual processes consist of sequences of "modular" computational mechanisms. These processes rely on functional relations between rates of change in stimulus magnitudes which result from certain contingent, global properties--natural constraints--of the physical world. ;Marr argues that explanations of early vision must have three distinct levels of description: computational, algorithmic and physical. In Chapter 1 I defend the explanatory significance of (...) this distinction in levels. In fulfilling its role in describing the dependence of visual processes on natural constraints, the computational level forms an autonomous level of description in the sense that it is unaffected by the computational steps at the other levels. ;In Chapter 2 I discuss the implications of natural constraints for the issues of individualism and methodological solipsism. I conclude that Mart's theory is nonindividualistic in the sense that visual content does not supervene on neural properties. However, this merely reflects the fact that different computational theories may be selected for the same system. Importantly, Marr's theory does not violate methodological solipsism since interpretations within theories must supervene on neural properties. ;In Chapter 3 I argue from the results of Chapters 1 and 2 that psychological explanation does not reduce to neurophysiology. This conclusion does not follow from the functionalist argument against physicalism, which is based on an incorrect account of computational theories. Rather the conclusion reflects the explanatory incompleteness of neurophysiological theories given the autonomous role of the computational level. ;In Chapter 4 I look in detail at the arguments for a "language of thought" as they apply to early vision. I distinguish two versions of the language of thought hypothesis, one weaker than the other. I conclude that the stronger version, which claims that a cognitive system is "program-using", is false of early vision because of the role of natural constraints. The weaker claim that cognitive processes employ symbolic transformations is true of the computational-level theory of early vision, but there is insufficient evidence to establish the claim at the algorithmic level. (shrink)

Colonius suggests that, in using standard set theory as the language in which to express our computational-level theory of human memory, we would need to violate the axiom of foundation in order to express meaningful memory bindings in which a context is identical to an item in the list. We circumvent Colonius's objection by allowing that a list item may serve as a label for a context without being identical to that context. This debate serves to highlight the value of (...) specifying memory operations in set theoretic notation, as it would have been difficult if not impossible to formulate such an objection at the algorithmic level. (shrink)

In any theory satisfying the no-signaling principle correlations generated among spatially separated parties in a Bell-type experiment are subject to certain constraints known as monogamy relations. Recently, in the context of the black hole information loss problem it was suggested that these monogamy relations might be violated. This in turn implies that correlations arising in such a scenario must violate the no-signaling principle and hence can be used to send classical information between parties. Here, we study the amount of (...) information that can be sent using such correlations. To this aim, we first provide a framework associating them with classical channels whose capacities are then used to quantify the usefulness of these correlations in sending information. Finally, we determine the minimal amount of information that can be sent using signaling correlations violating the monogamy relation associated to the chained Bell inequalities. (shrink)

Deontologists believe that it is wrong to violate a right even if this will prevent a greater number of violations of the same right. This leads to the paradox of deontology: If respecting everyone’s rights is equally important, why should we not minimize the number of rights violations? One possible answer is agent-based. This answer points out that you should not violate rights even if this will prevent someone else’s violations. In this paper, I defend a relational agent-based justification that (...) focuses on the relation in which the agent stands to her would-be victims. I argue that this justification can avoid two key objections levelled against agent-based justifications: It can explain why we are not permitted to minimize our own rights violations, and the justification avoids the charge of being excessively self-concerned. (shrink)

The wrongfulness constraint, as a principle of criminalization, is supposed to preclude criminalization in the absence of wrongfulness. Crimes that look especially problematic from the perspective of the wrongfulness constraint are mala prohibita offenses. The aim of this Essay is to consider the question whether the wrongfulness constraint can serve as an effective tool to curb overcriminalization by looking at the case of mala prohibita offenses. This Essay defends the following propositions. First, because of the availability of an array of (...) tools to defend various mala prohibita offenses as satisfying the wrongfulness constraint, it is often not a straightforward matter to demonstrate that committing a malum prohibitum offense is not wrongful. Second, as a result, the wrongfulness constraint is of limited use as a way of stemming the tide of overcriminalization. The Essay concludes by suggesting, more broadly, that the problem of overcriminalization is not that too many crimes violate the wrongfulness constraint but that criminal laws, even those that satisfy the wrongfulness constraint, can easily become a source of oppression, and that asking whether crimes violate the wrongfulness constraint may be counterproductive because the question misdirects our attention. (shrink)

We investigate risk associated with the violation of a constraint, which is desirable but hardly satisfiable in all possible states of nature.

Several articles have recently appeared arguing that there really are no viable alternatives to mechanistic explanation in the biological sciences (Kaplan and Bechtel; Kaplan and Craver). We argue that mechanistic explanation is defined by localization and decomposition. We argue further that systems neuroscience contains explanations that violate both localization and decomposition. We conclude that the mechanistic model of explanation needs to either stretch to now include explanations wherein localization or decomposition fail or acknowledge that there are counterexamples to mechanistic explanation (...) in the biological sciences. (shrink)

In this paper we attempt to supply answers to questions of the following kinds: How are database Integrity Constraints to be characterised formally? How is the concept of violation of an IC to be understood? What is the epistemic status of an IC? Following an analysis of the standard treatment of ICs, based on a simple example, we recall how Reiter provided a clear definition of the epistemic status of ICs. On Reiter's approach, ICs are implicitly supported by (...) statements that are guaranteed to be true; this property is explicit in the standard view of ICs, and we proceed to show how the standard view of ICs may be refined in the light of Reiter's work. We then supply formal definitions of the properties of Validity and Completeness which have to be enforced using ICs, and we give general formal results concerning techniques which can be used to check these properties. We propose to split the overall information involved in Integrity Checking into three components called DB, SAF and IC. DB represents a description of the world that is not necessarily guaranteed to be correct; SAF represents the information about the world that is guaranteed to be true, and which is used to check violations of Validity or Completeness; and IC defines the parts of DB for which the properties of Validity or Completeness must be enforced. (shrink)

My focus is on pragmatic arguments for various rationality constraints on a decision maker’s state of mind: on his beliefs or preferences. An argument of this kind purports to show that a violator of a given constraint can be exposed to a decision problem in which she will act to her guaranteed disadvantage. Dramatically put, she can be exploited by a clever bookie who doesn’t know more than the agent himself. Examples of pragmatic arguments of this kind are synchronic (...) Dutch Books, for the standard probability axioms, diachronic Dutch Books, for the more controversial principles of reflection and conditionalization, and Money Pumps, for the transitivity requirement on preferences. It is suggested that the proposed exploitation set-ups share a common feature. If the violator of a given constraint is logically and mathematically competent, she can be exploited only if she is disunified in his decision-making, i.e., only if she makes decisions on various issues she confronts separately rather than jointly. In other words, exploitation is possible only if the decision problem has been framed in a certain way. Unification in decision making is relatively unproblematic in synchronic contexts, but it may be quite costly and inconvenient diachronically, especially when the issues under consideration are widely spread over time. On my view, therefore, pragmatic arguments should be seen as delivering conditional recommendations: If you want to afford disunification, then you’d better satisfy these constraints. The arguments of this kind fail to establish the inherent rationality of the constraints under consideration. Isaac Levis view of the status of pragmatic arguments is diametrically opposed to mine. According to him, only synchronic pragmatic arguments are valid. The diachronic ones, he argues, lack any validity at all. This line of reasoning is questioned in my paper. (shrink)

My focus is on pragmatic arguments for various rationality constraints on a decision maker’s state of mind: on his beliefs or preferences. An argument of this kind purports to show that a violator of a given constraint can be exposed to a decision problem in which she will act to her guaranteed disadvantage. Dramatically put, she can be exploited by a clever bookie who doesn’t know more than the agent himself. Examples of pragmatic arguments of this kind are synchronic (...) Dutch Books, for the standard probability axioms, diachronic Dutch Books, for the more controversial principles of reflection and conditionalization, and Money Pumps, for the transitivity requirement on preferences. It is suggested that the proposed exploitation set-ups share a common feature. If the violator of a given constraint is logically and mathematically competent, she can be exploited only if she is disunified in his decision-making, i.e., only if she makes decisions on various issues she confronts separately rather than jointly. In other words, exploitation is possible only if the decision problem has been framed in a certain way. Unification in decision making is relatively unproblematic in synchronic contexts, but it may be quite costly and inconvenient diachronically, especially when the issues under consideration are widely spread over time. On my view, therefore, pragmatic arguments should be seen as delivering conditional recommendations: If you want to afford disunification, then you’d better satisfy these constraints. The arguments of this kind fail to establish the inherent rationality of the constraints under consideration. Isaac Levis view of the status of pragmatic arguments is diametrically opposed to mine. According to him, only synchronic pragmatic arguments are valid. The diachronic ones, he argues, lack any validity at all. This line of reasoning is questioned in my paper. (shrink)

Several articles have recently appeared arguing that there really are no viable alternatives to mechanistic explanation in the biological sciences. This claim is meant to hold both in principle and in practice. The basic claim is that any explanation of a particular feature of a biological system, including dynamical explanations, must ultimately be grounded in mechanistic explanation. There are several variations on this theme, some stronger and some weaker. In order to avoid equivocation and miscommunication, in section 1 we will (...) argue that mechanistic explanation is defined by localization and decomposition. In section 2 we will argue that systems neuroscience contains explanations that violate both localization and decomposition on any non-trivial construal of these concepts. Therefore, in section 3 we conclude the mechanistic model of explanation either needs to stretch to now include explanations wherein localization or decomposition fail, or acknowledge that there are counter-examples to mechanistic explanation in the biological sciences. We will also consider consequences and possible replies on the part of the mechanist in section 3. (shrink)

Common-sense morality includes various agent-centred constraints, including ones against killing unnecessarily and breaking a promise. However, it's not always clear whether, had an agent ϕ-ed, she would have violated a constraint. And sometimes the reason for this is not that we lack knowledge of the relevant facts, but that there is no fact about whether her ϕ-ing would have constituted a constraint-violation. What, then, is a constraint-accepting theory to say about whether it would have been permissible for her (...) to have ϕ-ed? In this paper, I canvass various possible approaches to answering this question and I argue that teleology offers the most plausible approach—teleology being the view that every act has its deontic status in virtue of how its outcome ranks, relative to those of its alternatives. So although, until recently, it had been thought that only deontological theories can accommodate constraints, it turns out that teleological theories not only can accommodate constraints, but can do so more plausibly than deontological theories can. (shrink)

The paper is devoted to the issue of surveillance in capitalism (surveillance capitalism), a phenomenon which has spread in that socio-economic system since the beginning of the 21st century. We attempt to point out the harmfulness of information technologies developing in the wrong direction, carrying the ideas of dataism and post-truth, which increasingly colonize human living space. It turns out that the information (traces) that people leave while operating on the Internet is a source of predicting human behavior in the (...) future (behavioral futures markets). Thus, for the most developed Internet enterprises in the world, they become a motive for violating what seem to be basic political rights, mainly freedom, property and security. As a result, under the influence of the disinformation often present on the Internet, people’s behavior may take the most socially undesirable forms, but desirable in the virtual world. The considerations in the paper are primarily theoretical. The descriptive method was used with elements of the conceptual analysis of surveillance capitalism in the context of dataism and post-truth. (shrink)

It is impermissible to violate a constraint, even if by doing so a greater number of violations of the very same constraint were to be prevented. Most find this puzzling. But what makes the impermissibility of such minimizing violations puzzling? This article discusses some recent answers to this question. The article's first aim is to make clear in what way these answers differ. The second aim is to evaluate the answers, along with Kamm's and Nagel's proposed solutions of what they (...) see as the puzzle of constraints. The main thesis of the article is this: because defenders of constraints are not committed to any conception of valuable states of affairs, constraints do not conflict with maximizing rationality; but neither can they be accounted for in terms of impersonal values. (shrink)

The Continuous Parameter Estimation Model is applied to develop individual genomic-level heritabilities for the latent hierarchical structure and developmental dynamics of Life History (LH) strategy LH strategies relate to the allocations of bioenergetic resources into different domains of fitness. LH has moderate to high population-level heritability in humans, both at the level of the high-order Super-K Factor and the lower-order factors, the K-Factor, Covitality Factor, and General Factor of Personality (GFP). Several important questions remain unexplored. We developed measures of genome-level (...) heritabilities employing an American sample of 316 monozygotic (MZ) and 274 dizygotic (DZ) twin dyads and a Swedish sample of 863 MZ and 475 DZ twin dyads. This novel heritability index measures individual genetic transmissibility, therefore opening new avenues for analyzing complex interactions among heritable traits inaccessible to standard structural equations methods. For these samples: (1) moderate to high heritability of factor loadings of Super-K on its lower-order factors is demonstrated, evidencing biological preparedness, genetic accommodation, and the gene-culture coevolution of biased epigenetic rules of development; (2) moderate to high heritability of the magnitudes of the effect of the higher-order factors upon their loadings on their constituent factors, evidencing genetic constraints upon phenotypic plasticity; and (3) that heritability of the LH factors, of factor loadings, and of the magnitudes of the correlations among factors are weaker among those with slower LH speeds, demonstrating that inter-individual variation in transmissibility is a function of individual socioecological selection pressures. (shrink)

This article concerns the morality of establishing regulated kidney markets in an effort to reduce the chronic shortage of kidneys for transplant. The article tries to rebut the view, recently defended by James Taylor, that if we hold autonomy to be intrinsically valuable, then we should be in favor of such markets. The article then argues that, under current conditions, the buying and selling of organs in regulated markets would sometimes violate two Kantian principles that are seen as moral (...) class='Hi'>constraints. One principle forbids expressing disrespect for the dignity of humanity; the other forbids treating others merely as means. In light of the moral danger posed by regulated markets, the article advocates an alternative way of diminishing the current organ shortage, namely opt-out systems of cadaveric organ donation. (shrink)

The interpretation of the violation of Bell-Clauser-Horne inequalities is revisited, in relation with the notion of extension of QM predictions to unmeasurable correlations. Such extensions are compatible with QM predictions in many cases, in particular for observables with compatibility relations described by tree graphs. This implies classical representability of any set of correlations 〈A i 〉, 〈B〉, 〈A i B〉, and the equivalence of the Bell-Clauser-Horne inequalities to a non void intersection between the ranges of values for the unmeasurable (...) correlation 〈A 1 A 2〉 associated to different choices for B. The same analysis applies to the Hardy model and to the “perfect correlations” discussed by Greenberger, Horne, Shimony and Zeilinger. In all the cases, the dependence of an unmeasurable correlation on a set of variables allowing for a classical representation is the only basis for arguments about violations of locality and causality. (shrink)

In Wason’s Selection Task, subjects: process information from the instructions and build a mental representation of the problem, then: select a course of action to solve the problem,under the constraints imposed by the instructions. We analyze both aspects as part of a constraint satisfaction problem without assuming Wason’s ‘logical’ solution to be the correct one. We show that outcome of step may induce mutually inconsistent constraints, causing subjects to select at step solutions that violate some of them. Our (...) analysis explains why inconsistent constraints are less likely disrupt non-abstract versions of the tasks, but unlike Bayesians does not posit different mechanisms in abstract and thematic variants. We then assess the logicality of the task, and conclude on cognitive tasks as coordination problems. (shrink)

Abstract: In earlier work, I argued that individuals have a right to own firearms for personal defense, and that as a result, gun prohibition would be unjustified unless it at least produced benefits many times greater than its costs. Here, I defend that argument against objections posed by Nicholas Dixon and Jeff McMahan to the effect that the right of citizens to be free from gun violence counterbalances the right of self-defense, and that gun prohibition does not violate the right (...) of self-defense because it renders everyone overall safer. (4258 words). (shrink)

In earlier work, I argued that gun prohibition is unjustified because it violates an individual right to self-defense. Here, I defend that argument against objections posed by Nicholas Dixon and Jeff McMahan to the effect that the right of citizens to be free from gun violence counterbalances the right of self-defense, and that gun prohibition does not violate the right of self-defense because it renders everyone overall safer.

Deontologists are united in asserting that there are side-constraints on permissible action, prohibiting acts of murder, theft, infidelity, etc., even in cases where performing such acts would make things better overall from an impartial standpoint. These constraints are enshrined in the vocabulary of rights apply even when violating those constraints would lead to fewer constraint-violations overall: I am prohibited from killing an innocent even when doing so is the only way to prevent you from killing five. However, (...) deontologists are divided over whether we have a duty to violate a smaller number of rights when this is necessary to prevent ourselves from later violating a larger number of rights that are at least as stringent. I argue that individuals do have such a duty, a duty which follows from widely accepted consistency constraints on choice. (shrink)

One of the principal aims of Kant’s Metaphysics of Morals, especially of the Doctrine of Virtue, is to present a taxonomy of our duties as human beings. The basic division of duties is between juridical duties and ethical duties, which determines the division of the Metaphysics of Morals into the Doctrine of Right and the Doctrine of Virtue. Juridical duties are duties that may be coercively enforced from outside the agent, as by the civil or criminal laws, or other social (...) pressures. Ethical duties must not be externally enforced (to do so violates the right of the person coerced). Instead, the subject herself, through her own reason and the feelings and motives arising a priori from her rational capacities -- the feelings of respect, conscience, moral feeling and love of other human beings, must constrain herself to follow them (MS 6:399-404).1 Among ethical duties, the fundamental division is between duties to oneself and duties to others. Within each of these two main divisions of ethical duty, there is a further division between duties that are strictly owed, requiring specific actions or omissions, and whose violation incurs moral blame, and duties that are wide or meritorious, the specific actions not strictly owed, but deserving of moral credit or merit. Kant treats these latter as ‘duties’ (eschewing any category such as ‘supererogation’) because the actions in question are conceived as fit objects of self-constraint – things we can make ourselves do through the exercise of reason and the moral feelings arising from the application of practical reason to our faculty of desire. Regarding duties to oneself, this division is between ‘perfect’ and ‘imperfect’ duty; regarding duties to others, the strict or narrow... (shrink)

The problem of adaptive finite-time fault-tolerant control and output constraints for a class of uncertain nonlinear half-vehicle active suspension systems are investigated in this work. Markovian variables are used to denote in terms of different random actuators failures. In adaptive backstepping design procedure, barrier Lyapunov functions are adopted to constrain vertical motion and pitch motion to suppress the vibrations. Unknown functions and coefficients are approximated by the neural network. Assisted by the stochastic practical finite-time theory and FTC theory, the (...) proposed controller can ensure systems achieve stability in a finite time. Meanwhile, displacement and pitch angle in systems would not violate their maximum values, which imply both ride comfort and safety have been enhanced. In addition, all the signals in the closed-loop systems can be guaranteed to be semiglobal finite-time stable in probability. The simulation results illustrate the validity of the established scheme. (shrink)

The problem of finite-time tracking control is discussed for a class of uncertain nonstrict-feedback time-varying state delay nonlinear systems with full-state constraints and unmodeled dynamics. Different from traditional finite-control methods, a C 1 smooth finite-time adaptive control framework is introduced by employing a smooth switch between the fractional and cubic form state feedback, so that the desired fast finite-time control performance can be guaranteed. By constructing appropriate Lyapunov-Krasovskii functionals, the uncertain terms produced by time-varying state delays are compensated for (...) and unmodeled dynamics is coped with by introducing a dynamical signal. In order to avoid the inherent problem of “complexity of explosion” in the backstepping-design process, the DSC technology with a novel nonlinear filter is introduced to simplify the structure of the controller. Furthermore, the results show that all the internal error signals are driven to converge into small regions in a finite time, and the full-state constraints are not violated. Simulation results verify the effectiveness of the proposed method. (shrink)

In this article, I comment on Simester and von Hirsch’s theory of criminalization and discuss general principles of criminalization. After some brief comments on punishment theories and the role of moral wrongdoing, I examine main lines of contemporary criminalization theories which tend to focus on the issues of harm, offense, paternalism and side-constraints. One of the points of disagreement with Simester and von Hirsch concerns the role of the harm principle. I rely on a straightforward normative concept of “rights (...) of others,” not in the sense of rights granted in positive law but in the sense of rights which are to be justified in political philosophy. With a rights-centered rather than a harm-centered approach, a prima facie reason for criminalization is the violation of others’ rights. It is unnecessary to develop a separate category of “offense to others,” and paternalistic interventions can be criticized straightforwardly because rights can be waived. (shrink)

This paper offers a new definition of "adaptationism". An evolutionary account is adaptationist, it is suggested, if it allows for multiple independent origins for the same function -- i.e., if it violates the "Unique Origin Constraint". While this account captures much of the position Gould and Lewontin intended to stigmatize, it leaves it open that adaptationist accounts may sometimes be appropriate. However, there are many important cases, including that of human rationality, in which it is not.

Germline genome editing is often disapproved of at the international policy level because of its possible threats to human dignity. However, from a critical perspective the relationship between this emerging technology and human dignity is relatively understudied. We explore the main principles that are referred to when 'human dignity' is invoked in this context; namely, the link with eugenics, the idea of a common genetic heritage, the principle of equal birth and broader equality and justice concerns. Yet the concept is (...) also used in favour of germline genome editing as it might improve the overall well-being of future generations. We conclude that dignity concerns do not justify a complete ban on safe heritable genome editing but should inform the implementation of side constraints to ensure that the value judgements about human traits that are inherent in this practice do not result in a diminished basic respect for those people affected by them. (shrink)

In this article we provide evidence for a Minimalist account of English-type resumptive pronouns. Our findings provide empirical support for syntactic theories that, like Minimalist accounts, allow for competition among derivations. According to our account, resumptive pronouns are spell-outs of traces. For reasons of economy, the resumptive pronoun surfaces only when the derivation with the trace is precluded by syntactic principles. This account predicts that resumptive pronouns should only improve violations of constraints on representation, and not violations of (...) class='Hi'>constraints on movement. We tested this prediction by conducting an acceptability judgment task with 36 native speakers of English. The results bore out our prediction; subjects preferred the resumptive pronoun over the trace in cases where the trace itself was illicit, but not in cases where only the movement operation was illicit. (shrink)

We show that Bell inequalities can be violated in the macroscopic world. The macroworld violation is illustrated using an example involving connected vessels of water. We show that whether the violation of inequalities occurs in the microworld or the macroworld, it is the identification of nonidentical events that plays a crucial role. Specifically, we prove that if nonidentical events are consistently differentiated, Bell-type Pitowsky inequalities are no longer violated, even for Bohm's example of two entangled spin 1/2 quantum (...) particles. We show how Bell inequalities can be violated in cognition, specifically in the relationship between abstract concepts and specific instances of these concepts. This supports the hypothesis that genuine quantum structure exists in the mind. We introduce a model where the amount of nonlocality and the degree of quantum uncertainty are parameterized, and demonstrate that increasing nonlocality increases the degree of violation, while increasing quantum uncertainty decreases the degree of violation. (shrink)

Despite pervasive variation in the content of laws, legal theorists and anthropologists have argued that laws share certain abstract features and even speculated that law may be a human universal. In the present report, we evaluate this thesis through an experiment administered in 11 different countries. Are there cross‐cultural principles of law? In a between‐subjects design, participants (N = 3,054) were asked whether there could be laws that violate certain procedural principles (e.g., laws applied retrospectively or unintelligible laws), and also (...) whether there are any such laws. Confirming our preregistered prediction, people reported that such laws cannot exist, but also (paradoxically) that there are such laws. These results document cross‐culturally and –linguistically robust beliefs about the concept of law which defy people's grasp of how legal systems function in practice. (shrink)

In this paper, I argue that Kant adopted, throughout his career, a position that is much more akin to classical accounts of epigenesis, although he does reject the more radical forms of epigenesis proposed in his own time, and does make use of preformationist sounding terms. I argue that this is because Kant thinks of what is pre-formed as a species, not an individual or a part of an individual; has no qualm with the idea of a specific, teleological principle (...) or force underlying generation, and conceives of germs and predispositions as specific constraints on such a principle or force. Neither of these conceptions of what is “preformed”, I argue, is in strict opposition to classical epigenesis. I further suggest that Kant’s lingering use of preformationist terminology is due to his belief that this is required to account for the specificity of the specific generative force; his resistance towards the unrestricted plasticity of the generative force in radical epigenesis, which violates species-fixism; and his insistence on the internal, organic basis of developmental plasticity and variation within species. I conclude by suggesting that this terminological and interpretative peculiarity is partly due to a larger shift in the natural philosophical concerns surrounding the debate on epigenesis and preformation. Specifically, it is a sign that the original reasons for resisting epigenesis, namely its use of specific, teleological principles and its commitment to the natural production of biological structure, became less of a concern, whereas unrestricted plasticity and its undermining of fixism became a real issue, thereby also becoming the focal point of the debate. (shrink)

An adaptive neural network control problem is addressed for a class of nonlinear hydraulic servo-systems with time-varying state constraints. In view of the low precision problem of the traditional hydraulic servo-system which is caused by the tracking errors surpassing appropriate bound, the previous works have shown that the constraint for the system is a good way to solve the low precision problem. Meanwhile, compared with constant constraints, the time-varying state constraints are more general in the actual systems. (...) Therefore, when the states of the system are forced to obey bounded time-varying constraint conditions, the high precision tracking performance of the system can be easily realized. In order to achieve this goal, the time-varying barrier Lyapunov function is used to prevent the states from violating time-varying constraints. By the backstepping design, the adaptive controller will be obtained. A radial basis function neural network is used to estimate the uncertainties. Based on analyzing the stability of the hydraulic servo-system, we show that the error signals are bounded in the compacts sets; the time-varying state constrains are never violated and all singles of the hydraulic servo-system are bounded. The simulation and experimental results show that the tracking accuracy of system is improved and the controller has fast tracking ability and strong robustness. (shrink)

In this paper I provide a unified analysis of a number of pragmatic anomalies that have been discussed in the literature. The paper’s main goal is to account for Sobel sequences of conditionals and sequences of disjunctive sentences, but I will also propose that this analysis can be extended to sequences of sentences with superlatives. The starting point is the observation that, while all these sequences are felicitous in one order, they are infelicitous when the order is reversed. Previous proposals (...) have focussed on particular types of infelicitous sequences Ken Hale: A life in language, MIT Press, Cambridge, 2001; Moss in Noûs 46:516–586, 2012; Lewis in Noûs 52:481–507, 2018; a.o.), or a subset of all the phenomena cited above Linguistic and psycholinguistic approaches on implicatures and presuppositions. Palgrave McMillan, Basingstoke, 2017; a.o.). I propose that sequences of sentences belonging to the same structured set of alternatives T are subject to a Specificity Constraint : sequences are acceptable if both alternatives are dominated by the same number of nodes in the structured set of alternatives T. Violations of SC can be avoided by strengthening the weaker alternative. However, covert strengthening violates an economy condition if the overtly stronger alternative is among those made salient by the preceding utterance in the sequence. I propose that the set of alternatives made salient by an utterance of a sentence s consists of s’s sisters and mother in T. I will show that the strengthening mechanism varies depending on the kind of sequence we have. (shrink)

The generalized Brans–Dicke theory (GBD), as one of the modified gravitational theories, was proposed previously and some interesting properties were found in this theory. Here we investigate the traversable-wormhole physics for GBD theory. Firstly, we derive the gravitational field equation in the framework of GBD wormhole geometry. The traversable wormhole could be gained in this theory. Secondly, using the classical reconstruction technique we originally derive an Lagrangian function for describing gravity in GBD theory. And the derived Lagrangian function for gravity (...) could be satisfied with the requirement of the viable conditions, such as the local gravity tests and the cosmological constraints, etc. Thus, the viable model for cosmology, local gravity and traversable WH can be unified in a uniform Lagrangian quantity within the framework of GBD theory. Thirdly, given that the violation of the energy conditions (ECs) often induce some problems in theory, we explore the ECs of matter in the traversable wormhole. It is shown that the null EC, the weak EC and the dominated EC for the matter can be satisfied in the traversable-wormhole physics of GBD theory, which are different from the results given in GR. It seems that the theory of GBD owns the more logic technically and consistency formally than the theory of GR. Fourthly, some other properties of GBD traversable WH are explored, such as the total gravitational energy, the volume integral quantifier, the dynamical stability of the anisotropic matter, and the difference of the propagation of sound within the matter configuration. The results support the GBD to provide an interesting candidate for traversable WH. (shrink)

Abstract: This paper defends a constraint that any satisfactory decision theory must satisfy. I show how this constraint is violated by all of the decision theories that have been endorsed in the literature that are designed to deal with cases in which opinions or values are represented by a set of functions rather than a single one. Such a decision theory is necessary to account for the existence of what Ruth Chang has called “parity” (as well as for cases in (...) which agents have incomplete preferences or imprecise credences). The problem with the all of the decision theories that have been defended to account for parity is that they are committed to a claim I call unanimity: when all of the functions in the set agree that an agent ought to do A, then an agent ought to do A. A decision theory committed to unanimity violates the constraint I defend in this paper. Thus, if parity exists, a new approach to decision theory is necessary. (shrink)

In this paper, I argue that Kant adopted, throughout his career, a position that is much more akin to classical accounts of epigenesis, although he does reject the more radical forms of epigenesis proposed in his own time, and does make use of preformationist sounding terms. I argue that this is because Kant (1) thinks of what is pre-formed as a species, not an individual or a part of an individual; (2) has no qualm with the idea of a specific, (...) teleological principle or force underlying generation, and conceives of germs and predispositions as specific constraints on such a principle or force. Neither of these conceptions of what is “preformed”, I argue, is in strict opposition to classical epigenesis. I further suggest that Kant’s lingering use of preformationist terminology is due to (1) his belief that this is required to account for the specificity of the specific generative force; (2) his resistance towards the unrestricted plasticity of the generative force in radical epigenesis, which violates species-fixism; and (3) his insistence on the internal, organic basis of developmental plasticity and variation within species. I conclude by suggesting that this terminological and interpretative peculiarity is partly due to a larger shift in the natural philosophical concerns surrounding the debate on epigenesis and preformation. Specifically, it is a sign that the original reasons for resisting epigenesis, namely its use of specific, teleological principles and its commitment to the natural production of biological structure, became less of a concern, whereas unrestricted plasticity and its undermining of fixism became a real issue, thereby also becoming the focal point of the debate. (shrink)

In this paper I provide a unified analysis of a number of pragmatic anomalies that have been discussed in the literature. The paper’s main goal is to account for Sobel sequences of conditionals and sequences of disjunctive sentences, but I will also propose that this analysis can be extended to sequences of sentences with superlatives. The starting point is the observation that, while all these sequences are felicitous in one order, they are infelicitous when the order is reversed. Previous proposals (...) have focussed on particular types of infelicitous sequences Ken Hale: A life in language, MIT Press, Cambridge, 2001; Moss in Noûs 46:516–586, 2012; Lewis in Noûs 52:481–507, 2018; a.o.), or a subset of all the phenomena cited above Linguistic and psycholinguistic approaches on implicatures and presuppositions. Palgrave McMillan, Basingstoke, 2017; a.o.). I propose that sequences of sentences belonging to the same structured set of alternatives T are subject to a Specificity Constraint : sequences are acceptable if both alternatives are dominated by the same number of nodes in the structured set of alternatives T. Violations of SC can be avoided by strengthening the weaker alternative. However, covert strengthening violates an economy condition if the overtly stronger alternative is among those made salient by the preceding utterance in the sequence. I propose that the set of alternatives made salient by an utterance of a sentence s consists of s’s sisters and mother in T. I will show that the strengthening mechanism varies depending on the kind of sequence we have. (shrink)