In the target article, human cruelty is linked to intrinsic reinforcement from engaging in the behavior without any recommendations for a research program to validate or test for such reinforcement and its independence from ultimate adaptive outcomes. Suggestions are offered in this commentary for such a program.

Coordinating behavior is widespread in contexts that include courtship, aggression, and cooperation for shared outcomes. The social significance of cooperative coordination (CC) is usually downplayed by learning theorists, evolutionary biologists, and game theorists in favor of an individual behavior → outcome perspective predicated on maximizing payoffs for all participants. To more closely model CC as it occurs under free-ranging conditions, pairs of rats were rewarded for coordinated shuttling within a shared chamber with unrestricted social interaction. Results show that animals learned (...) to work together with sensitivity to the task and type of partner. Moreover, social interaction and coordination influenced both consumption of the reward solution immediately following a session and preference for cooperation, suggesting that affective states and incentives related to cooperation extend beyond the outcomes obtained. These results support field studies by showing not only how cooperation is performed but also the importance of considering how the behavior of cooperating affects outcomes and preference for cooperating. (shrink)

Altruism and cooperation are explained as learned behaviors arising from a pattern of repeated acts whose acquired value outweighs the short-term gains following single acts. But animals and young children, tempted by immediate gains, have difficulty learning behaviors of self-control. An alternative source of reinforcement, shared by animals and humans, arises from social interaction that normally accompanies cooperation and altruism in nature.

Pavlovian feed-forward mechanisms represent an individual perspective that ignores how repeated interactions between the same individuals lead to social relationships. These can determine social cues, coordinated behaviors, asymmetries between partners, and physiological and emotional states associated with social interaction.

Examples are cited of group hunting in chimpanzees, lions, and hyenas consistent with evidence for intentionality, organization, and coordination. These challenge the claim for shared intentionality as uniquely human. Even when rarely performed in this way, the significance of such behaviors should not be minimized, especially if this level of “intelligent” action emerges spontaneously in the wild.

“Psychology Game Theory” grafts social-process explanations onto classical game theory to explain deviations from instrumental rationality caused by the social properties of cooperation. This leads to confusion between cooperation as a social or individual behavior, and between ultimate and proximate explanations. If game theory models explain the existence of cooperation, different models are needed for understanding the proximate social processes that underlie cooperation in the real world.

SECRETS OF THE TEMPLE : HOW THE FEDERAL RESERVE RUNS THE COUNTRY by William Greider New York: Simon and Schuster, 1987. 798 pp., $24.95 Greider pursues the theme that the Federal Reserve System promotes the interests of Wall Street?banks and bondholders?over those of Main Street?the rest of society. The wealth of fascinating observations he makes are, unfortunately, organized by a 1950s?style Keynesianism and a faith in unlimited, majoritarian democracy. Neither of these beliefs are at all adequate for remedying the (...) deficiencies of political control of the money supply, which is the real problem Greider has uncovered. (shrink)

In the Aristotelian tradition, the psychological difference between virtue and continence is commonly understood in terms of inner harmony versus inner conflict. Virtuous agents experience inner harmony between feeling and action because they do not care to do other than what their circumstances call for, whereas continent agents feel conflicted about doing what is called for because of competing concerns. Critics of this view argue, however, that when the circumstances require sacrificing something of genuine value, virtuous agents can indeed feel (...) conflicted about acting well. But if this is so, what differentiates virtuous from merely continent agency? This essay argues that the traditional distinction conflates two aspects of virtue as well as two species of continence. And distinguishing between them provides resources for making sense of the complex relationship between inner conflict and good moral agency. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

John Stuart Mill, whose relevance for Nietzsche’s late work has been documented by recent research, is not directly mentioned in On the Genealogy or Morality (1887). This article argues that Mill’s On Liberty (1859) nevertheless played a crucial role in the development of the Genealogy. Following a source-based methodology, three major references demonstrate how Nietzsche used On Liberty as a resource as he initiated and developed his own exploration into the origin of morality. After tracing Nietzsche’s reading of Mill through (...) pencil marks in his copy of On Liberty, I discuss the reappearance of Mill’s motives and terminology as well as the explanatory power of Mill as a source for the respective sections in the Genealogy. It becomes clear to what extent Nietzsche adapts Mill and how he turns Mill’s own weapons against him through skillful transformations. The article concludes that instead of delivering the “better” Mill, Nietzsche builds up a fruitful tension between a then-common take on morality and its transgression. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

We investigate how nonstandard reals can be established constructively as arbitrary infinite sequences of rationals, following the classical approach due to Schmieden and Laugwitz. In particular, a total standard part map into Richman's generalised Dedekind reals is constructed without countable choice.

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

ABSTRACTThis article examines the professional boundaries and obstacles encountered by Eritrean graduates of a medical interpreter course in Israel. Through a series of personal interviews held about a year after their graduation, we identified professional and personal boundaries as a recurring theme. Drawing on the inspiring work of Erving Goffman, we discuss the tension between their “normative roles” and “typical roles.” By deploying two heuristic two-way typologies—in reference to the service provider or the patient, and in reference to formal or (...) informal interpreting settings—we propose that the tension between the normative and the typical manifests most clearly within formal interpreting settings and vis-à-vis the service providers, and is least present outside formal settings and vis-à-vis the patients. Recognizing that the role of the interpreter tends to extend well beyond its formal setting, we conclude by reflecting on how the circumstances of marginalization and lack of support—incurred by t... (shrink)

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.

This book gives a descriptive analysis of specific Madhyamika texts. It compares the ideology of Kumarajiva (a translator of the four Madhyamika treatises 400 A.D.) with the ideologies of the three Chinese contemporaries - HuiYuan, Seng-Jui and Seng-Chao. It envisages an intercultural transmission of religious and philosophical ideas from India to China.

The most comprehensive collection of essays on Descartes' scientific writings ever published, this volume offers a detailed reassessment of Descartes' scientific work and its bearing on his philosophy. The 35 essays, written by some of the world's leading scholars, cover topics as diverse as optics, cosmology and medicine, and will be of vital interest to all historians of philosophy or science.

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

Early in the first volume of his Ideen zu einer reinen Phiinomeno logie und phiinomenologischen Philosophie, Edmund Husserl stated concisely the significance and scope of the problem with which this present study is concerned. When we reflect on how it is that consciousness, which is itself absolute in relation to the world, can yet take on the character of transcendence, how it can become mundanized, We see straightaway that it can do that only by means of a certain participation in (...) transcendence in the first, originary sense, which is manifestly the transcendence of material Nature. Only by means of the experiential relation to the animate organism does consciousness become really human and animal (tierischen), and only thereby does it achieve a place in the space and in the time of Nature. l Consciousness can become "worldly" only by being embodied within the world as part of it. In so far as the world is material Nature, consciousness must partake of the transcendence of material Nature. That is to say, its transcendence is manifestly an embodiment in a material, corporeal body. Consciousness, thus, takes on the characteristic of being "here and now" (ecceity) by means of experiential (or, more accurately, its intentive) relation to that corporeal being which embodies it. Accordingly, that there is a world for consciousness is a conse quence in the first instance of its embodiment by 2 that corporeal body which is for it its own animate organism. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.