The third author gave a natural deduction style proof system called the \-calculus for implicational fragment of classical logic in. In -calculus, 2015, Post-proceedings of the RIMS Workshop “Proof Theory, Computability Theory and Related Issues”, to appear), the fourth author gave a natural subsystem “intuitionistic \-calculus” of the \-calculus, and showed the system corresponds to intuitionistic logic. The proof is given with tree sequent calculus, but is complicated. In this paper, we introduce some reduction rules for the \-calculus, and give (...) a simple and purely syntactical proof to the theorem by use of the reduction. In addition, we show that we can give a computation model with rich expressive power with our system. (shrink)

In this paper we describe the Curry-Howard-De Bruijn isomorphism between Higher Order Many Sorted Intuitionistic Predicate Logic PREDω and the type system λPREDω, which can be considered a subsystem of the Calculus of Constructions. The type system is presented using the concept of a Pure Type System, which is a very elegant framework for describing type systems. We show in great detail how formulae and proof trees of the logic relate to types and terms of the type system, respectively. Finally, (...) we discuss some consequences of the isomorphism with respect to the relation between the systems discussed in this paper. (shrink)

Natural Justice is a bold attempt to lay the foundations for a genuine science of morals using the theory of games. Since human morality is no less a product of evolution than any other human characteristic, the book takes the view that we need to explore its origins in the food-sharing social contracts of our prehuman ancestors. It is argued that the deep structure of our current fairness norms continues to reflect the logic of these primeval social contracts, but the (...) particular fairness norm a society operates is largely a product of cultural evolution. In pursuing this point, the book proposes a naturalistic reinterpretation of John Rawls' original position that reconciles his egalitarian theory of justice with John Harsanyi's utilitarian theory by identifying the environment appropriate to each. (shrink)

Game theory has proved a useful tool in the study of simple economic models. However, numerous foundational issues remain unresolved. The situation is particularly confusing in respect of the non-cooperative analysis of games with some dynamic structure in which the choice of one move or another during the play of the game may convey valuable information to the other players. Without pausing for breath, it is easy to name at least 10 rival equilibrium notions for which a serious case can (...) be made that here is the “right” solution concept for such games. (shrink)

‘Gouldian arguments’ appeal to the contingency of a scientific domain to establish that domain’s autonomy from some body of theory. For instance, pointing to evolutionary contingency, Stephen Jay Gould suggested that natural selection alone is insufficient to explain life on the macroevolutionary scale. In analysing contingency, philosophers have provided source-independent accounts, understanding how events and processes structure history without attending to the nature of those events and processes. But Gouldian Arguments require source-dependent notions of contingency. An account of contingency is (...) source-dependent when it is indexed to some pattern and some process. Positions like Gould’s do not turn on the mere fact of life’s contingency—that life’s shape could have been different due to its sensitivity to initial conditions, path-dependence or stochasticity. Rather, Gouldian arguments require that the contingency is due to particular kinds of processes: in this case, those which microevolutionary theory cannot account for. This source-dependent perspective clarifies both debates about the nature and importance of contingency, and empirical routes for testing Gould’s thesis. (shrink)

We identify a species of experiment—Kon-Tiki experiments—used to demonstrate the competence of a cause to produce a certain effect, and we examine their role in the historical sciences. We argue that Kon-Tiki experiments are used to test middle-range theory, to test assumptions within historical narratives, and to open new avenues of inquiry. We show how the results of Kon-Tiki experiments are involved in projective inferences, and we argue that reliance on projective inferences does not provide historical scientists with any special (...) protection against the problem of unconceived alternatives. (shrink)

Mehr et al. seek to explain music's evolution in terms of a unitary proper function – signalling cooperative intent – which they cash out in two guises, coalition signalling and parental attention signalling. Although we recognize the role signalling almost certainly played in the evolution of music, we reject “ultimate” causal explanations which focus on a unidirectional, narrow range of causal factors.

Neanderthal extinction is a matter of intense debate. It has been suggested that demography (as opposed to environment or competition) could alone provide a sufficient explanation for the phenomenon. We argue that demography cannot be a ‘stand-alone’ or ‘alternative’ explanation of token extinctions as demographic features are entangled with competitive and environmental factors, and further because demography should not be conflated with neutrality.

A trenchant and wide-ranging look at this alarming national trend, _Disrupting the School-to-Prison Pipeline_ is unsparing in its account of the problem while pointing in the direction of meaningful and much-needed reforms. The “school-to-prison pipeline” has received much attention in the education world over the past few years. A fast-growing and disturbing development, it describes a range of circumstances whereby “children are funneled out of public schools and into the juvenile and criminal justice systems.” Scholars, educators, parents, students, and organizers (...) across the country have pointed to this shocking trend, insisting that it be identified and understood—and that it be addressed as an urgent matter by the larger community. This new volume from the _Harvard Educational Review _features essays from scholars, educators, students, and community activists who are working to disrupt, reverse, and redirect the pipeline. Alongside these authors are contributions from the people most affected: youth and adults who have been incarcerated, or whose lives have been shaped by the school-to-prison pipeline. Through stories, essays, and poems, these individuals add to the book’s comprehensive portrait of how our education and justice systems function—and how they fail to serve the interests of many young people.". (shrink)

This is the second part of a two-part paper. It can be read independently of the first part provided that the reader is prepared to go along with the unorthodox views on game theory which were advanced in Part I and are summarized below. The body of the paper is an attempt to study some of the positive implications of such a viewpoint. This requires an exploration of what is involved in modeling “rational players” as computing machines.

What do pictures and mental images have in common? The contemporary tendency to reject mental picture theories of imagery suggests that the answer is: not much. We show that pictures and visual imagery have something important in common. They both contribute to mental simulations: pictures as inputs and mental images as outputs. But we reject the idea that mental images involve mental pictures, and we use simulation theory to strengthen the anti-pictorialist's case. Along the way we try to account for (...) caricature and for some basic features of pictorial representations. (shrink)

Many questions concerning the future of the urban Indian landscape have at their core the conflict of a modernist design aesthetic, which privileges uniformity and predictability, with what many consider to be the unsightly presence of a chaotic local aesthetic. The hand-painted signboard, a hallmark of Indian urban experience, is largely disdained by modernist planners, who became especially vocal in the lead-up to the Commonwealth Games in 2010, when the goal of transforming Delhi into a ‘world class city’ envisioned, among (...) other measures, a reining in of the city’s frenetic signboard culture. This paper examines the ingenuity of the hand-painted signboard which employs complex visual strategies such as three-dimensional depth cues, typographic innovation and visual metaphor, while assessing the unique ways in which hand-painted signage shapes the experience of public space in an urban environment. Against ideas of uniformity and order which underpin liberal modernist visions of the city both in relation to its visual cultures and the use of public spaces, this paper proposes what we call an ‘aesthetic of accommodation’: the visual and the social order here become sites for the expression of an ‘adjustment’ ethic visible in the hybrid art practice of hand-painted signboards and the multiple rather than single usage of public spaces evident in the manner in which signboards spill onto sidewalks and sidewalks onto streets. (shrink)

Many questions concerning the future of the urban Indian landscape have at their core the conflict of a modernist design aesthetic, which privileges uniformity and predictability, with what many consider to be the unsightly presence of a chaotic local aesthetic. The hand-painted signboard, a hallmark of Indian urban experience, is largely disdained by modernist planners, who became especially vocal in the lead-up to the Commonwealth Games in 2010, when the goal of transforming Delhi into a ‘world class city’ envisioned, among (...) other measures, a reining in of the city’s frenetic signboard culture. This paper examines the ingenuity of the hand-painted signboard which employs complex visual strategies such as three-dimensional depth cues, typographic innovation and visual metaphor, while assessing the unique ways in which hand-painted signage shapes the experience of public space in an urban environment. Against ideas of uniformity and order which underpin liberal modernist visions of the city both in relation to its visual cultures and the use of public spaces, this paper proposes what we call an ‘aesthetic of accommodation’: the visual and the social order here become sites for the expression of an ‘adjustment’ ethic visible in the hybrid art practice of hand-painted signboards and the multiple rather than single usage of public spaces evident in the manner in which signboards spill onto sidewalks and sidewalks onto streets. (shrink)

Despite popular representations to the contrary, creative people are rarely insane. But creativity and madness may be connected in other ways; we find suggestions of schizotypy in the biographies of many artists, and schizophrenia and related conditions seem to be disproportionately represented in talented and creative families. There are attractions, therefore, in the idea that creativity depends on the controlled deployment of capacities that are uncontrolled in psychosis: an idea explored by psychoanalytically inclined writers such as Ernst Kris and Hanna (...) Segal. (shrink)

In our article, “Past Facts and The Nature of History”, we unpack a broadly realist view of the nature of history and historical narratives. Paul Roth’s The Philosophical Structure of Historical Explanation serves as our primary foil. Fons DeWulf and Roth have replied, and this is our response to their response.

French mathematician and natural philosopher René Descartes in the early seventeenth century developed his “thinking thing” definition of human being. This ontological construct that places the rational intellect of mankind as separate and superior to the natural world became the centerpiece of the Enlightenment and established the Modern Age. Descartes’s definition underlay the scientific and industrial revolution, colonialism, and the cultural imperialism of the West to become globalized along with modernity. With the marvelous technological advances of the worldwide spread of (...) modernity also came devastating climate change and massive biodiversity loss that threatens our species sustainability. The American philosopher John Deely in the early twenty-first century developed his “semiotic animal” definition of human being that places our species within the natural world while being endowed with a unique responsibility toward its preservation and restoration. Deely’s definition is viewed as in consonance with our sustainable Paleolithic animistic ontological orientation centered on accurately interpreting relational being while going beyond it through clarifying the semiotic processes involved in accurate discernment of sustainable activities. It is asserted that replacing Descartes’s thinking thing definition with Deely’s semiotic animal and globalizing it through contemporary communication technology such as the Internet will launch a Semiotic Age and resolve our sustainability crisis. (shrink)

This paper argues that we need to look beyond Bayesian decision theory for an answer to the general problem of making rational decisions under uncertainty. The view that Bayesian decision theory is only genuinely valid in a small world was asserted very firmly by Leonard Savage [18] when laying down the principles of the theory in his path-breaking Foundations of Statistics. He makes the distinction between small and large worlds in a folksy way by quoting the proverbs ”Look before you (...) leap” and ”Cross that bridge when you come to it”. You are in a small world if it is feasible always to look before you leap. You are in a large world if there are some bridges that you cannot cross before you come to them. As Savage comments, when proverbs conflict, it is proverbially true that there is some truth in both—that they apply in different contexts. He then argues that some decision situations are best modeled in terms of a small world, but others are not. He explicitly rejects the idea that all worlds can be treated as small as both ”ridiculous” and ”preposterous”. The first half of his book is then devoted to a very successful development of the set of ideas now known as Bayesian decision theory for use in small worlds. The second half of the book is an attempt to develop a quite different set of ideas for use in large worlds, but this part of the book is usually said to be a failure by those who are aware of its existence.2 Frank Knight [15] draws a similar distinction between making decision under risk or uncertainty.3 The pioneering work of Gilboa and Schmeidler [7] on making.. (shrink)

Playing for Real is a problem-based textbook on game theory that has been widely used at both the undergraduate and graduate levels. This Coursepack Edition will be particularly useful for teachers new to the subject. It contains only the material necessary for a course of ten, two-hour lectures plus problem classes and comes with a disk of teaching aids including pdf files of the author's own lecture presentations together with two series of weekly exercise sets with answers and two sample (...) final exams with answers. There are at least three questions a game theory book might answer: What is game theory about? How is game theory applied? Why is game theory right? Playing for Real is perhaps the only book that attempts to answer all three questions without getting heavily mathematical. Its many problems and examples are an integral part of its approach. Just as athletes take pleasure in training their bodies, there is much satisfaction to be found in training one's mind to think in a way that is simultaneously rational and creative. With all of its puzzles and paradoxes, game theory provides a magnificent mental gymnasium for this purpose. It is the author's hope that exercising on the equipment provided by this Coursepack Edition will bring the reader the same kind of pleasure that it has brought to so many other students. (shrink)

Accession Number: ATLA0001712251; Hosting Book Page Citation: p 523-546.; Physical Description: diag ; Language(s): English; General Note: Bibliography: p 544-546.; Issued by ATLA: 20130825; Publication Type: Essay.

The Edinburgh Medical Group Research Project is unique in Britain. Part of its function is to experiment with teaching medical ethics both inside and outside of the Medical School. The papers which follow have been written by two full-time reseach fellows working with the Project and two of the professional advisers, one nursing and one medical. Together they give a picture of the wide scope of exerimental teaching taking place in Edinburgh and present some preliminary results from these experiments.

First published in 1980, this book questions many of the assumptions that have accumulated around the subject of intonation as it occurs in spontaneous speech, as well as texts read aloud. The book suggests alternative ways of examining the subject and primarily uses data derived from Edinburgh speech, which is explicitly compared with descriptions of standard southern English.The book critically examines many conventional assumptions made about the formal features of intonation, particularly 'tonic' or primary stress', and about the functions of (...) intonation, specifically rising intonation. A model of intonation is presented which demonstrates that the limited resources of intonation are exploited by several different expressive systems. This approach is justified in detailed analysis of extensive stretches of speech, supported by instrumental analysis as well as by experiments which elicit judgements by both naïve and phonetically trained judges. (shrink)

For more than 10 years, Ulrich Beck has dominated discussion of risk issues in the social sciences. We argue that Beck's criticisms of the theory and practise of risk analysis are groundless. His understanding of what risk is is badly flawed. His attempt to identify risk and risk perception fails. He misunderstands and distorts the use of probability in risk analysis. His comments about the insurance industry show that he does not understand some of the basics of that industry. And (...) his assertions about the wrongness of allowing acceptable levels of exposure to toxic chemicals do not stand up to scrutiny. Key Words: Beck • risk analysis • risk perception • probability • insurance. (shrink)

Among other things, Baumard et al.'s considers the enforcement and establishment of moral norms, the interpersonal comparison of welfare, and the structure of fairness norms. This commentary draws attention to the relevance of the game theory literature to the first and second topic, and the social psychology literature to the third topic.

This chapter presents an overview of the book. It argues that the metaphysical approach to ethics is a failure and that the time has come to take a scientific view of morality. A social contract is taken to be the set of common understandings that allow the citizens of a society to coordinate. Such social contracts are seen as the product of biological and cultural evolution. To survive, a social contract must therefore be an equilibrium in the repeated game of (...) life played by a society. Since the folk theorem of repeated game theory says that there are large numbers of such equilibria, fairness norms then become explicable as an equilibrium selection device that selects one of the many efficient equilibria of a society's game of life. It is suggested that the deep structure of such fairness norms is captured by John Rawls' notion of the original position, and is therefore universal in the human species. On the other hand, the standard of interpersonal comparison needed as an input to the original position is culturally determined. (shrink)

The following responses to the scholars who were kind enough to comment on my Natural Justice in this symposium have been kept to a minimum by addressing only issues where I think a misunderstanding may have arisen.

This chapter looks to the broad consequences of the theory of fairness advanced in this book to questions of social reform. The traditional spectrum of political attitudes that ranges from the utilitarian left to the libertarian right is rejected in favor of a more realistic opposition between the neofeudal societies in which we currently live, and the prospect of fairer and freer societies that could be created by a planned program of decentralization which is identified with the whiggery that inspired (...) the Glorious Revolution of 1688 and the Declaration of Independence of 1776. The contribution that game theory can make to such a program is briefly reviewed along with the deficiencies of the current theory. (shrink)

This article is a contribution to a symposium celebrating the life of Patrick Suppes. It describes the context in which he made contributions relevant to two extremes of the game theory spectrum. At one extreme, he made an experimental study of whether laboratory subjects learn to use Von Neumann’s minimax theory in games of pure conflict. At the other extreme, he invented a theory of empathetic identification that lies at the root of an approach to making interpersonal comparisons needed for (...) the study of games in which cooperation is central rather than conflict. These pieces of work are peripheral to his major interests, but they nevertheless illustrate how it is possible to be an academic success without conceding anything to current academic fashion. (shrink)

In Denis Walsh’s Organisms, Agency, and Evolution, he argues that new developments in the science of biology motivate a radical change to our metaphysical picture of life: what he calls ‘Situated Darwinism’. The central claim is that we should take the biological world to be at base about organisms, and organisms in a fundamentally teleological sense. We critically examine Walsh’s arguments and suggest further developments.

Ken Elkins retired as chief photographer of the Anniston Star in 2000, and this selection of his work demonstrates his brilliant eye for finding and capturing images of rural southern lives and landscapes in all their difficulty, candor, and humor. These are unadorned images of a timeless landscape and proud resourceful people, who know well their neighbors, honor their past, and face the tests of daily life with wit and a stoic sense of endurance.

v. 1. The spectrum of consciousness ; No boundary ; Selected essays -- v. 2. The Atman Project ; Up from Eden -- v. 3. A sociable god ; Eye to eye -- v. 4. Integral psychology ; Transformations of consciousness ; Selected essays -- v. 5. Grace and grit : spirituality and healing in the life and death of Treya Killam Wilber. 2nd ed. -- v. 6. Sex, ecology, spirituality : the spirit of evolution. 2nd, rev. ed. -- v. (...) 7. A brief history of everything ; The eye of spirit -- v. 8. The marriage of sense and soul ; One taste. (shrink)

Ever since the publication of his first book, The Spectrum of Consciousness, written when he was twenty-three, Ken Wilber has been identified as the most comprehensive philosophical thinker of our times. This introductory sampler, designed to acquaint newcomers with his work, contains brief passages from his most popular books, ranging over a variety of topics, including levels of consciousness, mystical experience, meditation practice, death, the perennial philosophy, and Wilber's integral approach to reality, integrating matter, body, mind, soul, and spirit. Here (...) is Wilber's writing at its most reader-friendly, discussing essential ideas of the world's great psychological, philosophical, and spiritual traditions in language that is lucid, engaging, and inspirational. (shrink)

In his book, philosopher and law professor Ken Levy explains why he agrees with most people, but not with most other philosophers, about free will and responsibility. Most people believe that we have both - that is, that our choices, decisions, and actions are neither determined nor undetermined but rather fully self-determined. By contrast, most philosophers understand just how difficult it is to defend this "metaphysical libertarian" position. So they tend to opt for two other theories: "responsibility skepticism" and "compatibilism". (...) In opposition to both of these theories, Levy explains how free will and responsibility are indeed metaphysically possible. But he also cautions against the dogma that metaphysical libertarianism is actually true, a widespread belief that continues to cause serious social, political, and legal harms. Levy's book presents a crisp, tight, historically informed discussion, with fresh clarity, insight, and originality. It will become one of the definitive resources for students, academics, and general readers in this critical intersection among metaphysics, ethics, and criminal law. Key features: Presents a unique, qualified defense of "metaphysical libertarianism," the idea that our choices, decisions, and actions can be fully self-determined. Written clearly, accessibly, and with minimal jargon - rare for a book on the very difficult issues of free will and responsibility. Seamlessly connects philosophical, legal, psychological, and political issues. Will be provocative and insightful for professional philosophers, students, and non-philosophers. (shrink)