Dale Dorsey considers one of the most fundamental questions in philosophical ethics: to what extent do the demands of morality have normative authority over us and our lives? Must we conform to moral requirements? Most who have addressed this question have treated the normative significance of morality as simply a fact to be explained. But Dorsey argues that this traditional assumption is misguided. According to Dorsey, not only are we not required to conform to moral demands, conforming to morality's (...) demands will not always even be normatively permissible---moral behavior can be wrong. This view is significant not only for understanding the content and force of the moral point of view, but also for understanding the basic elements of how one ought to live. (shrink)

Much of knowing what to do is knowing what to do for ourselves, but knowing how to act in our best interest is complex---we must know what benefits us, what burdens us, and how these facts present and constitute considerations in favor of action. Additionally, we must know how we should weigh our interests at different times---past, present, and future. Dale Dorsey argues that a theory of prudence is needed: a theory of how we ought to act when we (...) are acting for ourselves. A Theory of Prudence provides a comprehensive account of prudence, including the metaethics of prudential value, the nature of the personal good, the reasons of prudence, and the structure of prudential normativity over time. (shrink)

Este livro é um estudo sobre estética, no qual a autora discute os ideais de Dufrenne e oferece uma iniciação ao método de Husset.

A common presupposition in contemporary moral and political philosophy is that individuals should be provided with some basic threshold of goods, capabilities, or well-being. But if there is such a basic minimum, how should this be understood? Dale Dorsey offers an underexplored answer: that the basic minimum should be characterized not as the achievement of a set of capabilities, or as access to some specified bundle of resources, but as the maintenance of a minimal threshold of human welfare. In (...) addition, Dorsey argues that though political institutions should be committed to the promotion of this minimal threshold, we should reject approaches that seek to cast the basic minimum as a human right. His book will be important for all who are interested in theories of political morality. (shrink)

In 1963 Niko Tinbergen published a paper, "On Aims and Methods of Ethology," dedicated to his friend Konrad Lorenz. Here Tinbergen defines ethology as "the biological study of behavior," and seeks to demonstrate "the close affinity between Ethology and the rest of Biology." Tinbergen identifies four major areas of ethology: causation, survival value, evolution, and ontogeny. Our goal is to attempt for cognitive ethology what Tinbergen succeeded in doing for ethology: to clarify its aims and methods, to distinguish some of (...) its varieties, and to defend the fruitfulness of the research strategies that it has spawned. (shrink)

How do communities establish shared communication systems? The Common Knowledge view assumes that symbolic conventions develop through the accumulation of common knowledge regarding communication practices among the members of a community. In contrast with this view, it is proposed that coordinated communication emerges a by‐product of local interactions among dyads. A set of multi‐agent computer simulations show that a population of “egocentric” agents can establish and maintain symbolic conventions without common knowledge. In the simulations, convergence to a single conventional system (...) was most likely and most efficient when agents updated their behavior on the basis of local rather than global, system‐level information. The massive feedback and parallelism present in the simulations gave rise to phenomena that are often assumed to result from complex strategic processing on the part of individual agents. The implications of these findings for the development of theories of language use are discussed. (shrink)

Argument-giving reasons for a view-is our model of rational dispute resolution. Fogelin suggests that certain "deep" disagreements cannot be resolved in this way because features of their context "undercut the conditions essential to arguing" . In this paper we add some detail to Fogelin's treatment of intractable disagreements. In doing so we distinguish between his relatively modest claim that some disputes cannot be resolved through argument and his more radical claim that such disputes are beyond rational resolution. This distinction, along (...) with some ofthe detail we add to Fogelin's treatment, sheds some useful light on the project of informal logic. (shrink)

Rule consequentialism holds that an action's moral standing depends on its relation to the moral code whose general adoption would have the best consequences. Heretofore rule consequentialists have understood the notion of a code's being generally adopted in terms of its being generally obeyed or, more commonly, its being generally accepted. I argue that these ways of understanding general adoption lead to unacceptable formulations of the theory. For instance, Brad Hooker, Michael Ridge, and Holly Smith have recently offered different answers (...) to the question of what ‘acceptance rate’ we should build into our formulation of rule consequentialism, and all are unsatisfactory. I argue instead for a novel approach to formulating rule consequentialism, ‘uniform-moral-education’ rule consequentialism, on which what it means for a moral code to be generally adopted is not for it to be generally followed or generally accepted, but instead for it to be generally taught. (shrink)

A feminist study of language and its rules argues that men have shaped it in order to instill their own prejudices and viewpoints on society, and shows how male-slanted language affects all women's lives.

Miller, D., G. Nadathur, F. Pfenning and A. Scedrov, Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic 51 125–157. A proof-theoretic characterization of logical languages that form suitable bases for Prolog-like programming languages is provided. This characterization is based on the principle that the declarative meaning of a logic program, provided by provability in a logical system, should coincide with its operational meaning, provided by interpreting logical connectives as simple and fixed search instructions. The (...) operational semantics is formalized by the identification of a class of cut-free sequent proofs called uniform proofs. A uniform proof is one that can be found by a goal-directed search that respects the interpretation of the logical connectives as search instructions. The concept of a uniform proof is used to define the notion of an abstract logic programming language, and it is shown that first-order and higher-order Horn clauses with classical provability are examples of such a language. Horn clauses are then generalized to hereditary Harrop formulas and it is shown that first-order and higher-order versions of this new class of formulas are also abstract logic programming languages if the inference rules are those of either intuitionistic or minimal logic. The programming language significance of the various generalizations to first-order Horn clauses is briefly discussed. (shrink)

This book is the first to engage Zen Buddhism philosophically on crucial issues from a perspective that is informed by the traditions of western philosophy and religion. It focuses on one renowned Zen master, Huang Po, whose recorded sayings exemplify the spirit of the 'golden age' of Zen in medieval China, and on the transmission of these writings to the West. The author makes a bold attempt to articulate a post-romantic understanding of Zen applicable to contemporary world culture. While deeply (...) sympathetic to the Zen tradition, he raises serious questions about the kinds of claims that can be made on its behalf. (shrink)

A better written introduction to what the Philosophy for Children Program is meant to be like in sustained practice is not likely to be found than this book. There have been transcripts published of good philosophical discussions by children accompanied with insightful commentary in Analytic Teaching and Thinking: The Journal of Philosophy for Children. Yet before this book, there has not been a comprehensive sampling of such discussions with a commentary that pulls it all together. What makes it even more (...) attractive is that it is written so that the primary focus is places where it should be - namely, on the children's philosophical inquiries as something worthy of the reader's attention for their own sake, rather than on some extrinsic concern such as a theory about children's thinking, a discussion of the Philosophy for Children Program, or a set of philosophical theses that the children just happen to have been exploring. (shrink)

A structure which generalizes formulas by including substitution terms is used to represent proofs in classical logic. These structures, called expansion trees, can be most easily understood as describing a tautologous substitution instance of a theorem. They also provide a computationally useful representation of classical proofs as first-class values. As values they are compact and can easily be manipulated and transformed. For example, we present an explicit transformations between expansion tree proofs and cut-free sequential proofs. A theorem prover which represents (...) proofs using expansion trees can use this transformation to present its proofs in more human-readable form. Also a very simple computation on expansion trees can transform them into Craig-style linear reasoning and into interpolants when they exist. We have chosen a sublogic of the Simple Theory of Types for our classical logic because it elegantly represents substitutions at all finite types through the use of the typed -calculus. Since all the proof-theoretic results we shall study depend heavily on properties of substitutions, using this logic has allowed us to strengthen and extend prior results: we are able to prove a strengthen form of the firstorder interpolation theorem as well as provide a correct description of Skolem functions and the Herbrand Universe. The latter are not straightforward generalization of their first-order definitions. (shrink)

From Descartes and Cartesian mind-body dualism in the 17th century though to 21st-century concerns about artificial intelligence programming, The Bloomsbury Companion to the Philosophy of Consciousness presents a compelling history and up-to-date overview of this burgeoning subject area. Acknowledging that many of the original concepts of consciousness studies are found in writings of past thinkers, it begins with introductory overviews to the thought of Descartes through to Kant, covering Brentano's restoration of empiricism to philosophical psychology and the major figures of (...) the late 19th and early 20th centuries: Russell, Wittgenstein, Ryle and James. These opening chapters on the forces in the history of consciousness lay the groundwork needed to understand how influential contemporary thinkers in the philosophy of mind interpret the concept of consciousness. Featuring leading figures in the field, Part II discusses current issues in a range of topics progressing from the so-called hard problem of understanding the nature of consciousness, to the methodology of invoking the possibility of philosophical zombies and the prospects of reductivism in philosophy of mind. Part III is dedicated to new research directions in the philosophy of consciousness, including chapters on experiment objections to functionalism and the scope and limits of artificial intelligence. Equipped with practical research resources including an annotated bibliography, a research guide and a glossary, The Bloomsbury Companion to the Philosophy of Consciousness is an authoritative guide for studying the past, present and future of consciousness. (shrink)

Curiosity and creativity are expressions of the trade-off between leveraging that with which we are familiar or seeking out novelty. Through the computational lens of reinforcement learning, we describe how formulating the value of information seeking and generation via their complementary effects on planning horizons formally captures a range of solutions to striking this balance.

After critiquing some earlier attempts (including those of Marcus Singer and Frances Howard–Snyder) to ground objections to actual–consequence act utilitarianism (ACAU) on human cognitive limitations, I present two new objections with this same foundation. Both start with the observation that, because human cognitive abilities are not up to the task of reliably recognizing utility–maximizing actions, any agents who are recognizably human – including the best possible humans, morally speaking – are certain to perform many actions every day that ACAU says (...) are immoral, and to perform some actions over the course of their lives that it says are highly immoral. The first objection is that, if Mill's analysis of what it means to call an action wrong is accurate, then ACAU entails a conclusion that no one will accept, viz., that the morally–best humans possible ought to undergo constant punishment. The second objection is that ACAU entails that even the morally–best humans possible are bad moral agents in some respect. This conclusion, while unpalatable, is not so obviously unacceptable as the first. However, I do briefly consider some ways in which it might be possible to demonstrate that it is false and thereby complete a reductio of ACAU. (shrink)

When we consider some controversies among scholars about whether brainstem death is death, we should clearly identify what the controversy is about. Is it about whether the brainstem dead can be ca...