Conducting research in a prison setting is ethically challenging. Because history is full of unethical research conducted in prison settings, researchers are often afraid of doing research in this area. It is argued that too much emphasis has been put on the protection of prison inmates as a vulnerable population. Consequently, too little research is being conducted where the focus is on those factors which serve to make the prison population vulnerable. In this paper ethical questions, emerging when conducting a (...) study on literacy and mental health among Norwegian prison inmates, are presented and discussed. Relevant questions relate to topics which include ethical clearance of the research protocol, the consent procedure, clarification of roles and the publication of the results. The ethical questions are discussed in relation to the four principles of ‘respect for the client's rights and dignity’, ‘competence’, ‘responsibility’ and ‘integrity’ set out in the meta-code of ethics, formulated by the European Federation of Professional Psychologists Associations. The wider relationships between ethics in society, research ethics in general, and ethics when conducting research in a prison setting are also considered. (shrink)

Luitzen Egburtus Jan Brouwer founded a school of thought whose aim was to include mathematics within the framework of intuitionistic philosophy; mathematics was to be regarded as an essentially free development of the human mind. What emerged diverged considerably at some points from tradition, but intuitionism has survived well the struggle between contending schools in the foundations of mathematics and exact philosophy. Originally published in 1981, this monograph contains a series of lectures dealing with most of the fundamental topics such (...) as choice sequences, the continuum, the fan theorem, order and well-order. Brouwer's own powerful style is evident throughout the work. (shrink)

On October 4, 1937, Zermelo composed a small note entitled “Der Relativismus in der Mengenlehre und der sogenannte Skolemsche Satz” in which he gives a refutation of “Skolem's paradox”, i.e., the fact that Zermelo-Fraenkel set theory—guaranteeing the existence of uncountably many sets—has a countable model. Compared with what he wished to disprove, the argument fails. However, at a second glance, it strongly documents his view of mathematics as based on a world of objects that could only be grasped adequately by (...) infinitary means. So the refutation might serve as a final clue to his epistemological credo.Whereas the Skolem paradox was to raise a lot of concern in the twenties and the early thirties, it seemed to have been settled by the time Zermelo wrote his paper, namely in favour of Skolem's approach, thus also accepting the noncategoricity and incompleteness of the first-order axiom systems. So the paper might be considered a late-comer in a community of logicians and set theorists who mainly followed finitary conceptions, in particular emphasizing the role of first-order logic. However, Zermelo never shared this viewpoint: In his first letter to Gödel of September 21, 1931, he had written that the Skolem paradox rested on the erroneous assumption that every mathematically definable notion should be expressible by a finite combination of signs, whereas a reasonable metamathematics would only be possible after this “finitistic prejudice” would have been overcome, “a task I have made my particular duty”. (shrink)

From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The (...) reader immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary. (shrink)

Empirical analyses of the ethics of corporations with the aim to improve the state of corporate ethics are rare. This paper develops an integrated, normative model of corporate ethics by conceptualizing the ethical quality of organizations and by relating this contextual quality to various expressions of immoral behavior. This so-called Ethics Qualities Model for organizations, which contains 21 ethical qualities, allows one to assess the ethical content of institutional groups of individuals. A proper conceptualization is highly relevant both for the (...) empirical corroboration of business ethics theories and for managerial purposes, such as judging individual and group performance or informing external stakeholders. The empirical applicability of the model is illustrated by an explorative case study of a large, globally operating financial institution. This case-study demonstrates that the corporate ethical qualities differ with respect to their perceived optimality as well as to their estimated impact on (un)ethical conduct. The various results provide managers with many clues to understand their organization and to take effective measures to improve the ethical content of their organization. (shrink)

Brouwer and Weyl recognized that the intuitive continuum requires a mathematical analysis of a kind that set theory is not able to provide. As an alternative, Brouwer introduced choice sequences. We first describe the features of the intuitive continuum that prompted this development, focusing in particular on the flow of internal time as described in Husserl's phenomenology. Then we look at choice sequences and their logic. Finally, we investigate the differences between Brouwer and Weyl, and argue that Weyl's conception of (...) choice sequences is defective on several counts. (shrink)

In Norway, research ethics committees in medicine are organized as interdisciplinary regional committees. Since 1999, Norway requires that one member of each ethics committee be a psychologist. Competence in psychology is considered relevant not only when evaluating psychology projects. As discussed in this article, a competence in psychology is also relevant for evaluating a number of issues common to all research involving human subjects as well as in the evaluation of protocols where other professionals have employed psychological methodologies.

Beth models of analysis are used in model theoretic proofs of the disjunction and (numerical) existence property. By glueing strings of models one obtains a model that combines the properties of the given models. The method asks for a common generalization of Kripke and Beth models. The proof is carried out in intuitionistic analysis plus Markov's Principle. The main new feature is the external use of intuitionistic principles to prove their own preservation under glueing.

This article analyzes the pediatric material in the Arabic commentaries (written tenth–fifteenth centuries) on the Hippocratic Aphorisms by exploring the traces of its late-antique origins and highlighting the influences of contemporary Islamic sources. This study demonstrates, first, how the commentaries assimilate Galenic pediatric theory through intricate elaborations and innovations; and second, that the commentators on the Aphorisms exhibit a strict theoretical interest in the causes and nature of childood diseases as opposed to their remedies. Consequently, it shows that therapeutic pediatric (...) material was restricted to other nonexegetical genres, such as the encyclopedias of Ibn Sīnā and Ibn Rabban al-Ṭabarī. The commentary material is thus a unique example of medieval Islamic theoria or theoretical medicine, which transmitted and transformed Galenic and early medieval theoretical explanations of childhood illnesses through the centuries. (shrink)

Although the main responsibility for informed consent of medical procedures rests with doctors, nurses’ roles are also important, especially as patient advocates. Nurses’ preparation for this role in settings with a hierarchical and communal culture has received little attention. We explored the views of hospital managers and nurses regarding the roles of nurses in informed consent and factors influencing these roles. We conducted a qualitative study in a private, multispecialty hospital in Indonesia. Semi-structured interviews were conducted with seven managers. Two (...) rounds of focus group discussions with nurses (n = 27) were conducted. Constant comparative approach was used in the analysis. Nurses can act as manager, witness, information giver, and advocate in the informed consent process. These roles are influenced by nurses’ preparedness, hospital culture and policy, patients’ understanding, family involvement, and cost-related issues. In preparation for these tasks, nurses should acquire communication skills, clinical knowledge, and legal and ethical knowledge. (shrink)

Dedicated to Dana Scott on his sixtieth birthday.It is common knowledge that for a short while Hermann Weyl joined Brouwer in his pursuit of a revision of mathematics according to intuitionistic principles. There is, however, little in the literature that sheds light on Weyl's role and in particular on Brouwer's reaction to Weyl's allegiance to the cause of intuitionism. This short episode certainly raises a number of questions: what made Weyl give up his own program, spelled out in “Das Kontinuum”, (...) how did Weyl come to be so well-informed about Brouwer's new intuitionism, in what respect did Weyl's intuitionism differ from Brouwer's intuitionism, what did Brouwer think of Weyl's views,…? To some of these questions at least partial answers can be put forward on the basis of some of the available correspondence and notes. The present paper will concentrate mostly on the historical issues of the intuitionistic episode in Weyl's career.Weyl entered the foundational controversy with a bang in 1920 with his sensational paper “On the new foundational crisis in mathematics”. He had already made a name for himself in the foundations of mathematics in 1918 with his monograph “The Continuum” [18]; this contained in addition to a technical logical-mathematical construction of the continuum, a fairly extensive discussion of the shortcomings of the traditional construction of the continuum on the basis of arbitrary—and hence also impredicative—Dedekind cuts. (shrink)

The original Brouwerian counter examples were algorithmic in nature; after the introduction of choice sequences, Brouwer devised a version which did not depend on algorithms. This is the origin of the creating subject technique. The method allowed stronger refutations of classical principles. Here it is used to show that negative dense subsets of the continuum are indecomposable.

There are two principles that lend Brouwer's mathematics the extra power beyond arithmetic. Both are presented in Brouwer's writings with little or no argument. One, the principle of bar induction, will not concern us here. The other, the continuity principle for numbers, occurs for the first time in print in [4]. It is formulated and immediately applied to show that the set of numerical choice sequences is not enumerable. In fact, the idea of the continuity property can be dated fairly (...) precisely, it is to be found in the margin of Brouwer's notes for his course on Pointset Theory of 1915/16. The course was repeated in 1916/17 and he must have inserted his first formulation of the continuity principle in the fall of 1916 as new material right at the beginning of the course.In modern language, the principle readswhere α and β range over choice sequences of natural numbers, m and x over natural numbers, and stands for ⟨α, α, …, α⟩, the initial segment of α of length m.An immediate consequence of WC-N is that all full functions are continuous, and, as a corollary, that the continuum is unsplittable [28]. Note that WC-N is incompatible with Church's thesis, [22], section 4.6.After Brouwer asserted WC-N, Troelstra was the first to ask in print for a conceptual motivation, but he remained an exception; most authors followed Brouwer by simply asserting it, cf. [18].Let us note first that in one particular case the principle is obvious indeed, namely in the case of the lawless sequences. The notion of lawless sequence surfaced fairly late in the history of intuitionism. Kreisel introduced it in [17] for metamathematical purposes. There is a letter from Brouwer to Heyting in which the phenomenon also occurs [7]. This is an important and interesting fact since it is the only time that Brouwer made use of a possibility expressly stipulated in, e.g., [5], see below. (shrink)

The advent of deep sequencing technology has unexpectedly advanced our structural understanding of molecules composed of nucleic acids. A significant amount of progress has been made recently extrapolating the chemical methods to probe RNA structure into sequencing methods. Herein we review some of the canonical methods to analyze RNA structure, and then we outline how these have been used to probe the structure of many RNAs in parallel. The key is the transformation of structural biology problems into sequencing problems, whereby (...) sequencing power can be interpreted to understand nucleic acid proximity, nucleic acid conformation, or nucleic acid‐protein interactions. Utilizing such technologies in this way has the promise to provide novel structural insights into the mechanisms that control normal cellular physiology and provide insight into how structure could be perturbed in disease. (shrink)

In the present paper the story is told of the brief and far from tranquil encounter of L.E.J. Brouwer and A. Fraenkel. The relationship which started in perfect harmony, ended in irritation and reproaches.The mutual appreciation at the outset is beyond question. All the more deplorable is the sudden outbreak of an emotional disagreement in 1927. Looking at the Brouwer–Fraenkel episode, one should keep in mind that at that time the so-calledGrundlagenstreitwas in full swing. An emotional man like Brouwer, who (...) easily suffered under stress, was already on edgewhen Fraenkel's bookZehn Vorlesungen Über die Grundlegung der Mengenlehre, [Fraenkel 1927] was about to appear.With theGrundlagenstreitreaching (in print!) a level of personal abuse unusual in the quiet circles of pure mathematics, Brouwer was rather sensitive, where the expositions of his ideas were concerned. So when he thought that he detected instances of misconception and misrepresentation in the case of his intuitionism, he felt slighted. We will mainly look at Brouwer's reactions. since the Fraenkel letters have not been preserved.The late Mrs. Fraenkel kindly put the Brouwer letters that were in her possession at my disposal. I am grateful to the Fraenkel family for the permission to use the material.I am indebted to Andreas Blass for his valuable suggestions and corrections.Abraham Fraenkel (then still called Adolf) was one of the first non-partisan mathematicians, if not the first, who developed a genuine interest in intuitionism. (shrink)

Volume 1 of this biography of L. E. J. Brouwer was published in 1999.1 The volume under review here covers the period from the early nineteen twenties until Brouwer's death in 1966. It also includes a short epilogue that discusses the disposition of Brouwer's estate after his death, his influence on others, the paths of some of his students and colleagues, and other matters. Van Dalen notes in the Preface that in preparing this volume he consulted some historical studies (...) that appeared after the first volume was published. He also used new material from various archives. The biography contains interesting quotations from unpublished materials in the Brouwer Archive and from correspondence. The bibliographical references to Brouwer's publications, it should be noted, are somewhat different in this volume. This volume, like the first, contains some nice photographs and reproductions. I noted that there were many typographical errors in the earlier book but Volume 2 is relatively free of them.As is the case in Volume 1, the discussion of Brouwer's mathematical and philosophical work is woven into the narrative of Brouwer's life and times. The story in this volume starts with Brouwer's first contacts with Paul Alexandrov and Paul Urysohn in 1923. The interaction began when Urysohn announced that he had found a mistake in Brouwer's definition of dimension in Brouwer's 1913 paper on natural dimension. Was it just a slip of the pen, as Brouwer always maintained, or something more substantial? Urysohn and Alexandrov ultimately came to agree with Brouwer on the matter, and Urysohn was prepared to grant Brouwer priority for the definition of dimension. There were, however, ups and downs along the way. Karl Menger, through his own work in topology and dimension theory, soon got into the picture, and Brouwer and Menger were to …. (shrink)