ABSTRACT In this article, I reply to criticisms of Dean Stretton of the pro‐life argument from substantial identity. When the criterion for the right to life proposed by most proponents of the pro‐life position is rightly understood – being a person, a distinct substance of a rational nature – this position does not lead to the difficulties Stretton claims it does.

I develop the idea of what I call an interpretive praxis as a generalized procedure for analyzing how experimenters can formulate observable predictions, discern real effects from experimental artifacts, and compare predictions with data. An interpretive praxis requires theories – theories not only about instruments and the interpretation of phenomena, but also theories that connect the use of instruments and interpretation of phenomena to high-level theory. I will call all such theories that enable experimentation to work intermediate theories. I offer (...) an account of theory-networks that embrace these intermediate theories and explain their functions. (shrink)

Abstract Islam displaces the ancient idea of time as an implacable enemy with the scriptural image of time as the stage of judgment, a narrow bridge of accountability stretched between creation and eternity. The stark contrast of temporal evanescence with all the immutability of eternity challenges Muslim theologians and philosophers of the classic age. The dialectical theologians of the kalam describe time and change atomisti?cally and even occasionalistically, seeking to preserve the absoluteness of the contrast and to avoid compromising the (...) purity of God's creative act and the sheer facticity of its temporal effect. The falasifa, philosophers in the Greek tradition, use Platonic, Aristotelian, and Neoplatonic arguments to reconcile temporality with eternity. Stripped of argument, their emanative and archetypal schemes join the core symbolisms of Islam, but only when accommodated to the Qur'anic ideas of judgment and creation. (shrink)

The projection postulate, which prescribes “collapse of the state vector” upon measurement, is not an essential part of quantum mechanics. Rather it is only an optional discarding of certain branches of the state vector that are expected to be irrelevant for the purpose at hand. However, its use is hazardous, and there are examples of repeated measurements for which the conventional application of the projection postulate leads to incorrect results.

The question asked in this article is: what is a parasite?. Defining a parasite requires defining its host at the same time. A difficult question therefore arises about host-parasite relationships. The object of general parasitology is in fact to study the relationship between a host and its parasite. The initial question what is a parasite? has to be reformulated within a conceptual framework, that of relationship. This article is an attempt to transpose into parasitology some concepts which have been profitable (...) in the fields of physics and chemistry. The studies of R. Thom about the individual are also used. Concepts like that of field and principles like that of minimization are probably operational on a high level of organization. The description of host-parasite relationships could benefit from these concepts. (shrink)

The attempt to derive (rather than assume) the statistical postulate of quantum theory from the many-universes interpretation of Everett and De Witt is analyzed The many-universes interpretation is found to be neither necessary nor sufficient for the task.

Prominent thinkers such as Jurgen Habermas and Michael Sandel are warning that biomedical enhancements will undermine fundamental political values. Yet whether biomedical enhancements will undermine such values depends on how biomedical enhancements will function, how they will be administered and to whom. Since only few enhancements are obtainable, it is difficult to tell whether these predictions are sound. Nevertheless, such warnings are extremely valuable. As a society we must, at the very least, be aware of developments that could have harmful (...) consequences. Indeed, if important values were to be jeopardized, we should take appropriate measures to protect them. This paper focuses on four central values: solidarity, personal responsibility, equality and autonomy. It delineates the conditions under which biomedical enhancements would undermine these values. It also details the circumstances under which these values would be unaffected by enhancements as well as those under which they would be promoted. Specifying these conditions is valuable; it would enable society to prepare appropriate ethical guidelines and policy responses in advance. (shrink)

Abstract. We argue that all human beings have a special type of dignity which is the basis for (1) the obligation all of us have not to kill them, (2) the obligation to take their well-being into account when we act, and (3) even the obligation to treat them as we would have them treat us, and indeed, that all human beings are equal in fundamental dignity. We give reasons to oppose the position that only some human beings, because of (...) their possession of certain characteristics in addition to their humanity (for example, an immediately exercisable capacity for self-consciousness, or for rational deliberation), have full moral worth. What distinguishes human beings from other animals, what makes human beings persons rather than things, is their rational nature, and human beings are rational creatures by virtue of possessing natural capacities for conceptual thought, deliberation, and free choice, that is, the natural capacity to shape their own lives. (shrink)

ABSTRACT Real-time graphical interval logic is a modal logic for reasoning about time in which the basic modality is the interval. The logic differs from other logics in that it has a natural intuitive graphical representation that resembles the timing diagrams drawn by system designers. We have developed an automted deduction system for the logic, which includes a theorem prover and a user interface. The theorem prover checks the validity of proofs in the logic and produces counterexamples to invalid proofs. (...) The user interface includes a graphical editor that enables the user to create graphical formulas on a workstation display, and a database and proof manager that tracks proof dependencies and allows graphical formulas to be stored and retrieved. In this paper we describe the logic, the automated deduction system, and an application to robotics. (shrink)

Argument-places play an important role in our dealing with relations. However, that does not mean that argument-places should be taken as primitive entities. It is possible to give an account of ‘real’ relations in which argument-places play no role. But if argument-places are not basic, then what can we say about their identity? Can they, for example, be reconstructed in set theory with appropriate urelements? In this article, we show that for some relations, argument-places cannot be modeled in aneutralway in (...) V[A], the cumulative hierarchy with basic ingredients of the relation as urelements. We argue that a natural way to conceive of argument-places is to identify them with abstract, structureless points of a derivative structure exemplified by positional frames. In case the relation has symmetry, these points may be indiscernible. (shrink)

The ethics of Kant and the ethics of Crusius are strikingly similar. This is manifested in a whole range of principles and concepts. Crusius’ moral teaching hinges on the rigorous moral law which has to be obeyed absolutely, and which makes it different from other prescriptions that are binding only to a relative degree. This is very close to the Kantian distinction between hypothetical and categorical imperatives. Another salient feature of Crusius’ moral teaching is the stress laid on the sphere (...) of internal motives. It is the inner motive that determines the morality of an act, rather than the external form of the act. These and some other features of Crusius’ ethics suggest a possible influence of Crusius on Kant. The possibility of such influence has repeatedly come under close scrutiny. The first works devoted to this problem date to the turn of the nineteenth and twentieth centuries. Pointers to the possibility of such influence are semantic and structural similarities of the two thinkers’ systems. Besides, it is an unchallengeable fact that Kant was fairly familiar with the main theses of Crusian philosophy. Some scholars proceed from the study of Kantian vocabulary. Some of the terms Kant uses, especially in his early works which later formed the basis of his ethical teaching in the critical period, can be traced to the terms of Crusian philosophy. However, an alternative view is that Kant was primarily influenced by Wolffian philosophy (mainly through Baumgarten), while the direct influence of Crusius remains unproven. I examine both points of view and propose my own solution to the problem. (shrink)