About the Author James Elkins is E.C. Chadbourne Chair in the Department of Art History, Theory, and Criticism at the School of the Art Institute of Chicago. His many books include Pictures and Tears, How to Use Your Eyes, and What Painting Is, all published by Routledge. Michael Newman teaches in the Department of Art History, Theory, and Criticism at the School of the Art Institute of Chicago, and is Professor of Art Writing at Goldsmiths College in the University of (...) London. His publications include the books Richard Prince: Untitled (couple) and Jeff Wall, and he is co-editor with Jon Bird of Rewriting Conceptual Art. (shrink)

We prove the following results: (i) PV proves NP ⊆ P/poly iff PV proves coNP ⊆ NP/O(1). (ii) If PV proves NP ⊆ P/poly then PV proves that the Polynomial Hierarchy collapses to the Boolean Hierarchy. (iii) $S_{2}^{1}$ proves NP ⊆ P/poly iff $S_{2}^{1}$ proves coNP ⊆ NP/O(log n). (iv) If $S_{2}^{1}$ proves NP ⊆ P/poly then $S_{2}^{1}$ proves that the Polynomial Hierarchy collapses to PNP[log n]. (v) If $S_{2}^{2}$ proves NP ⊆ P/poly then $S_{2}^{2}$ proves that the Polynomial Hierarchy (...) collapses to PNP. Motivated by these results we introduce a new concept in proof complexity: proof systems with advice, and we make some initial observations about them. (shrink)

A notion of feasible function of finite type based on the typed lambda calculus is introduced which generalizes the familiar type 1 polynomial-time functions. An intuitionistic theory IPVω is presented for reasoning about these functions. Interpretations for IPVω are developed both in the style of Kreisel's modified realizability and Gödel's Dialectica interpretation. Applications include alternative proofs for Buss's results concerning the classical first-order system S12 and its intuitionistic counterpart IS12 as well as proofs of some of Buss's conjectures concerning IS12, (...) and a proof that IS12 cannot prove that extended Frege systems are not polynomially bounded. (shrink)

Let H be a proof system for quantified propositional calculus (QPC). We define the Σqj-witnessing problem for H to be: given a prenex Σqj-formula A, an H-proof of A, and a truth assignment to the free variables in A, find a witness for the outermost existential quantifiers in A. We point out that the Σq1-witnessing problems for the systems G*1and G1 are complete for polynomial time and PLS (polynomial local search), respectively. We introduce and study the systems G*0 and G0, (...) in which cuts are restricted to quantifier-free formulas, and prove that the Σqj-witnessing problem for each is complete for NC1. Our proof involves proving a polynomial time version of Gentzen’s midsequent theorem for G*0 and proving that G0-proofs are TC0-recognizable. We also introduce QPC systems for TC0 and prove witnessing theorems for them. We introduce a finitely axiomatizable second-order system VNC1 of bounded arithmetic which we prove isomorphic to Arai’s first order theory AID + Σb0-CA for uniform NC1. We describe simple translations of VNC1 proofs of all bounded theorems to polynomial size families of G*0 proofs. From this and the above theorem we get alternative proofs of the NC1 witnessing theorems for VNC1 and AID. (shrink)

We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We give what is apparently the first feasible proofs of the Cayley–Hamilton theorem and other properties of the determinant, and study the propositional proof complexity of matrix identities such as AB=I→BA=I.

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)

We introduce a second-order system V1-Horn of bounded arithmetic formalizing polynomial-time reasoning, based on Grädel's 35) second-order Horn characterization of P. Our system has comprehension over P predicates , and only finitely many function symbols. Other systems of polynomial-time reasoning either allow induction on NP predicates , and hence are more powerful than our system , or use Cobham's theorem to introduce function symbols for all polynomial-time functions . We prove that our system is equivalent to QPV and Zambella's P-def. (...) Using our techniques, we also show that V1-Horn is finitely axiomatizable, and, as a corollary, that the class of Σ1b consequences of S21 is finitely axiomatizable as well, thus answering an open question. (shrink)

LeRoy Walters was a central figure in debates about federal policy regarding genetics and biotechnology—a neutral, publicly engaged philosopher and religious studies academic who put his skills to work in national service. His career spanned the emergence of biotechnology as a field in the 1970s until his retirement. His interests reached from moral philosophical theory to Holocaust studies to practical concerns about public policy in genetics. We focus here on the role of bioethics in policy related to the advent of (...) human gene transfer, the Human Genome Project, and the emergence of biotechnology as a commercial enterprise. We focus on his role as an academic influencing the government strand of the “triple helix”... (shrink)

While rooted in careful study of Mead’s original writings and transcribed lectures and the historical context in which that work was carried out, the papers in this volume have brought Mead’s work to bear on contemporary issues in metaphysics, epistemology, cognitive science, and social and political philosophy.

Early last year, the GenEthics Consortium (GEC) of the Washington Metropolitan Area convened at George Washington University to consider a complex case about genetic testing for Alzheimer disease (AD). The GEC consists of scientists, bioethicists, lawyers, genetic counselors, and consumers from a variety of institutions and affiliations. Four of the 8 co-authors of this paper delivered presentations on the case. Supplemented by additional ethical and legal observations, these presentations form the basis for the following discussion.

Cook (1995) criticizes the work of Jacobs and Kosslyn (1994) on spatial relations, shape representations, and receptive fields in neural network models on the grounds that first‐order correlations between input and output unit activities can explain the results. We reply briefly to Cook's arguments here (and in Kosslyn, Chabris, Marsolek, Jacobs & Koenig, 1995) and discuss how new simulations can confirm the importance of receptive field size as a crucial variable in the encoding of categorical and coordinate spatial (...) relations and the corresponding shape representations; such simulations would testify to the computational distinction between the different types of representations. (shrink)

Anyone who has ever walked, cooked or crafted with a friend is in a position to know that acting jointly is not just acting side-by-side. But what distinguishes acting jointly from acting in parallel yet merely individually? Four decades of philosophical research have yielded broad consensus on a strategy for answering this question. This strategy is \emph{mechanistically committed}; that is, it hinges on invoking states of the agents who are acting jointly (often dubbed ‘shared’, ‘we-’ or ‘collective’ intentions). Despite the (...) consensus, enduring disagreement remains. The disagreement may be a consequence of the strategy; at least this is plausible enough to motivate considering the prospects for an alternative. Our aim is therefore to draw attention to a coherent alternative that is present in the literature but often overlooked. This alternative is \emph{mechanistically neutral}: it avoids invoking states of agents. Implementing the alternative, we introduce the notion of a collective goal and a characterisation of acting jointly which meets criteria standardly used in evaluating other accounts and may have some advantages over those accounts. (shrink)

Biologists rely extensively on the iterated Prisoner's Dilemma game to model reciprocal altruism. After examining the informal conditions necessary for reciprocal altruism, I argue that formal games besides the standard iterated Prisoner's Dilemma meet these conditions. One alternate representation, the modified Prisoner's Dilemma game, removes a standard but unnecessary condition; the other game is what I call a Cook's Dilemma. We should explore these new models of reciprocal altruism because they predict different stability characteristics for various strategies; for instance, (...) I show that strategies such as Tit-for-Tat have different stability dynamics in these alternate models. (shrink)

In a global era of apology and reconciliation, Canadians, like their counterparts in other settler nations, face a moral and ethical dilemma that stems from an unsavoury colonial past. Canadians grew up believing that the history of their country is a story of the cooperative venture between people who came from elsewhere to make a better life and those who were already here, who welcomed and embraced them, aside from a few bad white men.on 11 June 2008, the Prime Minister (...) of Canada Stephen Harper made a Statement of Apology on behalf of the Canadian government for the Indian Residential Schools system : “The government now recognizes that the consequences of the Indian Residential... (shrink)

A new approach to the ancient world is only too often a wrong approach, unless it is based on some concrete discovery. But I think it fair to talk of newperspectives, at least, in the study of Greek mythology. Certainly the old and familiar ones are no longer adequate. Indeed it is surprising, in the light of fresh intuitions about society, literacy, the pre-Homeric world, and relations with the ancient Near East, that myth—one of the most pervasive aspects of Greek (...) culture—has been left in its old and rather cobwebby pigeon-hole. Rose's simple paraphrases are accepted as adequate for students; Nilsson's sparse pages in his history of religion are rightly respected, though some of them are too simple; the Murray-Cook-Harrison-Cornford reconstruction of religion, ritual and myth is regarded as a little excessive, but perhaps not too far out; Kerényi and Eliade are roughly tolerated, if not widely read by Classicists, and their books are ordered in profusion for the library; the psychological side is adequately taken care of, or so it is supposed, by what is left from Freud and Jung, with Cassirer as sufficient authority for the sources of mythical imagination.Many of these critics had their moments of brilliant insight, but most were misleading in their theories taken as a whole. We can now accept that many myths have ritual counterparts, and some have ritual origins, without having to adopt Cornford's belief, developed after Harrison, Frazer and Robertson Smith, that all myths are such. (shrink)

American literary realism burgeoned during a period of tremendous technological innovation. Because the realists evinced not only a fascination with this new technology but also an ethos that seems to align itself with science, many have paired the two fields rather unproblematically. But this book demonstrates that many realist writers, from Mark Twain to Stephen Crane, Charles W. Chesnutt to Edith Wharton, felt a great deal of anxiety about the advent of new technologies – precisely at the crucial intersection (...) of ethics and language. For these writers, the communication revolution was a troubling phenomenon, not only because of the ways in which the new machines had changed and increased the circulation of language but, more pointedly, because of the ways in which language itself had effectively become a machine: a vehicle perpetuating some of society’s most pernicious clichés and stereotypes – particularly stereotypes of race – in unthinking iteration. This work takes a close look at how the realists tried to forge an ethical position between the two poles of science and sentimentality, attempting to create an alternative mode of speech that, avoiding the trap of codifying iteration, could enable ethical action. (shrink)

A Brief History of Time: From the Big Bang to Black Holes is a popular-science book on cosmology (the study of the origin and evolution of the universe) by British physicist Stephen Hawking. It was first published in 1988. Hawking wrote the book for readers who have no prior knowledge of the universe and people who are interested in learning.

A comprehensive reassessment of the concept of mimesis in the history of ancient Greek aesthetics and philosophy of art, with particular attention to Plato, Aristotle, Hellenistic philosophy, and neoplatonism. There is also a wide-ranging review of arguments pro and contra the idea of artistic mimesis from the Renaissance to modern literar theory. The book challenges standard accounts in numerous respects and builds a new dialectical model with which to make sense of the entire history of mimeticist thinking in aesthetics.

Logical pluralism is the view that there is more than one formal logic that correctly (or best, or legitimately) codifies the logical consequence relation in natural language. This essay provides a taxonomy of different variations on the logical pluralist theme based on a five-part structure, and then identifies an unoccupied position in this taxonomy: perspectival logical pluralism. Perspectival pluralism provides an attractive position from which to formulate a philosophy of logic from a feminist perspective (and from other, identity-based perspectives, such (...) as critical race theory). An example of how such an account might be developed is sketched. The essay concludes by defusing an obvious objection to the perspectival approach: the claim that the correct logic (or logics), in virtue of the formal nature of logic, should be independent of considerations regarding the identity of the reasoner. (shrink)

This paper concerns top-down approaches in machine ethics. It is divided into three main parts. First, I briefly describe top-down design approaches, and in doing so I make clear what those approaches are committed to and what they involve when it comes to training an AI to behave ethically. In the second part, I formulate two underappreciated motivations for endorsing them, one relating to predictability of machine behavior and the other relating to scrutability of machine decision-making. Finally, I present three (...) major worries about such approaches, and I attempt to show that advocates of top-down approaches have some plausible avenues of response. I focus most of my attention on what I call the ‘technical manual objection’ to top-down approaches, inspired by the work of Annas (2004). In short, the idea is that top-down approaches treat ethical decision-making as being merely a matter of following some ethical instructions in the same way that one might follow some set of instructions contained in a technical manual (e.g., computer manual), and this invites sensible skepticism about the ethical wisdom of machines that have been trained on those approaches. I respond by claiming that the objection is successful only if it is understood as targeting machines that have certain kinds of goals, and it should not compel us to totally abandon top-down approaches. Such approaches could still be reasonably employed to design ethical AI that operate in contexts that include fairly noncontroversial answers to ethical questions. In fact, we should prefer top-down approaches when it comes to those types of context, or so I argue, due to the advantages I claim for them. (shrink)

Aboutness has been studied from any number of angles. Brentano made it the defining feature of the mental. Phenomenologists try to pin down the aboutness-features of particular mental states. Materialists sometimes claim to have grounded aboutness in natural regularities. Attempts have even been made, in library science and information theory, to operationalize the notion. But it has played no real role in philosophical semantics. This is surprising; sentences have aboutness-properties if anything does. Aboutness is the first book to examine through (...) a philosophical lens the role of subject matter in meaning. A long-standing tradition sees meaning as truth-conditions, to be specified by listing the scenarios in which a sentence is true. Nothing is said about the principle of selection--about what in a scenario gets it onto the list. Subject matter is the missing link here. A sentence is true because of how matters stand where its subject matter is concerned. Stephen Yablo maintains that this is not just a feature of subject matter, but its essence. One indicates what a sentence is about by mapping out logical space according to its changing ways of being true or false. The notion of content that results--directed content--is brought to bear on a range of philosophical topics, including ontology, verisimilitude, knowledge, loose talk, assertive content, and philosophical methodology. Written by one of today's leading philosophers, Aboutness represents a major advance in semantics and the philosophy of language. (shrink)

This study renders the complex corpus of the Guodian texts into a more easily manageable form, incorporating the past several years of scholarly activity on these texts and providing them with a comprehensive introduction along with a complete and well-annotated translation into English.

In Return to Reason, Stephen Toulmin argues that the potential for reason to improve our lives has been hampered by a serious imbalance in our pursuit of ...