In this paper we 1. provide a natural deduction system for full first-order linear logic, 2. introduce Curry-Howard-style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. define the reduction rules for the Curry-Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a development of Girard's candidates for reducibility, thereby providing an alternative to Girard's proof using proof-nets.

Cerrito has proposed a declarative semantics for allowed logic programs using Girard's linear logic, with weakening. We propose an alternative semantics using pure linear logic. The main difference between our approach and that of Cerrito is that the comma of a logic program is interpreted as the multiplicative connective instead of the additive &. This enables us to establish a soundness result without the introduction of the projection symbols employed by Cerrito. The price to be paid for this simplification occurs (...) in the establishment of a completeness result. Our definition of the completed program is more complicated than that given by Cerrito. We establish a completeness result for the class of allowed programs and queries using our definition of the program completion. (shrink)

Swedenborg's Principles of Usefulness presents a possibly unsuspected historical undercurrent that further evidences Emanuel Swedenborg's pervasive influence on a whole host of historical figures-from poets and artists to philosophers and statesmen-whose contributions to the evolution of self and society have resonated throughout time and into the present. Besides having an impact on individual thinkers, Swedenborg's ideas worked their way into the various social reform traditions that vitalized the American landscape during the nineteenth and early-twentieth centuries. His concept of usefulness, best (...) demonstrated in the competing worldviews of the nation's liberal and conservative traditions, involved a commitment made by Swedenborgians, New Church members, and others to energize the nation and its people by envisaging the possibility of a much-desired Universal Human. (shrink)

This book is the fifth volume of selected papers from the Central European Pragmatist Forum (CEPF). The CEPF was founded in 2000 to provide an opportunity for American and European specialists in American philosophy to share their work with one another and to develop an understanding of the contemporary applications of the American philosophical traditions. The current volume deals with the general questions of identity and social transformation. Papers are organized into sections on the Transformation of Pragmatism, Metatheoretical conditions for (...) Identity Transformation, the Fluidity of Identity, Transforming Self, Transforming Society, Art and Transformation, Richard Rorty on the Transformation of Society and Self, and Pragmatism and Central Europe. The authors are among the leading specialists in American philosophy from universities across the US and in Central and Eastern Europe. In their papers the authors address a range of topics, including comparative analyses of American philosophical figures with prominent representatives of other philosophical traditions, contemporary issues in ethics, aesthetics and social philosophy, unresolved problems in American philosophy, and issues of contemporary policy. All papers deal in one way or another with the general theme of identity and transformation, individual and social. (shrink)

Religion is approached from an African point of view but is as accessible to readers who belong to non-African societies as it is to those who have grown up in ...

In this book, John Dryzek criticizes the dominance of instrumental rationality and objectivism in political institutions and public policy and in the practice of political science. He argues that the reliance on these kinds of politics and to technocracies of expert cultures that are not only repressive, but surprisingly ill-equipped for dealing with complex social problems. Drawing on critical theory, he outlines an alternative program for the organization of political institutions advocating a form of communicatively rational democracy, which he (...) terms discursive democracy, that stresses the importance of active citizenship and public discourse. He draws out the limitations of instrumental rationality and investigates how policy analysis and political science may be reformed to help constitute and comprehend democracy. Discursive Democracy examines how the political process can be made more vital and meaningful. At the same time it shows how such an invigorated process will serve as a more effective agent for social problem solving. (shrink)

Deliberative democracy puts communication and talk at the centre of democracy. Foundations and Frontiers of Deliberative Governance takes a fresh look at the foundations of the field, and develops new applications in areas ranging from citizen participation to the democratization of authoritarian states to the global system.

Deliberative democracy puts communication and talk at the centre of democracy. Foundations and Frontiers of Deliberative Governance takes a fresh look at the foundations of the field, and develops new applications in areas ranging from citizen participation to the democratization of authoritarian states to the global system.

Diversity is a fact of the social world; however, it can also be a problem if it leads to the valorisation of ethnic or racial identities. The social structures that inform the problems that arise from differences are based on historical, geographical, social, political, and economic stratifications; as well as on thought paradigms that either explicitly or implicitly promote the proliferation of binaries between “us and them”. We argue that an uncritical uptake of the African philosophy of ubuntu may inadvertently (...) support negative identity binaries. Particularly, we argue that a conception of ubuntu premised on unity is – paradoxically – in danger of fostering disunity between communities. In place of “unity”, we explore, and argue for, an interpretation of ubuntu premised on “relationality”. Specifically, we argue that “relationality” is capable of incorporating both identity and difference. (shrink)

Contending discourses underlie many of the worlds most intractable conflicts, producing misery and violence. This is especially true in the post-9/11 world. However, contending discourses can also open the way to greater dialogue in global civil society and across states and international organizations. This possibility holds even for the most murderous sorts of conflicts in deeply divided societies. In this timely and original book, John Dryzek examines major contemporary conflicts in terms of clashing discourses. Topics covered include the alleged (...) clash of civilizations; societies divided by ethnicity, nationality, or religion; economic globalization versus resistance; plus an in-depth discussion of the 'war on terror'. Dryzek concludes by highlighting the limitations of current neoconservative and cosmopolitan approaches, arguing that only deliberative global politics offers unprecedented new possibilities for democratic engagement in the international system. This book will be of interest to students and scholars of international relations, politics, philosophy, and sociology. (shrink)

This is a book about how politics, government - and much else - needs to change in response to the transition from the Holocene to the Anthropocene, the emerging epoch of human-induced instability in the Earth system and its life-support capacities.

Democratic theorists often place deliberative innovations such as citizen's panels, consensus conferences, planning cells, and deliberative polls at the center of their hopes for deliberative democratization. In light of experience to date, the authors chart the ways in which such mini-publics may have an impact in the “macro” world of politics. Impact may come in the form of actually making policy, being taken up in the policy process, informing public debates, market-testing of proposals, legitimation of public policies, building confidence and (...) constituencies for policies, popular oversight, and resisting co-option. Exposing problems and failures is all too easy. The authors highlight cases of success on each of these dimensions. (shrink)

The idea that technologies can change moral beliefs and practices is an old one. But how, exactly, does this happen? This paper builds on an emerging field of inquiry by developing a synoptic taxonomy of the mechanisms of techno-moral change. It argues that technology affects moral beliefs and practices in three main domains: decisional (how we make morally loaded decisions), relational (how we relate to others) and perceptual (how we perceive situations). It argues that across these three domains there are (...) six primary mechanisms of techno-moral change: (i) adding options; (ii) changing decision-making costs; (iii) enabling new relationships; (iv) changing the burdens and expectations within relationships; (v) changing the balance of power in relationships; and (vi) changing perception (information, mental models and metaphors). The paper also discusses the layered, interactive and second-order effects of these mechanisms. (shrink)

"--Joel Cracraft, American Museum of Natural History "This is not the potted history that one usually finds in texts and review articles.

For contemporary democratic theorists, democracy is largely a matter of deliberation. But the recent rise of deliberative democracy (in practice as well as theory) coincided with ever more prominent identity politics, sometimes in murderous form in deeply divided societies. This essay considers how deliberative democracy can process the toughest issues concerning mutually contradictory assertions of identity. After considering the alternative answers provided by agonists and consociational democrats, the author makes the case for a power-sharing state with attenuated sovereignty and a (...) more engaged deliberative politics in a public sphere that is semidetached from the state and situated transnationally. (shrink)

The central dogma of biology holds that genetic information normally flows from DNA to RNA to protein. As a consequence it has been generally assumed that genes generally code for proteins, and that proteins fulfil not only most structural and catalytic but also most regulatory functions, in all cells, from microbes to mammals. However, the latter may not be the case in complex organisms. A number of startling observations about the extent of non-protein-coding RNA (ncRNA) transcription in the higher eukaryotes (...) and the range of genetic and epigenetic phenomena that are RNA-directed suggests that the traditional view of the structure of genetic regulatory systems in animals and plants may be incorrect. ncRNA dominates the genomic output of the higher organisms and has been shown to control chromosome architecture, mRNA turnover and the developmental timing of protein expression, and may also regulate transcription and alternative splicing. This paper re-examines the available evidence and suggests a new framework for considering and understanding the genomic programming of biological complexity, autopoletic development and phenotypic variation. BioEssays 25:930-939,2003. (C) 2003 Wiley Periodicals, Inc. (shrink)

In the face of the anthropogenic threats to the singular planetary habitat we share with other human beings and non-human species, humanities scholars feel a renewed sense of urgency 1) to acknowledge the ways our species has funded particular histories of environmental exploitation, alienation, and collapse, 2) to unpack inherited assumptions that impact our views of nature and interspecies relations, and 3) to suggest ways of thinking and acting that seek to repair the damage and promote mutual flourishing for all (...) of earth inhabitants. This volume brings together scholars in philosophy, theology, and religion who take up this urgent ethical task from a broad range of perspectives and locations. (shrink)

Developments in the democratic theory of representation and deliberation enable renewed consideration of the ancient controversy over the proper place of rhetoric in politics. Rhetoric facilitates the making and hearing of representation claims spanning subjects and audiences divided in their commitments and dispositions. Deliberative democracy requires a deliberative system with multiple components whose linkage often needs rhetoric. Appreciation of these aspects of democracy exposes the limitations of categorical tests for the admissibility of particular sorts of rhetoric. Prioritization of bridging over (...) bonding rhetoric is a step in the right direction, while sometimes producing misleading results. A better systemic test asks whether or not rhetoric promotes an effective deliberative system linking competent and reflective actors. (shrink)

The theory of deliberative democracy is here furthered in terms of three images that locate its essence in respectively a single forum, a deliberative system, and an encompassing polity featuring particular integrative norms. The first two are ubiquitous, though contested, the third is stated here. Deliberative theorists need to contemplate how practices that make sense in each image connect to the other two. Forums only make sense when linked in a system that can synthesize very different deliberative virtues. Any system’s (...) democratic qualities can only be evaluated in terms of the polity. While judgment in terms of the conditions of normative integration in the polity is therefore primary, particular forums can promote deliberative authenticity in a system, and systems enable inclusive application of deliberative ideals. Deployed in this way, the three images help solve internal disputes and respond to critics. (shrink)

Summarya) Bell tries to formulate more explicitly a notion of “local causality”: correlations between physical events in different space‐time regions should be explicable in terms of physical events in the overlap of the backward light cones. It is shown that ordinary relativistic quantum field theory is not locally causal in this sense, and cannot be embedded in a locally causal theory.b) Clauser, Home and Shimony criticize several steps in Bell's argument that any theory of local “beables” is incompatible with quantum (...) mechanics. It is contended that the Clauser‐Horne derivation of a Bell‐type inequality circumvents his weak steps. The Clauser‐Horne derivation must assume that there are no undetected correlations between choices of controllable variables in two space‐like separated regions. Methodological considerations support this assumption.c) In response to criticism by Shimony, Home, and Clauser, Bell tries to clarify the argument of “The theory of local beables”, and to defend as permissible the hypothesis of free variables.d) Bell's reply to an earlier criticism by Shimony, Clauser, and Home is answered. The convergence of Bell's position towards theirs is noted. (shrink)

Geoffrey Rose’s prevention paradox points to a tension between two prima facie plausible moral principles: that we should save the greater number and that weshould save the most at risk. This paper argues that a novel moral theory, ex-ante contractualism, captures our intuitions in many prevention paradox cases, regardless of our interpretation of probability claims. However, it goes on to show that it might be impossible to square ex-ante contractualism with all of our moral intuitions. It concludes that even if (...) ex-ante contractualism cannot furnish an entire ethics of risk, it does identify important considerations for any such theory. (shrink)

Geoffrey Rose’s prevention paradox points to a tension between two prima facie plausible moral principles: that we should save the greater number and that weshould save the most at risk. This paper argues that a novel moral theory, ex-ante contractualism, captures our intuitions in many prevention paradox cases, regardless of our interpretation of probability claims. However, it goes on to show that it might be impossible to square ex-ante contractualism with all of our moral intuitions. It concludes that even if (...) ex-ante contractualism cannot furnish an entire ethics of risk, it does identify important considerations for any such theory. (shrink)

Exclusively instrumental notions of rationality not only reinforce attitudes conducive to the destruction of the natural world, but also undermine attempts to construct environmental ethics that involve more harmonious relationships between humans and nature. Deep ecologists and other ecological critics of instrumental rationality generally prefer some kind of spiritual orientation to nature. In this paper I argue against both instrumental rationalists and ecological spiritualists in favor of a communicative rationality which encompasses the natural world. I draw upon both critical theory (...) and recent scientific intimations of agency in nature. (shrink)

Thomas Kuhn described the progress of science as comprising occasional paradigm shifts separated by interludes of ‘normal science’. The paradigm that has held sway since the inception of molecular biology is that genes (mainly) encode proteins. In parallel, theoreticians posited that mutation is random, inferred that most of the genome in complex organisms is non‐functional, and asserted that somatic information is not communicated to the germline. However, many anomalies appeared, particularly in plants and animals: the strange genetic phenomena of paramutation (...) and transvection; introns; repetitive sequences; a complex epigenome; lack of scaling of (protein‐coding) genes and increase in ‘noncoding’ sequences with developmental complexity; genetic loci termed ‘enhancers’ that control spatiotemporal gene expression patterns during development; and a plethora of ‘intergenic’, overlapping, antisense and intronic transcripts. These observations suggest that the original conception of genetic information was deficient and that most genes in complex organisms specify regulatory RNAs, some of which convey intergenerational information. Also see the video abstract here: https://youtu.be/qxeGwahBANw. (shrink)