The development of modern programmable pacemaker-systems has led to a series of questions which until now have apparently not existed in the treatment of cardiac rhythm disturbances. These questions touch especially on the problem of whether the relation which usually exists between a diagnostic step and its therapeutic consequence, namely its therapeutic relevance, is abolished or at least changed.

Matter and Form explores the relationship between natural science and political philosophy from the classical to contemporary eras, taking an interdisciplinary approach to the philosophic understanding of the structure and process of the natural world and its impact on the history of political philosophy. It illuminates the importance of philosophic reflection on material nature to moral and political theorizing, mediating between the sciences and humanities and making a contribution to ending the isolation between them.

The explanation of animal communication by means of concepts like information, meaning and reference is one of the central foundational issues in animal behaviour studies. This book explores these issues, revolving around questions such as: • What is the nature of information? • What theoretical roles does information play in animal communication studies? • Is it justified to employ these concepts in order to explain animal communication? • What is the relation between animal signals and human language? The book approaches (...) the topic from a variety of disciplinary perspectives, including ethology, animal cognition, theoretical biology and evolutionary biology, as well as philosophy of biology and mind. A comprehensive introduction familiarises non-specialists with the field and leads on to chapters ranging from philosophical and theoretical analyses to case studies involving primates, birds and insects. The resulting survey of new and established concepts and methodologies will guide future empirical and theoretical research. (shrink)

This paper defends three theses: that presentism is either trivial or untenable; that the debate between tensed and tenseless theories of time is not about the status of presentism; and that there is no temporal analogue of the modal thesis of actualism.

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)

At the beginning of the 21st century the conditio humana cannot be understood nationally or locally but only globally. This constitutes a revolution in the social sciences. The `sociological imagination' (C. Wright Mills) so far has basically been a nation state imagination. The main problem is how to redefine the sociological frame of reference in the horizon of a cosmopolitan imagination. For the purpose of empirical research I distinguish between three concepts: interconnectedness (David Held et al.), liquid modernity (Zygmunt Bauman) (...) and cosmopolitization from within. The latter is a kind of class analysis after class analysis, which takes on board globalization internalized. For the purposes of social analysis, therefore, it is necessary to distinguish systematically between the national manifestation on the one hand and cosmopolitan reality of `global flows', currents of information, symbols, money, risks, people, social inequalities, on the other. This internal involuntary and often unseen cosmopolitanization from below of the national sphere of experience is occurring, however, with the power of economic globalization. So what does inner `cosmopolitanization' mean? The key concepts and questions of a way of life, such as nourishment, production, identity, fear, memory, pleasure, fate, power and politics, can no longer be located and understood nationally, but only globally whether in the shape of globally shared collective futures, capital flows, impending ecological or economic catastrophes, global foodstuff chains, transnational power games, or the `Esperanto' of pop music. In this article I look at transformation in the understanding of space-time, of identity, of the production paradigms, as well as at the resulting consequences for key sociological concepts like class and power and, within this frame, point to certain dilemmas of cosmopolitanism. (shrink)

The goal of this article is to show that the structuralist approachprovides a powerful framework for the analysis of certain holistic phenomena in empirical theories.We focus on two aspects of holism. The first refers to the involvement of comprehensive complexes of hypothesesin the theoretical treatment of systems regarded in isolation. By contrast, the second refers to thecorrelation between the theoretical descriptions of different systems. It is demonstrated how these two aspectscan be analysed by making use of the structuralist notion of (...) theory-nets, and how they are reflected by a refinedversion of the Ramsey sentence. Furthermore, it is argued that there exists a tight correlation between theoccurrence of these two holistic phenomena, a specific form of underdetermination of terms which occur in thefundamental principles of an empirical theory, and the shaping of the theory's protective belt. After having dealtwith these questions in abstracto, the relevance of these considerations for a better understanding of the dynamicsof empirical theories is demonstrated in a concrete case study. It refers to the role holistic phenomenaplayed in the investigation of the anomalous advance of Mercury's perihelion and in the various attempts to eliminate this anomaly. (shrink)

One approach to assess the explanatory power of natural selection is to ask what type of facts it can explain. The standard list of explananda includes facts like trait frequencies or the survival of particular organisms. Here, I argue that this list is incomplete: natural selection can also explain a specific kind of individual-level fact that involves traits. The ability of selection to explain this sort of fact vindicates the explanatory commitments of empirical studies on microevolution. Trait facts must be (...) distinguished from a closely related kind of fact, that is, the fact that a particular individual x has one trait rather than another. Whether or not selection can explain the latter type of fact is highly controversial. According to the so-called ‘Negative View’ it cannot be explained by selection. I defend the Negative View against Nanay’s objection. (shrink)

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)

Fara and Williamson (Mind, 2005) argue that counterpart theory is unable to account for modal claims that use an actuality operator. This paper argues otherwise. Rather than provide a different counterpart translation of the actuality operator itself, the solution presented here starts out with a quantified modal logic in which the actuality operator is redundant, and then translates the sentences of this logic into claims of counterpart theory.

Some theories of time entail that the present can change before or after it has happened. Examples include views on which time-travelers can change the past, the glowing block theory, Peter Geach’s mutable future view, and the moving spotlight theory. This paper argues that such ante factum or posthumous change requires a heterodox “split time” view on which earlier-than is not the converse of later-than.

Many philosophers believe there to be a fundamental difference between the present and past and future times, but they tend to disagree amongst themselves about what this difference is. Some think that the present is singled out by consciousness, while others believe that it marks the position to which the flow of time has advanced. According to presentism, the current moment is ontologically privileged: nothing exists that is not present. My aim in this chapter is to argue that this particular (...) attempt at distinguishing the present from other times is unsuccessful. (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)

Istarted my nursing career as a pediatric nurse working with children and their families at the Children's Hospital National Medical Center in Washington, DC. My first position was a staff nurse on a busy surgical floor called 4 Blue. To some degree, and as I reflect on that time, one is never truly prepared as a newly minted nurse or physician for the realities of becoming a clinician. So it was for me. I initially worked a rotational schedule of two (...) weeks of days and two weeks of nights where textbook pediatric cases became everyday experiences. Caring for the most complex of childhood illnesses included patients with osteosarcoma, Wilms tumor, neuroblastoma, short gut syndrome, biliary... (shrink)

This paper explores John Maynard Smith’s conceptual work on animal signals. Maynard Smith defined animal signals as traits that (1) change another organism’s behaviour while benefiting the sender, that (2) are evolved for this function, and that (3) have their effects through the evolved response of the receiver. Like many ethologists, Maynard Smith assumed that animal signals convey semantic information. Yet his definition of animal signals remains silent on the nature of semantic information and on the conditions determining its content. (...) I therefore compare three ways to specify the semantic content of animal signals. The first suggestion models semantic content on Maynard Smith’s theory of genetic information. On the second proposal, semantic content is equated with a condition identified by conventional content ascriptions. The third suggestion is to explain semantic content in terms of consumer-based teleosemantics. I show how these accounts equate semantic content with distinct kinds of conditions and how they differ with respect to the kinds of traits that qualify as carrying semantic information. (shrink)

This paper explains how to obtain quantification over times in a tense logic in which all temporal distinctions are ultimately spelled out in terms of the two simple tense operators “it was the case that” and “it will be the case that.” The account of times defended here is similar to what is known as “linguistic ersatzism” about possible worlds, but there are noteworthy differences between these two cases. For example, while linguistic ersatzism would support actualism, the view of times (...) defended here does not support presentism. (shrink)

The paper presents a refined method of extracting reasonable and sometimes unexpected programs from classical proofs of formulas of the form ∀x∃yB . We also generalize previously known results, since B no longer needs to be quantifier-free, but only has to belong to a strictly larger class of so-called “goal formulas”. Furthermore we allow unproven lemmas D in the proof of ∀x∃yB , where D is a so-called “definite” formula.

In this paper, we present another case study in the general project of proof mining which means the logical analysis of prima facie non-effective proofs with the aim of extracting new computationally relevant data. We use techniques based on monotone functional interpretation developed in Kohlenbach , Oxford University Press, Oxford, 1996, pp. 225–260) to analyze Cheney's simplification 189) of Jackson's original proof 320) of the uniqueness of the best L1-approximation of continuous functions fC[0,1] by polynomials pPn of degree n. Cheney's (...) proof is non-effective in the sense that it is based on classical logic and on the non-computational principle WKL . The result of our analysis provides the first effective uniform modulus of uniqueness . Moreover, the extracted modulus has the optimal ε-dependency as follows from Kroó 331). The paper also describes how the uniform modulus of uniqueness can be used to compute the best L1-approximations of a fixed fC[0,1] with arbitrary precision. The second author uses this result to give a complexity upper bound on the computation of the best L1-approximation in Oliva 66–77). (shrink)

In this paper a new method, elimination of Skolem functions for monotone formulas, is developed which makes it possible to determine precisely the arithmetical strength of instances of various non-constructive function existence principles. This is achieved by reducing the use of such instances in a given proof to instances of certain arithmetical principles. Our framework are systems ${\cal T}^{\omega} :={\rm G}_n{\rm A}^{\omega} +{\rm AC}$ -qf $+\Delta$ , where (G $_n$ A $^{\omega})_{n \in {\Bbb N}}$ is a hierarchy of (weak) subsystems (...) of arithmetic in all finite types (introduced in [14]), AC-qf is the schema of quantifier-free choice in all types and $\Delta$ is a set of certain analytical principles which e.g. includes the binary König's lemma. We apply this method to show that the arithmetical closures of single instances of $\Pi^0_1$ -comprehension and -choice contribute to the growth of extractable bounds from proofs relative to ${\cal T}^\omega$ only by a primitive recursive functional in the sense of Kleene. In subsequent papers these results are widely generalized and the method is used to determine the arithmetical content of single sequences of instances of the Bolzano-Weierstraß principle for bounded sequences in ${\Bbb R}^d$ , the Ascoli-lemma and others. (shrink)

Does a world that contains chemistry entail the validity of both the standard model of elementary particle physics and general relativity, at least as effective theories? This article shows that the answer may very well be affirmative. It further suggests that the very existence of stable, spatially extended material objects, if not the very existence of the physical world, may require the validity of these theories.

Instead of accepting instants of time as metaphysically basic entities, many philosophers regard them as abstractions from something else. There is the Russell-Whitehead view that times are maximal classes of simultaneous events; the linguistic ersatzer's proposal that times are maximally consistent sets of sentences or propositions; and the view that times are made up of temporal parts of material objects. This paper discusses the advantages and disadvantages of these various proposals and concludes in favor of a particular version of linguistic (...) ersatzism about time. (shrink)

The German debate on bioethics and medical ethics turns on a change in the meaning of human dignity. Such dignity is increasingly rendered contingent upon a person's empirically assessable quality of life. In contrast to such dignity-endowed human life, a merely biological human life is taken to disqualify its bearer from such dignity, depriving his life of the protection “respect for human dignity” would otherwise guarantee. The idea of a “life not worth living” or “undignified life” evokes categories, which were (...) developed at the beginning of the 20th century, and later informed the crimes of National Socialist medicine in Germany. Against this secular development, this article analyses the theological and church-based discussion of basic bioethical questions in Germany, especially the controversy among Protestants: once Protestant ethicists abandon an explicitly theological basis for their arguments, their conclusions come to closely resemble those of the secular participants in the debate. As a result, such Protestants relativize fundamental ethical norms. They subordinate, along with their secular environment, the protection of life to respect for autonomy. They thus prepare the ground for a revival of the risky concepts of the past. (shrink)

Darwin’s claim about natural selection is reconstructed as an empirical claim about a causal connection leading from the match of the physiology of an individual and its environment to leaving surviving progeny. Variations in this match, Darwin claims, cause differences in the survival of the progeny. Modern concepts of fitness focus the survival side of this chain. Therefore, the assumption that evolutionary theory wants to explain reproductive success in terms of a modern concept of fitness has given rise to the (...) so-called tautology problem. It is shown that the tautology problem reappears in the treatment of fitness proxies in today’s experimental evolutionary biology when these proxies are considered to indicate fitness only. Taking Darwin’s empirical claim seriously suggests, by contrast, that fitness proxies are first of all measures of the match between organism and environment, which I call the organism’s ‘fittedness’. At the same time, they are indeed related to reproductive success. Thus looking in both directions, at fitness and at fittedness, they are janiform. Acknowledging this situation not only allows for rejection of the tautology objection, but also for integration of Darwin’s argument into current evolutionary biology. It is suggested that this helps reframe and alleviate the dispute between the Modern Synthesis and the Extended Evolutionary Synthesis. (shrink)

ABSTRACT Even though fatalism has been an intermittent topic of philosophy since Greek antiquity, this paper argues that fate ought to be of little concern to metaphysicians. Fatalism is neither an interesting metaphysical thesis in its own right, nor can it be identified with theses that are, such as realism about the future or determinism.

1. T. Darstellung -- 2. T. Anmerkungen und Register.

Michael Dummett claims that the classical model of time as a continuum of instants has to be rejected. In his view, “it allows as possibilities what reason rules out, and leaves it to the contingent laws of physics to rule out what a good model of physical reality would not even be able to describe.” This paper argues otherwise.

With the rigorous development of modal logic in the first half of the twentieth century, it became custom amongst philosophers to characterize different views about necessity and possibility in terms of rival axiomatic systems for the modal operators ‘ ’ (‘possibly’) and ‘ ’ (‘necessarily’). From the late 1950s onwards, Arthur Prior began to argue that temporal distinctions ought to be given a similar treatment, in terms of axiomatic systems for sentential tense operators, such as ‘P’ (‘it was the case (...) that’) and ‘F’ (‘it will be the case that’).1 My aim here is to give a brief survey of the extent to which time can be treated on the model of modality. I shall not try to address the further question of whether such ‘modal’ accounts of time are to be preferred over ‘spatial’ accounts that treat times more like places. (shrink)

This paper argues that modal realism has a problem with mathematical impossibilities. Due to the peculiar way it treats both propositions and mathematical objects, modal realism cannot distinguish the content of different mathematically impossible beliefs. While one might be happy to identify all logically impossible beliefs, there are many different mathematically impossible beliefs, none of which is a belief in a logical contradiction. The fact that it cannot distinguish these beliefs speaks against adopting modal realism.

This paper describes formalizations of Tait's normalization proof for the simply typed λ-calculus in the proof assistants Minlog, Coq and Isabelle/HOL. From the formal proofs programs are machine-extracted that implement variants of the well-known normalization-by-evaluation algorithm. The case study is used to test and compare the program extraction machineries of the three proof assistants in a non-trivial setting.

Stanovich & West analyze individual differences with respect to response output (e.g., participants' numerical estimates). They do not analyze the underlying cognitive processes that led to the outputs; they thereby probably misclassify some non-normative responses as normative. Using base rate neglect and overconfidence as examples, I demonstrate the advantages of analyzing cognitive processes further.

In this note we show that the so-called weakly extensional arithmetic in all finite types, which is based on a quantifier-free rule of extensionality due to C. Spector and which is of significance in the context of Gödel"s functional interpretation, does not satisfy the deduction theorem for additional axioms. This holds already for Π0 1-axioms. Previously, only the failure of the stronger deduction theorem for deductions from (possibly open) assumptions (with parameters kept fixed) was known.

Successful transitions to a sustainable bioeconomy require novel technologies, processes, and practices as well as a general agreement about the overarching normative direction of innovation. Both requirements necessarily involve collective action by those individuals who purchase, use, and co-produce novelties: the consumers. Based on theoretical considerations borrowed from evolutionary innovation economics and consumer social responsibility, we explore to what extent consumers’ scope of action is addressed in the scientific bioeconomy literature. We do so by systematically reviewing bioeconomy-related publications according to (...) the extent to which consumers are regarded as passive vs. active, and different domains of consumer responsibility. We find all aspects of active consumption considered to varying degrees but observe little interconnection between domains. In sum, our paper contributes to the bioeconomy literature by developing a novel coding scheme that allows us to pinpoint different aspects of consumer activity, which have been considered in a rather isolated and undifferentiated manner. Combined with our theoretical considerations, the results of our review reveal a central research gap which should be taken up in future empirical and conceptual bioeconomy research. The system-spanning nature of a sustainable bioeconomy demands an equally holistic exploration of the consumers’ prospective and shared responsibility for contributing to its coming of age, ranging from the procurement of information on bio-based products and services to their disposal. (shrink)

Emile Borel regards the Banach-Tarski Paradox as a reductio ad absurdum of the Axiom of Choice. Peter Forrest instead blames the assumption that physical space has a similar structure as the real numbers. This paper argues that Banach and Tarski's result is not paradoxical and that it merely illustrates a surprising feature of the continuum: dividing a spatial region into disjoint pieces need not preserve volume.