Diversity Reading List

Abstract: Gottlob Frege's work in logic and the foundations of mathemat- ics centers on claims of logical entailment; most important among these is the claim that arithmetical truths are entailed by purely logical principles. Occupying a less central but nonetheless important role in Frege's work are claims about failures of entailment. Here, the clearest examples are his theses that the truths of geometry are not entailed by the truths of logic or of arithmetic, and that some of them are not entailed by each other. As he, and we, would put it: the truths of Eluclidean geometry are independent of the truths of logic, and some of them are independent of one another.' Frege's talk of independence and related notions sounds familiar to a modern ear: a proposition is independent of a collection of propositions just in case it is not a consequence of that collection, and a proposition or collection of propositions is consistent just in case no contradiction is a consequence of it. But some of Frege's views and procedures are decidedly tinmodern. Despite developing an extremely sophisticated apparattus for demonstrating that one claim is a consequience of others, Frege offers not a single demon- stration that one claim is not a conseqtuence of others. Thus, in par- tictular, he gives no proofs of independence or of consistency. This is no accident. Despite his firm commitment to the independence and consistency claims just mentioned, Frege holds that independence and consistency cannot systematically be demonstrated.2 Frege's view here is particularly striking in light of the fact that his contemporaries had a fruitful and systematic method for proving consistency and independence, a method which was well known to him. One of the clearest applications of this method in Frege's day came in David Hilbert's 1899 Foundations of Geometry,3 in which he es- tablishes via essentially our own modern method the consistency and independence of various axioms and axiom systems for Euclidean geometry. Frege's reaction to Hilbert's work was that it was simply a failure: that its central methods were incapable of demonstrating consistency and independence, and that its usefulness in the founda- tions of mathematics was highly questionable.4 Regarding the general usefulness of the method, it is clear that Frege was wrong; the last one hundred years of work in logic and mathemat- ics gives ample evidence of the fruitfulness of those techniques which grow directly from the Hilbert-style approach. The standard view today is that Frege was also wrong in his claim that Hilbert's methods fail to demonstrate consistency and independence. The view would seem to be that Frege largely missed Hilbert's point, and that a better under- standing of Hilbert's techniques would have revealed to Frege their success. Despite Frege's historic role as the founder of the methods we now use to demonstrate positive consequence-results, he simply failed, on this account, to understand the ways in which Hilbert's methods could be used to demonstrate negative consequence-results. The purpose of this paper is to question this account of the Frege- Hilbert disagreement. By 1899, Frege had a well-developed view of log- ical consequence, consistency, and independence, a view which was central to his foundational work in arithmetic and to the epistemologi- cal significance of that work. Given this understanding of the logical relations, I shall argue, Hilbert's demonstrations do fail. Successful as they were in demonstrating significant metatheoretic results, Hilbert's proofs do not establish the consistency and independence, in Frege's sense, of geometrical axioms. This point is important, I think, both for an understanding of the basis of Frege's epistemological claims about mathematics, and for an understanding of just how different Frege's conception of logic is from the modern model-theoretic conception that has grown out of the Hilbert-style approach to consistency.

Publisher's Note: An important selection from the largely unknown writings of women philosophers of the early modern period. Each selection is prefaced by a headnote giving a biographical account of its author and setting the piece in historical context. Atherton's Introduction provides a solid framework for assessing these works and their place in modern philosophy.

Publisher's Note: This book examines six modern art trials covering a wide range of legal and artistic considerations ... the first in-depth examination of the art trial from every intriguing point of view.

Abstract: Leibniz's Law (or as it sometimes called, 'the Indiscerniblity of Identicals') is a widely accepted principle governing the notion of numerical identity. The principle states that if a is identical to b, then any property had by a is also had by b. Leibniz's Law may seem like a trivial principle, but its apparent consequences are far from trivial. The law has been utilised in a wide range of arguments in metaphysics, many leading to substantive and controversial conclusions. This article discusses the applications of Leibniz's Law to arguments in metaphysics. It begins by presenting a variety of central arguments in metaphysics which appeal to the law. The article then proceeds to discuss a range of strategies that can be drawn upon in resisting an argument by Leibniz's Law. These strategies divide into three categories: (i) denying Leibniz's Law; (ii) denying that the argument in question involves a genuine application of the law; and (iii) denying that the argument's premises are true. Strategies falling under each of these three categories are discussed in turn.

Abstract: This book is a defence of a form of realism which stands closest to that upheld by the Nyaya-Vaid'sesika school in classical India. The author presents the Nyaya view and critically examines it against that of its traditional opponent, the Buddhist version of phenomenalism and idealism. His reconstruction of Nyaya arguments meets not only traditional Buddhist objections but also those of modern sense-data representationalists

Publisher's Note: Donald Davidson was one of the 20th Century's deepest analytic thinkers. He developed a systematic picture of the human mind and its relation to the world, an original and sustained vision that exerted a shaping influence well beyond analytic philosophy of mind and language. At its center is an idea of minded creatures as essentially rational animals: Rational animals can be interpreted, their behavior can be understood, and the contents of their thoughts are, in principle, open to others. The combination of a rigorous analytic stance with aspects of humanism so distinctive of Davidsonian thought finds its maybe most characteristic expression when this central idea is brought to bear on the relation of the mental to the physical: Davidson defended the irreducibility of its rational nature while acknowledging that the mental is ultimately determined by the physical. Davidson made contributions of lasting importance to a wide range of topics - from general theory of meaning and content over formal semantics, the theories of truth, explanation, and action, to metaphysics and epistemology. His writings almost entirely consist of short, elegant, and often witty papers. These dense and thematically tightly interwoven essays present a profound challenge to the reader. This book provides a concise, systematic introduction to all the main elements of Davidson's philosophy. It places the theory of meaning and content at the very center of his thought. By using interpretation, and the interpreter, as key ideas it clearly brings out the underlying structure and unified nature of Davidson's work. Kathrin Gluer carefully outlines his principal claims and arguments, and discusses them in some detail. The book thus makes Davidson's thought accessible in its genuine depth, and acquaints the reader with the main lines of discussion surrounding it.

Introduction: Is Aristotle inconsistent in the different things he says about προαιρεσις‚ mostly translated "choice", in the different parts of the Ethics? The following seems to be a striking inconsistency. In Book III (113a 4) he says that what is "decided by deliberation" is chosen, but he also often insists that the uncontrolled man, the άκρατης, does not choose to do what he does; that is to say, what he does in doing the kind of thing that he disapproves of, is not what Aristotle will call exer-cising choice; the uncontrolled man does not act from choice, έκ προαιρεσεως, or choosing, προαιρουμενος. However, in Book VI (1142b 18) he mentions the possibility of a calculating uncontrolled man who will get what he arrived at by calculation, έκ τουλογισμου ΤΕΥΞΕΤΑΙ, and so will have deliberated correctly: òρθως έσται βεβουλευμενος . Thus we have the three theses: (a) choice is what is determined by deliberation; (b) what the uncontrolled man does qua uncontrolled, he does not choose to do; (c) the uncontrolled man, even when acting against his convictions, does on occasion determine what to do by deliberation.

Introduction: The history of Analytic Philosophy we are familiar with is a story about men. It begins with Frege, Russell, Moore. Wittgenstein appears twice, once as the author of the Tractatus and then again later as the author of the Philosophical Investigations. Between Wittgenstein’s first and second appearance are Carnap and Ayer and the all-male Vienna Circle. Then come the post-second-world war Ordinary Language Philosophers – Ryle, and Austin. After that Strawson and Grice, Quine and Davidson.

The male dominance is not just in the names of the ‘star’ players. Michael Beaney’s 2013 Oxford Handbook of the History of Analytic Philosophy begins by listing the 150 most important analytic philosophers. 146 of them are men. For women who wish to join in this conversation, the odds seem formidably against one.

Today we will be speaking about two of the four women who warrant an entry in Beaney’s list – Elizabeth Anscombe and Philippa Foot. We will be talking about them alongside two other women Iris Murdoch and Mary Midgley. We think they should also be in the top 150, but our broader aims are more ambitious than increasing the proportion of important women from 2.7% to 4%.

Abstract: Daoism, a Dao based and inspired teaching and practice, has been considered to be the philosophy of yielding in Chinese intellectual history. One important aspect of yielding is being rou 柔—soft, gentle, supple—which the Daodejing couples with the feminine. Not surprisingly, then, the female and femininity have enormous significance for Laozi and Daoism. To highlight this unique philosophical aspect of Daoism, this chapter will place femininity/the feminine/the female center stage to investigate Daoist thought and its possible contribution to feminist thought in a contemporary global setting. In this chapter I promote a somewhat female consciousness of Dao, or a Daoist female consciousness, which may expand, support, or alter feminist assumptions about femininity/the feminine/the female. The overarching focal point of this understanding lies in a depiction of the female and femininity as a cosmic force, a way of knowing, and a strategy for leading a flourishing life. The main points are that Dao does not govern actually existing gender relations—or, at least, that the social and political reality of gender relations is not modeled on Dao, because the patriarchy is not Dao. Highlighting the female or feminine aspect of Dao, or Dao as becoming female, is a feminist intervention, using resources from within classical Daoist thought in order to re-imagine or reconfigure gender for our time.

Publisher's Note: A powerful study of the women's liberation movement in the U.S., from abolitionist days to the present, that demonstrates how it has always been hampered by the racist and classist biases of its leaders. From the widely revered and legendary political activist and scholar Angela Davis.