Durch die Akademieausgabe von Leibniz' Schriften werden nach und nach viele Dokumente allgemein zugänglich, die bisher in der Leibniz-Forschung wenig Berücksichtigung fanden. Dazu gehören insbesondere auch die naturwissenschaftlichen, medizinischen und technischen Schriften, die in der Reihe VIII der Edition präsentiert werden. Ein erster Teilband, der die Jahre 1668 bis 1676 umfasst, wurde 2009 veröffentlicht. Hierin sind auch die Dokumente enthalten, in denen sich Leibniz mit den 1672 erschienenen Experimenta Nova Magdeburgica Otto von Guerickes auseinandersetzt. Da Guerickes Werk nicht nur die (...) berühmten Vakuumexperimente umfasst, sondern sich ausgehend von den Experimenten als großangelegtes Kompendium zur zeitgenössischen Astronomie versteht, werden in dem hier erstmalig in deutscher Übersetzung präsentierten Exzerpt viele seinerzeit aktuelle physikalische Fragen berührt. Die Übersetzung wird ergänzt durch textkritische und inhaltliche Anmerkungen, eine ausführliche Einleitung und den Briefwechsel zwischen Guericke und Leibniz. (shrink)

Comparative pride—that is, pride in how one compares to others in some respect—is often thought to be warranted. In this paper, I argue that this common position is mistaken. The paper begins with an analysis of how things seem when a person feels pride. Pride, I claim, presents some aspect of the self with which one identifies as being worthy. Moreover, in some cases, it presents this aspect of the self as something one is responsible for. I then go on (...) to argue that when the focus of one's pride is comparative, things are never as pride makes them seem. The core problem is that if the performance in which one takes pride is really valuable, the fact that it is superior to the performance of others does nothing to contribute to that value. I conclude with a discussion of why so many are inclined to validate comparative pride and a response to those who claim that comparisons are essential to pride because they must be used to set standards of excellence. (shrink)

This pioneering book lays new foundations for the study of reference and truth.

Does the decision to relax by taking a drive rather than by taking a walk cause harm? In particular, do the additional carbon emissions caused by such a decision make anyone worse off? Recently several philosophers have argued that the answer is no, and on this basis have gone on to claim that act-consequentialism cannot provide a moral reason for individuals to voluntarily reduce their emissions. The reasoning typically consists of two steps. First, the effect of individual emissions on the (...) weather is miniscule: the planet’s meteorological system is so large, and the size of individual emissions so tiny, that whatever impact an individual emission has on the weather must be vanishingly small. Second, vanishingly small impacts aren’t morally relevant because no one could possibly tell the difference between such an impact occurring and it not occurring. In this paper, we show why both steps are mistaken, and hence why act-consequentialism implies that each of us has an individual obligation to do what we can to stop damaging the climate, including by refraining from, or perhaps by purchasing offsets against, our own individual luxury carbon emissions. (shrink)

Contemporary moral egalitarians hold that all people have equal moral standing and that we deserve this standing in virtue of satisfying some descriptive criterion. These two claims appear to be in tension, however, as none of the proposed criteria are attributes that all people possess equally. Many egalitarians have hoped to eliminate this tension by holding that the descriptive criterion of moral standing is a "range property" – that is, a property one either possesses fully or not at all. I (...) argue that the prospects of this strategy succeeding are not good. The problems I raise stem from the vagueness of the egalitarians’ descriptive criteria. Appealing to what I call the moral ideal of proportionality, I show that this vagueness forces us to allow that moral standing can be possessed to finely differentiated degrees. But once this is granted, it is difficult to see how the claim that all people are moral equals can be justified. (shrink)

The idea that all people are moral equals enjoys broad support. Practically speaking, there is no doubt that this is a great moral victory. Inegalitarian views are often morally arbitrary, and many have been used to support self-serving and deeply harmful actions and policies. Coming, as it does, on the heels of ideas of racial, ethnic, religious, and gender-based superiority, there is no question that the world is a far better place for our commitment to the idea that all (normal (...) adult) humans deserve to be shown equal moral respect or concern. (shrink)

Properly understood, Kant’s moral philosophy is incompatible with constitutivism. According to the constitutivist, being subject to the moral law cannot be a matter of free choice, and failure to c...

Apologies. The purpose of the following talk is to give an overview of the present state of aims, methods and results in Pure Proof Theory. Shortage of time forces me to concentrate on my very personal views. This entails that I will emphasize the work which I know best, i.e., work that has been done in the triangle Stanford, Munich and Münster. I am of course well aware that there are as important results coming from outside this triangle and I (...) apologize for not displaying these results as well.Moreover the audience should be aware that in some points I have to oversimplify matters. Those who complain about that are invited to consult the original papers.1.1. General. Proof theory startedwithHilbert's Programme which aimed at a finitistic consistency proof for mathematics.By Gödel's Theorems, however, we know that we can neither formalize all mathematics nor even prove the consistency of formalized fragments by finitistic means. Inspite of this fact I want to give some reasons why I consider proof theory in the style of Gentzen's work still as an important and exciting field of Mathematical Logic. I will not go into applications of Gentzen's cut-elimination technique to computer science problems—this may be considered as applied proof theory—but want to concentrate on metamathematical problems and results. In this sense I am talking about Pure Proof Theory.Mathematicians are interested in structures. There is only one way to find the theorems of a structure. Start with an axiom system for the structure and deduce the theorems logically. These axiom systems are the objects of proof-theoretical research. Studying axiom systems there is a series of more or less obvious questions. (shrink)

This paper deals with problems that vagueness raises for choices involving evaluative tradeoffs. I focus on a species of such choices, which I call ‘qualitative barrier cases.’ These are cases in which a qualitatively significant tradeoff in one evaluative dimension for a given improvement in another dimension could not make an option better all things considered, but a merely quantitative tradeoff for the given improvement might. Trouble arises, however, when one of the options constitutes a borderline case of an evaluative (...) kind. I argue that in such cases we can neither affirm nor deny that trading off losses in one evaluative dimension for gains in another yields a better outcome. Theoretically, this result provides a way to defuse an argument that has been presented by both Larry Temkin and Stuart Rachels that purports to show that the ‘better than’ relation is intransitive. Practically, it allows us to undermine the claim that rational agents are better off withholding their contribution to a public good in certain instances of the free-rider problem, and thus to take an important step towards solving these problems. (shrink)

How cautious should regulators be? A standard answer is consequentialist: regulators should be just cautious enough to maximize expected social value. This paper charts the prospects of a nonconsequentialist - and more precautionary - alternative. More specifically, it argues that a contractualism focused on ex ante consent can motivate the following regulatory criterion: regulators should permit a socially beneficial risky activity only if no one can be expected to be made worse off by it. Broadly speaking, there are two strategies (...) regulators can use to help risky activities satisfy this criterion: regulators can mandate strict safety standards that protect those who would otherwise stand to lose, and they can require that some of the benefits of the activity be redirected to them. In developing these themes, the paper aims to provide a theoretical grounding for those who oppose using risk-cost-benefit analysis as the primary regulatory standard, and in particular, for advocates of the precautionary principle. (shrink)

Understanding disgustingness is philosophically important partly because claims about disgustingness play a prominent role in moral discourse and practice. It is also important because disgustingness has been used to illustrate the promise of “neo‐sentimentalism.” Recently developed by moral philosophers such as David Wiggins, John McDowell, Simon Blackburn. Justin D'Arms and Dan Jacobson, neo‐sentimentalism holds that for a thing to be disgusting is for it to be “appropriate” to respond to it with disgust. In this paper, I argue that from what (...) we currently know about the disgust response. these accounts are mistaken. Instead, disgustingness is best understood as a descriptive property: fundamentally, things that are disgusting‐for‐S are things that possess triggers for S's disgust mechanism. Theoretically, my account puts pressure on neo‐sentimentalists to show that the responses they appeal to can anchor normative properties. Practically, my account shows that we must abandon authoritative claims that certain things really are—or are not—disgusting. (shrink)

Since materially opulent lifestyles are a significant cause of environmental degradation, environmentalists often call for us to live more simply. This call is typically focused on consumption. But our environmental footprint is a function of our paid work as well as our purchases. Consequently, environmentalists should also urge us to work less. Defending this claim is the project of this paper. Reducing our economic productivity, I argue, can often be expected to make both the world and our characters better. And, (...) contrary to what some have suggested, working less than is normal needn’t involve unfairly free-riding on the productive efforts of others. (shrink)

Envy of others' material possessions is a potent motivator of consumerism. This makes it a prudentially and morally hazardous emotional response. After outlining these hazards, I present an analysis of the emotion of envy. Envy, I argue, presents things in the following way: the envier lacks some good that her rival possesses; this difference between them is bad for the envier; this difference reflects poorly on the envier's worth; and this difference is undeserved. I then discuss the conditions under which (...) these presentations can be satisfied by differences in material possessions. My conclusion is that no difference in material possessions can simultaneously be all the ways envy presents it as being. Consequently, economic envy is systematically irrational: it is never a warranted response to the distribution of material wealth. Recognising this bolsters the prudential and moral case for reducing the degree to which we feel it and for resisting the inclinations it gives rise to when we do. (shrink)

Life's Solution builds a persuasive case for the predictability of evolutionary outcomes. The case rests on a remarkable compilation of examples of convergent evolution, in which two or more lineages have independently evolved similar structures and functions. The examples range from the aerodynamics of hovering moths and hummingbirds to the use of silk by spiders and some insects to capture prey. Going against the grain of Darwinian orthodoxy, this book is a must read for anyone grappling with the meaning of (...) evolution and our place in the Universe. Simon Conway Morris is the Ad Hominen Professor in the Earth Science Department at the University of Cambridge and a Fellow of St. John's College and the Royal Society. His research focuses on the study of constraints on evolution, and the historical processes that lead to the emergence of complexity, especially with respect to the construction of the major animal body parts in the Cambrian explosion. Previous books include The Crucible of Creation (Getty Center for Education in the Arts, 1999) and co-author of Solnhofen (Cambridge, 1990). Hb ISBN (2003) 0-521-82704-3. (shrink)

This chapter explores some fundamental consequences of the correspondence between physical process and computations. Most physical questions may be answerable only through irreducible amounts of computation. Those that concern idealized limits of infinite time, volume, or numerical precision can require arbitrarily long computations, and so be considered formally undecidable. The behavior of a physical system may always be calculated by simulating explicitly each step in its evolution. Much of theoretical physics has, however, been concerned with devising shorter methods of calculation (...) that reproduce the outcome without tracing each step. Computational irreducibility is common among the systems investigated in mathematics and computation theory, but it may well be the exception rather than the rule, since most physical questions may be answerable only through irreducible amounts of computation. (shrink)

We investigate connections between the syntactic and semantic distance of programs on an abstract, recursion theoretic level. For a certain rather restrictive notion of interdependency of the two kinds of distances, there remain only few and “unnatural” numberings allowing such close relationship. Weakening the requirements leads to the discovery of universal metrics such that for an arbitrary recursively enumerable family of functions a numbering compatible with such a metric can uniformly be constructed. We conclude our considerations with some implications on (...) learning theory. (shrink)

On the one hand, means of transport can be considered as media which shape the perception of space; on the other, they can be considered as milieus which produce certain forms of social interaction. In order to relate both perspectives to each other, the present contribution outlines a topology of vehicles, drawing upon contemporary French literature set in cities. Their detailed representation of certain means of transport shows that literary texts not only decipher modes of spatial perception that are specific (...) to certain vehicles, but also devise new ways of using vehicles through their involvement with an outdated culture of transport. German Verkehrsmittel lassen sich als Medien betrachten, die auf die Wahrnehmung des Raums einwirken, aber auch als Milieus, die bestimmte Formen sozialer Interaktion erzeugen. Um beide Perspektiven aufeinander zu beziehen, umreißt der Beitrag eine Topologie der Fahrzeuge anhand von Stadttexten aus der französischen Literatur der Gegenwart. Aus deren eingehender Darstellung bestimmter Verkehrsmittel geht hervor, dass literarische Texte nicht allein fahrzeugspezifische Weisen der Raumerfahrung entziffern, sondern darüber hinaus auch in Auseinandersetzung mit einer überkommenen Transportkultur originelle Praktiken des Fahrzeuggebrauchs ersinnen. (shrink)

Recent literature describing the process and pathways of the agrarian transition in Southeast Asia suggests that the rise of agricultural intensification and the growth of commodity markets will lead to the demise of swidden agriculture. This paper offers a longitudinal overview of the conditions that drive the agrarian transition amongst indigenous swidden cultivators and migrant paddy farmers in central Palawan Island, the Philippines. In line with regional agrarian change, we describe how a history of conservation policies has criminalized and pressured (...) swidden farmers to adopt more intensive “modern” agricultural practices. We examine how indigenous swidden cultivators adjust their practice in response to recent changes in policies, security of harvests, and socio-cultural values vis-à-vis intensification. Rather than suggest that this transition will lead to the demise of swidden, results reveal that farmers instead negotiate a shifting ground in which they lean on and value swidden as a means of negotiating agrarian change. (shrink)

Apologies. The purpose of the following talk is to give an overview of the present state of aims, methods and results in Pure Proof Theory. Shortage of time forces me to concentrate on my very personal views. This entails that I will emphasize the work which I know best, i.e., work that has been done in the triangle Stanford, Munich and Münster. I am of course well aware that there are as important results coming from outside this triangle and I (...) apologize for not displaying these results as well.Moreover the audience should be aware that in some points I have to oversimplify matters. Those who complain about that are invited to consult the original papers.1.1. General. Proof theory startedwithHilbert's Programme which aimed at a finitistic consistency proof for mathematics.By Gödel's Theorems, however, we know that we can neither formalize all mathematics nor even prove the consistency of formalized fragments by finitistic means. Inspite of this fact I want to give some reasons why I consider proof theory in the style of Gentzen's work still as an important and exciting field of Mathematical Logic. I will not go into applications of Gentzen's cut-elimination technique to computer science problems—this may be considered as applied proof theory—but want to concentrate on metamathematical problems and results. In this sense I am talking about Pure Proof Theory.Mathematicians are interested in structures. There is only one way to find the theorems of a structure. Start with an axiom system for the structure and deduce the theorems logically. These axiom systems are the objects of proof-theoretical research. Studying axiom systems there is a series of more or less obvious questions. (shrink)

This article develops and defends an account of prudential value that is inspired by ideas found in Thoreau’s Walden. The core claim is that prudential value consists in responding appropriately to those things that make the world better, and avoiding those things that make it worse. The core argument is that this is our aim in so far as we are evaluative creatures, and that our evaluative nature is essential to us in the context of inquiring into our good. I (...) also illustrate how the account can be developed to inform an intuitively plausible theory of well-being, and conclude by discussing its virtues relative to some contemporary alternatives. (shrink)

***Angaben zur beteiligten Person Kann: Christoph Kann ist Professor für Philosophie an der Universität Düsseldorf.