Diversity Reading List

Abstract:
The Four-Colour Theorem (4CT) proof, presented to the mathematical community in a pair of papers by Appel and Haken in the late 1970's, provoked a series of philosophical debates. Many conceptual points of these disputes still require some elucidation. After a brief presentation of the main ideas of Appel and Haken’s procedure for the proof and a reconstruction of Thomas Tymoczko’s argument for the novelty of 4CT’s proof, we shall formulate some questions regarding the connections between the points raised by Tymoczko and some Wittgensteinian topics in the philosophy of mathematics such as the importance of the surveyability as a criterion for distinguishing mathematical proofs from empirical experiments. Our aim is to show that the “characteristic Wittgensteinian invention” (Mühlhölzer 2006) – the strong distinction between proofs and experiments – can shed some light in the conceptual confusions surrounding the Four-Colour Theorem.

Abstract:

How many logics do logical pluralists adopt, or are allowed to adopt, or ought to adopt, in arguing for their view? These metatheoretical questions lurk behind much of the discussion on logical pluralism, and have a direct bearing on normative issues concerning the choice of a correct logic and the characterization of valid reasoning. Still, they commonly receive just swift answers – if any. Our
aim is to tackle these questions head on, by clarifying the range of possibilities that logical pluralists have at their disposal when it comes to the metatheory of their position, and by spelling out which routes are advisable. We explore ramifications of all relevant responses to our question: no logic, a single logic, more than one logic. In the end, we express skepticism that any proposed answer is viable. This threatens the coherence of current and future versions of logical pluralism.

Summary: How does one make a clever adaptive machine that can recognise speech, control an aircraft, and detect credit card fraud? Recent years have seen a revolution in the kinds of tasks computers can do. Underlying these advances is the burgeoning field of machine learning and computational neuroscience. The same methods that allow us to make clever machines also appear to hold the key to understanding ourselves: to explaining how our brain and mind work. This chapter explores this exciting new field and some of the philosophical questions that it raises.

Abstract: This article offers a logical, linguistic, and philosophical account of modern quantification theory. Contrasting the standard approach to quantifiers (according to which logical quantifiers are defined by enumeration) with the generalized approach (according to which quantifiers are defined systematically), the article begins with a brief history of standard quantifier theory and identifies some of its logical, linguistic, and philosophical strengths and weaknesses. It then proceeds to a brief history of generalized quantifier theory and explains how it overcomes the weaknesses of the standard theory. One of the main philosophical advantages of the generalized theory is its philosophically informative criterion of logicality. The paper describes the work done so far in this theory, highlights some of its central logical results, offers an overview of its main linguistic contributions, and discusses its philosophical significance.

Abstract: The power to promise is morally fundamental and does not, at its foundation, derive from moral principles that govern our use of conventions. Of course, many features of promising have conventional components—including which words, gestures, or conditions of silence create commitments. What is really at issue between conventionalists and nonconventionalists is whether the basic moral relation of promissory commitment derives from the moral principles that govern our use of social conventions. Other nonconventionalist accounts make problematic concessions to the conventionalist's core instincts, including embracing: the view that binding promises must involve the promisee's belief that performance will occur; the view that through the promise, the promisee and promisor create a shared end; and the tendency to take promises between strangers, rather than intimates, as the prototypes to which a satisfactory account must answer. I argue against these positions and then pursue an account that finds its motivation in their rejection. My main claim is: the power to make promises, and other related forms of commitment, is an integral part of the ability to engage in special relationships in a morally good way. The argument proceeds by examining what would be missing, morally, from intimate relationships if we lacked this power.

Abstract: This paper describes a formal measure of epistemic justification motivated by the dual goal of cognition, which is to increase true beliefs and reduce false beliefs. From this perspective the degree of epistemic justification should not be the conditional probability of the proposition given the evidence, as it is commonly thought. It should be determined instead by the combination of the conditional probability and the prior probability. This is also true of the degree of incremental confirmation, and I argue that any measure of epistemic justification is also a measure of incremental confirmation. However, the degree of epistemic justification must meet an additional condition, and all known measures of incremental confirmation fail to meet it. I describe this additional condition as well as a measure that meets it. The paper then applies the measure to the conjunction fallacy and proposes an explanation of the fallacy.

Introduction: Mark Twain said that, for people whose only tool is a hammer, everything looks like a nail. In Thinking about Technology, Joe Pitt's main tools appear to be those of the philosopher of science, so it is not surprising that he claims most problems of philosophy of technology are epistemic problems. As he puts it: 'The strategy here is straightforward. Philosophers of science have examined in detail a number of concepts integral to our understanding of what makes science what it is. The bottom line is this: philosophical questions about technology are first and foremost questions about what we can know about a specific technology and its effects and in what that knowledge consists' . Although Pitt points out important disanalogies between scientific and technological knowledge, nevertheless he emphasizes that philosophy of technology is primarily epistemology. Pitt has stipulatively defined ethical and political analyses of technology as not part of philosophy and philosophy of technology. While claiming to assess the foundations of philosophy of technology, he has adopted a reductionist approach to his subject matter, one that ignores or denigrates the majority of work in philosophy of technology. Does Pitt's bold, reductionist move succeed?

Abstract: Lawyers often work pro bono to liberate death-row inmates from flawed legal verdicts that otherwise would kill them. This is the first book on practical philosophy of science, how to practically evaluate scientific findings with life-and-death consequences. Showing how to uncover scores of scientific flaws - typically used by special interests who try to justify their pollution - this book aims to liberate many potential victims of environmentally induced disease and death.It shows how citizens can help uncover flawed science and thus liberate people from science-related societal harms such as pesticides, waste dumps, and nuclear power. It shows how flawed biology, economics, hydrogeology, physics, statistics, and toxicology are misused in ways that make life-and-death differences for humans. It thus analyzes science at the heart of contemporary controversies - from cell phones, climate change, and contraceptives, to plastic food containers and radioactive waste facilities. It illustrates how to evaluate these scientific findings, instead of merely describing what they are. Practical evaluation of science is important because, at least in the United States, 75 percent of all science is funded by special interests, to achieve specific practical goals, such as developing pharmaceuticals or showing some pollutant causes no harm. Of the remaining 25 percent of US science funding, more than half addresses military goals. This means that less than one-eighth of US science funding is for basic science; roughly seven-eighths is done by special interests, for practical projects from which they hope to profit. The problem, however, is that often this flawed, special-interest science harms the public.

From the Introduction: "Modern mathematics is based on the axiomatic method. We choose axioms and a deductive system---rules for deducing theorems from the axioms. This methodology is designed to guarantee that we can proceed from "obviously" true premises to true conclusions, via inferences which are "obviously" truth-preserving. [...] New and interesting questions arise if we give up as myth the claim that our theorizing can ever be separated out from the complex dynamic of interwoven social/political/historical/cultural forces that shape our experiences and views. Considering mathematics as a set of stories produced according to strict rules one can read these stories for what they tell us about the very real human desires, ambitions, and values of the authors (who understands) and listen to the authors as spokespersons for their cultures (where and when). This paper is the self-respective and self-conscious attempt of a mathematician to retell a story of mathematics that attends to the relationships between who we are and what we know."

Abstract:

Despite emerging attention to Indigenous philosophies both within and outside of feminism, Indigenous logics remain relatively underexplored and underappreciated. By amplifying the voices of recent Indigenous philosophies and literatures, I seek to demonstrate that Indigenous logic is a crucial aspect of Indigenous resurgence as well as political and ethical resistance. Indigenous philosophies provide alternatives to the colonial, masculinist tendencies of classical logic in the form of paraconsistent—many-valued—logics. Specifically, when Indigenous logics embrace the possibility of true contradictions, they highlight aspects of the world rejected and ignored by classical logic and inspire a relational, decolonial imaginary. To demonstrate this, I look to biology, from which Indigenous logics are often explicitly excluded, and consider one problem that would benefit from an Indigenous, paraconsistent analysis: that of the biological individual. This article is an effort to expand the arenas in which allied feminists can responsibly take up and deploy these decolonial logics.