Diversity Reading List

Abstract:

How does being a woman affect one’s epistemic life? What about being black? Or queer? Standpoint theorists argue that such social positions can give rise to otherwise unavailable epistemic privilege. “Epistemic privilege” is a murky concept, however. Critics of standpoint theory argue that the view is offered without a clear explanation of how standpoints confer their benefits, what those benefits are, or why social positions are particularly apt to produce them. But this need not be so. This article articulates a minimal version of standpoint epistemology that avoids these criticisms and supports the normative goals of its feminist forerunners. With this foundation, we develop a formal model in which to explore standpoint epistemology using neighborhood semantics for modal logic.

Summary: Sundar Sarukkai's Indian Philosophy and Philosophy of Science shows how the two very different approaches from East and West can illuminate each other. It is not an introduction to the philosophy of science, but rather an invitation to look at philosophy of science in a new way, using the approaches of classical Indian logic, in particular Navya Nyāya . Sarukkai's major thesis is that in the West philosophy of science tries to put logic into science, and that in the East Indian logic seeks to put science into logic. The naïve Western approach takes an abstract view of logic and formulates science using abstract logical and mathematical theories. Indian logic looks at the world and remains involved with the world throughout. Because of this, logical arguments have to involve contingent matters of fact or observation .Western readers may find the lack of distinction between induction and deduction disturbing, but the Eastern involvement with the world, not merely abstraction, reflects a different way of looking at what logic is and where its origins lie.

Summary: This book serves as an excellent introduction to Indian philosophy from the standpoint of the Nyãya-Vaisesika worldview. The book is divided into six chapters: (i) Introduction; (ii) Doubt (including sections like "Types of Doubt" and "Limits of Doubt"); (iii) Indian Logic (in which Dignaga, Dharmakïrti, and a "Summary of Themes in Indian Logic Relevant to Philosophy of Science" are discussed); (iv) Logic in Science: The Western Way (dealing, among other things, with induction, deduction, and laws and counterfactuals); (v) Science in Logic: The Indian Way? ; and (vi) Knowledge, Truth and Language (including sections with titles like the Pramäna Theory, Truth in Western and Indian Philosophies and Science, Effability, and Bhartrhai).

Abstract: Marjorie Jeuck Rice, a most unlikely mathematician, died on 2 July 2017 at the age of 94. She was born on 16 February 1923 in St. Petersburg, Florida, and raised on a tiny farm near Roseburg in southern Oregon. There she attended a one-room country school, and there her scientific interests were awakened and nourished by two excellent teachers who recognized her talent. She later wrote, ‘Arithmetic was easy and I liked to discover the reasons behind the methods we used.… I was interested in the colors, patterns, and designs of nature and dreamed of becoming an artist’?

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.

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.

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.

Abstract: Newton's Principia introduces four rules of reasoning for natural philosophy. Although useful, there is a concern about whether Newton's rules guarantee truth. After redirecting the discussion from truth to validity, I show that these rules are valid insofar as they fulfill Goodman's criteria for inductive rules and Newton's own methodological program of experimental philosophy; provided that cross-checks are used prior to applications of rule 4 and immediately after applications of rule 2 the following activities are pursued: (1) research addressing observations that systematically deviate from theoretical idealizations and (2) applications of theory that safeguard ongoing research from proceeding down a garden path.

Abstract: Over a period of more than 30 years, more than 100 mathematicians worked on a project to classify mathematical objects known as finite simple groups. The Classification, when officially declared completed in 1981, ranged between 300 and 500 articles and ran somewhere between 5,000 and 10,000 journal pages. Mathematicians have hailed the project as one of the greatest mathematical achievements of the 20th century, and it surpasses, both in scale and scope, any other mathematical proof of the 20th century. The history of the Classification points to the importance of face-to-face interaction and close teaching relationships in the production and transformation of theoretical knowledge. The techniques and methods that governed much of the work in finite simple group theory circulated via personal, often informal, communication, rather than in published proofs. Consequently, the printed proofs that would constitute the Classification Theorem functioned as a sort of shorthand for and formalization of proofs that had already been established during personal interactions among mathematicians. The proof of the Classification was at once both a material artifact and a crystallization of one community’s shared practices, values, histories, and expertise. However, beginning in the 1980s, the original proof of the Classification faced the threat of ‘uninvention’. The papers that constituted it could still be found scattered throughout the mathematical literature, but no one other than the dwindling community of group theorists would know how to find them or how to piece them together. Faced with this problem, finite group theorists resolved to produce a ‘second-generation proof’ to streamline and centralize the Classification. This project highlights that the proof and the community of finite simple groups theorists who produced it were co-constitutive–one formed and reformed by the other.

Abstract: Some personal thoughts and opinions on what “good quality mathematics” is and whether one should try to define this term rigorously. As a case study, the story of Szemer´edi’s theorem is presented.

Abstract:

In response to widespread use of automated decision-making technology, some have considered a right to explanation. In this paper I draw on insights from philosophical work on explanation to present a series of challenges to this idea, showing that the normative motivations for access to such explanations ask for something difficult, if not impossible, to extract from automated systems. I consider an alternative, outcomes-focused approach to the normative evaluation of automated decision-making, and recommend it as a way to pursue the goods originally associated with explainability.

Abstract:

Logicians have always found inspiration for new research in the ordinary language that is used on a daily basis and acquired naturally in childhood. Whereas the logical issues in the foundations of mathematics motivated the development of mathematical logic with its emphasis on notions of proof, validity, axiomatization, decidability, consistency, and completeness, the logical analysis of natural language motivated the development of philosophical logic with its emphasis on semantic notions of presupposition, entailment, modality, conditionals, and intensionality. The relation between research programs in both mathematical and philosophical logic and natural language syntax and semantics as branches of theoretical linguistics has increased in importance throughout the last fifty years. This chapter reviews the development of one particularly interesting and lively area of interaction between formal logic and linguistics—the semantics of natural language. Research in this emergent field has proved fruitful for the development of empirically, cognitively adequate models of reasoning with partial information, sharing or exchanging information, dynamic interpretation in context, belief revision and other cognitive processes.

Abstract: Social sciences face a well-known problem, which is an instance of a general problem faced as well by psychological and biological sciences: the problem of establishing their legitimate existence alongside physics. This, as will become clear, is a problem in metaphysics. I will show how a new account of structural explanations, put forward by Frank Jackson and Philip Pettit, which is designed to solve this metaphysical problem with social sciences in mind, fails to treat the problem in any importantly new way. Then I will propose a more modest approach, and show how it does not deserve the criticism directed at a prototype by Jackson and Pettit