This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; (...) these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science. (shrink)

In order to be a self-governing agent, a person must govern the process by means of which she acquires the intention to act as she does. But what does governing this process require? The standard compatibilist answers to this question all assume that autonomous actions differ from nonautonomous actions insofar as they are a more perfect expression of the agent’s agency. I challenge this conception of autonomous agents as super agents. The distinguishing feature of autonomous agents is, I argue, the (...) nonagential role they play in the formation of their intentions. I offer an account of the relevant role. (shrink)

Buss, S.R., The undecidability of k-provability, Annals of Pure and Applied Logic 53 75-102. The k-provability problem is, given a first-order formula ø and an integer k, to determine if ø has a proof consisting of k or fewer lines . This paper shows that the k-provability problem for the sequent calculus is undecidable. Indeed, for every r.e. set X there is a formula ø and an integer k such that for all n,ø has a proof of k sequents if (...) and only if n ε X. (shrink)

Excerpt from Die Weltanschauungen der Großen Philosophen der Neuzeit Der Hufforberung, Die I'leuauflage Diefes mit Beifall aufgenomme nen Büchleins 3u beforgen, glaubte ich mich um fo weniger ent3iehen 3u fallen, als mich mit Dem früh verftorbenen Derfaffer manche the meinfamieit Der über3eugung verbanb. Ba Der bisherige Umfang nicht wefenilüh uberfchritten werben follie, habe ich mich Darauf bee fchränit, Die bio; unb bibliographifchen Eingaben 3u revibieren, ein paar £iteraturvermerie hin3u3ufügen fowie einige ftiliftifche mängel3u befeitigen. Ilm übrigen erforberte Die Dietat Beibehaltung Des (...) Gertes auch Dort, wo Dem Derfaffer Die verantwortung überlaffen bleiben muß. Nur an wenigen Stellen habe ich eine. Durch Die Buchftaben R. 5. Als von mir herrührenb geienn3eichnete - Elnmeriung beigefügt. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

Le présent volume réunit les contributions d'un colloque sur la pensée sémiotique et linguistique des Idéologues qui s'est tenu à Berlin du 3 au 5 octobre 1983. Ce recueil d'articles fait suite à un fascicule de la revue Histoire Epistémologie Langage qui était consacré au même sujet et dont il complète et amplifie les perspectives en ce qui concerne la portée européenne de la discussion. Le volume manifeste l'intérêt que beaucoup d'entre nous portent, surtout dans les sciences du langage, à (...) ces philosophes longtemps négligés par l'histoire de la pensée. (shrink)

In a time marked by the development of innovative treatments in healthcare and the need for health professionals to deal with resulting ethical dilemmas in clinical practice, this study was developed to determine the influence of the bioethics teaching on the moral competence of medical and nursing students. The authors conduct a longitudinal study using the Moral Competence Test extended version before and after attending the ethics curricular unit, in three nursing schools and three medical schools of Portugal. In this (...) questionnaire the participant is confronted with three ethical dilemmas and asked to evaluate arguments for and against the attitude of the main character. For both nursing and medical students, C-score was lower after the attendance of the ethics curricular units, with a statistically significant decrease in the total score for nursing students and a decrease not statistically significant for medical students. A multivariate analysis did not find any association between this decrease and gender, course, or age. The phenomenon of moral segmentation was observed, with better performance in the worker and judge dilemma, than in the doctor dilemma. These results highlight the need to reflect on the curricular strategies that can be implemented for health professionals to better develop moral competence and decision-making, allowing for the provision of humanized health care. (shrink)

Metaphysical anti-realism is a large and heterogeneous group of views that do not share a common thesis but only share a certain family resemblance. Views as different as mathematical nominalism—the view that numbers do not exist—, ontological relativism—the view that what exists depends on a perspective—, and modal conventionalism—-the view that modal facts are conventional—all are versions of metaphysical anti-realism. As the latter two examples suggest, relativist ideas play a starring role in many versions of metaphysical anti-realism. But what does (...) it mean for the existence of something to “depend on” a perspective, or for a modal fact to “depend on” a convention? We can distinguish between various dependence relations, giving rise to an array of drastically different forms of metaphysical anti-realism. This article offers a guided tour. I develop a systematic distinction between various forms of metaphysical anti-realism with a focus on the role of relativist ideas in this landscape. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Desire of the Analysts: Psychoanalysis and Cultural CriticismVera J. Camden (bio)Desire of the Analysts: Psychoanalysis and Cultural Criticism. Ed. Greg Forter and Paul Allen Miller. New York: SUNY P, 2008. 258 pp.This collection takes up the uses of psychoanalysis for cultural studies in the new millennium. Its editors and contributors ask, “Where is psychoanalysis in contemporary thought?” At a time when the empirically based psychologies have long repudiated (...) the “talking cure” to the extent that the unconscious is not visible or easily measured, and when, on the other hand, psychoanalysis has been associated in the humanities with a radical political and social agenda, disappointed hopes for change have led many to throw the baby of psychoanalysis out with the bathwater of a utopian vision of transformation. The question now remains: “Whither psychoanalysis?” To answer this question (which is also a demand), the editors first acknowledge that the critique and curtailing of psychoanalytic thought in the cultural studies programs across the country in the last decade or so has been influenced by the works of Michel Foucault, his disciples, and the New Historicism. At the same time, they believe that the political, psychological, and moral dangers of embracing a knowing and cynical postmodernism that fosters hollow consumerism premised on modes of subjectivity that “neither ‘express’ interiority nor bear any relation to a lived past” are a real and present danger in contemporary life. “That the triumph of such a view has coincided with intellectuals’ renewed suspicion of psychoanalysis should, we believe, give us pause” (8). The essays that constitute the present volume thus insist on the persistence of the desire of the analyst: for knowledge of self and other, and by those who long for interpretive insight into interior lives and social places. The volume thus poses for its readers twin questions: “Why do we continue to desire psychoanalysis, and what should its role be in the cultural criticism of the new millennium?”This collection grew out of a conference organized around this question and thus reflects the varied but not necessarily interconnected papers offered in that setting. In an effort to provide some interconnections, the collection is divided into four sections grouped around the topics of psychoanalysis and the future of cultural criticism, collectivity, the author, and sexuality. The grouping does not, in my estimation, provide unity or coherence to the volume as a whole; nevertheless, each article emerges on its own terms as a strong contribution to the general field of psychoanalytic cultural criticism and critical theory. Henry Sussman’s “Psychoanalysis, Religion, and Cultural Criticism at the Millennium” provides an anchoring perspective to the volume, addressing with particular urgency the mutually transformative desire of and for analysis modeled on the transference/countertransference clinical encounter. This analogy [End Page 153] suggestively sets the stage for a like transformative intervention by the analyst in a cultural critique, while acknowledging that cultural studies provides the best interpretation and assessment of the ways that psychoanalysis operates historically and clinically in contemporary society. Sussman—and indeed many of the contributors—underscores the editors’ organizing declaration that since psychoanalysis derived from lived human experience it stands to reason that “analysis is both the product of and answer to suffering” (15).Thus it comes as something of a surprise that one of its editors, Greg Forter, in “F. Scott Fitzgerald, Psychobiography, and the Fin-de-Siecle Crisis in Masculinity,” locks the subject of psychoanalysis into a stranglehold with his presuppositions about the limits of history and the origins of psychoanalysis in the modern moment: “Because the theory and techniques of psychoanalysis were developed by analyzing modern men and women, psychoanalysis may be a theory of modern subjectivity rather than of subjectivity as such, and its mode of inquiry may be best suited to analyzing the phenomena of modernity” (148). Contrast this limiting and limited sense of the place of psychoanalysis in history (and the concomitant restriction of its utility expressed ironically in a volume with two major articles on premodern cultural texts!) to recent remarks in a new book by Christopher Bollas: “For thousands of years there has been an unconscious preconception of psychoanalysis. We [...] human beings [...] have been searching for... (shrink)

To treat some human beings as less worthy of concern and respect than others is to lose sight of their humanity. But what does this moral blindness amount to? In exploring the value of humanity, the essays in this volume offer a wide range of competing, yet overlapping, answers to this question. Some essays examine influential views in the history of Western philosophy. In others, philosophers currently working in ethics develop and defend their own views. Some essays appeal to distinctively (...) human capacities. Others argue that our obligations to one another are ultimately grounded in self-interest or certain shared interests or our natural sociability. The philosophers featured here disagree about whether the value of human beings depends on the value of anything else. They disagree about how reason and rationality relate to this value, and even about whether we can reason our way to discovering it. This rich selection of proposals encourages us to rethink some of our own deepest assumptions about the moral significance of being human. (shrink)

Capturing a scientific change in thinking about personality and individual differences that has been building over the past 15 years, this volume stands at an important moment in the development of psychology as a discipline. Rather than viewing individual differences as merely the raw material upon which selection operates, the contributing authors provide theories and empirical evidence which suggest that personality and individual differences are central to evolved psychological mechanisms and behavioral functioning. The book draws theoretical inspiration from life history (...) theory, evolutionary genetics, molecular genetics, developmental psychology, personality psychology, and evolutionary psychology, while utilizing the theories of the "best and the brightest" international scientists working on this cutting edge paradigm shift. In the first of three sections, the authors analyze personality and the adaptive landscape; here, the authors offer a novel conceptual framework for examining "personality assessment adaptations." Because individuals in a social environment have momentous consequences for creating and solving adaptive problems, humans have evolved "difference-detecting mechanisms" designed to make crucial social decisions such as mate selection, friend selection, kin investment, coalition formation, and hierarchy negotiation. In the second section, the authors examine developmental and life-history theoretical perspectives to explore the origins and development of personality over the lifespan. The third section focuses on the relatively new field of evolutionary genetics and explores which of the major evolutionary forces--such as balancing selection, mutation, co-evolutionary arms races, and drift--are responsible for the origins of personality and individual differences. Existing as a seminal work in the newly emerging evolutionary psychology field, this book is a "must-read" for anyone invested in the development of psychology as a field. (shrink)

We show that in the Maxwell–Lorentz theory of classical electrodynamics most initial values for fields and particles lead to an ill-defined dynamics, as they exhibit singularities or discontinuities along light-cones. This phenomenon suggests that the Maxwell equations and the Lorentz force law ought rather to be read as a system of delay differential equations, that is, differential equations that relate a function and its derivatives at different times. This mathematical reformulation, however, leads to physical and philosophical consequences for the ontological (...) status of the electromagnetic field. In particular, fields cannot be taken as independent degrees of freedom, which suggests that one should not add them to the ontology. (shrink)

Health care often involves ethically difficult situations that may disquiet the conscience. The purpose of this study was to develop a questionnaire for identifying various perceptions of conscience within a framework based on the literature and on explorative interviews about perceptions of conscience (Perceptions of Conscience Questionnaire). The questionnaire was tested on a sample of 444 registered nurses, enrolled nurses, nurses’ assistants and physicians. The data were analysed using principal component analysis to explore possible dimensions of perceptions of conscience. The (...) results showed six dimensions, found also in theory and empirical health care studies. Conscience was perceived as authority, a warning signal, demanding sensitivity, an asset, a burden and depending on culture. We conclude that the Perceptions of Conscience Questionnaire is valid for assessing some perceptions of conscience relevant to health care providers. (shrink)

This text addresses the profound human questions of love and work. Beginning with a historical introduction, the author progresses through adaptive problems that humans face, and concludes by showing how evolutionary psychology encompasses all branches of psychology.

Incest is a crime in most societies. In the United States, incest is punishable in almost every state with sentences going as far as 20 and 30 years in prison, and even a life sentence. Yet the reasons traditionally proffered in justification of criminalization of incest—respecting religion and universal tradition; avoiding genetic abnormalities; protecting the family unit; preventing sexual abuse and sexual imposition; and precluding immorality—at a close examination, reveal their under- and over-inclusiveness, inconsistency or outright inadequacy. It appears that (...) the true reason behind the long history of the incest laws is the feeling of repulsion and disgust this tabooed practice tends to evoke in the majority of population. However, in the absence of wrongdoing, neither a historic taboo nor the sense of repulsion and disgust legitimizes criminalization of an act. (shrink)

Prilozhenie I. Chelovek v totalitarnom gosudarstve -- Prilozhenie II. Iz-pod glyb -- Prilozhenie III. Lenin i Bogdanov -- Prilozhenie IV. Voskresenie.

Many arguments have been made against gene editing. This paper addresses the commonly invoked argument that gene editing violates human dignity and is ultimately a subversion of human nature. There are several drawbacks to this argument. Above all, the concept of what human dignity means is unclear. It is not possible to condemn a practice that violates human dignity if we do not know exactly what is being violated. The argument’s entire reasoning is thus undermined. Analyses of the arguments involved (...) in this discussion have often led to the conclusion that gene editing contravenes the principle of genetic identity (genetic immutability) thereby subverting a requisite of human dignity and ultimately threatening human nature. This paper refutes these arguments and shows that any opposition to gene editing cannot rely on the human dignity argument. (shrink)

Plants synthesize with photons, so we commonly say. This article on photosynthesis introduces a notion of concepts that are to be thought of as capital and yet natural. They constitute a metaphysics of meteora alloys and copiousness through “actively lacking” a “proper” notion of conception.

Contemporary mate preferences can provide important clues to human reproductive history. Little is known about which characteristics people value in potential mates. Five predictions were made about sex differences in human mate preferences based on evolutionary conceptions of parental investment, sexual selection, human reproductive capacity, and sexual asymmetries regarding certainty of paternity versus maternity. The predictions centered on how each sex valued earning capacity, ambition— industriousness, youth, physical attractiveness, and chastity. Predictions were tested in data from 37 samples drawn from (...) 33 countries located on six continents and five islands. For 27 countries, demographic data on actual age at marriage provided a validity check on questionnaire data. Females were found to value cues toresource acquisitionin potential mates more highly than males. Characteristics signalingreproductive capacitywere valued more by males than by females. These sex differences may reflect different evolutionary selection pressures on human males and females; they provide powerful cross-cultural evidence of current sex differences in reproductive strategies. Discussion focuses on proximate mechanisms underlying mate preferences, consequences for human intrasexual competition, and the limitations of this study. (shrink)

The (re)building of the post-communist states offers new perspectives both on the state and on the multiple transitions that followed communism. Specifically, it shifts our analytical focus from states as consolidated outcomes and unitary actors to the process by which states come into being and into action in the modern era. This process consists of elite competition over policy-making authority, which is shaped and constrained by existing institutional resources, the pacing of transformation, and the international context. The four ideal types (...) of state-building that result are exemplified by the post-communist experience: democratic, autocratic, fractious, and personalistic. (shrink)

The defense of necessity, also known as the “choice of evils,” reflects popular moral intuitions and common sense: sometimes, breaking the rules is the right—indeed, the only—thing to do in order to avoid a greater evil. Citing a classic example, mountain climbers may break into a cabin to wait out a deadly snow storm and appropriate the owner’s provisions because their property violations are a lesser evil compared to the loss of life. At the same time, this defense contradicts the (...) fundamental principles of criminal responsibility in that it authorizes violation of rights of innocent bystanders. By allowing the mountain climbers to override the property rights of the cabin owner, the defense effectively forbids the cabin owner to use force in response—a different rule would perpetuate violence. This outcome is at odds with the basic criminal law doctrines. There is no general duty to rescue in Anglo-American law. Yet, by forbidding the cabin owner to use force, the defense of necessity essentially imposes on him the duty to forego his interests in favor of those of the mountain climbers. The paper explores the origins and boundaries of the defense of necessity. It argues that the existing public and private theories of necessity are unsatisfactory and concludes that a viable theory of necessity should be able to explain why it is sometimes permissible to override individual rights of citizens without their consent or fault. (shrink)

In this article, I try to go beyond the traditional objections to strict liability public welfare offenses and confront other possible justifications for punishing non-culpable conduct. Specifically, I consider the following arguments:Penalties for public welfare offenses are punishment by name only, thus traditional justifications for punishment are not needed;Even if those penalties are punishment, punishing those who produce or threaten significant harm to others is not necessarily unjust; andEven if such punishment is not entirely just, it is consistent with other (...) widely accepted criminal law doctrines. (shrink)

The static properties of leaves with parallel venation from terrestrial orchids of the genus Epipactis were modelled as coupled elastic rods using the geometrically exact Cosserat theory and the resulting boundary-value problem was solved numerically using a method from Shampine, Muir and Xu. The response of the leaf structure to the applied force was obtained from preliminary measurements. These measurements allowed the Young’s modulus of the Epipactis leaves to be determined. The appearance of wrinkles and undulation characteristics for some leaves (...) has been attributed to the small torsional stiffness of the leaf edges. (shrink)

Departing from the premise that the poststructuralist paradigm still reigns supreme in feminist and gender theory, that is, despite the niche efforts made in the past two decades to challenge it linked to the so called “speculative” turn or the materialisms (and realisms) emerging from the feminist field itself (such as the Utrecht School, inspired by Rosi Braidotti), we set the call for papers for the issue before you in terms that would invite authors ready to challenge the dominant epistemic (...) framework. We invited papers that engage with materialism(s), realism(s), sciences and projects engaged in rethinking the post-human beyond the poststructuralist (and, we dare say, postmodern/ist) norm. -/- . (shrink)

A claim made by Buddhist or Buddhism-affine scholars such as Michael LaTorra and James Hughes is that transhumanism, neuroscience, and the teachings of Buddhism are compatible because they aim to alleviate suffering and pain and attain a stable state of happiness. This claim can be challenged. At first glance, the approach seems valid, because since the 1980s there have been dialogues and scientific collaborations with representatives of Tibetan Buddhism and scientists on the topics of neuroscience, consciousness, ethics and technology, and (...) in this context new interpretations of Buddhist thought have emerged such as ‘Buddhist modernism’ (E. Thompson). In this discussion note, however, two main arguments are advanced as to why the claim and terminology of Buddhist transhumanism are difficult to reconcile with Buddhist terminology, values, and methods: (1) the difference between the use of such methods as meditation and contemplation and the application of so-called human enhancement technologies (2) and differences concerning self-understanding in Western science and Buddhism. (shrink)

A large network of alchemical agents spread from the tiny, land-locked duchy of Saxe- Gotha-Altenburg outward across Europe. At its centre, Duke Friedrich I meticulously documented his interactions with many alchemical personalities during the 1670s and 1680s. The story of one such personality illustrates the changing meanings of distant alchemical knowledge both to the inner circle of courtly alchemists and to a larger alchemical republic. Born near Gotha, Johann Otto von Hellwig built his pan-European career on a youthful stay on (...) Java. To some, this indicated his access to exotic naturalia which might be imported to a centre of collection, such as Gotha. For others, Hellwig could access a wisdom hidden abroad since ancient Egypt, which should be disseminated among widely dispersed adepts. These viewpoints indicate different functions for distant knowledge, as well as differing desired trajectories for this knowledge. (shrink)

According to the doctrine of Super-Humeanism, the world’s mosaic consists only of permanent matter points and changing spatial relations, while all the other entities and features figuring in scientific theories are nomological parameters, whose role is merely to build the best law system. In this paper, I develop an argument against Super-Humeanism by pointing out that it is vulnerable to and does not have the resources to solve the well-known problem of immanent comparisons. Firstly, I show that it cannot endorse (...) a fundamentalist solution à la Lewis, since its two pillars—a minimalist ontology and a best system account of lawhood—would generate, together, a tedious problem of internal coherence. Secondly, I consider anti-fundamentalist strategies, proposed within Humeanism, and find them inapplicable to the Super-Humean doctrine. The concern is that, since it is impossible to choose the best law system within Super-Humeanism, this doctrine may be charged with incoherence. (shrink)

In this paper, I discuss whether the results of loop quantum gravity (LQG) constitute a fatal blow to Humeanism. There is at least a prima facie reason for believing so: while Humeanism regards spatiotemporal relations as fundamental, LQG describes the fundamental layer of our reality in terms of spin networks, which are not in spacetime. However, the question should be tackled more carefully. After explaining the importance of the debate on the tenability of Humeanism in light of LQG, and having (...) presented the Humean doctrine, I review two cases which present serious threats to Humeanism, one concerning the fundamentality of vectorial quantities and the other concerning quantum entanglement. In particular, I recall the strategies that are usually employed in these two cases in order to save Humeanism: in the first case, the strategy consists in amending the characterization of the Humean mosaic; in the second case, it consists in adopting a realist or nomological interpretation of the wave function. These solutions will turn out to be helpful in my discussion of LQG where, after describing LQG, I show that Humeans might save their doctrine either by endorsing a realist interpretation of spin networks, or by giving them a nomological status and, at the same time, by revisiting the characterization of the Humean mosaic. However, I conclude that both solutions are wanting. (shrink)

To be autonomous is to be a law to oneself; autonomous agents are self-governing agents. Most of us want to be autonomous because we want to be accountable for what we do, and because it seems that if we are not the ones calling the shots, then we cannot be accountable. More importantly, perhaps, the value of autonomy is tied to the value of self-integration. We don't want to be alien to, or at war with, ourselves; and it seems that (...) when our intentions are not under our own control, we suffer from self-alienation. What conditions must be satisfied in order to ensure that we govern ourselves when we act? Philosophers have offered a wide range of competing answers to this question. (shrink)