This paper presents completeness and conservative extension results for the boolean extensions of the relevant logic T of Ticket Entailment, and for the contractionless relevant logics TW and RW. Some surprising results are shown for adding the sentential constant t to these boolean relevant logics; specifically, the boolean extensions with t are conservative of the boolean extensions without t, but not of the original logics with t. The special treatment required for the semantic normality of T is also shown along (...) the way. (shrink)

[10] offers two (cut-free) subscripted Gentzen systems, G 2 T + and G 2 R +, which are claimed to be equivalent in an appropriate sense to the positive relevant logics T + and R +, respectively. In this paper we show that that claim is false. We also show that the argument in [10] for the further claim that cut and/or modus ponens is admissible in two other subscripted Gentzen systems, G 1 T + and G 1 R +, (...) is unsound. (shrink)

This paper is a study of four subscripted Gentzen systems G u R +, G u T +, G u RW + and G u TW +. [16] shows that the first three are equivalent to the semilattice relevant logics u R +, u T + and u RW + and conjectures that G u TW + is, equivalent to u TW +. Here we prove Cut Theorems for these systems, and then show that modus ponens is admissible — which (...) is not so trivial as one normally expects. Finally, we give decision procedures for the contractionless systems, G u TW + and G u RW +. (shrink)

A major question for the relevant logics has been, “Under what conditions is Ackermann's ruleγ from -A ∨B andA to inferB, admissible for one of these logics?” For a large number of logics and theories, the question has led to an affirmative answer to theγ problem itself, so that such an answer has almost come to be expected for relevant logics worth taking seriously. We exhibit here, however, another large and interesting class of logics-roughly, the Boolean extensions of theW — (...) free relevant logics (and, precisely, the well-behaved subsystems of the 4-valued logicBN4) — for which γ fails. (shrink)

Although the system T of ticket entailment is obviously related to its cousins E and R , it is motivated along quite distinctive lines in Anderson and Belnap [1975]. It would seem, accordingly, that T is more nearly akin to the system P W studied in Martin [1978] than to E and R. The result presented here, however, at least suggests the contrary.

Since Darwin, the idea of psychological continuity between humans and other animals has dominated theory and research in investigating the minds of other species. Indeed, the field of comparative psychology was founded on two assumptions. First, it was assumed that introspection could provide humans with reliable knowledge about the causal connection between specific mental states and specific behaviors. Second, it was assumed that in those cases in which other species exhibited behaviors similar to our own, similar psychological causes were at (...) work. In this paper, we show how this argument by analogy is flawed with respect to the case of second‐order mental states. As a test case, we focus on the question of how other species conceive of visual attention, and in particular whether chimpanzees interpret seeing as a mentalistic event involving internal states of perception, attention, and belief. We conclude that chimpanzees do not reason about seeing in this manner, and indeed, there is considerable reason to suppose that they do not harbor representations of mental states in general. We propose a reinterpretation model in which the majority of the rich social behaviors that humans and other primates share in common emerged long before the human lineage evolved the psychological means of interpreting those behaviors in mentalistic terms. Although humans, chimpanzees, and most other species may be said to possess mental states, humans alone may have evolved a cognitive specialization for reasoning about such states. (shrink)

Corporate sustainability can be defined as organizations’ commitment to profitability, environment, and social well-being. This study uses a transactional culture analysis of CS reporting practices to explain why some Indian organizations conform to voluntary CS reporting guidelines and others do not. The literature contains two different perspectives on culture, defined broadly as a set of values that guide people’s behavior at a given time. Most past studies typically use national culture to explain differences in CS practices across nations. This concept (...) embeds corporate cultures within the larger national culture, neglecting intranation diversity. Conversely, according to the transactional culture approach used in this study, cultures are plural and independent of geoethnic boundaries, and emerge through social transactions. TCA encourages multilevel explorations of complex social phenomena. Since CS reporting preferences are the outcome of ongoing transactions among organizational stakeholders across different levels, TCA is more appropriate for this study. Since this application requires an understanding of social accountability, the authors use Mary Douglas’s Cultural Framework, a transactional framework of social accountability. A qualitative exploration of six Indian organizations using DCF reveals different dominant forms of social accountability in these organizations: either alone or as paired hybrids. Consequently, each organization prioritizes different stakeholders and reacts differently to voluntary CS reporting guidelines. Identifying the dominant form or forms of social accountability in their organizations and understanding their underlying reasons for resisting voluntary CS guidelines enables managers to secure better collaboration for their CS initiatives. (shrink)

Thomas Kuhn's _Structure of Scientific Revolutions_ has sold over a million copies in more than twenty languages and has remained one of the ten most cited academic works for the past half century. In contrast, Karl Popper's seminal book _The Logic of Scientific Discovery_ has lapsed into relative obscurity. Although the two men debated the nature of science only once, the legacy of this encounter has dominated intellectual and public discussions on the topic ever since. Almost universally recognized as the (...) modern watershed in the philosophy of science, Kuhn's relativistic vision of shifting paradigms -- which asserted that science was just another human activity, like art or philosophy, only more specialized -- triumphed over Popper's more positivistic belief in science's revolutionary potential to falsify society's dogmas. But has this victory been beneficial for science? Steve Fuller argues that not only has Kuhn's dominance had an adverse impact on the field but both thinkers have been radically misinterpreted in the process. This debate raises a vital question: Can science remain an independent, progressive force in society, or is it destined to continue as the technical wing of the military-industrial complex? Drawing on original research -- including the Kuhn archives at MIT -- Fuller offers a clear account of "Kuhn vs. Popper" and what it will mean for the future of scientific inquiry. (shrink)

Steve Coutinho explores in detail the fundamental concepts of Daoist thought as represented in three early texts: the _Laozi_, the _Zhuangzi_, and the _Liezi_. Readers interested in philosophy yet unfamiliar with Daoism will gain a comprehensive understanding of these works from this analysis, and readers fascinated by ancient China who also wish to grasp its philosophical foundations will appreciate the clarity and depth of Coutinho's explanations. Coutinho writes a volume for all readers, whether or not they have a background (...) in philosophy or Chinese studies. A work of comparative philosophy, this volume also integrates the concepts and methods of contemporary philosophical discourse into a discussion of early Chinese thought. The resulting dialogue relates ancient Chinese thought to contemporary philosophical issues and uses modern Western ideas and approaches to throw new interpretive light on classical texts. Rather than function as historical curiosities, these works act as living philosophies in conversation with contemporary thought and experience. Coutinho respects the multiplicity of Daoist philosophies while also revealing a distinctive philosophical sensibility, and he provides clear explanations of these complex texts without resorting to oversimplification. (shrink)

This book introduces the history of third way ideology, surveys its various contrasting forms and locates it within the context of a recurrent crisis of modern European ideologies.

An affirmative answer is given to the question quoted in the title.

Over the last century, psychoanalysis has transformed the ways in which we think about our relationships with others. Psychoanalytic concepts and methods, such as the unconscious and dream analysis, have greatly impacted on social, cultural and political theory. Reinterpreting the ways in which geography has explored people's mental maps and their deepest feelings about places, The Body and the City outlines a new cartography of the subject. Mapping key coordinates of meaning, identity and power across the sites of body and (...) city, author Steve Pile explores a wide range of critical thinking, particularly the work of Lefebvre, Freud and Lacan to present a pathbreaking psychoanalysis of space. (shrink)

Comics writer and artist Frank Miller reinvented Batman, bringing greater emotional, moral, and political depth to the character. This chapter considers Batman’s ethics and politics, examining his rejection of utilitarianism, his embrace of the will to power, his Kantian dilemma when dealing with the Joker, and the distinction to be drawn between Miller’s own libertarianism and Bruce Wayne’s Bat-Libertarianism.

The essays complement one another to provide a tour of the complexities and richness of contemporary modes of critique.

Steve Awodey and Erich H. Reck. Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.

A systematic outline of how the environmental crisis is transforming political theory's fundamental concepts.

This paper explores the implications of libertarianism for welfare policy. There are two central arguments. First, the paper argues that if one adopts a libertarian framework, it makes most sense to be a Lockean right-libertarian. Second, the paper argues that this form of libertarianism leads to the endorsement of a fairly extensive set of redistributive welfare programs. Specifically, the paper argues that Lockean right-libertarians are committed to endorsing welfare programs under which the receipt of benefits is conditional on meeting a (...) work requirement, and also endorsing some form of publicly funded jobs of last resort for potential welfare recipients. (shrink)

This brief article is intended to introduce the reader to the field of algebraic set theory, in which models of set theory of a new and fascinating kind are determined algebraically. The method is quite robust, applying to various classical, intuitionistic, and constructive set theories. Under this scheme some familiar set theoretic properties are related to algebraic ones, while others result from logical constraints. Conventional elementary set theories are complete with respect to algebraic models, which arise in a variety of (...) ways, including topologically, type-theoretically, and through variation. Many previous results from topos theory involving realizability, permutation, and sheaf models of set theory are subsumed, and the prospects for further such unification seem bright. (shrink)

Standard epistemology takes it for granted that there is a special kind of value: epistemic value. This claim does not seem to sit well with act utilitarianism, however, since it holds that only welfare is of real value. I first develop a particularly utilitarian sense of “epistemic value”, according to which it is closely analogous to the nature of financial value. I then demonstrate the promise this approach has for two current puzzles in the intersection of epistemology and value theory: (...) first, the problem of why knowledge is better than mere true belief, and second, the relation between epistemic justification and responsibility. (shrink)

The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of informal mathematical practice according to which one can identify isomorphic objects. While it is incompatible with conventional foundations, it is a powerful addition to homotopy (...) type theory. It also gives the new system of foundations a distinctly structural character. (shrink)

Following Schelling (1960), coordination problems have mainly been considered in a context where agents can achieve a common goal (e.g., rendezvous) only by taking common actions. Dynamic versions of this problem have been studied by Crawford and Haller (1990), Ponssard (1994), and Kramarz (1996). This paper considers an alternative dynamic formulation in which the common goal (dispersion) can only be achieved by agents taking distinct actions. The goal of spatial dispersion has been studied in static models of habitat selection, location (...) or congestion games, and network analysis. Our results show how this goal can be achieved gradually, by indistinguishable non-communicating agents, in a dynamic setting. (shrink)

How should we treat animals? The long-held belief that other animals exist solely for human use has undergone radical challenge in the past half century. How much further do we need to go to minimize, and even eliminate, animal suffering? The field of animal rights raises big questions about how humans treat the other animals with which we share the planet. These questions are becoming more pressing as livestock farming exerts an ever-greater toll on the planet and the animals themselves, (...) and we learn more about their capacity to think and experience pain. This book shows why animals ought to have greater rights and what the world might look like if they did. (shrink)

Scholarly debate over faux-snuff’s content has predominantly focused on realism and affect. This paper seeks to offer an alternative interpretation, examining what faux-snuff’s form reveals about self. Faux-snuff is typically presented from a first-person perspective, and as such is foundationally invested in the killer’s experiences as they record their murder spree. First then, I propose that the simulated-snuff form reifies self-experience in numerous ways. Faux-snuff’s characteristic formal attributes capture the self’s limited, fractured qualities, for example. Second, I contend that the (...) faux-snuff film’s singular focus lays bare the killer-self. The killer’s identity is principally constituted by the murders they commit. Resultantly, faux-snuff’s victims necessarily affirm the killer qua killer in the moment of murder. However, homicide eradicates the victim. Victims thus vanish in the moment they become the killer’s counter-identity. Consequently, the mock-snuff film centralises not only killing, but also the killer’s self-abnegation. Simulated-snuff’s repeated murders are a compulsive process of becoming in which the killer-self is both reified and erased. Despite presenting events through the killer’s eyes then, the simulated-snuff film can never provide access to the killer. The killer is an absent-presence that also acts as a constant reminder that the viewer is profoundly distanced from the action depicted, despite its apparent immediacy. In sum, faux-snuff commonly combines first-person form with relentless violent content. That melding leads me to scrutinize the apparently absolute binary oppositions at the heart of self-conception. By nature of their approach, these films routinely expose the tipping points between victim/killer, self/other, and life/death. In doing so, simulated-snuff catalyses questions about the self in general, and about our own selves in particular. (shrink)

Drawing on several issues and methods in Western philosophy, from analytical philosophy to semiotics and hermeneutics, the author throws new light on the ancient Zhuangzi text. Engaging Daoism and contemporary Western philosophical logic, and drawing on new developments in our understanding of early Chinese culture, Coutinho challenges the interpretation of Zhuangzi as either a skeptic or a relativist, and instead seeks to explore his philosophy as emphasizing the ineradicable vagueness of language, thought and reality. This new interpretation of the Zhuangzi (...) offers an important development in the understanding of Daoist philosophy, describing a world in flux in which things themselves are vague and inconsistent, and tries to show us a Way (a Dao) to negotiate through the shadows of a "chaotic" world. (shrink)

When the policies and activities of one country or generation harm both other nations and later generations, they constitute serious injustices. Recognizing the broad threat posed by anthropogenic climate change, advocates for an international climate policy development process have expressly aimed to mitigate this pressing contemporary environmental threat in a manner that promotes justice. Yet, while making justice a primary objective of global climate policy has been the movement's noblest aspiration, it remains an onerous challenge for policymakers. -/- Atmospheric Justice (...) is the first single-authored work of political theory that addresses this pressing challenge via the conceptual frameworks of justice, equality, and responsibility. Throughout this incisive study, Steve Vanderheiden points toward ways to achieve environmental justice by exploring how climate change raises issues of both international and intergenerational justice. In addition, he considers how the design of a global climate regime might take these aims into account. Engaging with the principles of renowned political philosopher John Rawls, he expands on them by factoring in the needs of future generations. Vanderheiden also demonstrates how political theory can contribute to reaching a better understanding of the proper human response to climate change. By showing how climate policy offers insights into resolving contemporary controversies within political theory, he illustrates the ways in which applying normative theory to policy allows us to better understand both. -/- Thoroughly researched and persuasively argued, Atmospheric Justice makes an important step toward providing us with a set of carefully elaborated first principles for achieving environmental justice. (shrink)

There is a growing perception among economists that their field is becoming increasingly irrelevant due to its disregard for reality. Critical realism addresses the failure of mainstream economics to explain economic reality and proposes an alternative approach. This book debates the relative strengths and weaknesses of critical realism, in the hopes of developing a more fruitful and relevant socio-economic ontology and methodology. With contributions from some of the leading authorities in economic philosophy, it includes the work of theorists critical of (...) this approach. In the first part, contributors develop and deepen economics as a realist social theory by considering the work of individuals, various schools of thought, socio- economic phenomena and methodology. In the second part, contributors weigh the strengths and weaknesses of critical realism. (shrink)

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems, as well as numerous examples and exercises.