1. Hŏryŏng, t'ŏng piŏ yŏnghwarhan maŭm -- 2. Ajik tŭrŏnaji anŭn maŭm esŏ chigak i kanŭng han'ga -- 3. Mibal kwa kijil ŭn ŏttŏn kwan'gye in'ga -- 4. Umjiginŭn maŭm kwa koyohan maŭm -- 5. Chigak ŭi sŏnggyŏk kwa kŭ yŏnwŏn e kwanhan munje.

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)

One means for raising the effectiveness of atheistic work is to effect a prompt response to changes taking place in religious ideology. Some substantial modifications have been introduced into Orthodox theology, in particular, in the recent years. And it should be stressed that many theological "innovations" to one degree or other rest on the intellectual heritage of Russian religious philosophy, among the representatives of which P. A. Florenskii occupies a special place.

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.

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)