Johannes Scottus Eriugena ragt als ein der Antike kongenialer Denker mit seinem originellen theologisch-philosophischen Entwurf von Gott und Welt weit über seine Zeitgenossen des 9. Jahrhunderts hinaus. Die vorliegende Untersuchung arbeitet die zentrale Bedeutung des freien Willens und einer optimistischen Sicht der Schöpfung für das Gesamtsystem heraus und zeigt inhaltliche Parallelen zwischen dem Werk des frühmittelalterlichen Autors und seiner irisch-keltischen Herkunft auf.

This volume takes on both issues and examines the relationship between organisms and artifacts from the perspective of functionality.

Since the Kierkegaard Studies Monograph Series (KSMS) was first published in 1997, it has served as the authoritative book series in the field. Starting from 2011 the Kierkegaard Studies Monograph Series will intensify the peer-review process with a new editorial and advisory board. KSMS is published on behalf of the S ren Kierkegaard Research Centre at the University of Copenhagen. KSMS publishes outstanding monographs in all fields of Kierkegaard research. This includes Ph.D. dissertations, Habilitation theses, conference proceedings and single author (...) works by senior scholars. The goal of KSMS is to advance Kierkegaard studies by encouraging top-level scholarship in the field. The editorial and advisory boards are deeply committed to creating a genuinely international forum for publication which integrates the many different traditions of Kierkegaard studies and brings them into a constructive and fruitful dialogue. To this end the series publishes monographs in English and German. Potential authors should consult the Submission guidelines. All submissions will be blindly refereed by established scholars in the field. Only high-quality manuscripts will be accepted for publication. Potential authors should be prepared to make changes to their texts based on the comments received by the referees. (shrink)

Systems biology is largely tributary to genomics and other “omic” disciplines that generate vast amounts of structural data. “Omics”, however, lack a theoretical framework that would allow using these data sets as such (rather than just tiny bits that are extracted by advanced data-mining techniques) to build explanatory models that help understand physiological processes. Systems biology provides such a framework by adding a dynamic dimension to merely structural “omics”. It makes use of bottom-up and top-down models. The former are based (...) on data about systems components, the latter on systems-level data. We trace back both modeling strategies (which are often used to delineate two branches of the field) to the modeling of metabolic and signaling pathways in the bottom-up case, and to biological cybernetics and systems theory in the top-down case. We then argue that three roots of systems biology must be discerned to account adequately for the structure of the field: pathway modeling, biological cybernetics, and “omics”. We regard systems biology as merging modeling strategies (supplemented by new mathematical procedures) from data-poor fields with data supply from a field that is quite deficient in explanatory modeling. After characterizing the structure of the field, we address some epistemological and ontological issues regarding concepts on which the top-down approach relies and that seem to us to require clarification. This includes the consequences of identifying modules in large networks without relying on functional considerations, the question of the “holism” of systems biology, and the epistemic value of the “systeome” project that aspires to become the cutting edge of the field. (shrink)

Looking for an adequate explication of the concept of a biological function, several authors have proposed to link function to design. Unfortunately, known explications of biological design in turn refer to functions. The concept of general design I will introduce here breaks up this circle. I specify design with respect to its ontogenetic role. This allows function to be based on design without making reference to the history of the design, or to the phylogeny of an organism, while retaining the (...) normative aspect of function ascriptions. The concept is applicable to the function and design of technical artifacts as well. Several problems well known with other definitions can be overcome by this approach. (shrink)

Ulrich Beck's best selling Risk Society established risk on the sociological agenda. It brought together a wide range of issues centering on environmental, health and personal risk, provided a rallying ground for researchers and activists in a variety of social movements and acted as a reference point for state and local policies in risk management. The Risk Society and Beyond charts the progress of Beck's ideas and traces their evolution. It demonstrates why the issues raised by Beck reverberate widely (...) throughout social theory and covers the new risks that Beck did not foresee, associated with the emergence of new technologies, genetic and cybernetic. The book is unique because it offers both an introduction to the main arguments in Risk Society and develops a range of critical discussions of aspects of this and other works of Beck. (shrink)

The genetic code has been regarded as arbitrary in the sense that the codon-amino acid assignments could be different than they actually are. This general idea has been spelled out differently by previous, often rather implicit accounts of arbitrariness. They have drawn on the frozen accident theory, on evolutionary contingency, on alternative causal pathways, and on the absence of direct stereochemical interactions between codons and amino acids. It has also been suggested that the arbitrariness of the genetic code justifies attributing (...) semantic information to macromolecules, notably to DNA. I argue that these accounts of arbitrariness are unsatisfactory. I propose that the code is arbitrary in the sense of Jacques Monod's concept of chemical arbitrariness: the genetic code is arbitrary in that any codon requires certain chemical and structural properties to specify a particular amino acid, but these properties are not required in virtue of a principle of chemistry. This notion of arbitrariness is compatible with several recent hypotheses about code evolution. I maintain that the code's chemical arbitrariness is neither sufficient nor necessary for attributing semantic information to nucleic acids. (shrink)

This paper develops a formal framework to model a process in which the formation of individual opinions is embedded in a deliberative exchange with others. The paper opts for a low-resolution modeling approach and abstracts away from most of the details of the social-epistemic process. Taking a bird's eye view allows us to analyze the chances for the truth to be found and broadly accepted under conditions of cognitive division of labour combined with a social exchange process. Cognitive division of (...) labour means that only some individuals are active truth seekers, possibly with different capacities. Both mathematical tools and computer simulations are used to investigate the model. As an analytical result, the Funnel Theorem states that under rather weak conditions on the social process, a consensus on the truth will be reached if all individuals possess an arbitrarily small capacity to go for the truth. The Leading the pack Theorem states that under certain conditions even a single truth seeker may lead all individuals to the truth. Systematic simulations analyze how close agents can get to the truth depending upon the frequency of truth seekers, their capacities as truth seekers, the position of the truth (more to the extreme or more in the centre of an opinion space), and the willingness to take into account the opinions of others when exchanging and updating opinions. (shrink)

In [15], [16] G. Kreisel introduced the no-counterexample interpretation (n.c.i.) of Peano arithmetic. In particular he proved, using a complicated ε-substitution method (due to W. Ackermann), that for every theorem A (A prenex) of first-order Peano arithmetic PA one can find ordinal recursive functionals Φ A of order type 0 which realize the Herbrand normal form A H of A. Subsequently more perspicuous proofs of this fact via functional interpretation (combined with normalization) and cut-elimination were found. These proofs however do (...) not carry out the no-counterexample interpretation as a local proof interpretation and don't respect the modus ponens on the level of the no-counterexample interpretation of formulas A and A → B. Closely related to this phenomenon is the fact that both proofs do not establish the condition (δ) and--at least not constructively-- (γ) which are part of the definition of an 'interpretation of a formal system' as formulated in [15]. In this paper we determine the complexity of the no-counterexample interpretation of the modus ponens rule for (i) PA-provable sentences, (ii) for arbitrary sentences A, B ∈ L(PA) uniformly in functionals satisfying the no-counterexample interpretation of (prenex normal forms of) A and A → B, and (iii) for arbitrary A, B ∈ L(PA) pointwise in given α( 0 ) -recursive functionals satisfying the no-counterexample interpretation of A and A → B. This yields in particular perspicuous proofs of new uniform versions of the conditions (γ), (δ). Finally we discuss a variant of the concept of an interpretation presented in [17] and show that it is incomparable with the concept studied in [15], [16]. In particular we show that the no-counterexample interpretation of PA n by α( n (ω))-recursive functionals (n ≥ 1) is an interpretation in the sense of [17] but not in the sense of [15] since it violates the condition (δ). (shrink)

A technical artefact is often described in two ways: by means of a physicalistic model of its structure and dynamics, and by a functional account of the contributions of the components of the artefact to its capacities. These models do not compete, as different models of the same phenomenon in physics usually do; they supplement each other and cohere. Coherence is shown to be the result of a mapping of role-contributions on physicalistic relations that is brought about by the concept (...) of function. It results a sandwich-like structure of the two models, which can be reconstructed as a two-sorted theory element. (shrink)

This paper assesses Sarkar's ([2003]) deflationary account of genetic information. On Sarkar's account, genes carry information about proteins because protein synthesis exemplifies what Sarkar calls a ‘formal information system’. Furthermore, genes are informationally privileged over non-genetic factors of development because only genes enter into arbitrary relations to their products (in virtue of the alleged arbitrariness of the genetic code). I argue that the deflationary theory does not capture four essential features of the ordinary concept of genetic information: intentionality, exclusiveness, asymmetry, (...) and causal relevance. It is therefore further removed from what is customarily meant by genetic information than Sarkar admits. Moreover, I argue that it is questionable whether the account succeeds in demonstrating that information is theoretically useful in molecular genetics. Introduction Sarkar's Information System The Pre-theoretic Features of Genetic Information 3.1 Intentionality 3.2 Exclusiveness 3.3 Asymmetry 3.4 Causal relevance Theoretical Usefulness Conclusion CiteULike Connotea Del.icio.us What's this? (shrink)

Niches and mechanisms are two important but contested elements in the study of organism-environment interactions. Although they are closely interrelated, with niches playing a crucial role in theorizing about ecological and evolutionary mechanisms such as niche construction, facilitation, and species invasion, philosophical discussions about each issue have been largely disconnected. This collection addresses this gap, bringing together contributions from philosophers and biologists about the niche concept, niche construction theory, and ecological and evolutionary mechanisms. In this introduction we provide some background (...) to the collection, which arose out of two workshops organized within an interdisciplinary research consortium. We also summarize each contribution, organized roughly into three groups with considerable overlap and interrelations: niche construction and evolutionary theory, niches, and ecological and evolutionary mechanisms. (shrink)

In this paper the numerical strength of fragments of arithmetical comprehension, choice and general uniform boundedness is studied systematically. These principles are investigated relative to base systems Tnω in all finite types which are suited to formalize substantial parts of analysis but nevertheless have provably recursive functions of low growth. We reduce the use of instances of these principles in Tnω-proofs of a large class of formulas to the use of instances of certain arithmetical principles thereby determining faithfully the arithmetical (...) content of the former. This is achieved using the method of elimination of Skolem functions for monotone formulas which was introduced by the author in a previous paper.As corollaries we obtain new conservation results for fragments of analysis over fragments of arithmetic which strengthen known purely first-order conservation results.We also characterize the provably recursive functions of type 2 of the extensions of Tnω based on these fragments of arithmetical comprehension, choice and uniform boundedness. (shrink)

The last few years have seen a marked increase of interest in the ethics of psychotherapy. As the field of mental health has recently taken on a new level of prominence, renewed commitment to the ethical analysis of psychiatric and psychological treatment is clearly required. In this review essay, we survey recent work on psychotherapy ethics, taking a critical yet generally sympathetic view of the new literature. There are important considerations that remain neglected or overlooked entirely, in our view, and (...) several substantive and methodological trends are in need of diagnosis and critical response. We structure the discussion around several themes, including the inherently moral nature of psychotherapy, the heterogeneity of such practices, the significance of social, cultural, and historical context, and, finally, questions concerning prevailing methodological assumptions. (shrink)

Technical artifacts are embedded in social systems and, to some extent, even shape them. This chapter inquires, then, whether designing artifacts may be regarded as a contribution to social design. I explicate a concept of general design that conceives design as the type fixation of a complex entity. This allows for an analysis of different contributions to the design of social systems without favoring the intended effects of artifacts on a system over those effects that actually show up. First, the (...) clear-cut case of socio-technical systems is considered. Here, functions of artifacts can be planned fairly precise. In societies, in contrast, the actual functions of an artifact can hardly be predicted, which is due to strong self-organizing processes. Nevertheless artifact design can be shown to contribute to the design of the system also in this case. (shrink)

The paper's aim is to contribute to a better understanding of Weber's methodology by clarifying the difference of Weber's concept of Verstehen from Dilthey's concept of Verstehen, and by answering the question of how Weber's claim to objectivity of his Verstehende Soziologie is compatible with his claim that the specific method of his Verstehende Soziologie, the idealtypical construction, is empirically irrefutable. My thesis is that there are three classes of ideal types in Weber: concepts of 'historical individuals', concepts of 'objective (...) possibilities' and idealtypical classifying concepts. Common to them is the end to grasp the individual character of a social phenomenon. Their different functions in realizing this end justify to describe Weber's Verstehende Soziologie as a system, in which social phenomena are presented as if they were the result of conscious human decisions. (shrink)

Darwin’s explanation of biological speciation in terms of variation and natural selection has revolutionised biological thought. However, while his principle of natural selection, the fitness principle, has shaped biology until the present, its interpretation changed more than once during the almost 150 years of its history. The most striking change of the status of the principle is that, in the middle of the 20th century, it transmutated from an often disputed, groundbreaking insight into a tautology. Moreover, not only the interpretation (...) of the fitness principle, but the whole body of biological knowledge was subjected to significant modifications. In this paper, I relate modifications of the fitness principle to those of the respective body of biological knowledge. This body of knowledge is conceived as a Quinean web of belief. After an exposition of Darwin’s conception of the principle, which equated fitness with adaptedness to the environment, several of its changes are analysed with respect to different webs of biological knowledge. It is concluded that the different interpretations and the reshaping of the fitness principle are rational responses to the modified systems of background knowledge, which saved the coherence of the web of biological knowledge in each single case. (shrink)

This book publishes for the first time notes from two notebooks of Gödel which formed the basis of a course on intuitionism Gödel delivered at Princeton in the.

This chapter reviews past and present debates about the therapeutic relationship in order to draw out the ethical implications of relational practices in psychotherapy. The therapeutic relationship has been understood differently across psychotherapeutic approaches, with each tradition responding to the attendant ethical challenges in distinctive ways. Aside from practitioners’ theoretical and practical commitments, the therapeutic relationship has also been, and continues to be, shaped by broader societal influences. The chapter discusses the shifting ethical implications of relational practices, then, as situated (...) in their theoretical and historical contexts. The variability of concerns raised by the therapeutic relationship requires continued ethical analysis in order to confront the diversity and complexity of contemporary clinical practice. (shrink)

Bd. 1. Rechts- und staatsphilosophische Analysen und Positionen -- Bd. 2. Materielle und formelle strafrechtsprobleme.

It is well-known (due to C. Parsons) that the extension of primitive recursive arithmeticPRA by first-order predicate logic and the rule ofΠ 2 0 -inductionΠ 2 0 -IR isΠ 2 0 -conservative overPRA. We show that this is no longer true in the presence of function quantifiers and quantifier-free choice for numbersAC 0,0-qf. More precisely we show that ℐ :=PRA 2 +Π 2 0 -IR+AC 0,0-qf proves the totality of the Ackermann function, wherePRA 2 is the extension ofPRA by number (...) and function quantifiers andΠ 2 0 -IR may contain function parameters. This is true even forPRA 2 +∑ 1 0 -IR+Π 2 0 -IR −+AC 0,0-qf, whereΠ 2 0 -IR − is the restriction ofΠ 2 0 -IR without function parameters. (shrink)

In this note we show that proof-theoretic uniform boundedness or bounded collection principles which allow one to formalize certain instances of countable Heine–Borel compactness in proofs using abstract metric structures must be carefully distinguished from an unrestricted use of countable Heine–Borel compactness.

Nähere Informationen zu diesem Buch erhalten Sie direkt vom Verlag / For further information about this title please contact Mohr Siebeck.

The role of Brachyury and other T-box genes in the differentiation of mesoderm and endoderm of vertebrates is well established. Recently, homologues of Brachyury have been isolated from an increasing number of diverse organisms ranging from Cnidaria to vertebrates and insects. Comparative expression and function analysis allows the origin of the mesoderm and the evolution of the developmental role of Brachyury gene family in metazoans to be traced. The data suggest that an ancestral function of Brachyury was to designate a (...) blastoporal region that had distinct properties in induction and axis elongation. A subset of blastoporal cells expressing Brachyury and other genes that convey specific mesodermal functions may have segregated as a distinct cell population from this region in the course of mesoderm evolution. BioEssays 23:788–794, 2001. © 2001 John Wiley & Sons, Inc. (shrink)

I understand the claim that there is a right to work as the claim that involuntary unemployment is an injustice that requires of justice enforcement institutions to stop it. I argue that in present conditions of high productivity it is more consistent with the liberal tradition to proclaim a right to develop one’s capabilities than a right to work. The steps of my argument are: (1) An important though not the only reason for considering unemployment unjust has been what I (...) call the Promethean idea of society. (2) The Promethean idea is implied by the liberal idea of rights. (3) There are two conceptions of the Promethean idea, the centralist and the autonomous one. (4) Only the latter is acceptable. (5) Involuntary unemployment is unjust even if the dole is decently high. (6) The injustice of unemployment can be stopped only by institutions that enable everyone to use their capabilities in realizing the Promethean idea. (7) One such institution is basic income. (8) As employment is not necessary for survival, we should replace the right to work with a right to develop one’s capabilities. (shrink)