Presents a mathematically rigorous, philosophically sound foundation for a science of information.

Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper motivates the development of hybrid languages, sketches their history, and examines the expressive power of three hybrid binders. We show that all three binders give rise to languages strictly weaker than the corresponding first-order language, that full first-order expressivity can be gained by adding the universal modality, and that all three binders can force the existence of infinite models and have undecidable satisfiability (...) problems. (shrink)

In this paper we explore the relationship between norms of belief revision that may be adopted by members of a community and the resulting dynamic properties of the distribution of beliefs across that community. We show that at a qualitative level many aspects of social belief change can be obtained from a very simple model, which we call ‘threshold influence’. In particular, we focus on the question of what makes the beliefs of a community stable under various dynamical situations. We (...) also consider refinements and alternatives to the ‘threshold’ model, the most significant of which is to consider changes to plausibility judgements rather than mere beliefs. We show first that some such change is mandated by difficult problems with belief-based dynamics related to the need to decide on an order in which different beliefs are considered. Secondly, we show that the resulting plausibility-based account results in a deterministic dynamical system that is non-deterministic at the level of beliefs. (shrink)

We shed light on an old problem by showing that the logic LP cannot define a binary connective $\odot$ obeying detachment in the sense that every valuation satisfying $\varphi$ and $(\varphi\odot\psi)$ also satisfies $\psi$ , except trivially. We derive this as a corollary of a more general result concerning variable sharing.

The problem of trust in social relationships was central to the emergence of the modern form of civil society and much discussed by social and political philosophers of the early modern period. Over the past few years, in response to the profound changes associated with postmodernity, trust has returned to the attention of political scientists, sociologists, economists, and public policy analysts. In this sequel to his widely admired book, The Idea of Civil Society, Adam Seligman analyzes trust as a fundamental (...) issue of our present social relationships. Setting his discussion in historical and intellectual context, Seligman asks whether trust--which many contemporary critics, from Robert Putnam through Francis Fukuyama, identify as essential in creating a cohesive society--can continue to serve this vital role. Seligman traverses a wide range of examples, from the minutiae of everyday manners to central problems of political and economic life, showing throughout how civility and trust are being displaced in contemporary life by new "external' system constraints inimical to the development of trust. Disturbingly, Seligman shows that trust is losing its unifying power precisely because the individual, long assumed to be the ultimate repository of rights and values, is being reduced to a sum of group identities and an abstract matrix of rules. The irony for Seligman is that, in becoming postmodern, we seem to be moving backward to a premodern condition in which group sanctions rather than trust are the basis of group life. (shrink)

NINE Morality and Prospection -- TEN Prospection Gone Awry: Depression -- ELEVEN Creativity and Aging: What We Can Make With What We Have Left -- Afterword -- Author Index -- Subject Index.

Definitions of terms that are central to a theoretical understanding of the Royal Government of Bhutan's policy of Gross National Happiness.

In this provocative new work of social philosophy, Seligman evaluates modernity's wager, namely, the gambit to liberate the modern individual from external social and religious norms by supplanting them with the rational self as its own ...

This article seeks to challenge the regnant liberal orthodoxy that human rights are the highest and most important of our social virtues. It questions the individualist assumptions of such universa...

THE AUTHOR SHOWS THAT WITTGENSTEIN'S PHENOMENOLOGICAL\nSOUNDING TALK IN "PHILOSOPHICAL INVESTIGATIONS", II, XI,\nABOUT "EXPERIENCING MEANINGS" SHOULD BE UNDERSTOOD AS AN\nALTERNATIVE ACCOUNT OF WHAT WITTGENSTEIN ELSEWHERE REFERS\nTO AS THE "FORM OF LIFE" OR TOTAL CONTEXT WITHIN WHICH\nLINGUISTIC MEANING IS ESTABLISHED AND MAINTAINED. THIS IS\nDONE BY DRAWING CERTAIN ANALOGIES WITH THE EXPERIENCE OF\nSEEING ASPECTS OR SEEING ASPECT SHIFTS FAMILIAR TO\nGESTALTIST PSYCHOLOGY. THESE OTHERWISE PUZZLING PASSAGES\nARE THUS SHOWN TO BE OF A PIECE WITH WITTGENSTEIN'S VIEWS\nAS EXPRESSED IN PART I OF THE "INVESTIGATIONS".

The importance of being ambiguous -- Interlude : ambiguity, order and the deity -- Notation and its limits -- Interlude : the Israelite red heifer and the edge of power in China -- Ritual and the rhythms of ambiguity -- Interlude : crossing the boundaries of empathy -- Shared experience -- Interlude : experience and multiplicity.

How do we thrive in our behaviors and experiences? Positive neuroscience research illuminates the brain mechanisms that enable human flourishing. Supported by the John Templeton Foundation's Positive Neuroscience Project, which Martin E. P. Seligman established in 2008, Positive Neuroscience provides an intersection between neuroscience and positive psychology.In this edited volume, leading researchers describe the neuroscience of social bonding, altruism, and the capacities for resilience and creativity. Part I describes the mechanisms that enable humans to connect with one another. Part II (...) focuses on the neural mechanisms underlying the human ability and willingness to confer costly benefits on others. Part III examines the mechanisms by which human brains overcome adversity, create, and discover. Specific topics include: a newly discovered nerve type that appears to be specialized for emotional communication; the effects of parenting on the male brain; how human altruism differs from that of other primates; the neural features of extraordinary altruists who have donated kidneys to strangers; and distinctive patterns of brain wiring that endow some people with exceptional musical abilities. Accessible to a broad academic audience, from advanced undergraduates to senior scholars, these subjects have generated a fascinating and highly convergent set of ideas and results, shaping our understanding of human nature. (shrink)

The complex regulatory framework governing the U.S. health care system can be an obstacle to programming that address health-related social needs. In particular, health care fraud and abuse law is a pernicious barrier as health care organizations may minimize or forego programming altogether out of real and perceived concern for compliance. And because health care organizations have varying resources to navigate and resolve compliance concerns, as well as different levels of risk tolerance, fears related to the legal landscape may further (...) entrench inequities in access to meaningful programs that improve health outcomes. This article uses food and nutrition programming as a case study to explore the complexities presented by this area of law and to highlight pathways forward. (shrink)

The present monograph on Plato's Sophist developed from series of lectures given over a number of years to honours and graduate phi losophy classes in the University of Waterloo. It is hoped that it will prove a useful guide to anyone trying to come to grips with, and gain a perspective of Plato's mature thought. At the same time my study is addressed to the specialist, and I have considered at the appropriate places a good deal of the scholarly literature (...) that has appeared during the last thirty years. In this connection I regret that some of the pub lications which came to my notice after my work was substantially completed (such as KamIah's and Sayre's) have not been referred to in my discussion. As few philosophy students nowadays are familiar with Greek I have (except in a few footnotes) translated as well as transliterated all Greek terms. Citations from Plato's text follow Cornford's admirable trans lation as closely as possible, though the reader will find some significant deviations. The most notable of these concerns the key word on which I have rendered throughout as "being," thus avoiding Cornford's "existence" and "reality" which tend to prejudge the issues which the dialogue raises. (shrink)

Ceteris Paribus clauses in reasoning are used to allow for defeaters of norms, rules or laws, such as in von Wright’s example “I prefer my raincoat over my umbrella, everything else being equal”. In earlier work, a logical analysis is offered in which sets of formulas Γ, embedded in modal operators, provide necessary and sufficient conditions for things to be equal in ceteris paribus clauses. For most laws, the set of things allowed to vary is small, often finite, and so (...) Γ is typically infinite. Yet the axiomatisation they provide is restricted to the special and atypical case in which Γ is finite. We address this problem by being more flexible about ceteris paribus conditions, in two ways. The first is to offer an alternative, slightly more general semantics, in which the set of formulas only give necessary but not sufficient conditions. This permits a simple axiomatisation. (shrink)

This volume presents work that evolved out of the Third Conference on Situation Theory and Its Applications, held at Oiso, Japan, in November of 1991. The chapters presented in this volume continue the mathematical development of situation theory, including the introduction of a graphical notation; and the applications of situation theory discussed are wide-ranging, including topics in natural language semantics and philosophical logic, and exploring the use of information theory in the social sciences. The research presented in this volume reflects (...) a growing international and interdisciplinary activity of importance for many fields concerned with information. (shrink)

Turing's (1936) analysis of effective symbolic procedures is a model of conceptual clarity that plays an essential role in the philosophy of mathematics. Yet appeal is often made to the effectiveness of human procedures in other areas of philosophy. This paper addresses the question of whether Turing's analysis can be applied to a broader class of effective human procedures. We use Sieg's (1994) presentation of Turing's Thesis to argue against Cleland's (1995) objections to Turing machines and we evaluate her proposal (...) to understand the effectiveness of procedures in terms of their reliability and precision. A number of conditions for effectiveness are identified and these are used to provide a general argument against the possibility of a Leibnizian decision procedure. (shrink)