The problem we discuss is whether mammalian cells possess genes whose expression is specifically enhanced by DNA damage in order to cope with the damage. The paradigm is the SOS response in E. coli. We conclude that there is compelling evidence that DNA‐damaging agents do affect gene expression, and that mutation frequencies are increased, but proof that a repair process per se is induced remains elusive. We offer here the hypothesis that recognition of the presence of DNA damage by poly(ADPribose) (...) polymerase effects preprogrammed changes in gene expression. (shrink)

In "Variations on a theme of Curry," Humberstone conjectured that a certain logic, intermediate between BCI and BCK, is none other than monothetic BCI—the smallest extension of BCI in which all theorems are provably equivalent. In this note, we present a proof of this conjecture.

Let J be any proper ideal of subsets of the real line R which contains all finite subsets of R. We define an ideal J * ∣B as follows: X ∈ J * ∣B if there exists a Borel set $B \subset R \times R$ such that $X \subset B$ and for any x ∈ R we have $\{y \in R: \langle x,y\rangle \in B\} \in \mathscr{J}$ . We show that there exists a family $\mathscr{A} \subset \mathscr{J}^\ast\mid\mathscr{B}$ of power ω (...) 1 such that $\bigcup\mathscr{A} \not\in \mathscr{J}^\ast\mid\mathscr{B}$ . In the last section we investigate properties of ideals of Lebesgue measure zero sets and meager sets in Cohen extensions of models of set theory. (shrink)

In this paper we present a characterization of hyper-connexivity by means of a relating semantics for Boolean connexive logics. We also show that the minimal Boolean connexive logic is Abelardian, strongly consistent, Kapsner strong and antiparadox. We give an example showing that the minimal Boolean connexive logic is not simplificative. This shows that the minimal Boolean connexive logic is not totally connexive.

The author presents Leszek Kołakowski from the perspective of his private acquaintanceship, lasting for about 47 years, as a witty man and a workaholic. L. Kołakowski never formed a classic “school”, but there is something all his disciples share: a thesis, key to understanding his ideas, which holds that “THERE IS MORE THAN ONE CORRECT OPINION IN THE HUMANITIES”, i.e. we will ALWAYS have opinions for and against, which goes against any dogmatism, wherever it may appear; this also bears consequences (...) in diagnosing the socio-political reality past and present. (shrink)

This is also where we begin investigating lattices of logics and varieties, rather than particular examples.

In this article we consider linear isomorphisms over the field of rational numbers between the linear spaces ℝ2 and ℝ. We prove that if f is such an isomorphism, then the image by f of the unit disk is a strictly nonmeasurable subset of the real line, which has different properties than classical non-measurable subsets of reals. We shall also consider the question whether all images of bounded measurable subsets of the plane via a such mapping are non-measurable.

It is proved that free dynamic algebras superamalgamate. Craig interpolation for propositional dynamic logic and superamalgamation for the variety of dynamic algebras follow.

It is proved that free dynamic algebras superamalgamate. Craig interpolation for proposi- tional dynamic logic and superamalgamation for the variety of dynamic algebras follow.

In this paper the notion of unifier is extended to the infinite set case. The proof of existence of the most general unifier of any infinite, unifiable set of types (terms) is presented. Learning procedure, based on infinite set unification, is described.

We prove that no logic (i.e. consequence operation) determined by any class of orthomodular lattices admits the deduction theorem (Theorem 2.7). We extend those results to some broader class of logics determined by ortholattices (Corollary 2.6).

We assess Cartwright's models for probabilistic causality and, in particular, her models for EPR-like experiments of quantum mechanics. Our first objection is that, contrary to econometric linear models, her quasi-linear models do not allow for the unique estimation of parameters. We next argue that although, as Cartwright proves, Reichenbach's screening-off condition has only limited validity, her generalized condition is not empirically applicable. Finally, we show that her models for the EPR are mathematically incorrect and physically implausible.

We assess Cartwright's models for probabilistic causality, and in particular, her models for EPR-like experiments of quantum mechanics. We show that her models for the EPR are mathematically incorrect and physically implausible. Finally, we argue that her models are not adequate for EPR-phenomena, since they ignore modal and spatiotemporal aspects inherent in their setup.

The first part of the paper is a reminder of fundamental results connected with the adequacy problem for sentential logics with respect to matrix semantics. One of the main notions associated with the problem, namely that of the degree of complexity of a sentential logic, is elucidated by a couple of examples in the second part of the paper. E.g., it is shown that the minimal logic of Johansson and some of its extensions have degree of complexity 2. This is (...) the first example of an exact estimation of the degree of natural complex logics, i.e. logics whose deducibility relation cannot be represented by a single matrix. The remaining examples of complex logics are more artificial, having been constructed for the purpose of checking some theoretical possibilities. (shrink)

The purpose of the paper is to rethink the role of actuality in the branching model of possibilities. We investigate the idea that the model should be enriched with an additional factor—the so-called Thin Red Line—which is supposed to represent the single possible course of events that gets actualized in time. We believe that this idea was often misconceived which prompted some unfortunate reactions. On the one hand, it suggested problematic semantic models of future tense and and on the other, (...) it provoked questionable lines of criticism. We reassess the debate and point to potential pitfalls, focusing on the semantic dimension of the Thin Red Line theory. Our agenda transcends the semantics, however. We conclude that semantic considerations do not threaten the Thin Red Line theory and that the proper debate should be carried in the domain of metaphysics. (shrink)

In 1968 the authors of the so-called Harvard Report, proposed the recognition of an irreversible coma as a new criterion for death. The proposal was accepted by the medical, legal, religious and political circles in spite of the lack of any explanation why the irreversible coma combined with the absence of brainstem reflexes, including the respiratory reflex might be equated to death. Such an explanation was formulated in the President’s Commission Report published in 1981. This document stated, that the brain (...) is the central integrator of the body, therefore the destruction of the brain results in the lack of that integration and the death of the organism. Therefore, according to that document, the so-called “brain dead” patients are really, biologically dead; strictly speaking they are not any more biological organisms but collections of organs and tissues. Their death was masked by the use of the medical equipment, but it was a real, biological death. Thus, the explanation given by the President’s Commission Report constituted a biological rationale for the new concept of death, known as “brain death.” However, after the long discussion, this rationale was refuted because of the evidence given by many medical authorities, that the bodies of the “brain dead” and “brainstem dead” patients are alive. In the context of the discussion about the neurological criteria for death, some authors follow the idea of Plato, that human being is the soul or mind, and the body does not belong to the human essence. Therefore, the loss of consciousness, which may be identified with the mind, constitutes the loss of personhood and may be interpreted as human death. The other group stresses the Aristotelian and Thomistic concept that the body belongs to the essence of every living creature, including human. Therefore, as long as the body is alive, the human being is alive and we cannot call the given patient dead even if he is deeply comatose. Moreover, in spite of the opinions dominating in the mass-media, these patients should be considered not only alive but also may be conscious to some degree and their state can be reversible. Their brains are lacking the electrical functions, but the neuronal tissue is alive and that state is reversible for at least first 48 hours since the onset of coma; this phenomenon is called “global ischemic penumbra” and is responsible for the regularly happening events interpreted as miracles, when some of the “brain dead” or “brainstem dead” patients turn to be alive and come back to normal life. Therefore, the neurological criteria of death are still lacking generally accepted scientific basis and should not be used in medicine and in the legal systems as a basis for diagnosing comatose/having no brainstem reflexes/apneic patients dead. (shrink)

There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct (...) the history of the arguments for and against this idea. Then, I propose my own version of the Thin Red Line theory which is immune to the major objections found in the literature. I argue that the semantic disagreement is grounded in distinct metaphysical presuppositions. My solution is expressed in a conceptual framework proposed by John MacFarlane, who distinguishes semantics from postsemantics. I extend his distinction and introduce a new notion of presemantics to elucidate my idea. (shrink)

Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety (...) of Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard’s group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language. (shrink)

Who, whom, why and how? -- The subject between extremes -- Genesis: the Socratic-Platonic deception or the irrepressible need for immortality -- Modern man: the adventures of Robinson Crusoe -- The scientific foundations of modern man -- The evolution of modern man, Nietzsche's moustache, the fittest man and the man without qualities: the four pillars of modern man -- Evolution and zoodicy: the animality of modern man -- Modernity as false consciousness -- Technology and the mind, God-machine, the individual vs. (...) Facebook -- That which returns -- The death of death and late-modern man. (shrink)

Specialists on issues of sexual abuse in religious institutions unanimously stress that this kind of experience significantly affects the victims’ spirituality. Particularly devastating and distorting for their spirituality is sexual abuse committed by clergy. In order to explore this issue for the first time in Poland, the authors conducted a qualitative study in the form of semi-structured interviews with five women who had experienced sexual abuse by Catholic clergy and/or religious in adolescence and young adulthood. The interviews were analyzed using (...) the interpretative phenomenological analysis and narrative methodology. The results showed that four respondents experienced or had experienced religious struggles in three areas: interpersonal, intrapsychic, and relationship with God. These struggles are complex and intense enough to be referred to as “spiritual trauma”, “religious trauma”, or “spiritual violence”. The results of the study may be of importance for people helping or having any other kind of contact with victims of clergy sexual abuse. (shrink)

The main aim of the paper is to solve a problem posed in Di Nola et al. (Multiple Val. Logic 8:715–750, 2002) whether every pseudo BL-algebra with two negations is good, i.e. whether the two negations commute. This property is intimately connected with possessing a state, which in turn is essential in quantum logical applications. We approach the solution by describing the structure of pseudo BL-algebras and pseudo hoops as important families of quantum structures. We show when a pseudo hoop (...) can be embedded into the negative cone of the reals. We give an equational base characterizing representable pseudo hoops. We also describe some subvarieties: normal-valued, and varieties where each maximal filter is normal. We produce some noncommutative covers and extend the area where each algebra is good. Finally, we show that there are uncountably many subvarieties of pseudo BL-algebras having members that are not good. (shrink)

Name der Zeitschrift: Frühmittelalterliche Studien Jahrgang: 46 Heft: 1 Seiten: 99-156.