We have a need today to free up the Church in its ability think through and debate its ethical responses to contemporary issues. How do we think about and respond to the issues of crime, punishment and rehabilitation, consumerism - money, banks, economics and bonuses, war and peace making, euthanasia and assisted dying, same sex relationships. etc. ‘We can only act within the world we can envision…. We do not come to see merely by looking, but must develop disciplined skills (...) through initiation into that community that attempts to live faithfully to the story of God…by learning to be faithful disciples, we are more able to see the world as it is.’ Stanley Hauerwas, The Peaceable Kingdom. Ethics provide the cultural and moral framework in which we live our whole lives. Our ethics are like the air we breathe, and though for the most part they go unnoticed, our lives and communities depend on them. But Christian ethics are distinctive. They are not just anyone’s ethics. Indeed, if the Christian vision is not distinct from other moral frameworks, then what is so special about Christ and our story? For many, Jesus has simply become nothing more than a ‘personal’ and ‘private’ motivator to the same common ideals, which are shared by all. So, how do we live distinctively in a time of uncertainty? How do we see the world through the eyes of Christ? What tools do we need for the complex choices that confront us, in order to live well; to live Christ centred lives in the 21st century? This book provides this kind of help in a clearly, written accessible style with discussion questions making this useful for small-group use. (shrink)

‘Postmodern’ is a concept now deposited in the word banks of both highbrow cinephilesand lowbrow arbiters of popular filmic taste. How these two groups of critics deploy theterm, however, widely differs. Critiquing Wes Anderson’s The Life Aquatic with SteveZissou , for instance, Entertainment Weekly’s Owen Glieberman writes: ‘Once again,[Anderson] creates a hermetic, glassed-in movie world of postmodern anachronisms thatcharms and distances in equal measure’ . Characteristic of most reviewers of LifeAquatic, Glieberman uses ‘postmodern’ in a purely aesthetic sense. Although this (...) apoliticaluse of the term is endemic to the business of popular film criticism, part of the reasoncritics deployed ‘postmodern’ bereft of all cultural and political connotations in the case ofLife Aquatic can be chalked up to the film itself. Any overtly political meaning in the film ismediated by what Todd Gilchrist calls the film’s ‘fantastic, just-left-of-realityuniverse.’ Anderson’s idiosyncratic filmmaking style – his penchant for what Josh Bell calls‘empty collections of quirks’ and ‘irrelevant eccentricities’ which prize ‘false clevernessover story and content’ – exacerbates the problem of politicizing Life Aquatic’spostmodernism . A growing cult of the author begets the faciledismissal or deification of Life Aquatic based on tenuously apolitical criteria. (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)

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

THIS IS AN EARLY DRAFT OF MY PAPER "RESEARCH PROBLEMS" PUBLISHED IN BJPS IN 2021. PLEASE REFER TO THAT PAPER INSTEAD OF THIS ONE. -/- Philosophers increasingly study how scientists conduct actual scientific projects and the goals they pursue. But as of yet, there are few accounts of goals that can be used to identify different kinds, and specific instances, of goals pursued by scientists. I propose that there are at least four distinct kinds of goals pursued by scientists: ameliorating (...) problems, addressing questions, satisfying values, and achieving epistemic aims. I focus on the first two kinds, and I provide tools to help conceptualize, distinguish, and identify the problems and questions pursued by scientists. This paper illustrates the use of those tools with two examples. (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)

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)

In distributing the costs associated with climate change, most scholars have focused exclusively upon mitigation burdens. Few consider the distribution of adaptation costs, which concern projects that seek to minimize harm from human-induced climate change.

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)

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)

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)

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.

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.

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)

A rich collection of critical essays, authored by philosophers and practicing artists, examining Deleuze and Guattari's engagement with a broad range of art forms.

We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply the nonexistence of Borel complete sections with certain features.

A survey of 345 undergraduate business students from a medium-sized southeastern regional university and 164 undergraduates from a medium-sized university in the United Arab Emirates found that 71 % of all respondents admitted to academic misconduct in a recent 1-year period, a percentage similar to McCabe’s (2005) finding that an average of 70 % of undergraduate students admitted to recent academic misconduct. Business students from the Middle East were significantly less likely to perceive various academic misconduct behaviors as forms of (...) serious cheating compared to business students from the US. Hofstede’s (2001) cultural dimension of individualism/collectivism and Ajzen’s (Organizational Behavior and Human Decision Processes 50, 179–211, 1991) theory of planned behavior are discussed as likely explanations of reported academic misconduct differences between the two countries. (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)

From Socrates and the Sophists to Kant, from Augustine to Aquinas and the Reformers, Colin Brown traces the turbulent, often tension-filled, always fascinating story of the thinkers, ideas and movements that have shaped our intellectual landscape. Is philosophy the "handmaiden of faith" or "the doctrine of demons"? Does it clarify the faith or undermine the very heart of Christian belief?Brown writes, "This book is about the changes in preconceptions, world views and paradigms that have affected the ways in which people (...) have thought about religion in general and Christianity in particular in the Western world.... It is a historical sketch, written to help students--and anyone else who might be interested--to get a better grasp of the love-hate relationship between philosophy and faith that has gone on for close to two thousand years."Students, pastors and thoughtful Christians will benefit from this rich resource. The first in a proposed three-volume work, Brown's easy-to-read, hard-to-put-down introduction to Christianity and Western thought focuses on developments from the ancient world to the Age of Enlightenment. (shrink)

We apply linear algebra to the study of the inconsistent figure known as the Crazy Crate. Disambiguation by means of occlusions leads to a class of sixteen such figures: consistent, complete, both and neither. Necessary and sufficient conditions for inconsistency are obtained.

A dialogue arguing that morality has an objective basis in the mathematical object describing the "tit for tat" game theory. To play the game, a contractual obligation is freely made to cooperate and to fairly distribute the gains. Failure to meet these obligations results in social punishment.

A dialogue in which Freya argues that conspiracy theories are illogical, but Orin is not so sure!

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 notion of a continuously variable quantity can be regarded as a generalization of that of a particular quantity, and the properties of such quantities are then akin to, and derived from, the properties of constants. For example, the continuous, real-valued functions on a topological space behave like the field of real numbers in many ways, but instead form a ring. Topos theory permits one to apply this same idea to logic, and to consider continuously variable sets . In this (...) expository paper, such applications are explained to the non-specialist. Some recent results are mentioned, including a new completeness theorem for higher-order logic. (shrink)

As a criterion for judging avant-garde art, newness has been regarded as more important than excellence. kermode's single venture into art criticism, "objects, jokes & art," suggests this search for the new has led to a trivialisation of art. ideas from his more recent literary criticism such as "the classic" could be applied to avant-garde art, providing a non-reactionary means of assessing value on the basis of a work's openness to a plurality of interpretations. this would offer an alternative reading (...) of the history of modern art, opposed to formalist and reductionist views of the modernist continuum. (shrink)

In the Rebels episode “Stealth Strike,” Kanan, Ezra, Rex, and Chopper rescue Commander Sato and his crew from the clutches of the Empire. Chopper occupies an uncomfortable moral position in Rebels, as do so many droids in the Star Wars canon. Many are highly intelligent, with unique personalities that aren't merely a function of their programming. The “organics” of the Star Wars universe, those sentient species made of flesh and blood seem to have relationships with droids similar to the kind (...) many of people have with their laptops and smartphones. Philosophers call beings who exhibit traits like self‐awareness, independent thought, and unique preferences persons. Mills says race is a social construct, not a biological fact. Social constructs, things that exist because societies create them, include things like money, empires, and rebellions, things so real that people are willing to die (or kill) for them. (shrink)

A traditional distinction is made in scholarship on Japanese Buddhism between two means for attaining enlightenment: jiriki 自力, or "self power," and tariki 他力, or "other power." Dōgen's Sōtō Zen is the paradigmatic example of a jiriki school: according to Dōgen, one attains enlightenment through strenuous zazen and rigorous ascetic practices. Shinran's Jōdo Shin Buddhism is the paradigmatic example of a tariki school: according to Shinran, human beings are incapable of self-salvation, but by chanting the nembutsu they can invoke the (...) compassionate power of Amida to save them. But the jiriki-tariki distinction is arguably a false one, with no place within Buddhism's nondualistic framework. If the basic Buddhist intuition toward nondualism is correct, then jiriki and tariki cannot be opposed at all, but must rather be two sides of the same coin. In fact, both Dōgen and Shinran are fully in agreement on abandoning the ego (ātman), and on abandoning the artificial self-other distinction that accompanies the ātman. Dōgen had deep faith in the path of the Buddhist patriarchs, and in the power of the sangha; hetaught that both were necessary means for attaining enlightenment. And Shinran firmly believed in incorporating the nembutsu in every facet of one's life, a feat for which supreme self-cultivation is required. Thus Dōgen and Shinran both preach tariki and jiriki; moreover, this is to be expected, for unless jiriki and tariki are one, their approaches to Buddhism would be dualistic. Dōgen and Shinran should be taken as model cases for understanding the unity of jiriki and tariki in all of Japanese Buddhism. (shrink)

Life is a mask through which the universe expresses itself. One of the major themes in the Dune novels is what Friedrich Nietzsche calls self‐overcoming. This is an internal struggle against one's own physical, mental, and moral limits, in pursuit of a more powerful form of self‐expression. Hinduism says we're all born into samsara, the unending cycle of birth, death, and rebirth. In effect we're all players in the repertory theater of the cosmos, and director is the dharma, the cosmic (...) law behind both nature and morality. In the end, Hinduism says, we all reap what we sow. Self‐examination and self‐sacrifice in the name of self‐overcoming. But it's not selfish, as Nietzsche's philosophy is so often thought to be. (shrink)