The science and technology of genetic testing is rapidly advancing with the consequences that genetic testing may well offer the prospect of being able to detect the onset of future disabilities. Some recent research also indicates that certain behavioural profiles may have a strong genetic basis, such as the determination to succeed and win or the propensity for risk-taking, which may be of interest to third parties. However, as this technology becomes more prevalent there is a danger that the genetic (...) information may be misused by entities such as employers, insurance companies, educational facilities, and finance companies and that people with particular genetic profiles may be discriminated against.This book explores the different types and the potential uses of genetic testing. The book highlights the ethical and legal dilemmas and the challenges arising as a result of emerging and rapidly advancing genetic science. Chapters in the book assess the importance and impact of the US Genetic Information Non-Discrimination Act (GINA) in the employment and health insurance contexts asking whether it is proving to be an effective tool in addressing the issue of genetic discrimination and alleviating individuals' fears of discrimination. The book then goes on to make the case for regulation at the European Union level in order to protect the privacy of genetic information and to prevent the discriminatory use of genetic information in Europe. It considers what can be learnt from the experience of the US in addressing ethical and legal issues as well as the impact that the UN Convention on the Rights of Persons with Disabilities is having on this debate within the EU. (shrink)

This paper examines the madness of Gerard de Nerval, the nineteenth-century French writer. It looks at his account of mental disturbance, how he responded to the psychiatric profession and how he reacted to being diagnosed as insane. It considers his autobiographical novella of madness, Aurelia, which he began at the suggestion of his alienist, Dr Emile Blanche, and while he was still an asylum inmate. Nerval's story raises important questions about the nature of madness. Is it, as he contended, a (...) mystical experience revealing truths about spiritual worlds inaccessible to the ‘sane’? Does psychiatry fail to understand it and inappropriately reduce it to the categories of scientific reason? Or are such notions of the spiritual value of madness guilty of the charge that they romanticise insanity? Do they make extravagant claims for an experience that is often disturbing and debilitating? What is the relationship between madness and recovery? Should an individual try to forget their experience of mental disturbance once they recover, or should they examine what the event reveals about themselves? Can the language of madness be decoded to unveil profound truths as Carl Jung and R.D. Laing have suggested, or is it, as the psychiatrist German Berrios maintains, merely a series of ‘empty speech acts’, signifying nothing? And finally, how does one avoid writing about madness, and instead write madness? (shrink)

ArgumentCultivated by a number of writers and studied by psychologists, the phenomenon of déjà vu is an invention of the nineteenth century and is part of a broader exploration of how the mind experiences memory and time. Thus this typically benign mental aberration provides an entry-point into the mechanisms that preside over the regulation of the flow of consciousness. The theories of the mind developed recently by neuroscientists help us understand, meanwhile, why investigations into this mental “event” necessarily invoke concepts (...) of representation and narrative. In fact, our increasingly sophisticated models for processes of memory and perception depend on literary representations. This article relies on the paramnesiac writings of Gérard de Nerval, seen through the lens of Proust's analysis, to argue that a consideration of the aesthetic and representational features of déjà-vu can bring us closer to solving the epistemological challenges we face in studying this phenomenon.For Gregory T. Polletta. (shrink)

Susan Neiman pointed out to this reviewer the danger that Carl Jung studies pose to contemporary scholars. It is keeping in mind Neiman's cautionary advice that this review establishes Jung's contributions to Romanticism. "[Craig] Stephenson’s analysis of Aurélia has now superseded Arthur Lovejoy’s (1873–1962) and Mario Praz’s (1896–1982) contributions to the definitions of Romanticism.".

Educating the Virtues David Carr Routledge, 1991. Pp. 304. ISBN 0?415?05746?9. £35. The Philosophical Theology of St Thomas Aquinas By Leo J. Elders E. J. Brill, 1990. Pp. 332. ISBN 0?04?09156?4. $74.36. The State and Justice: An Essay in Political Theory By Milton Fisk Cambridge University Press, 1990. Pp. x + 391. ISBN 0?521?38966?6. £10.95 pbk. Perspectives on Language and Thought: Interrelations in Development Edited by S. A. Gelman and J. P. Byrnes Cambridge University Press, 1992. Pp. xii + 524. (...) ISBN 0?521?37497?9. £50. Aristotle's First Principles By T. H. Irwin Oxford University Press, 1989. Pp. xviii + 702. ISBN 0?198?24717?6. £17.50 Pbk. Truth and Eros: Foucault, Lacan, and the Question of Ethics By John Rajchman Routledge, 1991. Pp. 155. ISBN 0?415?90380?7. £10.99. Logical Forms By Mark Sainsbury Blackwell, 1991. Pp. 408. ISBN 0?631?17777?9. £11.95. Form and Transformation. A Study in the Philosophy of Plotinus By Frederic M. Schroeder McGill?Queen's University Press, 1992. Pp. xiv + 136. ISBN 0?7735?1016?8. £34.95. Did The Greeks Believe Their Myths? An Essay on the Constitutive Imagination By Paul Veyne, translated by Paula Wissing The University of Chicago Press, 1988. Pp. 161. ISBN 0?226?85434?5. £8.75 Pbk. What is Philosophy? By Dietrich von Hildebrand Routledge, 1991. Pp. lvii + 242. ISBN 0?415?02584?2. £12.99. (shrink)

In this rather technical paper we establish a useful combination of belief revision and verisimilitude according to which better theories provide better predictions, and revising with more verisimilar data results in theories that are closer to the truth. Moreover, this paper presents two alternative definitions of refined verisimilitude, which are more perspicuous than the algebraic version used in previous publications.

Cet article aborde trois piliers essentiels de la culture maya : l’idée du monde comme un tout harmonieux au sein duquel tous les êtres vivants possèdent une âme ; l’idée de l’homme comme créature responsable de la planète et l’idée du temps envisagé de manière cyclique plutôt que linéaire, comme un devenir infini qui régit le monde et les hommes. L’idée de l’homme chez les Mayas de l’époque préhispanique a été recueillie principalement dans le Popol Vuh, un livre sacré de (...) l’ethnie quiché, écrit par les Mayas eux-mêmes une décennie après la conquête espagnole et dont les conceptions demeurent en partie valides pour les Mayas d’aujourd’hui, notamment la fraternité humain-animal et le devoir qu’ont les hommes de protéger le monde et de veiller à sa préservation. Ces diverses idées sont fondamentales pour ces peuples qui ont réussi à transcender le monde matériel afin d’y déceler des significations plus profondes dans la recherche d’une véritable harmonie cosmique. (shrink)

Propositional dynamic logic is complete but not compact. As a consequence, strong completeness requires an infinitary proof system. In this paper, we present a short proof for strong completeness of $$\mathsf{PDL}$$ relative to an infinitary proof system containing the rule from [α; β n ]φ for all $$n \in {\mathbb{N}}$$, conclude $$[\alpha;\beta^*] \varphi$$. The proof uses a universal canonical model, and it is generalized to other modal logics with infinitary proof rules, such as epistemic knowledge with common knowledge. Also, we (...) show that the universal canonical model of $$\mathsf{PDL}$$ lacks the property of modal harmony, the analogue of the Truth lemma for modal operators. (shrink)

Bruno Latour is among the most important figures in contemporary philosophy and social science. His ethnographic studies have revolutionized our understanding of areas as diverse as science, law, politics and religion. To facilitate a more realistic understanding of the world, Latour has introduced a radically fresh philosophical terminology and a new approach to social science, ‘Actor-Network Theory’. In seminal works such as Laboratory Life, We Have Never Been Modern and An Inquiry into Modes of Existence, Latour has outlined an alternative (...) to the foundational categories of ‘modern’ western thought Ð particularly its distinction between society and nature Ð that has major consequences for our understanding of the ecological crisis and of the role of science in democratic societies. Latour’s ‘empirical philosophy’ has evolved considerably over the past four decades. In this lucid and compelling book, Gerard de Vries provides one of the first overviews of Latour’s work. He guides readers through Latour’s main publications, from his early ethnographies to his more recent philosophical works, showing with considerable skill how Latour’s ideas have developed. This book will be of great value to students and scholars attempting to come to terms with the immense challenge posed by Latour’s thought. It will be of interest to those studying philosophy, anthropology, sociology, science and technology studies, and almost all other branches of the social sciences and humanities. (shrink)

Notwithstanding its overwhelming descriptive power for existing data, it is not clear whether the kinematic theory of Plamondon & Alimi could generate new insights into biomechanical constraints and psychological processes underlying the way organisms trade off speed for accuracy. The kinematic model should elaborate on the role of neuromotor noise and on biomechanical strategies for reducing endpoint variability related to such noise.

We show in this paper that all fragments of intuitionistic propostional logic based on a subset of the connectives $\wedge, \vee, \rightarrow, \neg$ satisfy interpolation. Fragments containing $\leftrightarrow$ or $\neg\neg$ are briefly considered.

Cet article aborde trois piliers essentiels de la culture maya : l’idée du monde comme un tout harmonieux au sein duquel tous les êtres vivants possèdent une âme ; l’idée de l’homme comme créature responsable de la planète et l’idée du temps envisagé de manière cyclique plutôt que linéaire, comme un devenir infini qui régit le monde et les hommes. L’idée de l’homme chez les Mayas de l’époque préhispanique a été recueillie principalement dans le Popol Vuh, un livre sacré de (...) l’ethnie quiché, écrit par les Mayas eux-mêmes une décennie après la conquête espagnole et dont les conceptions demeurent en partie valides pour les Mayas d’aujourd’hui, notamment la fraternité humain-animal et le devoir qu’ont les hommes de protéger le monde et de veiller à sa préservation. Ces diverses idées sont fondamentales pour ces peuples qui ont réussi à transcender le monde matériel afin d’y déceler des significations plus profondes dans la recherche d’une véritable harmonie cosmique. (shrink)

Teaching requires much emotion work which takes its toll on teachers. Emotion work is usually studied from one of two perspectives, a job or an individual perspective. In this study, we assessed the relative importance of these two perspectives in predicting emotional exhaustion. More than 200 teachers completed a questionnaire comprising the DISQ , the Dutch Questionnaire on Emotional Labour , and the UBOS . In line with previous studies, our findings indicated that emotional exhaustion is positively associated with emotional (...) job demands and surface acting. The relative importance of the two operationalisations of emotion work was assessed by comparing the results of two regression analyses. Whereas the model with job demands explained 18% of the variance, the model with emotional labour explained only 5%. In understanding what might contribute to emotional exhaustion in teachers, the emotional job demands might be much more important than the self‐regulation perspective that is measured with emotional labour. (shrink)

In this rather technical paper we establish a useful combination of belief revision and verisimilitude according to which better theories provide better predictions, and revising with more verisimilar data results in theories that are closer to the truth. Moreover, this paper presents two alternative definitions of refined verisimilitude, which are more perspicuous than the algebraic version used in previous publications.

TAPP is a total applicative theory, conservative over intuitionistic arithmetic. In this paper, we first show that the same holds for TAPP+ the choice principle EAC; then we extend TAPP with choice sequences and study the principle EBIa0 . The resulting theories are used to characterise the arithmetical fragment of EL +EBIa0. As a digression, we use TAPP to show that P. Martin-Löf's basic extensional theory ML0 is conservative over intuitionistic arithmetic.

The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in several areas of computer science. We give a short overview, and focus on the theory of software systems and modules. An algebra of theories TA is presented, with a nonstandard interpretation of the existential quantifier . In TA, the interpolation property of the underlying logic corresponds with the quantifier combination property . (...) It is shown how the Modularization Theorem, the Factorization Lemma and the Normal Form Theorem for module expressions can be proved in TA. (shrink)

We show in this paper that all fragments of intuitionistic propostional logic based on a subset of the connectives $\wedge, \vee, \rightarrow, \neg$ satisfy interpolation. Fragments containing $\leftrightarrow$ or ¬¬ are briefly considered.

La pensée du jurisconsulte anglais Jeremy Bentham (1748-1832) se prête particulièrement bien à une approche interdisciplinaire telle que celle qui est menée dans le présent ouvrage. Si Bentham, en effet, a consacré l'essentiel de ses travaux à des projets de réforme de la société anglaise de son temps par le biais de la codification des lois, il n'a cessé d'enrichir cette réflexion par des emprunts faits à d'autres disciplines, dans lesquelles il était également passé maître, telles la morale, la psychologie, (...) la logique, la théorie du langage, l'économie ou la politique.Cette pensée, à la fois plurielle et ambiguë (est-elle conservatrice, réformiste, révolutionnaire ou utopique? Est-elle descriptive, explicative ou normative?), révèle aujourd'hui son étonnante actualité. Il est peu de thèmes juridiques contemporains qui ne trouvent en effet leur place dans l'oeuvre de Bentham : ainsi les questions de l'utilité, de la balance des intérêts, de la constitution d'une science du droit et d'une logique déontique ; ainsi les concepts de système juridique, de codification, de déontologie, de contrôle social, d'opinion publique et de majorité politique. L'intérêt de cette « relecture » de la pensée de Bentham réside dès lors sans doute moins dans l'exégèse de ses multiples détours que dans la mise en lumière de ses ambiguïtés et de ses limites qui, pour une large part, sont aussi les nôtres. Parmi celles-ci, l'oscillation constante, déjà inscrite dans les textes benthamiens, entre deux figures de l'État moderne (État libéral et État-providence), n'est sans doute pas la moins actuelle. (shrink)

A cursory view of the history of ethical thinking shows the presence of a limited variety of 'styles of ethical reasoning', a term used in analogy of Crombie's 'styles of scientific reasoning' for systems of thought that set their own standards and techniques for providing evidence. Each style of reasoning tends to suggest a specific role for ethicists. Styles are appropriate relative to particular contexts of problems and require special institutions to flourish. Herman De Dijn's discussion in Taboes, monsters en (...) loterijen of the problems hybridsproduced in biomedicine and biotechnology pose for the symbolic order is shown to rest on two 'styles of ethical reasoning', viz, 'postulation of principles' and 'hermeneutics'. It is argued that both styles fall short, but for different reasons. 'Postulation of principles' is ill-equipped to answer problems posed by a world of change. Hermeneutics requires a pace of time and institutions not available in current society. Confronted with the problems De Dijn discusses, therefore two separate problems arise. Ethicistsnot only have to learn how to account for the hybrids that biomedicine and biotechnology produce, they also have to think about and contribute to institutional innovation. Rather than opening a space for discussing both tasks, De Dijn's styles of reasoning close off this matter. (shrink)

After a discussion of the different treatments in the literature of vacuous descriptions, the notion of descriptor is slightly generalized to function descriptor Ⅎ $\overset \rightarrow \to{y}(x)$ , so as to form partial functions φ = Ⅎ $y(\overset \rightarrow \to{x}).A(\overset \rightarrow \to{x},y)$ which satisfy $\forall \overset \rightarrow \to{x}z(z=\phi \overset \rightarrow \to{x}\leftrightarrow \forall y(A(\overset \rightarrow \to{x},y)\leftrightarrow y=z))$ . We use (intuitionistic, classical or intermediate) logic with existence predicate, as introduced by D. S. Scott, to handle partial functions, and prove that adding (...) function descriptors to a theory based on such a logic is conservative. For theories with quantification over functions, the situation is different: there the addition of Ⅎ yields new theorems in the Ⅎ-free fragment, but an axiomatisation is easily given. The proofs are syntactical. (shrink)

The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in several areas of computer science. We give a short overview, and focus on the theory of software systems and modules. An algebra of theories TA is presented, with a nonstandard interpretation of the existential quantifier ∃. In TA, the interpolation property of the underlying logic corresponds with the quantifier combination property ∃Σ (...) ∃П S ≡ ∃(Σ ∪ П) S. It is shown how the Modularization Theorem, the Factorization Lemma and the Normal Form Theorem for module expressions can be proved in TA. (shrink)