Online research in philosophy

The equivalence of leaf languages of tree adjoining grammars and monadic linear context-free grammars was shown about a decade ago. This paper presents a proof of the strong equivalence of these grammar formalisms. Non-strict tree adjoining grammars and monadic linear context-free grammars define the same class of tree languages. We also present a logical characterisation of this tree language class showing that a tree language is a member of this class iff it is the two-dimensional yield of an MSO-definable three-dimensional (...) tree language. (shrink)

In recent years large amounts of electronic texts have become available. While the first of these corpora had only a low level of annotation, the more recent ones are annotated with refined syntactic information. To make these rich annotations accessible for linguists, the development of query systems has become an important goal. One of the main difficulties in this task consists in the choice of the right query language, a language which at the same time should be powerful enough to (...) let users formulate the queries they want and which should be efficiently evaluable to keep query response times short. There is a widespread belief that such a query language does not exist. It is therefore the aim of this paper to show that there is indeed a powerful query language that can be efficiently evaluated. We propose the use of monadic second-order logic as a query language. We show that a query in this language can be evaluated in linear time in the size of a tree in the corpus. We also provide examples of complicated linguistic queries expressed in monadic second-order logic thereby demonstrating the high expressive power of the language. (shrink)

Several theories of emergence will be distinguished. In particular, these are synchronic, diachronic, and weak versions of emergence. While the weaker theories are compatible with property reductionism, synchronic emergentism and strong versions of diachronic emergentism are not. Synchronice mergentism is of particular interest for the discussion of downward causation. For such a theory, a system's property is taken to be emergent if it is irreducible, i.e., if it is not reductively explainable. Furthermore, we have to distinguish two different types of (...) irreducibility with quite different consequences: If, on the one hand, a system's property is irreducible because of the irreducibility of the system's parts' behavior on which the property supervenes, we seem to have a case of "downward causation". This kind of downward causation does not violate the principle of the causal closure of the physical domain. If, on the other hand, a systemic property is irreducible because it is not exhaustively analyzable in terms of its causal role, downward causation is not implied. Rather, it is dubitable how unanalyzable properties might play any causal role at all. Thus, epiphenomenalism seems to be implied. The failure to keep apart the two kinds of irreducibility has muddled recent debate about the emergence of properties considerably. (shrink)

The concept of emergence is widely used in both the philosophy of mind and in cognitive science. In the philosophy of mind it serves to refer to seemingly irreducible phenomena, in cognitive science it is often used to refer to phenomena not explicitly programmed. There is no unique concept of emergence available that serves both purposes.

We will show that there is a strong form of emergence in cell biology. Beginning with C.D. Broad's classic discussion of emergence, we distinguish two conditions sufficient for emergence. Emergence in biology must be compatible with the thought that all explanations of systemic properties are mechanistic explanations and with their sufficiency. Explanations of systemic properties are always in terms of the properties of the parts within the system. Nonetheless, systemic properties can still be emergent. If the properties of the components (...) within the system cannot be predicted, even in principle, from the behavior of the system's parts within simpler wholes then there also will be systemic properties which cannot be predicted, even in principle, on basis of the behavior of these parts. We show in an explicit case study drawn from molecular cell physiology that biochemical networks display this kind of emergence, even though they deploy only mechanistic explanations. This illustrates emergence and its place in nature. (shrink)

Often, the behavior of animals can be better explained and predicted, it seems, if we ascribe the capacity to have beliefs, intentions, and concepts to them. Whether we really can do so, however, is a debated issue. Particularly, Donald Davidson maintains that there is no basis in fact for ascribing propositional attitudes or concepts to animals. I will consider his and rival views, such as Colin Allen's three-part approach, for determining whether animals possess concepts. To avoid pure theoretical debate, however, (...) I will test these criteria using characteristic examples from ethology that depict a broad range of animal behavior. This will allow us to detect a series of gradations in animals' capacities, in the course of which we can think over what would count for or against an attribution of concepts and propositional attitudes to them in each single case. Self-conceit is our natural hereditary disease. Of all creatures man is the most wretched and fragile, and at once the most supercilious. ... It is by this conceit that man arrogates to himself ... divine properties, that he segregates himself from the mass of other creatures and raises himself above them .. (shrink)

If one formulates Helmholtz's ideas about perception in terms of modern-day theories one arrives at a model of perceptual inference and learning that can explain a remarkable range of neurobiological facts. Using constructs from statistical physics it can be shown that the problems of inferring what cause our sensory inputs and learning causal regularities in the sensorium can be resolved using exactly the same principles. Furthermore, inference and learning can proceed in a biologically plausible fashion. The ensuing scheme rests on (...) Empirical Bayes and hierarchical models of how sensory information is generated. The use of hierarchical models enables the brain to construct prior expectations in a dynamic and context-sensitive fashion. This scheme provides a principled way to understand many aspects of the brain's organisation and responses. In this paper, we suggest that these perceptual processes are just one emergent property of systems that conform to a free-energy principle. The free-energy considered here represents a bound on the surprise inherent in any exchange with the environment, under expectations encoded by its state or configuration. A system can minimise free-energy by changing its configuration to change the way it samples the environment, or to change its expectations. These changes correspond to action and perception, respectively, and lead to an adaptive exchange with the environment that is characteristic of biological systems. This treatment implies that the system's state and structure encode an implicit and probabilistic model of the environment. We will look at models entailed by the brain and how minimisation of free-energy can explain its dynamics and structure. (shrink)

A recursive enumerator for a function h is an algorithm f which enumerates for an input x finitely many elements including h(x), f is a k(n)-enumerator if for every input x of length n, h(x) is among the first k(n) elements enumerated by f. If there is a k(n)-enumerator for h then h is called k(n)-enumerable. We also consider enumerators which are only A-recursive for some oracle A. We determine exactly how hard it is to enumerate the Kolmogorov function, which (...) assigns to each string x its Kolmogorov complexity: • For every underlying universal machine U, there is a constant a such that C is k(n)-enumerable only if k(n) ≥ n/a for almost all n. • For any given constant k, the Kolmogorov function is k-enumerable relative to an oracle A if and only if A is at least as hard as the halting problem. • There exists an r.e., Turing-incomplete set A such for every non-decreasing and unbounded recursive function k, the Kolmogorov function is k(n)-enumerable relative to A. The last result is obtained by using a relativizable construction for a nonrecursive set A relative to which the prefix-free Kolmogorov complexity differs only by a constant from the unrelativized prefix-free Kolmogorov complexity. Although every 2-enumerator for C is Turing hard for K, we show that reductions must depend on the specific choice of the 2-enumerator and there is no bound on the quantity of their queries. We show our negative results even for strong 2-enumerators as an oracle where the querying machine for any x gets directly an explicit list of all hypotheses of the enumerator for this input. The limitations are very general and we show them for any recursively bounded function g: • For every Turing reduction M and every non-recursive set B, there is a strong 2-enumerator f for g such that M does not Turing reduce B to f. • For every non-recursive set B, there is a strong 2-enumerator f for g such that B is not wtt-reducible to f. Furthermore, we deal with the resource-bounded case and give characterizations for the class ${\rm S}_{2}^{{\rm P}}$ introduced by Canetti and independently Russell and Sundaram and the classes PSPACE, EXP. • ${\rm S}_{2}^{{\rm P}}$ is the class of all sets A for which there is a polynomially bounded function g such that there is a polynomial time tt-reduction which reduces A to every strong 2-enumerator for g. • PSPACE is the class of all sets A for which there is a polynomially bounded function g such that there is a polynomial time Turing reduction which reduces A to every strong 2-enumerator for g. Interestingly, g can be taken to be the Kolmogorov function for the conditional space bounded Kolmogorov complexity. • EXP is the class of all sets A for which there is a polynomially bounded function g and a machine M which witnesses A ∈ PSPACEf for all strong 2-enumerators f for g. Finally, we show that any strong O(log n)-enumerator for the conditional space bounded Kolmogorov function must be PSPACE-hard if P = NP. (shrink)

A focus on the lawmaking process, I submit, permits us to explore a particular dimension of justice, namely the relationship between law and liberty. Laws that reflect the arbitrary whims of the lawmaker are presumptively unjust, because they constrain liberty for no good reason. A strategy for making arbitrary laws less likely involves recognizing checks on the lawmaker's powers and grounding those checks in processes that allow the governed to express their disapproval. The system of checks and balances employed in (...) the U.S. Constitution embodies this strategy, although reasonable people can debate its efficacy. As A.O. Hirschman observed, regimes that permit free movement of persons and property similarly restrict the force of arbitrary rules by allowing exit from unwanted restrictions. I want to inquire into the role of checks in international lawmaking. At first blush, it might appear that the fundamental principle of state consent provides all the checking that international lawmaking needs. This principle maintains that a state (and by extension, its subjects) can be bound by a rule of international law only if that state manifests its consent to the rule. As long as states have a real choice, itself subject to internal checks on official decisionmaking, the adoption of the rule should meet basic criteria of procedural justice. Indeed, the correlate of this principle—that each state has a veto over the adoption of international law, at least as applied to itself and its subjects—suggests that international lawmaking poses less of a threat to liberty than do conventional municipal lawmaking processes based on majority rule. One might think that, as a result of this principle, no rule will attain the status of international law unless its adoption makes some states better off and no state worse off. This first impression, however, is wrong. First, international lawyers argue for the existence of jus cogens norms that apply regardless of state consent. Second, the concept of state consent is artful, and opportunistic decisionmakers have some freedom to construe consent in ways that circumvent conventional checking processes. Third, political and economic coercion can reduce state consent to a meaningless formality. I discuss each of these points in turn. Once state consent ceases to constrain international lawmaking, the question role of alternative checks to protect liberty looms. Under what circumstances does the international lawmaking process as currently constituted present a threat of arbitrary force? What kinds of resistance to the results of international lawmaking can process values justify? I address these questions in three steps. First, I explore whether international law does carry a threat of coercion. If not, concerns about arbitrary restrictions of liberty are misplaced. Second, I discuss the problems arising from delegations of lawmaking authority to international institutions, with specific reference to the Rome Statute and the International Criminal Court. Third, I discuss the process-value issues associated with judicial lawmaking. None of these concerns justifies blanket opposition to international lawmaking. Rather, those interested in making and enforcing international rules need to grapple with these issues and provide another layer of justification for their efforts. a Footnotesa I am indebted to Ken Abbott, Jean Cohen, Larry Helfer, Robert Hockett, Sean Murphy, Phil Nichols, Ed Swaine, Joel Trachtman, the other contributors to this volume, and participants in a workshop at the University of Virginia School of Law for comments and criticism. Shortcomings are mine alone. (shrink)

The following theorems on the structure inside nonrecursive truth-table degrees are established: Dëgtev's result that the number of bounded truth-table degrees inside a truth-table degree is at least two is improved by showing that this number is infinite. There are even infinite chains and antichains of bounded truth-table degrees inside every truth-table degree. The latter implies an affirmative answer to the following question of Jockusch: does every truth-table degree contain an infinite antichain of many-one degrees? Some but not all truth-table (...) degrees have a least bounded truth-table degree. The technique to construct such a degree is used to solve an open problem of Beigel, Gasarch and Owings: there are Turing degrees (constructed as hyperimmune-free truth-table degrees) which consist only of 2-subjective sets and therefore do not contain any objective set. Furthermore, a truth-table degree consisting of three positive degrees is constructed where one positive degree consists of enumerable semirecursive sets, one of coenumerable semirecursive sets and one of sets, which are neither enumerable nor coenumerable nor semirecursive. So Jockusch's result that there are at least three positive degrees inside a truth-table degree is optimal. The number of positive degrees inside a truth-table degree can also be some other odd integer as for example nineteen, but it is never an even finite number. (shrink)

We compare various notions of algorithmic randomness. First we consider relativized randomness. A set is n-random if it is Martin-Löf random relative to θ(n−1). We show that a set is 2-random if and only if there is a constant c such that infinitely many initial segments x of the set are c-incompressible: C(x) ≥ |x| − c. The 'only if' direction was obtained independently by Joseph Miller. This characterization can be extended to the case of time-bounded C-complexity. Next we prove (...) some results on lowness. Among other things, we characterize the 2-random sets as those 1-random sets that are low for Chaitin's Ω. Also, 2-random sets form minimal pairs with 2-generic sets. The r.e. low for Ω sets coincide with the r.e. K-trivial ones. Finally we show that the notions of Martin-Löf randomness, recursive randomness, and Schnorr randomness can be separated in every high degree while the same notions coincide in every non-high degree. We make some remarks about hyperimmune-free and PA-complete degrees. (shrink)

Commercial interest in land (large-scale land acquisition, LaSLA) in developing countries is a hot topic for debate and its potential consequences are contentious: proponents conceive of it as much needed investment into the formerly neglected agricultural sector while opponents point to severe social and environmental effects. This contribution discusses, if and how sustainability standards and codes of conduct can contribute towards governing LaSLA. Based on the WCED-definition we develop a conception of sustainability that allows framing potential negative effects as issues (...) of intra- and intergenerational justice. In a second step we specify these claims of justice, drawing on a human rights approach as well as three guidelines for sustainable development, namely, efficiency, consistency and resilience, to arrive at six guidelines for social and environmental sustainability criteria of LaSLA. We compare our suggestions with existing proposals for sustainability standards of LaSLA and with the certification schemes for sustainable production of bioenergy. From this we draw lessons for development and implementation of sustainability standards for LaSLA. (shrink)

For a fixed set A, the number of queries to A needed in order to decide a set S is a measure of S's complexity. We consider the complexity of certain sets defined in terms of A: $ODD^A_n = \{(x_1, \dots ,x_n): {\tt\#}^A_n(x_1, \dots, x_n) \text{is odd}\}$ and, for m ≥ 2, $\text{MOD}m^A_n = \{(x_1, \dots ,x_n):{\tt\#}^A_n(x_1, \dots ,x_n) \not\equiv 0 (\text{mod} m)\},$ where ${\tt\#}^A_n(x_1, \dots ,x_n) = A(x_1)+\cdots+A(x_n)$ . (We identify A(x) with χ A (x), where χ A is (...) the characteristic function of A.) If A is a nonrecursive semirecursive set or if A is a jump, we give tight bounds on the number of queries needed in order to decide ODD A n and $\text{MOD}m^A_n: \bullet\text{ODD}^A_n$ can be decided with n parallel queries to A, but not with n - 1. $\bullet \text{ODD}^A_n$ can be decided with $\lceil log(n + 1)\rceil$ sequential queries to A but not with $\lceil log(n + 1)\rceil - 1. \bullet\text{MOD}m^A_n$ can be decided with $\lceil n/m\rceil + \lfloor n/m\rfloor$ parallel queries to A but not with $\lceil n/m\rceil + \lfloor n/m\rfloor - 1. \bullet\text{MOD}m^A_n$ can be decided with $\lceil log(\lceil n/m\rceil + \lfloor n/m\rfloor + 1)\rceil$ sequential queries to A but not with $\lceil log(\lceil n/m\rceil + \lfloor n/m\rfloor + 1)\rceil - 1$ . The lower bounds above hold for nonrecursive recursively enumerable sets A as well. (Interestingly, the lower bounds for recursively enumerable sets follow by a general result from the lower bounds for semirecursive sets.) In particular, every nonzero truth-table degree contains a set A such that ODD A n cannot be decided with n - 1 parallel queries to A. Since every truth-table degree also contains a set B such that ODD B n can be decided with one query to B, a set's query complexity depends more on its structure than on its degree. For a fixed set A, $Q(n,A) = \{S: S \text{can be decided with n sequential queries to} A\},\\Q_\parallel(n, A) = \{S: S \text{can be decided with n parallel queries to} A\}.$ We show that if A is semirecursive or recursively enumerable, but is not recursive, then these classes form non-collapsing hierarchies: $\bullet Q(0,A) \subset Q(1,A) \subset Q(2,A) \subset\cdots\\ \bullet Q_\parallel(0, A) \subset Q_\parallel(1, A) \subset Q_\parallel(2,A) \subset\cdots$ The same is true if A is a jump. (shrink)

The article develops a theoretical framework that is capable of integrating the biological foundations of emotions with their cultural and semantic formation.

We show that van Lambalgen's Theorem fails with respect to recursive randomness and Schnorr randomness for some real in every high degree and provide a full characterization of the Turing degrees for which van Lambalgen's Theorem can fail with respect to Kurtz randomness. However, we also show that there is a recursively random real that is not Martin-Löf random for which van Lambalgen's Theorem holds with respect to recursive randomness.

Emergenztheorien werden stets dann interessant, wenn orthodox monistische und orthodox dualistische Antworten auf metaphysische Fragen nach der Natur bestimmter Phänomene nicht überzeugen können. So ist der nichtreduktive Physikalismus, eine Spielart des synchronen Eigenschaftsemergentismus, eine Reaktion auf die vermeintlichen Schwierigkeiten mit ,,Brentanos Problem" und dem Qualia-Problem. Von den reduktionistischen Positionen unterscheidet sich der Eigenschaftsemergentismus durch die Behauptung, einige systematische Eigenschaften seien irreduzibel bezüglich der Eigenschaften und Relationen der Bestandteile des betrachteten Systems. Die Charakterisierung eines Phänomens als emergent erfolgt nach positivistischer Auffassung (...) stets relativ zu einer Mikrostruktur und einer Theorie; daher sei es sinnlos, einen absoluten metaphysischen Begriff der Emergenz verwenden zu wollen. Dagegen spricht das „explanatory gap"-Argument für die Annahme absolut emergenter Eigenschaften. Ein absoluter Emergenzbegriff, der die Einwände der Positivisten ernst genug nimmt, wird vorgeschlagen. (shrink)

Where has the Western attraction to the study and practice of shamanic techniques brought us? Where might it take us? In what ways have our Western biases and philosophical underpinnings influenced and changed how shamanism is practiced, both in the West and in the traditional cultures out of which they emerged? Is it time to stop using the umbrella term “shamanism” to refer to such diverse cross-cultural practices? What are our responsibilities, both as researchers and as spiritual seekers? In this (...) conversation, researcher-authors Stephan Beyer, Stanley Krippner, and Hillary S. Webb discuss their work in field and consider some of the ramifications of the Western world's intellectual and spiritual fascination with shamanic practices. Special attention is paid to the language used to describe these techniques and their practitioners, the developing relationship between researchers and cultural participants, and the ethical implications of merging what are often very distinct worldviews. (shrink)

A VERSION OF CARTESIAN METHOD RODERICK H. CHISHQLM Introduction In one of his many profound discussions of the method of philosophy, Korner makes the ...

Huang, Chun-chieh, Konfuzianismus: Kontinuität und Entwicklung: Studien zur chinesischen Geistesgeschichte (Confucianism: Continuity and Development: Studies in Chinese Intellectual History), Edited and translated by Stephan Schmidt Content Type Journal Article DOI 10.1007/s11712-010-9191-0 Authors Heiner Roetz, Faculty of East Asian Studies, Ruhr University, 44780 Bochum, Germany Journal Dao Online ISSN 1569-7274 Print ISSN 1540-3009 Journal Volume Volume 9 Journal Issue Volume 9, Number 4.

The most obvious varieties of mental phenomena directed to non- existent objects occur in our experiences of works of art. The task of applying the Meinongian ontology of the non-existent to the working out of a theory of aesthetic phenomena was however carried out not by Meinong by his disciple Stephan Witasek in his Grundzüge der allgemeinen Ästhetik of 1904. Witasek shows in detail how our feelings undergo certain sorts of structural modifications when they are directed towards what does (...) not exist. He draws a distinction between genuine mental phenomena and what he calls `phantasy-material', asserting that `the job of the aesthetic object, whether it is 2 a work of art or a product of nature, is to excite and support the actualisation of phantasy- material in the experiencing subject'. We might think of such phantasy-material as a matter of Ersatz-emotions or emotional `slop'. We could then see Witasek's aesthetics as an elaborate taxonomy of the various different sorts of Ersatz-emotions which the subject allows to be stimulated within himself in his intercourse with works of art, and see works of art themselves as machines for the production of ever more subtle varieties of such phantasy-material in the perceiving subject. (shrink)

Eine Deduktion resp. eine logisch gültige Implikation ist Stephan Körner zufolge relevant gdw keine Formelkomponente salva validitate, d.h. unter Bewahrung der Gültigkeit, durch ihre Negation ersetzt werden kann. In der folgenden Arbeit wird 1. dieses Kriterium philosophisch-grundlagentheoretisch diskutiert, 2. in eine präzise Formulierung übergeführt; 3. wird gezeigt, wie eine Reihe unterschiedlicher Relevanzkriterien sich einheitlich auf das Körner-Kriterium zurückführen lassen, und 4. werden wissenschaftstheoretische Anwendungen des Körner-Kriteriums am Beispiel des D-N-Systematisierungsbegriffs, des Begriffs der Theorienbewährung, des Mackieschen Ursachebegriffs als Inus-Bedingung und (...) des probabilistischen Systematisierungsbegriffs demonstriert. (shrink)

Arguably the most significant development in the recent history of the personal identity debate has been the emergence of the view known as "animalism." This volume brings together original contributions on this topic written by both well-known and emerging philosophers. Contributors: Lynne Rudder Baker, Stephan Blatti, David Hershenov, Jens Johansson, Mark Johnston, Rory Madden, Jeff McMahan & Tim Campbell, Eric Olson, Derek Parfit, Mark Reid, Denis Robinson, David Shoemaker, Sydney Shoemaker, Paul Snowdon.

Special issue. With contributions by Rogier De Langhe and Matthias Greiff, Igor Douven and Alexander Riegler, Stephan Hartmann and Jan Sprenger, Carl Wagner, Paul Weirich, and Jesús Zamora Bonilla.

Special issue. With contributions by Luc Bovens and Stephan Hartmann, David Glass, Keith Lehrer, Erik Olsson, Tomoji Shogenji, Mark Siebel, and Paul Thagard.

O. Renn, P.-J. Schweizer, M. Dreyer, A. Klinke: Risiko. Über den gesellschaftlichen Umgang mit Unsicherheit Content Type Journal Article DOI 10.1007/s10202-009-0071-9 Authors Stephan Lingner, Europäische Akademie zur Erforschung von Folgen wissenschaftlich-technischer Entwicklungen Bad Neuenahr-Ahrweiler GmbH Wilhelmstr. 56 53474 Bad Neuenahr-Ahrweiler Germany Journal Poiesis & Praxis: International Journal of Technology Assessment and Ethics of Science Online ISSN 1615-6617 Print ISSN 1615-6609 Journal Volume Volume 6 Journal Issue Volume 6, Numbers 3-4.

Reflecting biomedical, technological and environmental issues of our modern society. The recent “Forum” section in Poiesis & Praxis Content Type Journal Article Category Editorial Pages 1-2 DOI 10.1007/s10202-011-0097-7 Authors Stephan Lingner, Europäische Akademie zur Erforschung von Folgen wissenschaftlich-technischer Entwicklungen Bad Neuenahr-Ahrweiler GmbH, Wilhelmstr. 56, 53474 Bad Neuenahr-Ahrweiler, Germany Journal Poiesis & Praxis: International Journal of Technology Assessment and Ethics of Science Online ISSN 1615-6617 Print ISSN 1615-6609 Journal Volume Volume 8 Journal Issue Volume 8, Number 1.

Science, interdisciplinarity, and the society Content Type Journal Article Pages 221-223 DOI 10.1007/s10202-011-0092-z Authors Stephan Lingner, Europa¨ische Akademie zur Erforschung von Folgen wissenschaftlich-technischer Entwicklungen Bad Neuenahr-Ahrweiler GmbH, Wilhelmstr. 56, 53474 Bad Neuenahr-Ahrweiler, Germany Journal Poiesis & Praxis: International Journal of Technology Assessment and Ethics of Science Online ISSN 1615-6617 Print ISSN 1615-6609 Journal Volume Volume 7 Journal Issue Volume 7, Number 4.

Libertarian Papers is pleased to announce that Matthew McCaffrey has agreed to serve as the journal’s Editor. A PhD candidate at the University of Angers, Mises Institute fellow, and winner of the 2010 Lawrence W. Fertig Prize in Austrian Economics, Matt previously served as the journal’s Managing Editor. He may be reached here. Stephan Kinsella [...].

The emergent use of service robots in more and more areas of social life raises a number of legal issues which have to be addressed in order to apply and adapt the existing legal framework to this new technology. The article provides an overview of law as a means to regulate and govern technology and discusses fundamental issues of the relationship between law and technology. It then goes on to address a number of relevant problems in the field of service (...) robotics. In particular, these issues include the organization of administrative control and the legal liability regime which applies to service robots. Also, the issue of autonomy of service robots is discussed, which cannot easily be answered under the existing, human-centered legal regime. (shrink)

Modern poetics takes one crucial turn through Ezra Pound’s notion of the “ideogram,” a concept that had a lasting impact through the Imagists andtheir influence. The ideogram borrows from Pound’s ideas about Chinese characters, their ability to condense complex representation into a figuredform in an economic but resonant image. By contrast, the compositional technique embodied in French poet Stéphane Mallarmé’s unique work, UnCoup de Dés, can be characterized as “diagrammatic,” driven by semantic relations expressed spatially in a distributed field. This (...) essay explores thatdiagrammatic work and it implications as a compositional technique. (shrink)

This entry sketches the theory of personal identity that has come to be known as animalism. Animalism’s hallmark claim is that each of us is identical with a human animal. Moreover, animalists typically claim that we could not exist except as animals, and that the (biological) conditions of our persistence derive from our status as animals. Prominent advocates of this view include Michael Ayers, Eric Olson, Paul Snowdon, Peter van Inwagen, and David Wiggins.

I suggest a way of extending Stalnaker’s account of assertion to allow for centered content. In formulating his account, Stalnaker takes the content of assertion to be uncentered propositions: entities that are evaluated for truth at a possible world. I argue that the content of assertion is sometimes centered: the content is evaluated for truth at something within a possible world. I consider Andy Egan’s proposal for extending Stalnaker’s account to allow for assertions with centered content. I argue that Egan’s (...) account does not succeed. Instead, I propose an account on which the contents of assertion are identified with sets of multi-centered worlds. I argue that such a view not only provides a plausible account of how assertions can have centered content, but also preserves Stalnaker’s original insight that successful assertion involves the reduction of shared possibilities. (shrink)

Despite widespread support for the claim that death can harm the one who dies, debate continues over how to rescue this harm thesis (HT) from Epicurus’s challenge. Disagreements focus on two of the three issues that any defense of HT must resolve: the subject of death’s harm and the timing of its injury. About the nature of death’s harm, however, a consensus has emerged around the view that death harms a subject (when it does) by depriving her of the goods (...) life would’ve afforded had she continued living. This deprivation view of death’s harm (DV) derives some of its credibility from the general deprivation theory of which it is an instance: mortal harm is subject to the same kind of analysis plausibly given of other non-mortal harms. Furthermore, note that the weak formulation of HT—asserting only that death can inflict harm, not that it always or necessarily does—accommodates the intuition that instances of rational suicide and justifiable euthanasia present cases in which death fails to harm. DV is equipped to explain how in these cases the harms involved in continued existence outweigh the goods of which death deprives the subject. I agree that suicide can be rational and that euthanasia can be justifiable. Likewise I accept both HT and DV as far as they go. But they do not go far enough. Specifically, I argue here that death harms even those who die as a result of rational suicide or justifiable euthanasia; that death’s harm is neither undifferentiated nor wholly contingent, but multifaceted and partly necessary; that the necessary part of death’s harm is distinctive, inflicting a peculiar restriction on the autonomy of one who dies; and, regarding the timing and subject issues, that this restriction harm is inflicted on the antemortem subject prior to her death. (shrink)

Bayesianism is our leading theory of uncertainty. Epistemology is defined as the theory of knowledge. So “Bayesian Epistemology” may sound like an oxymoron. Bayesianism, after all, studies the properties and dynamics of degrees of belief, understood to be probabilities. Traditional epistemology, on the other hand, places the singularly non-probabilistic notion of knowledge at centre stage, and to the extent that it traffics in belief, that notion does not come in degrees. So how can there be a Bayesian epistemology?

The rare condition known as dicephalus occurs when (prior to implantation) a zygote fails to divide completely, resulting in twins who are conjoined below the neck. Human dicephalic twins look like a two-headed person, with each brain supporting a distinct mental life. Jeff McMahan has recently argued that, because they instance two of us but only one animal, dicephalic twins provide a counterexample to the animalist's claim that each of us is identical with a human animal. To the contrary, I (...) argue that in cases of dicephalus it is obvious neither that there is one animal nor that there are two of us. Consequently, the animalist criterion does not straightforwardly apply to cases of dicephalus. I defend an account of dicephalus that is both sensitive to the complexity of twinning phenomena and not inconsistent with animalism. In my view, dicephalic twins are a borderline case of the concept HUMAN ANIMAL. I conclude with some speculative remarks concerning the normative import (if any) of my claim that dicephalic twins are a borderline case. (shrink)

Bayesian epistemology addresses epistemological problems with the help of the mathematical theory of probability. It turns out that the probability calculus is especially suited to represent degrees of belief (credences) and to deal with questions of belief change, confirmation, evidence, justification, and coherence. Compared to the informal discussions in traditional epistemology, Bayesian epis- temology allows for a more precise and fine-grained analysis which takes the gradual aspects of these central epistemological notions into account. Bayesian epistemology therefore complements traditional epistemology; it (...) does not re- place it or aim at replacing it. (shrink)

We reconsider the Nagelian theory of reduction and argue that, contrary to a widely held view, it is the right analysis of intertheoretic reduction, since the alleged difficulties of the theory either vanish upon closer inspection or turn out to be substantive philosophical questions rather than knock-down arguments.

In this paper I consider two strategies for providing tenseless truth-conditions for tensed sentences: the token-reflexive theory and the date theory. Both theories have faced a number of objections by prominent A-theorists such as Quentin Smith and William Lane Craig. Traditionally, these two theories have been viewed as rival methods for providing truth-conditions for tensed sentences. I argue that the debate over whether the token-reflexive theory or the date theory is true has arisen from a failure to distinguish between conditions (...) for the truth of tensed tokens and conditions for the truth of propositions expressed by tensed tokens. I demonstrate that there is a true formulation of the token-reflexive theory that provides necessary and sufficient conditions for the truth of tensed tokens, and there is a true formulation of the date theory that provides necessary and sufficient conditions for the truth of propositions expressed by tensed tokens. I argue that once the views are properly formulated, the A-theorist’s objections fail to make their mark. However, I conclude by claiming that even though there is a true formulation of the token-reflexive theory and a true formulation of the date theory, the New B-theory nonetheless fails to provide a complete account of the truth and falsity of tensed sentences. (shrink)

The reason why agency/structure and micro/macro debates remain unresolved is the bad essentialist habit of treating such pairs as opposite natural kinds. Once variation is allowed, agency and structure, or micro and macro, are temporary poles bracketing a continuum, with social entities moving along this continuum over time. Explaining these transformations from agency into structure, or micro into macro, and vice versa is the challenge for explanatory theory. This challenge is met by switching to a constructivist level of second-order observing. (...) Then, agency and structure become variable devices or frames different observers might use to perform different sorts of cultural work. (shrink)

According to one view, there cannot: Bayesianism fails to do justice to essential aspects of knowledge and belief, and as such it cannot provide a genuine epistemology at all. According to another view, Bayesianism should supersede traditional epistemology: where the latter has been mired in endless debates over skepticism and Gettierology, Bayesianism offers the epistemologist a thriving research program. We will advocate a more moderate view: Bayesianism can illuminate various long­standing problems of epistemology, while not addressing all of them; and (...) while Bayesianism opens up fascinating new areas of research, it by no means closes down the staple preoccupations of traditional epistemology. The contrast between the two epistemologies can be traced back to the mid­17th century. Descartes regarded belief as an all­or­nothing matter, and he sought justifications for his claims to knowledge in the face of powerful skeptical arguments. No more than four years after his death, Pascal and Fermat inaugurated the.. (shrink)

Simulation techniques, especially those implemented on a computer, are frequently employed in natural as well as in social sciences with considerable success. There is mounting evidence that the "model-building era" (J. Niehans) that dominated the theoretical activities of the sciences for a long time is about to be succeeded or at least lastingly supplemented by the "simulation era". But what exactly are models? What is a simulation and what is the difference and the relation between a model and a simulation? (...) These are some of the questions addressed in this article. I maintain that the most significant feature of a simulation is that it allows scientists to imitate one process by another process. "Process" here refers solely to a temporal sequence of states of a system. Given the observation that processes are dealt with by all sorts of scientists, it is apparent that simulations prove to be a powerful interdisciplinarily acknowledged tool. Accordingly, simulations are best suited to investigate the various research strategies in different sciences more carefully. To this end, I focus on the function of simulations in the research process. Finally, a somewhat detailed case-study from nuclear physics is presented which, in my view, illustrates elements of a typical simulation in physics. (shrink)

Combining testimonial reports from independent and partially reliable information sources is an important problem of uncertain reasoning. Within the framework of Dempster-Shafer theory, we propose a general model of partially reliable sources which includes several previously known results as special cases. The paper reproduces these results, gives a number of new insights, and thereby contributes to a better understanding of this important application of reasoning with uncertain and incomplete information.

Supervenience is a topic-neutral, broadly logical relation between classes of properties or facts. In a slogan, A supervenes on B if and only if there cannot be an A-difference without a B-difference. The first part of this paper considers different ways in which that slogan has been cashed out. The second part discusses applications of concepts of supervenience, focussing on the question whether they may provide an explication of determination theses such as physicalism.

I consider whether the self-ascription theory can succeed in providing a tenseless (B-theoretic) account of tensed belief and timely action. I evaluate an argument given by William Lane Craig for the conclusion that the self-ascription account of tensed belief entails a tensed theory (A-theory) of time. I claim that how one formulates the selfascription account of tensed belief depends upon whether one takes the subject of selfascription to be a momentary person-stage or an enduring person. I provide two different formulations (...) of the self-ascription account of tensed belief, one that is compatible with a perdurantist account of persons and the other that is compatible with an endurantist account of persons. I argue that a self-ascription account of tensed beliefs for enduring subjects most plausibly involves the self-ascription of relations rather than properties. I argue that whether one takes the subject of self-ascription to be a momentary personstage or an enduring person, the self-ascription theory provides a plausible B-theoretic account of how tensed belief and timely action are possible. (shrink)

In this paper I examine an argument that has been made by Patrick Grim for the claim that de se knowledge is incompatible with the existence of an omniscient being. I claim that the success of the argument depends upon whether it is possible for someone else to know what I know in knowing (F), where (F) is a claim involving de se knowledge. I discuss one reply to this argument, proposed by Edward Wierenga, that appeals to first-person propositions and (...) argue that this response is unsuccessful. I then consider David Lewis’s theory of de se attitudes involving the self-ascription of properties. I claim that, according to this theory, there are two senses in which someone else can know what I know in knowing (F). I then argue that the second sense allows for the compatibility of de se knowledge with the existence of an omniscient being. (shrink)