History and Philosophy of Logic, Volume 33, Issue 1, Page 99-100, February 2012.

A subtheory of the theory of self-referential truth known as FS is shown to be weak as a theory of truth but equivalent to full FS in its proof-theoretic strength.

We define a class of functions, the descent recursive functions, relative to an arbitrary elementary recursive system of ordinal notations. By means of these functions, we provide a general technique for measuring the proof-theoretic strength of a variety of systems of first-order arithmetic. We characterize the provable well-orderings and provably recursive functions of these systems, and derive various conservation and equiconsistency results.

Probably the two most famous examples of elementary embeddings between inner models of set theory are the embeddings of the universe into an inner model given by a measurable cardinal and the embeddings of the constructible universeLinto itself given by 0#. In both of these examples, the “target model” is a subclass of the “ground model”. It is not hard to find examples of embeddings in which the target model is not a subclass of the ground model: ifis a generic (...) ultrafilter arising from forcing with a precipitous ideal on a successor cardinalκ, then the ultraproduct of the ground model viacollapsesκ. Such considerations suggest a classification of how close the target model comes to “fitting inside” the ground model.Definition 1.1. LetMandNbe inner models of ZFC, and letj:M→Nbe an elementary embedding. Theco-critical pointofjis the least ordinalλ, if any exist, such that there isX⊆λ, X∈NbutX∉M. Such anXis called anew subsetofλ.It is easy to see that the co-critical point ofj:M→Nis a cardinal inN. (shrink)

In a modal system of arithmetic, a theory S has the modal disjunction property if whenever $S \vdash \square\varphi \vee \square\psi$ , either $S \vdash \square\varphi$ or $S \vdash \square\psi. S$ has the modal numerical existence property if whenever $S \vdash \exists x\square\varphi(x)$ , there is some natural number n such that $S \vdash \square\varphi(\mathbf{n})$ . Under certain broadly applicable assumptions, these two properties are equivalent.

In a language for arithmetic with a predicate T, intended to mean “ x is the Gödel number of a true sentence”, a set S of axioms and rules of inference has the truth disjunction property if whenever S ⊢ T ∨ T, either S ⊢ T or S ⊢ T. Similarly, S has the truth existence property if whenever S ⊢ ∃χ T ), there is some n such that S ⊢ T ). Continuing previous work, we establish whether (...) these properties hold or fail for a large collection of possible axiomatic systems. (shrink)

This article examines the development of the concept of the value chain from the linear to the virtual conception of the chain, through the evolution of the literature from Michael Porter’s writings of the mid 1990s to the theorists of e-business and e-commerce in the later 1990s I argue that Porter’s account employs white metaphors and that writings on the virtual value chain both extend the white metaphors of Porter’s linear chain, and suggest a pronouncedly metaphysical system of thought (...) — one which has correlates in areas of thought, including Renaissance Neo-Platonism, cybernetics and the discourse of cyberspace. I suggest that this offers a model of the advance of metaphor — of its usure, as described by Derrida in his White Mythology — and that this model can be synthesised with the views of Ricoeur about the evolution of metaphor towards symbolism. When we apply these ideas of Derrida and Ricoeur to the development of the White Metaphor of the linear chain towards a progressive symbolism, we can see a correlation between the complex causality inferred as a feature of the virtual chain and the cosmological affinities of Renaissance notions of causation. (shrink)

This article examines the development of the concept of the value chain from the linear to the virtual conception of the chain, through the evolution of the literature from Michael Porter’s writings of the mid 1990s to the theorists of e-business and e-commerce in the later 1990s I argue that Porter’s account employs white metaphors and that writings on the virtual value chain both extend the white metaphors of Porter’s linear chain, and suggest a pronouncedly metaphysical system of thought (...) — one which has correlates in areas of thought, including Renaissance Neo-Platonism, cybernetics and the discourse of cyberspace. I suggest that this offers a model of the advance of metaphor — of its usure, as described by Derrida in his White Mythology — and that this model can be synthesised with the views of Ricoeur about the evolution of metaphor towards symbolism. When we apply these ideas of Derrida and Ricoeur to the development of the White Metaphor of the linear chain towards a progressive symbolism, we can see a correlation between the complex causality inferred as a feature of the virtual chain and the cosmological affinities of Renaissance notions of causation. (shrink)

This paper compares the roles classical and intuitionistic logic play in restricting the free use of truth principles in arithmetic. We consider fifteen of the most commonly used axiomatic principles of truth and classify every subset of them as either consistent or inconsistent over a weak purely intuitionistic theory of truth.

The first attempt at a systematic approach to axiomatic theories of truth was undertaken by Friedman and Sheard (Ann Pure Appl Log 33:1–21, 1987). There twelve principles consisting of axioms, axiom schemata and rules of inference, each embodying a reasonable property of truth were isolated for study. Working with a base theory of truth conservative over PA, Friedman and Sheard raised the following questions. Which subsets of the Optional Axioms are consistent over the base theory? What are the (...) proof-theoretic strengths of the consistent theories? The first question was answered completely by Friedman and Sheard; all subsets of the Optional Axioms were classified as either consistent or inconsistent giving rise to nine maximal consistent theories of truth.They also determined the proof-theoretic strength of two subsets of the Optional Axioms. The aim of this paper is to continue the work begun by Friedman and Sheard. We will establish the proof-theoretic strength of all the remaining seven theories and relate their arithmetic part to well-known theories ranging from PA to the theory of ${\Sigma^1_1}$ dependent choice. (shrink)

I develop an account of private property that preserves public participation and access. A focus on the initial state of common ownership, labour, and the proviso reveals that standard Lockean defences of property ignore important common interests. In consequence, property rights over environmentally significant goods must be less strong than full liberal rights, and I show how these will be designed.

Over recent years, considerable attention has been paid to the National Health Service research governance and ethics approvals process in the UK. New regulations mean that approval from the Medicines and Healthcare Products Regulatory Agency is now also needed for conducting all clinical trials. Practical experience of gaining MHRA and sponsorship approval has yet to be described and critically explored in the literature. Our experience, from start to finish, of applying for these four approvals for a multicentre randomised controlled trial (...) of two licensed drugs for opiate detoxification in the prison setting is described here. In addition, the implications of the approvals process for research projects, particularly clinical trials, in terms of time and funding, and also indirect implications for NHS patients are discussed. Inconsistencies are discussed and suggestions that could improve and streamline the overall process are made. The current approvals process could now be hindering non-commercial clinical trials, leading to a loss of important evidence-based medical information. (shrink)

Part I: The representation of life -- Can life be given a real definition? -- The representation of the living individual -- The representation of the life-form itself -- Part II: Naive action theory -- Types of practical explanation -- Naive explanation of action -- Action and time -- Part III: Practical generality -- Two tendencies in practical philosophy -- Practices and dispositions as sources of the goodness of individual actions -- Practice and disposition as sources of individual action.

Dignity plays a central role in current thinking about law and human rights, but there is sharp disagreement about its meaning. Combining conceptual precision with a broad historical background, Michael Rosen puts these controversies in context and offers a novel, constructive proposal. “Penetrating and sprightly...Rosen rightly emphasizes the centrality of Catholicism in the modern history of human dignity. His command of the history is impressive...Rosen is a wonderful guide to the recent German constitutional thinking about human dignity...[Rosen] is in (...) general an urbane and witty companion, achieving his aim of accessibly written philosophy.” —Samuel Moyn, The Nation “[An] elegant, interesting and lucid exploration of the concept of dignity...Drawing on classical, liberal and Catholic traditions, Rosen hopes to rehabilitate dignity to its rightful place near the centre of moral thought...Rosen's admirable book deserves wide attention from political theorists, jurisprudes and political philosophers.” —Simon Blackburn, Times Higher Education “Dignity deserves to be widely read, not only for its intrinsic interest, but also as a corrective to the habit of discussing such topics in abstraction from their social context. Whether or not one agrees with Rosen's arguments, there can be no doubt he has widened our horizons.” —Rae Langton, Times Literary Supplement. (shrink)

Causation: A Realist Approach Traditional empiricist accounts of causation and laws of nature have been reductionist in the sense of entailing that given a complete specification of the non-causal properties of and relations among particulars, it is therefore logically determined both what laws there are and what events are causally related. It is argued here, however, that reductionist accounts of causation and of laws of nature are exposed to decisive objections, and thus that the time has come for empiricists to (...) break with that tradition. -/- The basic goal of this book, therefore, is to set out and defend realistic accounts of those concepts. In the case of causal relations, for example, Tooley maintains that causation is basically a matter of theoretical relations between states of affairs that underlie and explain relative frequencies. He also argues that such an approach avoids the objections that tell against reductionist accounts and that it does so without making causal relations epistemologically inaccessible. (shrink)

Michael G. Titelbaum presents a new Bayesian framework for modeling rational degrees of belief—the first of its kind to represent rational requirements on agents who undergo certainty loss.

In this book, Slote offers the first full-scale foundational account of virtue ethics to have appeared since the recent revival of interest in the ethics of virtue. Slote advocates a particular form of such ethics for its intuitive and structural advantages over Kantianism, utilitarianism, and common-sense morality, and he argues that the problems of other views can be avoided and a contemporary plausible version of virtue ethics achieved only by abandoning specifically moral concepts for general aretaic notions like admirability and (...) virtue. Although this study is not bound by particular Aristotelian doctrines, it places an Aristotelian emphasis on both self-benefiting and other-benefiting virtues. Slote criticizes Kantian and common-sense morality for internal incoherencies and for downgrading the moral individual and her well-being in some previously unnoticed ways. By contrast, this book defends a distinctive, intuitive, and symmetric ethical principle according to which we should balance self-concern with concern for others, but it also concludes that there is, contrary to utilitarianism, no single basis for status as a virtue nor any simple relation between the virtues and human well-being. (shrink)

Keine ausführliche Beschreibung für "Der Andere" verfügbar.

This commentary on Philip Kitcher’s book What’s the Use of Philosophy? addresses two questions. First, must philosophers be methodologically self-conscious to do good work? Second, is there value in the questions pursued in the traditional areas of analytic philosophy?

How does a poet repeatedly over a lifetime make art out of an arbitrary assignment of fate? By asking this question of the work of four American poets - two men of the postwar generation, two young women writing today - Helen Vendler suggests a fruitful way of looking at a poet's career and a new way of understanding poetic strategies as both mastery of forms and forms of mastery.

Introduction : from victims and perpetrators to implicated subjects -- The transmission belt of domination : theorizing the implicated subject -- On (not) being a descendant : implicated subjects and the legacies of slavery -- Progress, progression, procession : William Kentridge's implicated aesthetic -- From Gaza to Warsaw : multidirectional memory and the perpetuator -- Under the sign of suitcases : the Holocaust internationalism of Marceline Loridan-Ivens -- "Germany is in Kurdistan" : Hito Steyerl's images of implication -- Conclusion : (...) transfiguring implication : eleven theses. (shrink)

At the heart of ethics reside the concepts of good and bad; they are at work when we assess whether a person is virtuous or vicious, an act right or wrong, a decision defensible or indefensible, a goal desirable or undesirable. But there are many varieties of goodness and badness. At their core lie intrinsic goodness and badness, the sort of value that something has for its own sake. It is in virtue of intrinsic value that other types of value (...) may be understood, and hence that we can begin to come to terms with questions of virtue and vice, right and wrong, and so on. This book investigates the nature of intrinsic value: just what it is for something to be valuable for its own sake, just what sort of thing can have such value, just how such a value is to be computed. In the final chapter, the fruits of this investigation are applied to a discussion of pleasure, pain, and displeasure and also of moral virtue and vice, in order to determine just what value lies within these phenomena. (shrink)

Chapter 1 addresses some preliminary issues that it is important to think about in formulating arguments from evil. Chapter 2 is then concerned with the question of how an incompatibility argument from evil is best formulated, and with possible responses to such arguments. Chapter 3 then focuses on skeptical theism, and on the work that skeptical theists need to do if they are to defend their claim of having defeated incompatibility versions of the argument from evil. Finally, Chapter 4 discusses (...) evidential arguments from evil, and four different kinds of evidential argument are set out and critically examined. (shrink)

Begins by explaining then proving a generalized language dependence result similar to Goodman's "grue" problem. I then use this result to cast doubt on the existence of an objective evidential favoring relation (such as "the evidence confirms one hypothesis over another," "the evidence provides more reason to believe one hypothesis over the other," "the evidence justifies one hypothesis over the other," etc.). Once we understand what language dependence tells us about evidential favoring, our options are an implausibly strong conception of (...) the a priori, a hard externalism on which agents are unable to determine what their evidence favors, or a subjectivist view that makes evidential favoring relative to features of the agent. (shrink)

Imagination is important for many things in science: solving problems, interpreting data, designing studies, etc. Philosophers of imagination typically account for the productive role played by imagination in science by focusing on how imagination is constrained, e.g., by using self-imposed rules to infer logically, or model events accurately. But the constraints offered by these philosophers either constrain too much, or not enough, and they can never account for uses of imagination that are needed to break today’s constraints in order to (...) make progress tomorrow. Thus, epistemology of imagination needs to make room for an element of epistemological anarchy. (shrink)

We ordinarily suppose that there is a difference between having and failing to exercise a rational capacity on the one hand, and lacking a rational capacity altogether on the other. This is crucial for our allocations of responsibility. Someone who has but fails to exercise a capacity is responsible for their failure to exercise their capacity, whereas someone who lacks a capacity altogether is not. However, as Gary Watson pointed out in his seminal essay ’Skepticism about Weakness of Will’, the (...) idea of an unexercised capacity is much more difficult to make sense of than it initially appears. The aim of ’Rational Capacities’ is to provide the needed explication of this idea. (shrink)

In this new work, political theorist Michael J. Thompson argues that modern societies are witnessing a decline in one of the core building blocks of modernity: the autonomous self. Far from being an illusion of the Enlightenment, Thompson contends that the individual is a defining feature of the project to build a modern democratic culture and polity. One of the central reasons for its demise in recent decades has been the emergence of what he calls the cybernetic society, a (...) cohesive totalization of the social logics of the institutional spheres of economy, culture and polity. These logics have been progressively defined by the imperatives of economic growth and technical-administrative management of labor and consumption, routinizing patterns of life, practices, and consciousness throughout the culture. Evolving out of the neoliberal transformation of economy and society since the 1980s, the cybernetic society has transformed how that the individual is articulated in contemporary society. Thompson examines the various pathologies of the self and consciousness that result from this form of socialization--such as hyper-reification, alienated moral cognition, false consciousness, and the withered ego--in new ways to demonstrate the extent of deformation of modern selfhood. Only with a more robust, more socially embedded concept of autonomy as critical agency can we begin to reconstruct the principles of democratic individuality and community. (shrink)

In this paper I propose to shed new light on the role of feeling in Kant’s psychology of moral motivation by focusing on the concept of an incentive (Triebfeder), a term he borrowed from one of his most important rationalist predecessors, Alexander Gottlieb Baumgarten. I argue that, similar to Baumgarten, Kant understands an incentive to refer to the ground of desire and that feelings function as a specific kind of ground within Kant’s psychology of moral action, namely as the ‘impelling (...) cause’ of desire. I claim that this interpretation has several advantages over the alternatives currently on offer in the literature. (shrink)

In _On The Soul_ (425a-b), Aristotle drew a distinction between those qualities that are perceptible only via a single sense and those that are perceptible by more than one. The latter qualities he called.

While philosophers hold that it is patently absurd to blame robots or hold them morally responsible [1], a series of recent empirical studies suggest that people do ascribe blame to AI systems and robots in certain contexts [2]. This is disconcerting: Blame might be shifted from the owners, users or designers of AI systems to the systems themselves, leading to the diminished accountability of the responsible human agents [3]. In this paper, we explore one of the potential underlying reasons for (...) robot blame, namely the folk's willingness to ascribe inculpating mental states or "mens rea" to robots. In a vignette-based experiment (N=513), we presented participants with a situation in which an agent knowingly runs the risk of bringing about substantial harm. We manipulated agent type (human v. group agent v. AI-driven robot) and outcome (neutral v. bad), and measured both moral judgment (wrongness of the action and blameworthiness of the agent) and mental states attributed to the agent (recklessness and the desire to inflict harm). We found that (i) judgments of wrongness and blame were relatively similar across agent types, possibly because (ii) attributions of mental states were, as suspected, similar across agent types. This raised the question - also explored in the experiment - whether people attribute knowledge and desire to robots in a merely metaphorical way (e.g., the robot "knew" rather than really knew). However, (iii), according to our data people were unwilling to downgrade to mens rea in a merely metaphorical sense when given the chance. Finally, (iv), we report a surprising and novel finding, which we call the inverse outcome effect on robot blame: People were less willing to blame artificial agents for bad outcomes than for neutral outcomes. This suggests that they are implicitly aware of the dangers of overattributing blame to robots when harm comes to pass, such as inappropriately letting the responsible human agent off the moral hook. (shrink)

Can an ugly experiment be a good experiment? Philosophers have identified many beautiful experiments and explored ways in which their beauty might be connected to their epistemic value. In contrast, the present chapter seeks out (and celebrates) ugly experiments. Among the ugliest are those being designed by AI algorithms. Interestingly, in the contexts where such experiments tend to be deployed, low aesthetic value correlates with high epistemic value. In other words, ugly experiments can be good. Given this, we should conclude (...) that beauty is not generally necessary or sufficient for epistemic value, and increasing beauty will not generally tend to increase epistemic value. (shrink)

This volume presents a selection of the most influential recent discussions of the crucial metaphysical questions: what is it for one event to cause another? The subject of causation bears on many topics, such as time, explanation, mental states, the laws of nature, and the philosphy of science.

A paradigm-shifting work that revolutionizes our understanding of the origins and structure of science. Captivatingly written, interwoven with tantalizing illustrations and historical vignettes ranging from Newton's alchemy to quantum mechanics to the storm surge of Hurricane Sandy, Michael Strevens's wholly original investigation of science asks two fundamental questions: Why is science so powerful? And why did it take so long, two thousand years after the invention of philosophy and mathematics, for the human race to start using science to learn (...) the secrets of nature? The Knowledge Machine's radical answer is that science calls on its practitioners to do something irrational: by willfully ignoring religion, theoretical beauty, and, especially, philosophy-essentially stripping away all previous knowledge-scientists embrace an unnaturally narrow method of inquiry, channeling unprecedented energy into observation and experimentation. Like Yuval Harari's Sapiens or Thomas Kuhn's 1962 classic, The Structure of Scientific Revolutions, The Knowledge Machine overturns much of what we thought we knew about the origins of the modern world. (shrink)

Imagination is necessary for scientific practice, yet there are no in vivo sociological studies on the ways that imagination is taught, thought of, or evaluated by scientists. This article begins to remedy this by presenting the results of a qualitative study performed on two systems biology laboratories. I found that the more advanced a participant was in their scientific career, the more they valued imagination. Further, positive attitudes toward imagination were primarily due to the perceived role of imagination in problem-solving. (...) But not all problem-solving episodes involved clear appeals to imagination, only maximally specific problems did. This pattern is explained by the presence of an implicit norm governing imagination use in the two labs: only use imagination on maximally specific problems, and only when all other available methods have failed. This norm was confirmed by the participants, and I argue that it has epistemological reasons in its favour. I also found that its strength varies inversely with career stage, such that more advanced scientists do (and should) occasionally bring their imaginations to bear on more general problems. A story about scientific pedagogy explains the trend away from (and back to) imagination over the course of a scientific career. Finally, some positive recommendations are given for a more imagination-friendly scientific pedagogy. (shrink)

Using an approach deeply informed by philosophy of art, art history and perceptual psychology, this book places seeing at the centre of an original theory of pictorial representation and explores the ramifications such a theory has for the visual arts.

Die philosophische Frage nach der Identität einer Person ist nicht wohlbestimmt. Es handelt sich keineswegs, wie der Gebrauch des Begriffes im Alltag oder auch in der Philosophie nahe legt, um ein einheitliches Phänomen. Vielmehr muss die Identität einer Person als Zusammenspiel von folgenden Fragen analysiert werden: Was macht die Ganzheit einer Person aus? Was muss der Fall sein, damit eine Person gestern mit der Person von heute "identisch" ist? Was verstehen wir unter Identität im Sinne von Selbstverstehen und Selbstbewusstsein? Es (...) wird gezeigt, wie sich die beiden "Identitäten" menschlicher Personen - Persistenz und Persönlichkeit -in unserem alltäglichen Verständnis miteinander verschränken. (shrink)

This book has two main concerns. The first is to isolate the fundamental issues that must be resolved if one is to be able to formulate a defensible position on the question of the moral status of abortion. The second is to determine the most plausible answer to that question. With respect to the first question, the author argues that the following issue–most of which are ignored in public debate on the question of abortion–need to be considered. First, can the (...) abortion question be decided without resolving the issue of the moral status of the fetus? Second, is the fact that the fetus belongs to the biologically defined species Homo Sapiens morally significant in itself? Third, what non-potential properties and necessary and/or sufficient to endow something with a right to life? Fourth, do the corresponding potentialities also make it wrong to destroy something? Fifth, does any property that suffices to give something a right to life admit of degrees, and if so, is it morally significant regardless of the extent to which it is present? Sixth, is it morally permissible to refrain from producing additional people who would lead satisfactory lives? And finally, at what point do developing human beings acquire those properties that give something a right to life – at conception, or at some later point? Alternative answers to these central questions are set out and discussed in a detailed way. Some of the issues are difficult, but it is argued that plausible answers can be advanced, and that they support a liberal position on the morality of abortion. (shrink)

As Nelson Goodman highlighted, there are two main senses of “abstract” that can be found in discussions about abstract art. On the one hand, a representation is abstract if it leaves out certain features of its target. On the other hand, something can be abstract to the extent that it does not represent a concrete subject. The first sense of “abstract” is well-known in philosophy of science. For example, philosophers discuss mathematical models of physical, biological, and economic systems as being (...) abstract in this sense. However, it is the second sense that dominates discussions of abstract art in aesthetics. For example, abstract art was (and is) considered revolutionary precisely for being non-figurative. Through an analysis of artists including Kandinsky, Malevich, and Mondrian, we develop a reading of this second sense, which we call “generative abstraction,” as opposed to “subtractive” abstraction. Generative abstraction is a process in which a new artifact is created which does not represent the initial concrete target system that inspired it (if there was one), where the artifact’s features are explored for their own sake, and where the “language” of the new artifact is in some way more “universal.” Focusing on this sense of abstraction is helpful in revealing the complexity of the process of crafting an abstract artifact, in problematizing the notion that abstraction can always be un-done (or concretized), as well as revealing new ways for abstractions to be epistemically (un)successful. (shrink)

In this article, I examine an ostensible case of the reincarnation type previously investigated and analyzed by Jim Tucker, M.D. of the University of Virginia. The case concerns James Leininger, a young boy who beginning around age two in 2000 and for several years thereafter began exhibiting behaviors and making claims that were later believed to resemble the life and death of World War II fighter pilot James Huston, Jr. The James Leininger story is widely regarded as a superior American (...) case of reincarnation. After a two-year investigation of this case, I present my findings and their implications for the evaluation of this case as evidence for reincarnation. The favorable assessment of the case is based on the assumption that there is a sufficiently robust and credible narrative of James Leininger’s experiences, behaviors, and claims. I will argue that the chronology of events which provide the factual scaffolding of this case is neither robust nor credible, especially with respect to what are presumed to be the case’s strongest features. The official narrative is not robust because it excludes salient contextual details related to James’s exposure to ordinary sources of information which plausibly shaped his experience. The narrative is not credible because the presumed facts of the case are based almost exclusively on the testimony of James Leininger’s parents, but their testimony suffers from a variety of significant credibility problems. These two defects – lack of narrative robustness and credibility – also vitiate Jim Tucker’s investigation and presentation. Consequently, his favorable assessment of this case as evidence for reincarnation is unwarranted. (shrink)

Wolff's book defends the Kantian idea of a "general logic" whose principles underlie special systems of deductive logic. It thus undermines "logical pluralism," which tolerates the co-existence of divergent systems of modern logic without asking for consistent common principles. Part I of Wolff’s book identifies the formal language in which the most general principles of logic must be expressed. This language turns out to be a version of syllogistic language already used by Aristotle. The universal validity of logical principles, as (...) well as the translatability of other logical languages into this language, are shown to depend only on the meanings of its logical vocabulary. Part II of the book answers the metalogical question concerning the deductive relation between general logic and special logical systems, which also have their own (less general) principles. This part identifies the rules according to which logical rules can be derived from principles. The main result of the book is that the highest principles of logic and metalogics are provided by the syllogistic, when properly understood. (shrink)