Steve Wilkens edits a conversation between four major approaches to contemporary ethics in the Christian tradition: virtue, divine command, natural law, and prophetic. This accessible introduction includes contributions by Brad Kallenberg, John Hare, Claire Peterson, and Peter Heltzel.

Critical Realism and Marxism addresses controversial debates, revealing a potentially fruitful relationship; deepening our understanding of the social world and contibuting towards eliminating barbarism in contemporary capitalism.

According to a Kantian conception truthfulness is characterised as a requirement of respect for the agency of another. In lying we manipulate the other’s rational capacities to achieve ends we know or fear they may not share. This is paradigmatically a failure of respect. In this paper we argue that the importance of truthfulness also lies in significant part in the ways in which it supports our agential need to make sense of the world, other people, and ourselves. Since sense-making (...) is something we do together, and that we can support or undermine, it generates norms of interaction that constitute a further, distinct, mode of recognition and respect for another’s agency. But the requirements of truthfulness and support for sense-making sometimes conflict. Through a series of cases, we analyze why and when a rigid insistence on truthfulness is disrespectful of the other and undermining of their agency. (shrink)

The idea that humans should abandon their individuality and use technology to bind themselves together into hivemind societies seems both farfetched and frightening – something that is redolent of the worst dystopias from science fiction. In this article, we argue that these common reactions to the ideal of a hivemind society are mistaken. The idea that humans could form hiveminds is sufficiently plausible for its axiological consequences to be taken seriously. Furthermore, far from being a dystopian nightmare, the hivemind society (...) could be desirable and could enable a form of sentient flourishing. Consequently, we should not be so quick to deny it. We provide two arguments in support of this claim – the axiological openness argument and the desirability argument – and then defend it against three major objections. (shrink)

Unemployment is a major concern of societies and people around the world. In addressing this phenomenon, the literature has suggested a change in unemployed people’s perceptions of this transition period. In this paper, we apply a differential approach to explore the concept of unemployment normalization, an individual emotional regulation process. The results show how the global socioeconomic context and some individual and psychological variables influence the normalization of unemployment. Thus, the age of the person but also work involvement, coping strategies, (...) locus of control, and level of self-esteem have indirect differential effects, mediated by unemployment normalization dimensions, on unemployed people’s perceived health. Only neuroticism has a direct link to subjective well-being. These results offer a new understanding of the perception of unemployment and are also discussed in the area of career and vocational counseling. (shrink)

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

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.

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)

Overview * Part I: Introduction * Philip Appleman, Darwin: On Changing the Mind * Part II: Darwin’s Life * Ernst Mayr, Who Is Darwin? * Part III: Scientific Thought: Just before Darwin * Sir Gavin de Beer, Biology before the Beagle * Thomas Robert Malthus, An Essay on the Principle of Population * William Paley, Natural Theology * Jean Baptiste Pierre Antoine de Monet Lamarck, Zoological Philisophy * Charles Lyell, Principles of Geology * John Herschell, The Study of Natural Philosophy (...) * William Whewell, Astronomy and General Physics Considered with Reference to Natural Theology * Alfred Russel Wallace, On the Tendency of Varieties to Depart Indefinitely from the Original Type * Part IV: Selections from Darwin’s Work * The Voyage of the Beagle * o Chapter I. St. Jago-Cape de Verd Island o Chapter XVII. Galapagos Archipelago * On the Tendency of Species to Form Varieties; and On the Perpetuation of Varieties and Species by Natural Means of Selection * o I. Extract from an unpublished Work on Species, by C. Darwin, Esq.... o II.of Letter from C. Darwin, Esq., to Prof. Asa Gray, Boston, U.S., dated Down, September 5th, 1857 * An Historical Sketch of the Progress of Opinion on the Origin of Species, previously to the : Publication of This Work The Origin of Species * o Introduction o Chapter I. Variation under Domestication o Chapter II. Variation under Nature o Chapter III. Struggle for Existence o Chapter IV. Natural Selection o Chapter VI. Difficulties on Theory o Chapter IX. On the Imperfections of the Geological Record o Chapter XIII. Mutual Affinities of Organic Beings: Morphology: Embryology: Rudimentary Organs o Chapter XIV. Recapitulation and Conclusion * The Descent of Man * o Introduction o Chapter I. The Evidence of the Descent of Man from Some Lower Form o Chapter II. On the Manner of Development of Man from Some Lower Form o Chapter III. Comparison of the Mental Powers of Man and the Lower Animals o Chapter VI. On the Affinities and Genealogy of Man o Chapter VIII. Principles of Sexual Selection o Chapter XIX. Secondary Sexual Characters of Man o Chapter XX. Secondary Sexual Characters of Man-continued o Chapter XXI. General Summary and Conclusion * Part V: Darwin’s Influence on Science * THE VICTORIAN OPPOSITION TO DARWIN * o David L. Hull, Darwin and His Critics o Adam Sedgwick, Objections to Mr. Darwin’s Theory of the Origin of Species o Sir Richard Owen, Darwin on the Origin of Species o Fleeming Jenkin, Review of the Origin of Species * VICTORIAN SUPPORTERS OF DARWIN * o Joseph Dalton Hooker, Flora Tasmaniae o Thomas Henry Huxley, On the Relations of Man to the Lowe Animals o Charles Lyell, Principles of Geology o Alfred Russel Wallace, The Debt of Science to Darwin * DARWIN AND THE SHAPING OF MODERN SCIENCE * o Scientific Method in Evolution o National Academy of Sciences, Evolution and the Nature of Science o Richard Dawkins, Explaining the Very Improbable o Lewis Thomas, On the Uncertainty of Science o Noretta Koetge, Postmodernisms and the Problem of Scientific Literary o Richard Dawkins, Science and Sensibility o The Neo-Darwinian Synthesis o Peter Bowler, The Evolutionary Synthesis o The Human Genealogy o Adam Kuper, The Chosen Primate o Ian Tattersall, Out of Africa Again... and Again? o Stephen Jay Gould, The Human Difference o Punctuated Equilibrium o Stephen Jay Gould, [On Punctuated Equilibrium] o Niles Eldredge, The Great Stasis Debate o Rethinking Taxonomy o Kevin Padian, Darwin’s Views of Classification o David L. Hull, Cladistic Analysis o Kevin Padian and Luis M. Chiappe, Cladistics in Action: The Origin of Birds and Their Flight o Evolution as Observable Fact o James L. Gould and William T. Keeton with Carol Grant Gould, How Natural Selection Operates o Peter r. Grant, Natural Selection and Darwin’s Finches o John A. Endler, Natural Selection in the Wild * Part VI: Darwinian Patterns in Social Thought * COMPETITION AND COOPERATION * o Richard Hofstadter, The Vogue of Spencer o Andrew Carnegie, The Gospel of Wealth o Peter Kropotkin, Mutual Aid o Martin A. Nowak, Robert M. May, and Karl Sigmund, The Arithmetics of Mutual Help * NATURE AND NURTURE * o Edward O. Wilson, Sociobiology: The New Synthesis o Stephen Jay Gould, Biological Potentiality vs. Biological Determination o Barbara Ehrenreich and Janet McIntosh, The New Creationism: Biology under Attack * EVOLUTION AND GENDER * o Elizabeth Cady Stanton, The Woman’s Bible o Nancy Makepeace Tanner, On Becoming Human o Evelleen Richards, Darwin and the Descent of Woman o James Eli Adams, Woman Red in Tooth and Claw * EVOLUTION AND OTHER DISCIPLINES * o Edward O. Wilson, [On Consilience] o Randolph H. Nesse and George C. Williams, Evolution and the Origin of Disease o Steven Pinker, How the Mind Works o Steve Jones, The Set within the Skull * Part VII: Darwinian Influences in Philosophy and Ethics * John Dewey, The Influence of Darwin on Philosophy * Daniel C. Dennett, Darwin’s Dangerous Idea: Natural Selection as an Algorithmic Process * Michael Ruse Darwinian Epistemology * Thomas Henry Huxley, Evolution and Ethics * Julian Huxley, Evolutionary Ethics * Michael Ruse and Edward O. Wilson, The Evolution of Ethics * Frans de Waal, Good Natured: The Origin of Right and Wrong in Humans and Other Animals * Matt Ridley, The Origins of Virtue * Part VIII: Evolutionary Theory and Religious Theory * MAINSTREAM RELIGIOUS SUPPORT FOR EVOLUTION * o Pope John Paul II, Message to the Pontifical Academy of Sciences o Central Conference of American Rabbis, On Creationism in School Textbooks o United Presbyterian Church in the U.S.A., Evolution and Creationsim o The Lutheran World Federation, [Statement on Evolution] o The General Convention of the Episcopal Church, Resolution on Evolutionism and Creationism o Unitariuan Universalist Association, Resolution Opposing "Scientific Creationism" * FUNDAMENTALIST CREATIONISM * o Eugene C. Scott, Antievolution and Creationism in the United States o The Scopes Trial o Thomas McIver, Orthodox Jewish Creationists o Harun Yahya, [Islamic Creationism] o Seami Srila Prabhupada, [A Hare Krishna on Darwinian Evolution] o Institute for Creation Research, Tenets of Creationism o Henry M. Morris, Scientific Creationism o Thomas J. Wheeler, Review of Morris o Richard D. Sjolund and Betty McCollister, Evolution at the Grass Roots o Richard D. Sjolund, [Creationism versus Biotechnology] o Betty McCollister, [The Politics of Creationism] o Molleen Matsumara, What Do Christians Really Believe about Evolution? o National Center for Science Education, Seven Significant Court Decisions Regarding Evolution/Creation Issues * PERSONAL INCREDULITY AND ANTIEVOLUTIONISM * o Richard Dawkins, [The Argument from Personal Incredulity] o Phillip E. Johnson, Darwin on Trial o Eugenie C. Scott, Review of Johnson o Michael Behe, Darwin’s Black Box o Robert Dorit, Review of Behe o Michael Ruse, Darwin’s New Critics on Trial * SCIENTISTS’ OPPOSITION TO CREATIONISM * o American Association for the Advancement of Science, Forced Teaching of Creationist Beliefs in Public School Science Education o American Institute of Biological Sciences, Resolution Oposing Creationism in Science Courses o National Association of Biology Teachers, Statement on Teaching Evolution o National Academy of Sciences, Frequently Asked Questions about Evolution and the Nature of Science * FUNDAMENTALIST CREATIONISM AND THE VALUE OF SATIRE * o Michael Shermer, Genesis Revisted: A Scientific Creation Story o Philip Appleman, Darwin’s Ark * Part IX: Darwin and the Literary Mind * DARWIN’S LITERARY SENSIBILITY * o Charles Darwin, Autobiography o L. Robert Stevens, Darwin’s Humane Reading o George Levine, Darwin and Pain: Why Science Made Shakespeare Nauseating o Gillian Beer, Darwin’s Plots * DARWIN’S INFLUENCE ON LITERATURE * o Lionel Stevenson, Darwin among the Poets o George Levine, Darwin among the Novelists o Joseph Wood Krutch, The Tragic Fallacy o Herbert J. Muller, Modern Tragedy o Philip Appleman, Darwin-Sightings in Recent Literature. (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 examines from a cognitive perspective the rhetorical and epistemic advantages that can be gained from the use of (extended) metaphors in political discourse. We defend the assumption that extended metaphors can be argumentatively exploited, and provide two arguments in support of the claim. First, considering that each instantiation of the metaphorical mapping in the text may function as a confirmation of the overall relevance of the main core mapping, we argue that extended metaphors carry self-validating claims that increase (...) the chances of their content being accepted. Second, we show how the recognition of an extended metaphor’s sophistication and relevance (on behalf of the addressee) can benefit the speaker’s perceived competence (ethos). We then assess whether these two arguments measure against the dual epistemic monitoring postulated in the notion of epistemic vigilance (i.e., assessment of the source of a message and assessment of the message) and conclude that extended metaphors may fulfil the requirements of epistemic vigilance and lead to the stabilisation of a belief. We illustrate our account with an analysis of the extended metaphor of the USA as an empire found in a political pamphlet written by the Swiss politician Oskar Freysinger. (shrink)

"The Knowledge Book" is a unique interdisciplinary reference work for students and researchers concerned with the nature of knowledge. It is the first work of its kind to be organized on the assumption that whatever else knowledge might be, it is intrinsically social. The book consists of 42 alphabetically arranged entries on key concepts at the intersection of philosophy and sociology - what used to be called "sociology of knowledge" but is now increasingly called "social epistemology". The entries include concepts (...) common to disciplines that in recent years have devoted more of their attention to knowledge: cultural studies, communication studies, information science, education, policy studies and business studies. Special attention is given to concepts from the emerging field of science and technology studies. Each entry presents a short, self-contained essay providing an overview of a concept and concludes with suggestions for further reading. All the entries are fully cross-referenced, allowing readers to both make connections and follow their own interests. (shrink)

This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (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)

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)

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 (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)

Does the receipt of benefits from some common resource create an obligation to contribute toward its maintenance? If so, what is the basis of this obligation? I consider whether individual contributions to climate change can be impugned as wrongful free riding upon the stability of the planet's climate system, when persons enjoy its benefits but refuse to bear their share of its maintenance costs. Two main arguments will be advanced: the first urges further modification of H.L.A. Hart’s “principle of fairness” (...) as the basis for demanding that would-be free riders pay their fair share in the context of climate change, while the second claims that remedial action on climate change is better captured through collective action analysis than through harm principles that seek to connect individual actions to bad environmental outcomes. (shrink)

BackgroundViral pandemics present a range of ethical challenges for policy makers, not the least among which are difficult decisions about how to allocate scarce healthcare resources. One important question is whether healthcare workers should receive priority access to a vaccine in the event that an effective vaccine becomes available. This question is especially relevant in the coronavirus pandemic with governments and health authorities currently facing questions of distribution of COVID-19 vaccines.Main textIn this article, we critically evaluate the most common ethical (...) arguments for granting healthcare workers priority access to a vaccine. We review the existing literature on this topic, and analyse both deontological and utilitarian arguments in favour of HCW prioritisation. For illustrative purposes, we focus in particular on the distribution of a COVID-19 vaccine. We also explore some practical complexities attendant on arguments in favour of HCW prioritisation.ConclusionsWe argue that there are deontological and utilitarian cases for prioritising HCWs. Indeed, the widely held view that we should prioritise HCWs represents an example of ethical convergence. Complexities arise, however, when considering who should be included in the category of HCW, and who else should receive priority in addition to HCWs. (shrink)

Abbreviations Works by Alfred North Whitehead 1) Adventures of Ideas. New York: Macmillan Co., 1967 AI 2) Concept of Nature. Cambridge: Cambridge University Press, 1971 CN 3) Modes of Thought. New York: Macmillan Co., 1968 MT 4) Process ..

Dans cette entrée, après une introduction qui servira de cadre à notre discussion (section 1.), nous allons présenter et analyser des définitions du concept « Art ». Nous discuterons brièvement les définitions classiques les plus influentes puis nous nous concentrerons sur les principales définitions contemporaines. -/- Nous verrons pourquoi les définitions classiques sont aujourd’hui considérées comme insatisfaisantes (2.a.), et comment les philosophes, à partir de la seconde moitié du XXème siècle ont tenté de pallier leurs défauts. Dans les grandes lignes, (...) le problème principal soulevé à l’encontre des théories classiques est qu’elles cherchent toutes l’essence de l’art dans un trait caractéristique qui serait reconnaissable dans les œuvres elles-mêmes. Les théories contemporaines répondent à ce problème principalement de quatre façons, comme on le verra dans les sections 2.b à 2.d. Les théories sceptiques (2.b.) défendent qu’il est dès lors impossible de définir l’art – qu’on peut au mieux en donner certains caractères typiques, des airs de famille. Les théories relationnalistes (2.c.) défendent que ce qui fait qu’une chose est de l’art est à trouver en dehors de celle-ci, notamment dans les relations qu’elle entretient avec son contexte de création ou de présentation. Les théories néo-classiques (2.d.) continuent à chercher l’essence de l’art dans un trait caractéristique reconnaissable dans les œuvres elles-mêmes tout en prenant en compte les réactions sceptiques ou relationnalistes. Enfin, la théorie du ‘renvoi de la balle’ (2.e.) défend que l’on ne peut pas définir l’art mais seulement des sous-catégories comme la musique, la sculpture, les installations, les performances, etc. -/- Nous présenterons les avantages et les inconvénients principaux des théories contemporaines. Nous verrons qu’aucune n’est dénuée de problèmes, expliquant pourquoi il n’existe pas de consensus sur une définition de l’art aujourd’hui. Nous verrons également que – à l’exception d’un certain scepticisme qui jette, semble-t-il, trop vite l’éponge – chacune de ces théories amène, par son originalité, à une compréhension nouvelle et plus profonde de cette notion extrêmement complexe qu’est le concept « Art ». (shrink)

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)

This article explores the role of changing memes in large systems change toward marriage equality—popularly referred to as same-sex marriage—in the United States. Using an abbreviated case history of the transformation, the article particularly explores the shifting memes or core units of culture, in this case, word phrases associated with marriage equality over time, influencing the social change process. Using both the case history and the empirical work on memes, the article identifies nine lessons to support others tackling large systems (...) change challenges. (shrink)

In the spirit of the pragmatic account of quotation and reporting offered by Macagno and Walton (2017), we outline a systematic pragmatic account of rephrasing. For this purpose, we combine two interrelated methods of inquiry into the variety of uses of rephrase as a persuasive device: (i) the annotation of rephrase types to identify locutionary and illocutionary aspects of rephrase, (ii) the crowd–sourced examination of rephrase types to investigate their perlocutionary effects. As it draws on Waltonian insights and on empirical (...) and experimental research on the (mis)use of rephrase, our approach allows us to ground a novel theoretically–informed and data–driven pragmatic account of rephrase. (shrink)

In the spirit of the pragmatic account of quotation and reporting offered by Macagno and Walton (2017), we outline a systematic pragmatic account of rephrasing. For this purpose, we combine two interrelated methods of inquiry into the variety of uses of rephrase as a persuasive device: (i) the annotation of rephrase types to identify locutionary and illocutionary aspects of rephrase, (ii) the crowd–sourced examination of rephrase types to investigate their perlocutionary effects. As it draws on Waltonian insights and on empirical (...) and experimental research on the (mis)use of rephrase, our approach allows us to ground a novel theoretically–informed and data–driven pragmatic account of rephrase. (shrink)

This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

In what sense is a person addicted to drugs or alcohol incompetent, and so a legitimate object of coercive treatment? The standard tests for competence do not pick out the capacity that is lost in addiction: the capacity to properly regulate consumption. This paper is an attempt to sketch a justificatory framework for understanding the conditions under which addicted persons may be treated against their will. These conditions rarely obtain, for they apply only when addiction is extremely severe and great (...) harm threatens. It will be argued also that to widen the measures currently in place in some jurisdictions, though philosophically well-motivated, would require very strong evidence of a set of conditions disposing a person to an addictive future. It is doubtful that any such currently available evidence is strong enough to justify coercive treatment. Nevertheless, coercive treatment of addiction is already a reality, with the potential for more, and so some discussion will be presented regarding the extraordinary safeguards necessary to prevent misapplication of such treatment policies. (shrink)

This paper constructs models of intuitionistic set theory in suitable categories. First, a Basic Intuitionistic Set Theory (BIST) is stated, and the categorical semantics are given. Second, we give a notion of an ideal over a category, using which one can build a model of BIST in which a given topos occurs as the sets. And third, a sheaf model is given of a Basic Intuitionistic Class Theory conservatively extending BIST. The paper extends the results in [2] by introducing a (...) new and perhaps more natural notion of ideal, and in the class theory of part three. (shrink)

02 This gorgeous book presents and discusses the oils, works on paper, and other artistic creations of William Holman Hunt, one of the three major artistic talents of the Pre-Raphaelite brotherhood. This gorgeous book presents and discusses the oils, works on paper, and other artistic creations of William Holman Hunt, one of the three major artistic talents of the Pre-Raphaelite brotherhood.

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.

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)

Negative attack ads used in political compaigns have been attacked as being unethical because they contribute to voter cynicism and apathy and as being manipulative. From a rhetorical perspective these advertisements serve a positive societal function by creating alternative rhetorical visions that can contribute to the marketplace of ideas.

The current debate on corporate governance has been "polarised" between, on the one hand, the shareholding paradigm and, on the other hand, the stakeholding paradigm. However, underpinning the main theories are hidden paradoxical assumptions that lead to concerns over the credibility and validity of this dichotomised approach. Both camps of the debate rely on a homeostatic and entitative conception of the corporation and its governance structures. Both camps suffer from an inadequate attention to the underlying philosophical presuppositions in which the (...) static approach is rooted. To avoid the traditional trap in theorising, an alternative processual approach is proposed for a better understanding of the inherent overflow and heterogeneity of corporate governance practice. (shrink)