Winner of the 2000-2002 outstanding publication award of the Section on Environment and Technology of the American Sociological Association.Risk as we now know ...

Hayek and the Efficient Market Hypothesis are often seen as proposing a similar theory of prices. Hayek is seen as proposing to understand prices as information conveyer, incorporating inform...

L'interrogation sur le rôle que jouent aujourd'hui les convictions religieuses en philosophie des sciences peut paraître une démarche surprenante, car trop souvent la religion est rejetée hors du champ de l'enquête philosophique. Cet ouvrage ose au contraire demander dans quelle mesure les options religieuses d'un penseur influencent sa conception de l'ordre cosmique. L'examen du concept de loi de la nature s'inscrit dans une quête plus large : il permet de tester la façon dont les choix épistémologiques d'un individu dépendent de (...) sa vision du monde et ainsi de porter une attention particulière aux interactions entre science, épistémologie et religion. L'étude porte sur quatre figures des plus marquantes du débat contemporain sur les lois de la nature : David Armstrong, Nancy Cartwright, David Lewis et Bas van Fraassen. L'analyse de leurs écrits, approfondie d'entretiens personnels, fait ressortir pour chacun les liens qui existent entre sa posture religieuse et son compte rendu de la légalité naturelle. (shrink)

It is not quite as easy to see that there is in fact no formula of this modal language having the same truth conditions (in terms of S5 Kripke semantics) as (1). This was rst conjectured by Allen Hazen2 and later proved by Harold Hodes3. We present a simple direct proof of this result and discuss some consequences for the logical analysis of ordinary modal discourse.

We see a systematic set of cut-free axiomatisations for all the basic normal modal logics formed by some combination the axioms d, t, b, 4, 5. They employ a form of deep inference but otherwise stay very close to Gentzen’s sequent calculus, in particular they enjoy a subformula property in the literal sense. No semantic notions are used inside the proof systems, in particular there is no use of labels. All their rules are invertible and the rules cut, weakening and (...) contraction are admissible. All systems admit a straightforward terminating proof search procedure as well as a syntactic cut elimination procedure. (shrink)

La figure de l’entrepreneur est aujourd’hui utilisée dans une grande variété de discours publics. Ce travail cherche à remonter à l’une des sources théoriques de la constitution de cette figure : la théorie de l’entrepreneur de Schumpeter (1911a et 1911b). Ce retour montre que Schumpeter, dans son contexte intellectuel et théorique, est amené à importer une anthropologie philosophique en économie, celle de Nietzsche, auteur largement lu dans l’Autriche du début du xxe siècle. En transposant, à l’intérieur de sa théorie économique, (...) certaines caractéristiques majeures du grand homme créatif nietzschéen dans la figure de l’entrepreneur, Schumpeter développe une explication originale de la nature dynamique du marché et de l’évolution économique. Néanmoins il importe aussi de Nietzsche une série d’ambiguïtés, notamment en ce qui concerne l’origine de l’exceptionnalité individuelle de l’entrepreneur, et plus particulièrement de sa puissance créatrice. Une seconde ambiguïté est très largement héritée, qui concerne l’extension du modèle de l’individu entrepreneur : constitue-t-il une théorie de l’action valable pour tous les individus ou uniquement pour un type d’individus particuliers? Comment concilier exceptionnalité de l’entrepreneur et norme d’un entreprenariat pour tous? La dernière partie de ce travail s’attache ainsi à explorer ces ambiguïtés, qui apparaissent chez Schumpeter et ses successeurs, notamment Israël Kirzner.Codes JEL : B13, B25, B31, B40. (shrink)

This paper examines the impact of the recent financial crisis on the relation between a firm’s risk and social performance using a sample of non-financial U.S. firms covering the period 1991–2012. We find that the relation between SP and risk is significantly different in the crisis period compared to the pre-crisis period. SP reduces volatility during the financial crisis. The risk reduction potential of SP is mainly due to the strengths component of SP. Since the relation of risk is stronger (...) with SP strengths than SP concerns, this implies an asymmetric relation between these SP components and a firm’s risk. Specifically, strengths act as a risk reduction tool during an adverse economic environment. (shrink)

This book argues that sometimes we have reasons to overcome repression and that these reasons are unlike any other reasons for action typically recognized by philosophers.

Altersarmut, Bildungsunterschiede, eine wachsende Kluft zwischen Arm und Reich - die deutsche Gesellschaft spaltet sich, und viele fordern mehr Soziale Gerechtigkeit. Die Autorin untersucht, wie sich das Verstandnis von Sozialer Gerechtigkeit in Philosophie und Politik gewandelt hat, und hinterfragt, inwieweit Politiker Soziale Gerechtigkeit als Akzeptanzmittel fur ihre Entscheidungen nutzen.

This chapter contains sections titled: The Experiential Roots of Religion The ARE in the Twentieth Century The Decline of Traditional Foundationalism and Stock Objections to RE The ARE via the Principle of Critical Trust (PCT) RE and TE Conceptual Coherence of TE Intracoherence of TE The Structure of the CTA The Impartiality Argument for the PCT Objections to the ARE The ARE in the Twenty‐First Century References.

I thought the paper by Kai-yee Wong and Chris Fraser was fascinating and insightful. Two things I especially appreciated are the clarity with which they summarize my views. I think they are quite fair and accurate. Second, I appreciate their suggestion that the way to deal with the practical problem of weakness of will has much to do with the role of the Background in shaping our actions. I think they are especially on the right track when they say that (...) the improvement of Background skills may actually narrow the range of real options for action, (p. 21) nonetheless, they do not decrease freedom. As they say, “It is a process of strengthening the self, and the agent is likely to experience the concomitant restriction of ‘live’ options not as a limitation but as strength of character.” (p. 21). That seems to me very much on the right track. What they are suggesting, and it is a powerful addition to my own writings, is that we should not just think of the Background as facilitating languages, games and social practices generally, but for morality as well (p. 23). (shrink)

This study examined lexical bundles used differently by Chinese and American PhD students of linguistics in their dissertation abstracts. Two corpora were built, with each having 700 dissertation abstracts produced by Chinese and American PhD students of linguistics, respectively. The study then used lexical analysis software to retrieve frequently used three-word LBs, from which LBs having different frequencies at a significant level across the two corpora were identified and termed as bundles used differently. BUDs were then categorized and analyzed manually (...) in terms of structure, function, and distribution in rhetorical moves. The major findings were: 57.14% of the frequently used LBs were BUDs, of which 90.67% had occurrences in both corpora. The BUDs distributed inequivalently across categories and moves, with the text-oriented category and the move of Result having the most BUDs; and BUDs exhibited two major patterns: the Chinese and American students filled different constituents into structurally and functionally similar constructions, and used LBs of dissimilar functions to fulfill the same communicative purposes. These findings indicate that variations in LB use have a high pedagogic value and confirm the need for using corpora to identify and teach core genre-specific vocabularies to second/foreign language learners. (shrink)

Recent work in quantum information science has produced a revolution in our understanding of quantum entanglement. Scientists now view entanglement as a physical resource with many important applications. These range from quantum computers, which would be able to compute exponentially faster than classical computers, to quantum cryptographic techniques, which could provide unbreakable codes for the transfer of secret information over public channels. These important advances in the study of quantum entanglement and information touch on deep foundational issues in both physics (...) and philosophy. This interdisciplinary volume brings together fourteen of the world's leading physicists and philosophers of physics to address the most important developments and debates in this exciting area of research. It offers a broad spectrum of approaches to resolving deep foundational challenges - philosophical, mathematical, and physical - raised by quantum information, quantum processing, and entanglement. This book is ideal for historians, philosophers of science and physicists"--Provided by publisher. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 10.3 (2003) 227-231 [Access article in PDF] World Traveling as a Clinical Methodology for Psychiatric Care Suzanne M. Jaeger Keywords embodiment, dialogical consciousness, interpersonal communication, epistemic responsibility, self-knowledge, understanding IN HER ARTICLE "Moral Tourists and World Travelers," Nancy Potter suggests a way in which psychiatrists and psychologists could gain a better understanding of their mentally ill patients' experiences. Rather than assuming that hallucinations and incoherent (...) speech and behavior are merely senseless disconnections from reality, Potter argues that mental health care clinicians ought to spend time engaging patients on their own terms. Even when mental illness is a result of brain disease, much can be learned about the patient's experiences of their disease by temporarily setting aside the scientific frameworks of diagnosis and medical treatment. Potter uses Maria Lugones' concept of world traveling and recommends playfully accepting, and even entering into the patient's world (Lugones 1990). She calls world traveling a methodology and explains it in some detail. Moreover, at the close of her essay, Potter suggests that clinicians have a moral obligation to understand the mentally ill patient's world from the patient's perspective. This obligation is based on an appeal to our sense of what it is to be a responsible knower who attends to issues of trust and truth. Relying on arguments made by Lorraine Code (1987), Potter asserts that to try to understand the other's perspective is the responsible thing to do.My discussion focuses on the notion of play to which Potter appeals, as well as on what she sees as the moral obligation of clinicians to communicate with their mentally ill patients in extra-professional ways. This moral obligation arises because (a) the theoretical and professional frameworks of medical science are seen as inadequate, and (b) playfulness opens up mutually respectful, authentic interaction between persons. I generally agree with Potter's claims, and I want to situate them in the wider framework of an epistemological debate about the status of our knowledge of others. A broader context will help to elucidate the strengths of Potter's analysis as well as some points for critical discussion. I begin with the relationship of trust between clinicians and patients.Few people would disagree with the claim that patients need to be able to trust that their physicians are not harming them, but helping them to get better. If patients feel misunderstood, they will not trust their caretakers. This is probably even truer for psychiatric patients, whose conditions and loss of autonomy make establishing trust even more challenging. Psychiatric patients [End Page 227] often have their own ways of compensating for the symptoms of their mental illness. If either their will to survive or their compensatory strategies go unrecognized or misinterpreted, patients may respond by rejecting the well-intentioned efforts of caretakers to restore them to a degree of ease, measured as it must be by the standards of the professionals under whose care the patient remains. 1 Despite the fact that these standards are established through scientific testing procedures for the treatment of diseases, they may be experienced by patients as indifferent to the particular and unique features of their condition. Nestled within the issue of trust is thus a question of truth.Although current scientific knowledge of the human brain, and of human behavior, has made available a range of sophisticated therapies and psychotropic drugs, there are still many mental illnesses that leave families and clinicians wondering whether the treatment plans are providing any help. Alzheimer's disease and schizophrenia are two examples. There is a difference between, on the one hand, containing the patient's behavior by admitting the patient to a psychiatric ward and managing symptoms with psychotropic medications, and, on the other hand, understanding what is happening for the patient, from his or her perspective. Although psychiatric patients may not have a realistic sense of either their abilities or the extent and nature of their disease, there may be much about their experiences that ought to be known and understood by the professionals caring for them... (shrink)

We first look at an existing infinitary sequent system for common knowledge for which there is no known syntactic cut-elimination procedure and also no known non-trivial bound on the proof-depth. We then present another infinitary sequent system based on nested sequents that are essentially trees and with inference rules that apply deeply inside these trees. Thus we call this system “deep” while we call the former system “shallow”. In contrast to the shallow system, the deep system allows one to give (...) a straightforward syntactic cut-elimination procedure. Since both systems can be embedded into each other, this also yields a syntactic cut-elimination procedure for the shallow system. For both systems we thus obtain an upper bound of φ20 on the depth of proofs, where φ is the Veblen function. (shrink)

The sense of agency is a basic feature of our subjective experience. Experimental studies usually focus on either its attributional aspects or on its motoric aspects. Here, we combine both aspects and focus on the subjective experience of the time between action and effect. Previous studies [Haggard, P., Aschersleben, G., Gehrke, J., & Prinz, W.. Action, binding and awareness. In W. Prinz, & B. Hommel, Common mechanisms in perception and action: Attention and performance. Oxford: Oxford University Press] have shown a (...) temporal attraction in the perceived times of actions and effects, but did directly not study the relation between them. In three experiments, time estimates of an interval between an action and its subsequent sensory effect were obtained. The actions were either voluntary key press actions performed by the participant or kinematically identical movements applied passively to the finger. The effects were either auditory or visual events or a passive movement induced to another finger. The results first indicated a shortening of the interval between one’s own voluntary action and a subsequent effect, relative to passive movement conditions. Second, intervals initiated by observed movements, either of another person or of an inanimate object, were always perceived like those involving passive movements of one’s own body, and never like those involving active movements. Third, this binding effect was comparable for auditory, somatic and visual effects of action. Our results provide the first direct evidence that agency involves a generalisable relation between actions and their consequences, and is triggered by efferent motor commands. (shrink)

The purpose of this article is to examine empirically the impact of environmental certification on firm financial performance (FP). The main question is whether there is a "green premium" for certified firms, and, if so, for what kind of certification. We analyze the short-run and the long-run stock price performance using an event-study methodology on a sample of Canadian and U.S. firms. The results of short-run event abnormal returns indicate that forest certification does not have any significant impact on firm (...) FP regardless of the certification system carried out by firms. Unlike the short-run results, the long-run post-event abnormal returns suggest that forest certification has, on average, a negative impact on firm FP. However, the impact of forest certification on firm FP depends on who grants the certification, since only industry-led certification (Sustainable Forestry Initiative, Canadian Standards Association and ISO14001) are penalized by financial markets, whereas non-governmental organizations—led Forest Stewardship Council certification is not. (shrink)

Successful innovations are deemed to be necessary requisites for enterprise success. On the other hand, works council participation and employee participation are judged differently as either fostering employee and enterprise benefits or only the former or even none. Both forms of participation have found diverging theoretical and empirical argumentations regarding innovations. Here, we argue and show empirically that both forms of participation deliver positive contributions to innovation success, economically and employee-related, substantiated with qualitative reports from 36 process innovation cases and (...) quantitative data from 44 cases. Qualitative case analyses reveal different profiles of works council participation depending on the innovation type. Independent of the innovation types, more successful innovations are marked by more intensive participation. Quantitative examinations of a causal model with path analysis specify how this is achieved: works council and employee participation further the growth of appropriate knowledge and the former also raises the coordination capability; both are essential preconditions for innovation success. A direct impact of works councils on innovation success complements the indirect effects. The slightly modified path analysis explains 53% of the innovation success variance. (shrink)

The positivists defined analyticity as truth in virtue of meaning alone and advocated the view that the notion of analyticity so defined is co-extensive with both the notion of an a priori truth an...

This pathbreaking work argues that the major intellectual trend in China from the seventeenth through to the early nineteenth century was Confucian ritualism, as expressed in ethics and classical learning. Through the performance of rites, the early Qing scholars believed they could cultivate Confucian virtues and achieve social order. The author shows how Confucian ritualism, with its emphasis on lineage, became a broad movement of social reform that stressed conformity and clearly prescribed rules of behavior, expressed notably in the growing (...) cult of female chastity. (shrink)

This book, first published in 2002, is a systematic critical overview of German aesthetics from 1750 to the present. It begins with the work of Baumgarten and covers all the major writers on German aesthetics that follow, including Kant, Schiller, Schelling, Hegel, Nietzsche, Heidegger, Gadamer and Adorno. The book offers a clear and non-technical exposition of ideas, placing these in a wider philosophical context where necessary. Such is the importance of German aesthetics that the market for this book will extend (...) far beyond the domain of philosophy to such fields as literary studies, fine art and music. (shrink)

Current International Criminal Law (ICL) suffers from at least four fairly serious theoretical shortcomings. First, as a starting point, the concept and meaning of ICL in its different variations must be clarified (‘the concept and meaning issue’). Second, the question of whether and how punitive power can exist at the supranational level without a sovereign (‘the ius puniendi issue’) must be answered in a satisfactory manner. Third, the overall function or purpose of ICL as opposed to national criminal law (‘the (...) overall function issue’) must be more convincingly explained. Fourth, the purposes of punishment in ICL, as opposed to the traditional purposes discussed in national criminal law, must be elaborated (‘the purposes of punishment issue’). There is a partly vertical and partly horizontal relationship between these issues. It is, for example, of course impossible to reflect upon ius puniendi, overall function and purposes of punishment without having clarified the concept of ICL in the first place. Also, a treatment of overall function and purposes of punishment seems to be predicated on the justification of the ius puniendi. Indeed, the lack of a satisfactory answer to the ius puniendi issue is maybe the most important theoretical weakness of current ICL. This article therefore aims to demonstrate that a supranational ius puniendi can be inferred from a combination of the incipient supranationality of the world order (understood normatively as an order of values) and the concept of a world society composed of world citizens whose law—the ‘world citizen law’ (‘Weltbürgerrecht’)—is derived from universal, indivisible and interculturally recognized human rights predicated upon a Kantian concept of human dignity. The incipient world order and the world society are represented by the international community (to be understood as a community of values) which becomes the holder of the ius puniendi. (shrink)

Heidegger hielt die unter dem Titel Geschichte des Zeitbegriffs angekundigte Vorlesung im Sommer-Semester 1925 in der Marburger Universitat. Er gelangte jedoch nicht mehr zur Ausfuhrung der zentralen Thematik. Der Themenkreis der Vorlesung ist mit der Nennung des Untertitels abgesteckt: Prolegomena zu einer Phanomenologie von Geschichte und Natur. Heideggers thematische Uberlegungen beginnen mit einer Kennzeichnung der Situation von Philosophie und Wissenschaft in der zweiten Halfte des 19. Jahrhunderts und stellen das seiner Deutung nach entscheidende Ereignis dieser Zeit heraus: den Durchbruch der (...) Phanomenologie als philosophische Forschung. Er untersucht ihre wesentlichen Entdeckungen, verteidigt sie gegen Missverstandnisse, um dann seinerseits Kritik vorzubringen, wo die Phanomenologie ihrer Forderung zu den Sachen selbst nicht gerecht wird. (shrink)

Many find the prospect of death distressing at least partly because they believe that death deprives its subject of life’s benefits. Properly qualified, the belief is surely true. But should its truth lead us to conclude that there is something dreadful or awful about death, something that merits distress?

The rapid spread of judicially-enforced constitutional rights has been one of the most dramatic developments in modern law. This book argues that there is now a global model for how such rights should function, and develops an original, philosophically grounded, account of their nature and scope.

Evolutionary systems biology (ESB) aims to integrate methods from systems biology and evolutionary biology to go beyond the current limitations in both fields. This article clarifies some conceptual difficulties of this integration project, and shows how they can be overcome. The main challenge we consider involves the integration of evolutionary biology with developmental dynamics, illustrated with two examples. First, we examine historical tensions between efforts to define general evolutionary principles and articulation of detailed mechanistic explanations of specific traits. Next, these (...) tensions are further clarified by considering a recent case from another field focused on developmental dynamics: stem cell biology. In the stem cell case, incompatible explanatory aims block integration. Experimental approaches aim at mechanistic explanation while dynamical system models offer explanation in terms of general principles. We then discuss an ESB case in which integration succeeds: search for general attractors using a dynamical systems framework synergizes with the experimental search for detailed mechanisms. Contrasts between the positive and negative cases suggest general lessons for achieving an integrated understanding of developmental and evolutionary dynamics. The key integrative move is to acknowledge two complementary aims, both relevant to explanation: identifying the space of possible dynamic states and trajectories, and mechanistic understanding of causal interactions underlying a specific phenomenon of interest. These two aims can support one another in a joint project characterizing dynamic aspects of evolving lineages. This more inclusive project can lead to insights that cannot be reached by either approach in isolation. (shrink)

For some modal fixed point logics, there are deductive systems that enjoy syntactic cut-elimination. An early example is the system in Pliuskevicius [15] for LTL. More recent examples are the systems by the authors of this paper for the logic of common knowledge [5] and by Hill and Poggiolesi for PDL[8], which are based on a form of deep inference. These logics can be seen as fragments of the modal mu-calculus. Here we are interested in how far this approach can (...) be pushed in general. To this end, we introduce a nested sequent system with syntactic cut-elimination which is incomplete for the modal mu-calculus, but complete with respect to a restricted language that allows only fixed points of a certain form. This restricted language includes the logic of common knowledge and PDL. There is also a traditional sequent system for the modal mu-calculus by Jäger et al. [9], without a syntactic cut-elimination procedure. We embed that system into ours and vice versa, thus establishing cut-elimination also for the shallow system, when only the restricted language is considered. (shrink)

Drawing on insights of thinkers in the natural rights tradition, Draper analyzes numerous hypothetical cases including those involving a runaway trolley, then seeks to determine if killing civilians in war is ever justified. In his consideration of this issue he avoids appealing to the principle of double effect. Having considered hypothetical cases at length, he leaves it to others to decide if any option to go to war is justifiable. In this regard he himself is sceptical.

Fine bases his influential conception of essence on a particular account of definitions. And he complements it with a specific account of analyticity. I will argue that Fine's conception of relative analyticity confuses the idea of a sentence's being true in virtue of a term's definition with the idea of a sentence's being true in virtue of a term's meaning. His idea that correct definitions specify essential properties of meanings is mistaken. The correctness of definitions can only be assessed by (...) reference to the actual usage of the terms involved. The resulting conception of definitions leads to a deflationary interpretation of claims about essences. (shrink)

Argues that morality can exist without religion, suggests that values and principles of conduct emerge from life, and examines the consequences of moral absolutism.

'... diese 'Einführung in die Metaphysik' [ist] echte Einführung in Heidegger... keines der Werke Heideggers [ist] so lebendig zu lesen und so unmittelbar aufzufassen...' Universitas 4 (1954) 'Unter dem Titel dieser Vorlesung aus dem Jahre 1935 verbirgt sich in Wirklichkeit eine große Auseinandersetzung mit den Grundlagen unserer planetarischen Situation.' Süddeutsche Zeitung vom 7./8.11.1953.

A recent judgment by a lower court in Germany brought the problem of ritual male circumcision to the consciousness of the wider public and legal academia. This essay weighs in on this emerging discussion and argues that ritual male circumcision is not covered by parental authority. It first considers and dismisses the best interest of the child test, which is the most widely used test of parental authority in legal practice. Instead, the essay proposes what it terms the autonomy conception (...) of parental authority, according to which parental authority must be exercised such as to ensure that the child will become an autonomous adult. While parents may raise their child in line with their ethical, including religious, convictions, respect for his autonomy requires that this be done in a way that allows the child to later distance himself from these values; this implies, among other things, that irreversible physical changes are impermissible. (shrink)

Stephen Barker (The Philosophical Quarterly, 47 (1997), pp. 195–211) has presented a new argument for a pure material implication analysis of indicative conditionals. His argument relies crucially on the assumption that general indicatives such as ‘Every girl, if she gets a chance, bungee‐jumps’ are correctly analysed as having the formal structure (for all x)(if x gets a chance, x bungee‐jumps). This paper argues that an approach first proposed by David Lewis must be pursued: the ‘if’‐clause in these sentences restricts the (...) quantifier. Only the Lewis‐style analysis can deal with sentences involving non‐universal quantifiers such as ‘Most letters are answered if they are shorter than 5 pages’. I show that Barker's reasons for rejecting the restrictor analysis are not cogent and that the restrictor analysis connects widely with recent work in natural language semantics. (shrink)

In this paper, we discuss three probabilistic arguments for the existence of multiple universes. First, we provide an analysis of total evidence and use that analysis to defend Roger White's "this universe" objection to a standard fine-tuning argument for multiple universes. Second, we explain why Rodney Holder's recent cosmological argument for multiple universes is unconvincing. Third, we develop a "Cartesian argument" for multiple universes. While this argument is not open to the objections previously noted, we show that, given certain highly (...) plausible assumptions about evidence and epistemic probability, the proposition which it treats as evidence cannot coherently be regarded as evidence for anything. This raises the question of whether to reject the assumptions or accept that such a proposition cannot be evidence. (shrink)

The positive operator (valued) measures (POMs) allow one to generalize the notion of observable beyond the traditional one based on projection valued measures (PVMs). Here, we argue that this generalized conception of observable enables a consistent notion of unsharp reality and with it an adequate concept of joint properties. A sharp or unsharp property manifests itself as an element of sharp or unsharp reality by its tendency to become actual or to actualize a specific measurement outcome. This actualization tendency—or potentiality—of (...) a property is quantified by the associated quantum probability. The resulting single-case interpretation of probability as a degree of reality will be explained in detail and its role in addressing the tensions between quantum and classical accounts of the physical world will be elucidated. It will be shown that potentiality can be viewed as a causal agency that evolves in a well-defined way. (shrink)

Hitchcock advances a diachronic Dutch Book argument (DDB) for a 1/3 answer to the Sleeping Beauty problem. Bradley and Leitgeb argue that Hitchcock’s DDB argument fails. We demonstrate the following: (a) Bradley and Leitgeb’s criticism of Hitchcock is unconvincing; (b) nonetheless, there are serious reasons to worry about the success of Hitchcock’s argument; (c) however, it is possible to construct a new DDB for 1/3 about which such worries cannot be raised.

Deep inference is a natural generalisation of the one-sided sequent calculus where rules are allowed to apply deeply inside formulas, much like rewrite rules in term rewriting. This freedom in applying inference rules allows to express logical systems that are difficult or impossible to express in the cut-free sequent calculus and it also allows for a more fine-grained analysis of derivations than the sequent calculus. However, the same freedom also makes it harder to carry out this analysis, in particular it (...) is harder to design cut elimination procedures. In this paper we see a cut elimination procedure for a deep inference system for classical predicate logic. As a consequence we derive Herbrand's Theorem, which we express as a factorisation of derivations. (shrink)