This paper focuses on the ethical and moral implications of findings from the authors? national survey of television news directors? policies, practices, and perceptions of good/bad news. In light of the potentially negative effects of excessive amounts of bad news on individuals and society, the authors ask whether television journalists have an ethical responsibility?beyond legal constraints and professional criteria?in the selection and presentation of bad news and good news. An earlier version of this paper, detailing the findings of the survey, (...) was presented to the Radio?TV Journalism Division of the Association for Education in Journalism and Mass Communication in August, 1986. (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)

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)

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.

The greatest threat faced by wild animals often comes from the destruction of their habitats by humans. Traditional environmental-conservation paradigms often fail to prevent this destruction. This paper claims that, where access to habitat is a necessary condition of their continued existence or wellbeing, wild animals have sufficiently strong interests in their habitat to generate rights to it. The paper argues that these rights should be instantiated in the form of collective usufructuary property rights, and, in cases of serious and (...) systematic violation of these rights, wild animals gain a remedial right of secession for their habitat. (shrink)

This paper presents a new way of thinking about the relationship between humans and the nonhuman animals in their care. Most ethical analysis of the treatment of nonhuman animals has focussed on questions of moral status, justice, and the wrongness of harming them. This paper does something different, it examines the role played by trust in interspecies relationships. In both agriculture and laboratory settings, humans deliberately foster trusting relationships with nonhuman animals. An intrinsic feature of the trusting relationship in these (...) settings is that it is created in order to be exploited and betrayed. However, little consideration has been given to asking what a deliberate betrayal of another species says about the character of those who carry out the betrayals. This paper argues that regardless of the moral status of nonhuman animals, a willingness to foster trust in order to exploit the vulnerability of a nonhuman suggests a serious character flaw. Our failure thus far to apprehend systematic forms of betrayal indicates a moral blind-spot when it comes to other species. (shrink)

Quillen [17] introduced model categories as an abstract framework for homotopy theory which would apply to a wide range of mathematical settings. By all accounts this program has been a success and—as, e.g., the work of Voevodsky on the homotopy theory of schemes [15] or the work of Joyal [11, 12] and Lurie [13] on quasicategories seem to indicate—it will likely continue to facilitate mathematical advances. In this paper we present a novel connection between model categories and mathematical logic, inspired (...) by the groupoid model of (intensional) Martin–Löf type theory [14] due to Hofmann and Streicher [9]. In particular, we show that a form of Martin–Löf type theory can be soundly modelled in any model category. This result indicates moreover that any model category has an associated “internal language” which is itself a form of Martin-Löf type theory. This suggests applications both to type theory and to homotopy theory. Because Martin–Löf type theory is, in one form or another, the theoretical basis for many of the computer proof assistants currently in use, such as Coq and Agda (cf. [3] and [5]), this promise of applications is of a practical, as well as theoretical, nature. This paper provides a precise indication of this connection between homotopy theory and logic; a more detailed discussion of these and further results will be given in [20]. (shrink)

Animal agriculture predominantly involves farming social animals. At the same time, the nature of agriculture requires severely disrupting, eliminating, and controlling the relationships that matter to those animals, resulting in harm and unhappiness for them. These disruptions harm animals, both physically and psychologically. Stressed animals are also bad for farmers because stressed animals are less safe to handle, produce less, get sick more, and produce poorer quality meat. As a result, considerable efforts have gone into developing stress-reduction methods. Many of (...) these attempt to replicate behaviours or physiological responses that develop or constitute bonding between animals. In other words, humans try to mitigate or ameliorate the damage done by preventing and undermining intraspecies relationships. In doing so, the wrong of relational harms is compounded by an instrumentalisation of trust and care. The techniques used are emblematic of the welfarist approach to animal ethics. Using the example of gentle touching in the farming of cows for beef and dairy, the paper highlights two types of wrong. First, a wrong done in the form of relational harms, and second, a wrong done by instrumentalising relationships of care and trust. Relational harms are done to nonhuman animals, whilst instrumentalisation of care and trust indicates an insensitivity to morally salient features of the situation and a potential character flaw in the agents that carry it out. (shrink)

From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models can be topologized in such a way that the theory can be recovered from its space of models. The situation can be cast as a formal duality relating two categories of syntax and semantics, mediated by homming into a common dualizing object, in this (...) case 2.In the present work, we generalize the entire arrangement from propositional to first-order logic, using a representation result of Butz and Moerdijk. Boolean algebras are replaced by Boolean categories presented by theories in first-order logic, and spaces of models are replaced by topological groupoids of models and their isomorphisms. A duality between the resulting categories of syntax and semantics, expressed primarily in the form of a contravariant adjunction, is established by homming into a common dualizing object, now Sets, regarded once as a boolean category, and once as a groupoid equipped with an intrinsic topology.The overall framework of our investigation is provided by topos theory. Direct proofs of the main results are given, but the specialist will recognize toposophical ideas in the background. Indeed, the duality between syntax and semantics is really a manifestation of that between algebra and geometry in the two directions of the geometric morphisms that lurk behind our formal theory. Along the way, we give an elementary proof of Butz and Moerdijkʼs result in logical terms. (shrink)

This paper outlines the moral contours of human relationships with companion animals. The paper details three sources of duties to and regarding companion animals: (1) from the animal’s status as property, (2) from the animal’s position in relationships of care, love, and dependency, and (3) from the animal’s status as a sentient being with a good of its own. These three sources of duties supplement one another and not only differentiate relationships with companion animals from wild animals and other categories (...) of domestic animals such as livestock, but they also overlap to provide moral agents with additional reasons for preventing and avoiding harm to companion animals. The paper concludes that not only do owners and bystanders have direct and indirect duties to protect companion animals from harm, but also that these duties have the potential, in some circumstances, to clash with duties owed to the state and fellow citizens. (shrink)

Philosophy &Public Affairs, Volume 52, Issue 2, Page 221-250, Spring 2024.

In this article I propose a cosmopolitan approach to animal rights based upon Kant's right of universal hospitality. Many approaches to animal rights buttress their arguments by finding similarities between humans and non-human animals; in this way they represent or resemble ethics of partiality. In this article I propose an approach to animal rights that initially rejects similarity approaches and is instead based upon the adoption of a cosmopolitan mindset acknowledging and respecting difference. Furthermore, and in agreement with Martha Nussbaum, (...) and Sue Donaldson and Will Kymlicka, I endorse the view that theories of animal rights need to be theories of justice and include a political component. Contra Donaldson and Kymlicka, however, I argue that the starting point for analysis of political theories of animal rights should be at the global rather than national level. Taking animals as strangers, I propose adopting a Kantian cosmopolitan mindset and ethic of universal hospitality towards them. I address how a ius cosmopoliticum that is hospitable to the interests of non-human animals can govern interactions with animals on fair terms, and I respond to concerns that cosmopolitanism cannot accommodate non-human animals because it is a democratic ideal, is grounded in logocentrism or rests upon ownership of territory by humans. (shrink)

of type theory has been used successfully to formalize large parts of constructive mathematics, such as the theory of generalized recursive definitions [NPS90, ML79]. Moreover, it is also employed extensively as a framework for the development of high-level programming languages, in virtue of its combination of expressive strength and desirable proof-theoretic properties [NPS90, Str91]. In addition to simple types A, B, . . . and their terms x : A b(x) : B, the theory also has dependent types x : (...) A B(x), which are regarded as indexed families of types. There are simple type forming operations A × B and A → B, as well as operations on dependent types, including in particular the sum x:A B(x) and product x:A B(x) types (see the appendix for details). The Curry-Howard interpretation of the operations A × B and A → B is as propositional conjunction and.. (shrink)

An anthology of new translations of essential readings from the classical texts of early Chinese philosophy. It includes the Analects of Confucius, Meng Zi (Mencius), Xun Zi, Mo Zi, Lao Zi (Dao De Jing), Zhuang Zi, and Han Fei Zi, as well as short chapters on the Da Xue and the Zhong Yong. Pedagogically organized, it offers philosophically sophisticated annotations and commentaries as well as an extensive glossary explaining key philosophical concepts in detail.

In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown to provide models of the aforementioned set theories. Finally, models of these theories are constructed in the category of (...) ideals. (shrink)

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions . As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo-Fraenkel set theory. (shrink)

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo—Fraenkel set theory (IZF). (shrink)

Increasingly, protests occur across borders and are carried out by non-nationals. Many of these protests include elements that break the laws of their host country and are aimed at issues of global concern. Despite the increasing frequency of transnational protest, little ethical consideration has been given to it. This article provides a cosmopolitan justification for transnational disobedience on behalf of self and others. The article argues that individuals may be justified in illegally protesting in other states, and that in some (...) circumstances they may do so even when laws have been legitimately constituted by the domestic constituencies of those states. Using a cosmopolitan reading of the notion of civility and of the civil realm, the article argues that transnational protests are capable of conforming to the normative and conceptual standards necessary for them to be labelled civil disobedience. As a result, they ought to carry a privileged moral status compared with other forms of protest. The article applies the All Affected Principle to argue that a democratic deficit can provide transnational protesters and resident migrants with a right to civil disobedience even where that right is not held by members of the demos they protest within. (shrink)

We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E. In contrast to the well-known interpretation of higher-order logic, the type of propositions is not interpreted by the subobject classifier ΩE, but rather by a suitable complete Heyting algebra H. The canonical map relating H and ΩE both serves to interpret equality and provides a modal operator on H in the form of a comonad. Examples of such structures arise from surjective geometric morphisms (...) f : F → E, where H = f∗ΩF. The logic differs from non-modal higher-order logic in that the principles of functional and propositional extensionality are not longer valid but may be replaced by modalized versions. The usual Kripke, neighborhood, and sheaf semantics for propositional and first-order modal logic are subsumed by this notion. (shrink)

How do exercises of authority different from requests, threats and advice? It is common to answer this question by emphasising the role of obligation, or the role of justified coercion, to the exclusion of the other. Using a distinction between an office of authority and an exercise of authority, I develop a taxonomy of such views of authority and present arguments against each of them. In place of these views, I argue for a symmetrical view of obligation and coercion within (...) legal authority. On my view, authority is a conformance of one’s will to another’s will that the subject could recognise as consistent with the law’s respect for her, and this implies that obligation and coercion can equally be exercises of authority. (shrink)

As McKinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for propositional modal logic, in which the “necessity” operation is modeled by taking the interior of an arbitrary subset of a topological space. In this article, the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.

In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir Voevodsky’s univalent interpretation of it. This interpretation has given rise to the univalent foundations program, which is the topic of the current special year at the Institute for Advanced Study.

The fundamental duality theories relating algebra and geometry that were discovered in the mid-twentieth century can also be applied to logic via its algebraization under categorical logic. They thereby result in known and new completeness theorems. This idea can be taken even further via what is sometimes called “categorification” to establish a new connection between logic and geometry, a glimpse of which can also be had in topos theory.

Animal activists sometimes engage in vigils and acts of witnessing as forms of political protest. For example, the Animal Save Movement, a global activist network, regards witnessing the suffering of non-human animals as a moral duty of veganism. The act of witnessing is intended to non-violently communicate both attitudes and principles. These forms of activism are unlike other forms of protest, relying for much of their force upon passive, non-confrontational actions. This article explores the ethical character of vigils and witnessing (...) in order to evaluate their role in animal rights activism. It argues that the love-based ethic behind the Animal Save Movement's form of witnessing is overly demanding, overly expansive and overly deferential towards wrongdoers. In its place, this article offers a narrower account of witnessing, detached from controversial spiritual elements. Vigils and conscious acts of witnessing, it is claimed, are political acts aimed at fulfilling duties to seek justice for non-human animals. (shrink)

The failed criterion of logical truth proposed by Carnap in the Logical Syntax of Language was based on the determinateness of all logical and mathematical statements. It is related to a conception which is independent of the specifics of the system of the Syntax, hints of which occur elsewhere in Carnap’s writings, and those of others. What is essential is the idea that the logical terms are invariant under reinterpretation of the empirical terms, and are therefore semantically determinate. A certain (...) objection to Carnap’s version of the invariance conception has been repeated several times in the literature. It is based on Gödel incompleteness, which is puzzling, since Carnap’s Syntax is otherwise quite careful to take account of Gödel. We show here that, in fact, the objection is invalid and is based on a confusion about determinacy. Sorting this out is worthwhile not only for the purpose of better understanding Carnap’s thinking in the Syntax, though. The invariance conception is also related to recent work in the philosophy of logic regarding “logicality”—the characterization of logical concepts—following a proposal of Tarski’s. It is even connected to some very recent developments in the foundations of mathematics. (shrink)

: The role of vagueness in the Laozi is explored by investigating its connection with "process." First, a hermeneutic methodology is developed and adopted, derived from Peirce's notion of "abduction." Second, this notion is analyzed, and several distinctive characteristics, or "traces," of vagueness are identified. Third, evidence of these traces in the text of the Laozi is collected, with comments on their significance in the Daoist context.

This work is a step toward the development of a logic for types and computation that includes not only the usual spaces of mathematics and constructions, but also spaces from logic and domain theory. Using realizability, we investigate a configuration of three toposes that we regard as describing a notion of relative computability. Attention is focussed on a certain local map of toposes, which we first study axiomatically, and then by deriving a modal calculus as its internal logic. The resulting (...) framework is intended as a setting for the logical and categorical study of relative computability. (shrink)

From Antiphilosophy to Worlds and from Beckett to Wittgenstein, the 110 entries in this dictionary provide detailed explanations and engagements with Badious's key concepts and major interlocutors.

Baer et al. seek to develop a single index for distributing the burdens associated with climate change mitigation and adaptation, and to do so in a...

Many paradigmatic forms of animal rights and environmental activism have been classed as terrorism both in popular discourse and in law. This paper argues that the labelling of many violent forms of direct action carried out in the name of animal rights or environmentalism as ‘terrorism’ is incorrect. Furthermore, the claim is also made that even those acts which are correctly termed as terrorism are not necessarily wrongful acts. The result of this analysis is to call into question the terms (...) of public debate and the legitimacy of anti-terrorism laws targeting and punishing radical activism. (shrink)

Image factorizations in regular categories are stable under pullbacks, so they model a natural modal operator in dependent type theory. This unary type constructor [A] has turned up previously in a syntactic form as a way of erasing computational content, and formalizing a notion of proof irrelevance. Indeed, semantically, the notion of a support is sometimes used as surrogate proposition asserting inhabitation of an indexed family. We give rules for bracket types in dependent type theory and provide complete semantics using (...) regular categories. We show that dependent type theory with the unit type, strong extensional equality types, strong dependent sums, and bracket types is the internal type theory of regular categories, in the same way that the usual dependent type theory with dependent sums and products is the internal type theory of locally Cartesian closed categories. We also show how to interpret first-order logic in type theory with brackets, and we make use of the translation to compare type theory with logic. Specifically, we show that the propositions-as-types interpretation is complete with respect to a certain fragment of intuitionistic first-order logic, in the sense that a formula from the fragment is derivable in intuitionistic first-order logic if, and only if, its interpretation in dependent type theory is inhabited. As a consequence, a modified double-negation translation into type theory (without bracket types) is complete, in the same sense, for all of classical first-order logic. (shrink)

Three different styles of foundations of mathematics are now commonplace: set theory, type theory, and category theory. How do they relate, and how do they differ? What advantages and disadvantages does each one have over the others? We pursue these questions by considering interpretations of each system into the others and examining the preservation and loss of mathematical content thereby. In order to stay focused on the “big picture”, we merely sketch the overall form of each construction, referring to the (...) literature for details. Each of the three steps considered below is based on more recent logical research than the preceding one. The first step from sets to types is essentially the familiar idea of set theoretic semantics for a syntactic system, i.e. giving a model; we take a brief glance at this step from the current point of view, mainly just to fix ideas and notation. The second step from types to categories is known to categorical logicians as the construction of a “syntactic category”; we give some specifics for the benefit of the reader who is not familiar with it. The third step from categories to sets is based on quite recent work, but captures in a precise way an intuition from the early days of foundational studies. With these pieces in place, we can then draw some conclusions regarding the differences between the three schemes, and their relative merits. In particular, it is possible to state more precisely why the methods of category theory are more appropriate to philosophical structuralism. (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)

For Peter Sloterdijk, Friedrich Nietzsche represents nothing short of a "catastrophe in the history of language" -- a new evangelist for a linguistics of narcissistic jubilation. Nietzsche offered a philosophical declaration of independence from humility, a meeting-point of sobriety and megalomania that for Sloterdijk has come to define the very project of philosophy. Yet for all the significance of this language-event named Nietzsche, Nietzsche's contributions have too often been elided and the contradictions at the root of his philosophy too often (...) edited out. As Sloterdijk observes, "Never has an author so insisted on distinction and yet attracted such vulgarity." Nietzsche Apostle, drawn from a speech Sloterdijk gave in 2000 on the hundredth anniversary of Nietzsche's death, looks at the ways in which Nietzsche has been branded over the years through selective compilation, and at the ways in which Nietzsche turned himself into a brand -- a brand announced by his proclaimed "fifth Gospel," _Thus Spoke Zarathustra_. For Sloterdijk, the focus should not be on the figure of Zarathustra or on the "will to power" often used as a kind of philosophical shorthand to sum up Nietzsche's work, but on Zarathustra's act of "speaking" itself. _Nietzsche Apostle_ offers a brief history of self-praise and self-affirmation, an examination of the evolution of boasting, and a very original approach to Nietzsche, philosophy's first designer brand of individualism. (shrink)

Peter Sloterdijk first became known in this country for his late 1980s Critique of Cynical Reason, which confronted headlong the "enlightened false consciousness" of Habermasian critical theory. Two decades later, after spending seven years in India studying Eastern philosophy, he is now attracting renewed interest for his writings on politics and globalization and for his magnum opus Spheres, a three-volume archaeology of the human attempt to dwell within spaces, from womb to globe: Bubbles, 1998; Globes, 1999; Foam, 2004, all forthcoming (...) from Semiotext. In Neither Sun nor Death, Sloterdijk answers questions posed by German writer Hans-Jürgen Heinrichs, commenting on such issues as technological mutation, development media, communication technologies, and his own intellectual itinerary.Iconoclastic and provocative, alternatively sparkling and bombastic, a child of '68 and a libertarian, Sloterdijk is the most exciting and controversial German philosopher to appear on the world scene since Nietzsche and Heidegger. Like Nietzsche, Sloterdijk remains convinced that contemporary philosophers have to think dangerously and let themselves be "kidnapped" by contemporary "hypercomplexities"; they must forsake our present humanist and nationalist world for a wider horizon at once ecological and global.Neither Sun nor Death is the best introduction available to Sloterdijk's philosophical theory of globalization. It reveals a philosophe extraordinaire, encyclopedic and provocative, as much at ease with current French Theory as with Heidegger and Indian mystic Osho Rajneesh. (shrink)

The [lambda]-calculus can be represented topologically by assigning certain spaces to the types and certain continuous maps to the terms. Using a recent result from category theory, the usual calculus of [lambda]-conversion is shown to be deductively complete with respect to such topological semantics. It is also shown to be functionally complete, in the sense that there is always a ‘minimal’ topological model in which every continuous function is [lambda]-definable. These results subsume earlier ones using cartesian closed categories, as well (...) as those employing so-called Henkin and Kripke [lambda]-models. (shrink)