In lower quadrupedal vertebrates locomotor efficiency seems to result from the associate movements of the axial and appendicular systems, which are totally independent in structure and embryological origin. The curvature of the trunk, produced by a standing wave, magnifies the propulsive action of the limbs. In intermediate forms, the association of an elongate trunk with limbs reduced in size brings about functional consequences which may be noticeably diverse according to the degree of trunk elongation and limb reduction. According to environmental (...) constraints, animals search for better locomotor efficiency, which implies the maintenance or breakage of this association of both locomotor systems. In some cases, limb action on the ground is added to the axial wave action through a perfect mutual adjustment of rhythmic activity, until mechanical inefficiency of the limbs is reached by possible loss of contact with the ground. In other cases, the limbs dragged on the ground during the stance phase act against the axial action or, on the contrary, are inhibited by the axial system. A review of available data tries to contribute to an understanding of the respective roles of both systems in the transition to limblessness. (shrink)

Let us call an integer part of an ordered field any subring such that every element of the field lies at distance less than 1 from a unique element of the ring. We show that every real closed field has an integer part.

The research investigates the role of leadership in the transformation of denominational structures towards a missional ecclesiology, and focusses on the Highveld Synod of the Dutch Reformed Church. It describes the missional journey of the denomination, and interprets the transformation. The theory of ‘complex leadership’ in complex systems is applied to the investigation of the impact of leadership on a denominational structure. The theory identifies three mechanisms used by leaders as enablers in emergent, self-organisation systems: Leaders disrupt existing patterns, they (...) encourage novelty, and they act as sensemakers. These insights are applied as a tool to interpret the missional transformation of a denomination. (shrink)

We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...) (Q 3 ) of the variety Q 3. (shrink)

A structure is locally finite if every finitely generated substructure is finite; local sentences are universal sentences all models of which are locally finite. The stretching theorem for local sentences expresses a remarkable reflection phenomenon between the finite and the infinite models of local sentences. This result in part requires strong axioms to be proved; it was studied by the second named author, in a paper of this Journal, volume 53. Here we correct and extend this paper; in particular we (...) show that the stretching theorem implies the existence of inaccessible cardinals, and has precisely the consistency strength of Mahlo cardinals of finite order. And we present a sequel due to the first named author: (i) decidability of the spectrum $\operatorname{Sp}(\varphi)$ of a local sentence φ, below ω ω ; where $\operatorname{Sp}(\varphi)$ is the set of ordinals α such that φ has a model of order type α (ii) proof that $\operatorname{beth}_\omega = \sup\{\operatorname{Sp}(\varphi): \varphi \text{local sentence with a bounded spectrum}\}$ (iii) existence of a local sentence φ such that $\operatorname{Sp}(\varphi)$ contains all infinite ordinals except the inaccessible cardinals. (shrink)

There is a widespread conviction that people distinguish two kinds of acts: on the one hand, acts that are generalisably wrong because they go against universal principles of harm, justice, or rights; on the other hand, acts that are variably right or wrong depending on the social context. In this paper we criticise existing methods that measure generalisability. We report new findings indicating that a modification of generalisability measures is in order. We discuss our findings in light of recent criticisms (...) of moral/conventional research. (shrink)

The use of coercive measures in the care for the addicted has changed over the past 20 years. Laws that have adopted the “dangerousness” criterion in order to secure patients’ rights to non-intervention are increasingly subjected to critique as many authors plead for wider dangerousness criteria. One of the most salient moral issues at stake is whether addicts who are at risk of causing danger to themselves should be involuntarily admitted and/or treated. In this article, it is argued that the (...) dilemma between coercion on the one hand and abandonment on the other cannot be analysed without differentiated perspectives on the key notions that are used in these debates. The ambiguity these notions carry within care practice indicates that the conflict between the prevention of danger and respect for autonomy is not as sharp as the legal systems seem to imply. Some coercive measures need not be interpreted as an infringement of autonomy—rather, they should be interpreted as a way to provide good care. (shrink)

This paper argues, based on Lewis’ claim that communication is a coordination game (Lewis in Minnesota studies in the philosophy of science, University of Minnesota Press, Minneapolis, pp 3–35, 1975), that we can account for the communicative function of demonstratives without assuming that they semantically refer. The appeal of such a game theoretical version of the case for non-referentialism is that the communicative role of demonstratives can be accounted for without entering the cul de sac of trying to construct conventions (...) of ever-increasing complexity. Instead communication via demonstratives is explained with reference to the general, non-domain specific ability of human beings to solve games of coordination. Furthermore, there is empirical support for such a view. Judgments concerning demonstrative reference have been shown to be sensitive to judgments concerning common ground (Clark et al. in J Verb Learn Verb Behav 22:245–258, 1983), which is exactly what the non-referentialist account would predict. The game theoretical account also allows for an intuitively plausible, non-referentialist treatment of Speaks’ ‘trumping argument’ (Speaks in Philos Stud 174:709–734, 2017), as well as the Carnap/Agnew puzzle (Kaplan in Syntax Semant 9:221–43, 1970). (shrink)

Insect and crustacean lineages diverged over 500 Myr ago, and there are continuing uncertaintles about whether they evolved from a common arthropod ancestor or, alternatively, they evolved independently from annelid worms. Despite the diversity of their limbs and lifestyles, the nervous systems of insects and crustaeeans share many common features both in development and in function. Cellular and molecular embryology techniques reveal good evidence for homologies in the developing segmental ganglia. In the visual system, this seemingly common programme of insect (...) and crustacean CNS development culminates in common adult neural function. Comparisons of the cellular anatomy and physiology of animals as diverse as flies and crayfishes indicate that the neural circuits in the lamina of their optic lobe have been inherited largely unchanged from a common ancestor with good compound eyes. (shrink)

Health care workers with needlestick exposures to patients' blood often request a test of the patient for evidence of infection with human immunodeficiency virus. If the patient refuses the test, a conflict develops between the interests of the health care worker and those of the patient. Traditional approaches to this dilemma attempt to balance the rights or utilities of abstract patients and health care workers. While these approaches have the advantage of offering clear guidelines in advance of conflict, the interests (...) of the actual participants may differ from those used to create the guidelines. In nonmedical settings, conflicts are often resolved efficiently through negotiation and monetary exchanges. Although negotiated monetary settlements between health care workers and patients may be an impractical way to resolve medical conflicts, models developed from these perspectives provide insights into the individual interests of physicians and patients. Changing existing rules about medical record documentation, or increasing the penalties for the misuse of medical information, may satisfy the interests on both sides of the conflict and so represent integrative bargaining solutions. Even so, as the relationship between health care workers and their patients evolves, more explicit strategies for negotiation may become a reasonable solution to the problem of conflict. (shrink)

This article revisits a reduced model of cardiac electro-physiology which was proposed to understand the genesis of unidirectional block pathology and of ectopic foci. We underline some specificities of the model from the viewpoint of dynamical systems and bifurcation theory. We point out that essentially the same properties are shared by a simpler system more accessible to analysis. With this simpler system, it becomes possible to give a new presentation of the phenomenon in a phase plane with time moving slow (...) manifolds. This presentation can be of interest both for cardiac electro-physiologists and for mathematicians. (shrink)

Semantic theories that violate semantic innocence, that is require reference shifts when terms are embedded in ‘that’ clauses and the like, are often challenged by producing sentences where an anaphoric expression, while not itself embedded in a context in which reference shifts, is anaphoric on an antecedent expression that is embedded in such a context. This, in conjunction with a widely accepted principle concerning unproblematic anaphora (the ‘Principle of Anaphoric Reference’), is used to show that such reference shifting has absurd (...) consequences. We show that it is the widely accepted principle concerning anaphora that is to be blamed for these consequences and not the supposed sin of reference shifting. (shrink)

Biomedical research has a strong impact on a country’s scientific-technological and socioeconomic development. It can make a significant contribution at three different levels: promotion of public health; the exchange of knowledge within the scientific community; and economic/ financial profitability. Africa only attracts ~3.3% of the world’s clinical research. This small proportion is due to, among several factors, the absence of two fundamental aspects: specific robust legislation and capacity for regulatory and ethical evaluation. There are five Portuguese- speaking African countries – (...) Angola, Cabo Verde, Guinea-Bissau, Mozambique and São Tomé and Príncipe. Despite presenting different degrees of clinical research development, these countries show a common serious insufficiency in the minimum conditions necessary for hosting, collaborating or leading biomedical research projects. These countries are also excluded from the support of international organisations for capacity building because of the language barrier. The Biomedical Ethics and Regulatory Capacity Building Partnership for Portuguese-Speaking African Countries project has developed methods to build capacity and partnership through research on national law, comparisons with international standards and by issuing recommendations at a national level. Through collaborative intensive training, trainees are taught to become educators at a national level. This, in turn, creates a sustainable impact at country level. BERC-Luso is a pioneering project, owing to a combination of innovative features. The partnership project: was developed exclusively in Portuguese; involves a large number of African countries, and national and international institutions; has been further enhanced by the diversity and complementarity of its action plans; and has also benefited from a broad participatory methodology based on resolution of recipients’ problems by the recipients themselves. It thus stands out as a model for similar future projects. (shrink)

The Michelson-Morley result is described empirically by generalized Doppler equations. If the phase of a light wave is not invariant, in agreement with the quantum nature of light, special-relativistic kinematics need not be assumed. Einstein particle dynamics and Maxwell-Lorentz electrodynamics in a moving system are derived without assuming special-relativistic kinematics. An alternative explanation for the decay rate of moving radioactive particles is presented. The observation of a third-order Doppler effect may yield the velocity of the closed laboratory.

Book Information Hume's Enlightenment Tract: The Unity and Purpose of 'An Enquiry Concerning Human Understanding'. By Stephen Buckle. Clarendon Press. Oxford. 2001. Pp. xi + 351. Hardback, 40.