Recent developments in biomedical research have the potential to radically transform modern medicine. The ethical dilemmas that these advances raise are discussed in the following chapters: Is Human Cloning Ethical? What Ethics Should Guide Organ Donations? Are Reproductive Technologies Ethical? What Ethics Should Guide Genetic Research?

Though it is inter-disciplinary in scope, situated as it is on the borderlines of ontology and logic, philosophy of literature and theory of language, Ingarden's work has a deliberately narrow focus: the literary work, its structure and ...

Models are of central importance in many scientific contexts. The roles the MIT bag model of the nucleon, the billiard ball model of a gas, the Bohr model of the atom, the Gaussian-chain model of a polymer, the Lorenz model of the atmosphere, the Lotka- Volterra model of predator-prey interaction, agent-based and evolutionary models of social interaction, or general equilibrium models of markets play in their respective domains are cases in point.

We show that the stabilizer of an element a of a countable recursively saturated model of arithmetic M is a maximal subgroup of Aut iff the type of a is selective. This is a point of departure for a more detailed study of the relationship between pointwise and setwise stabilizers of certain subsets of M and the types of elements in those subsets. We also show that a complete type of PA is 2-indiscernible iff it is minimal in the sense (...) of Gaifman. (shrink)

This note concerns the ultraproduct construction. It is observed that in the class of SCI models ultraproducts may be constructed by a method apparently dierent from the standard one. Since the standard models of veryday model theory form a subclass of SCI models, one obtains a new view of ultraproducts. Aside from a few remarks, the paper is self-contained.

Consider a gas that is adiabatically isolated from its environment and confined to the left half of a container. Then remove the wall separating the two parts. The gas will immediately start spreading and soon be evenly distributed over the entire available space. The gas has approached equilibrium. Thermodynamics (TD) characterizes this process in terms of an increase of thermodynamic entropy, which attains its maximum value at equilibrium. The second law of thermodynamics captures the irreversibility of this process by positing (...) that in an isolated system such as the gas entropy cannot decrease. The aim of statistical mechanics (SM) is to explain the behavior of the gas and, in particular, its conformity with the second law in terms of the dynamical laws governing the individual molecules of which the gas is made up. In what follows these laws are assumed to be the ones of Hamiltonian classical mechanics. We should not, however, ask for an explanation of the second law literally construed. This law is a universal law and as such cannot be explained by a statistical theory. But this is not a problem because we.. (shrink)

The paper is devoted to the discussion of some philosophical and historical problems connected with the theorem on the undefinability of the notion of truth. In particular the problem of the priority of proving this theorem will be considered. It is claimed that Tarski obtained this theorem independently though he made clear his indebtedness to Gödel’s methods. On the other hand, Gödel was aware of the formal undefinability of truth in 1931, but he did not publish this result. Reasons for (...) that are also considered. (shrink)

Consider the claim: Our actions are free if and only if we could have done otherwise; or the claim, We are essentially mental substances because we can exist without our bodies. Both of these claims, along with countless others, employ a notion of possibility. If this notion is to have a place in philosophy, we must be able to justify our modal claims. We need an epistemology of possibility. It is often assumed that the imagination is the key here. The (...) assumption is this; if I can imagine that a proposition is the case, then p is possible. Suppose I am wondering whether Kant Critique could float above my desk; if I can imagine this book floating, then it is possible. But is the imagination a guide to the modal status of propositions? ;To answer this question we must first consider what it is to imagine a proposition. We can distinguish five main methods of imagining: to imagine is to form a mental image, to evoke experiences, to suppose, to pretend, or it is to tell a story. Can any of these methods provide us with a guide to possibility? I contend that only the last two methods are up to this task insofar as they provide us with evidence of p's modal status. Moreover, how good that evidence is depends on our ability to satisfy the requirements of completeness, coherence, and accuracy. Finally, I argue that we will have the best evidence for the possibility of p, if we combine these two methods. For by combining our evoked experiences with a story, we will generate experiences of p, the best possible explanation of a world in which p is true, and an account of p's truth that complements this explanation. Thus, given explanationist standards, we will have what we need to be justified in concluding that p is possible. (shrink)

Dentro del rico y multiforme panorama de imágenes forjadas en el mundo romano, por su indudable originalidad destacan las iconografías inspiradas en la tierra de los faraones. Concretamente, suscitan interés las representaciones nilóticas animadas por pigmeos provistos de barritas. En el presente trabajo, el objetivo consiste en el identificar, basándose en el estudio de las fuentes clásicas y en las comparaciones iconográficas de las obras examinadas, un fil rouge semántico de estos específicos modelos nilóticos existentes en la cuenca mediterránea entre (...) los siglos I-III d.C. Finalmente, se obtienen ciertas conclusiones acerca de la funcionalidad tanto como del significado de las enigmáticas barritas preservadas hasta nuestros días a través del espejo artístico romano. (shrink)

There are many ontologies of the world or of specific phenomena such as time, matter, space, and quantum mechanics1. However, ontologies of information are rather rare. One of the reasons behind this is that information is most frequently associated with communication and computing, and not with ‘the furniture of the world’. But what would be the nature of an ontology of information? For it to be of significant import it should be amenable to formalization in a logico-grammatical formalism. A candidate (...) ontology satisfying such a requirement can be found in some of the ideas of K. Turek, presented in this paper. Turek outlines the ontology of information conceived of as a part of nature, and provides the ‘missing link’ to the Z axiomatic set theory, offering a proposal for developing a formal ontology of information both in its philosophical and logicogrammatical representations. (shrink)

We develop multi-conclusion nested sequent calculi for the fifteen logics of the intuitionistic modal cube between IK and IS5. The proof of cut-free completeness for all logics is provided both syntactically via a Maehara-style translation and semantically by constructing an infinite birelational countermodel from a failed proof search. Interestingly, the Maehara-style translation for proving soundness syntactically fails due to the hierarchical structure of nested sequents. Consequently, we only provide the semantic proof of soundness. The countermodel construction used to prove completeness (...) required a completely novel approach to deal with two independent sources of non-termination in the proof search present in the case of transitive and Euclidean logics. (shrink)

We prove that the two-variable fragment of first-order intuitionistic logic is undecidable, even without constants and equality. We also show that the two-variable fragment of a quantified modal logic L with expanding first-order domains is undecidable whenever there is a Kripke frame for L with a point having infinitely many successors (such are, in particular, the first-order extensions of practically all standard modal logics like K, K4, GL, S4, S5, K4.1, S4.2, GL.3, etc.). For many quantified modal logics, including those (...) in the standard nomenclature above, even the monadic two-variable fragments turn out to be undecidable. (shrink)

The article describes the results of the Russian-Ukrainian conflict and its impact on the depreciation of the national currency, the deepening of the banking crisis, the impossibility of the state budget execution and overcome the energy crisis. The estimation and forecast of economic condition of the state, depending on the effectiveness of the Government in overcoming the consequences of the conflict. Perspective directions of development of economy of Ukraine and the occupied territories in the context of political instability. Proved lasting (...) political and diplomatic confrontation; violated basic agreements and arrangements; actually destroyed the institutional system of international relations; exacerbated economic, energy continues confrontation. In general, current realities make it hard to talk about change for the better in the foreseeable future. During the investigation the devastating impact of military confrontation to the public and economic life. The attention to the existence of isolated problems for decades and their deterioration in conditions of political instability. (shrink)

Let us begin with a characteristic example. Consider a gas that is confined to the left half of a box. Now we remove the barrier separating the two halves of the box. As a result, the gas quickly disperses, and it continues to do so until it homogeneously fills the entire box. This is illustrated in Figure 1.

Some initial considerations on film in documentary form are discussed, along with its relationships with reality and fiction in cinema language. Found footage genre is explained, pointing its most important technical and aesthetical characteristics. The text points the importance of the movie camera in documentary and found footage, not only as a technical device that objectivizes the information in a static manner, but also as an axis that configures dynamism and subjectivity on films. Redacted (2007) by Brian De Palma is (...) analyzed as an example of hybrid forms of fiction and reality in cinema. Beyond a traditional analysis of narrative of films, this text emphasizes the forms in which they are developed, which affect and determine the substance of films. (shrink)

Parece que Platón enseñó en la Academia otras doctrinas diferentes de las expuestas por él en los diálogos. Además, parece también que voluntariamente se abstuvo de consignarlas por escrito al creer que la palabra, la enseñanza oral, era un medio más eficaz que la escritura para transmitir aquello que "tenía importancia". Dicho así, puede resultar una paradoja que el mejor prosista griego, sea un detractor, al menos en parte, de la prosa escrita. A partir de aquí, las interpretaciones novedosas que (...) han provocado las doctrinas no-escritas de Platón han generado debates a veces imposibles de resolver. Añadir unas breves notas a estas discusiones es la intención de este artículo. (shrink)

We prove a number of results concerning the variety of first-order theories and isomorphism types of pairs of the form $(N,M)$ , where $N$ is a countable recursively saturated model of Peano Arithmetic and $M$ is its cofinal submodel. We identify two new isomorphism invariants for such pairs. In the strongest result we obtain continuum many theories of such pairs with the fixed greatest common initial segment of $N$ and $M$ and fixed lattice of interstructures $K$ , such that $M\prec (...) K\prec N$. (shrink)

We discuss Robinson's model theoretic proof of Tarski's theorem on undefinability of truth. We present two other “diagonal-free” proofs of Tarski's theorem, and we compare undefinability of truth to other forms of undefinability in nonstandard models of arithmetic.

A patient suffering from a severe illness that is entering its terminal stage is forced to develop a coping process. Of all the coping patterns, the religious one stands out as being a psychological resource available to all patients regardless of culture, learning, and any age. Religious coping interacts with other values or practices of society, for example the model of a society that takes care of it's elder members among family or in an institutionalized environment or the way the (...) health system offers or not psychological support for a terminally ill patient. Health care providers should have at least some psychological coping patterns training because not all patterns of religious coping are equally effective, and some have been described as increasing the level of stress or producing other negative psychological effects on the patient. This article aims to review the complex models of religious coping that are unanimously accepted in psychooncology, arguments in favor of religious coping, the types of patients that use this model, ethical dilemmas that could be reinterpreted using religious arguments. Finally, we will also discuss the need of Romanian patients to embrace a religious coping in case of an incurable illness, and also the support that they can receive from both curative and palliative health care providers.  . (shrink)

We define certain properties of subsets of models of arithmetic related to their codability in end extensions and elementary end extensions. We characterize these properties using some more familiar notions concerning cuts in models of arithmetic.

Stanisław Ignacy Witkiewicz, better known as Witkacy, was a most prolific writer in the philosophy of art, a novelist, playwright and painter. His philosophical ideas took shape in the second decade of this century, and was presented in New Forms in Painting and the Ensuing Confusion. A comprehensive exposition of his philosophy however was not published until 16 years later, i.e. when the book Conceptions and Theorems Implied by the Notion of Existence came out; it contained his systematic teaching of (...) the theory of being. (shrink)

The author analyses the problematic of historical necessity and ethical regularity of socialism, taking the marxist philosophy as a point of departure. He criticizes opinions represented in philosophical and ideological discussions of this problem in the period of the Second International and argues that the above problematic, which results from a confrontation of marxism with a new historical situation and with the current of the neo-Kantian philosophy, was an axis which has brought into focus the theoretical decisions both of revisionists (...) and critics of marxism on one hand and of orthodox marxists on the other hand. (shrink)

Since their derivation, human embryonic stem (hES) cells have been used for a variety of applications including developmental biology, pathology, chemical biology, genomics, and proteomics. However, their most important potential application is the generation of cells and tissues, which can be used for cell‐based therapies. One of the main drawbacks of hES cell culture is that they are particularly sensitive to dissociation, which is required for passaging, expansion, cryopreservation, and other applications. Recently, it has been discovered that an inhibitor of (...) Rho kinase (ROCKi; Y‐27632) increases the survival rate of dissociated, single hES cells. This breakthrough has allowed new methods in hES cell culture to be developed, with the promise of increasing hES cell numbers into the realm of clinical relevance. In our studies demonstrating that ROCKi dramatically increases hES cell cryopreservation efficiency, we have observed that ROCKi treatment does not decrease hES cell's susceptibility to apoptosis. Rather, we hypothesize that ROCKi treatment desensitizes single hES cells to their environment reducing the odds that individual cells will undergo anoikis. (shrink)