Diversity Reading List

Abstract:
In recent years, philosophical work directly concerned with the practice of mathematics has intensified, giving rise to a movement known as the philosophy of mathematical practice. In this paper we offer a survey of this movement aimed at mathematics educators. We first describe the core questions philosophers of mathematical practice investigate as well as the philosophical methods they use to tackle them. We then provide a selective overview of work in the philosophy of mathematical practice covering topics including the distinction between formal and informal proofs, visualization and artefacts, mathematical explanation and understanding, value judgments, and mathematical design. We conclude with some remarks on the potential connections between the philosophy of mathematical practice and mathematics education.

Abstract:

Can there be a feminist logic? By most accounts the answer would be no. What l find remarkable is the great difference in the justifications provided for this conclusion. The impossibility of feminist logic is defended, on the one hand, on the grounds that logic itself is most fundamentally a form of domination and so is inimical to feminist aims. Other philosophers, while also defending the impossibility of feminist logic, do so from the conviction that it is feminist theory rather than logic that is the problem. For these thinkers, feminism cannot make any interesting or important contribution to logic because feminist theory is fundamentally shallow or misguided. In this paper I will argue that both positions are mistaken: Logic is neither as totalizing as the one side believes nor is feminist theory as inconsequential for logic as the other pole would have it. In the course of these arguments, I describe the work of several feminist logicians, showing the possibility and value of feminist approaches to logic.

From the Introduction: "Marjorie Hass addresses the limitations of logical concepts, including negation, by illuminating the ongoing critique of these terms in the work of Luce Irigaray. In Hass’s view, Irigaray’s work calls the neutrality of logic into question, suggesting that the standard formalism is capable of expressing only distorted and partial interpretations of negation, identity, and generality. More specifically, in Irigaray’s work, standard symbolic logic is shown to be unable to represent the form of difference proper to sexual difference, the form of identity proper to feminine identity, and the form of generality proper to a feminine generic. Hass interprets and evaluates Irigaray’s critique of logic, arguing that many of Irigaray’s readers have misunderstood its nature and force."

Abstract:

Hass examines chapters devoted to Aristotle in a recent, prominent, and controversial feminist critique of logic, Andrea Nye's Words of Power: A Feminist Reading of the History of Logic. Hass shows that Nye's criticisms of logic in general and of Aristotle in particular are misplaced. What is crucial in Nye's attack are alleged problems caused by overzealous "abstraction." But Hass argues that abstraction is not problematic; instead, it is crucial (and empowering) for feminist political theory. Although she rejects Nye's form of feminist logic critique, Hass finds more that is worthwhile in the criticisms of logic advanced by Luce lrigaray and Val Plumwood. These thinkers call for feminist alternatives to what has come to be standard deductive logic - and interestingly enough, their call is echoed in other contemporary criticisms from within the field of logic itself, for example, from intuitionist or entailment logics. The logical schemes envisaged by lrigaray and Plumwood would encompass more situated and fluid ways of using formal systems to describe and analyse reality and diverse experiences. Hass argues that, in Aristotle's case, we can glimpse something of such an alternative by looking to his account of negation, which is richer and more complex than that allowed by most contemporary formal systems.

Abstract:
Hass examines chapters devoted to Aristotle in a recent, prominent, and controversial feminist critique of logic, Andrea Nye's Words of Power: A Feminist Reading of the History of Logic. Hass shows that Nye's criticisms of logic in general and of Aristotle in particular are misplaced. What is crucial in Nye's attack are alleged problems caused by overzealous "abstraction." But Hass argues that abstraction is not problematic; instead, it is crucial (and empowering) for feminist political theory. Although she rejects Nye's form of feminist logic critique, Hass finds more that is worthwhile in the criticisms of logic advanced by Luce lrigaray and Val Plumwood. These thinkers call for feminist alternatives to what has come to be standard deductive logic - and interestingly enough, their call is echoed in other contemporary criticisms from within the field of logic itself, for example, from intuitionist or entailment logics. The logical schemes envisaged by lrigaray and Plumwood would encompass more situated and fluid ways of using formal systems to describe and analyse reality and diverse experiences. Hass argues that, in Aristotle's case, we can glimpse something of such an alternative by looking to his account of negation, which is richer and more complex than that allowed by most contemporary formal systems.

Introduction: Though it is hardly uncontroversial, the thesis that logic is normative enjoys widespread agreement—probably just about as much agreement as one is ever likely to find in philosophy. There is far less agreement, however, on what exactly this thesis amounts to. To begin with, proponents of the
thesis can’t seem to agree on whether the normative authority of logic is robust or weak. If logic is robustly normative, it has a normative authority that is independent of our attitudes or conventions; if it is weakly normative, it has a normative au- thority that is entirely dependent on our attitudes or conventions. This fundamental disagreement about the normative authority of logic seems to leave little room for any point of agreement among the proponents of the thesis. Furthermore, some opponents of the thesis allow that logic is “entangled” with the normative to the extent that it has normative consequences that are instrumental to the achievement of our wider goals (Russell 2017). This makes it difficult to discern any daylight between the views of those who hold that logic is not normative and those who hold that it is only weakly so. In the next section, I will argue that the thesis that unites the proponents and excludes the opponents is that logical statements and the judgments they can be used to express—such as those concerning logical validity or logical entailment—are normative statements and judgments, in the sense that they analytically, semantically, or conceptually have normative consequences. In section 3, I will critically assess whether logical statements and judgments are indeed normative in this sense. I will consider the prospects of various accounts of what the normative consequences of logical statements or judgments might be, and find them all to be wanting. This, I claim, gives us good reason to deny that logic is normative.

Abstract:

Abstract: In this paper, I take issue with a core commitment of logical conventionalism: that we impose a logic on ourselves by adopting general linguistic conventions governing our use of logical terms, thereby determining the meanings of the logical constants and which of our inferences are valid. Drawing on Kripke’s ‘adoption problem’, I argue that general logical principles cannot be adopted, either explicitly or implicitly. I go on to argue that the meanings of our logical terms, and the validity of our inferences, cannot depend on our adoption of logico-linguistic conventions.

Abstract: Epistemic logic is the logic of knowledge and belief. It provides insight into the properties of individual knowers, has provided a means to model complicated scenarios involving groups of knowers and has improved our understanding of the dynamics of inquiry.

Publisher's Note: A danger of a heavily formalist approach to the structure of science is that it may lose sight of the concrete actualities on which scientific inference is exercised. On the other hand, and excessively descriptive and relativist approach fails to achieve a general systematization of models of inference. This book tries to steer a middle course between these extremes. Hesse first discusses some epistemological problems bequeathed by positivists analyses of science and also considers the problem of inductive justification of theories in relation to evidence. Following Keynes and Carnap she argues that the axioms of probability constitute the best postulate system for a logic of confirmation.

Introduction: Quantum mechanics is, at least at first glance and at least in part, a mathematical machine for predicting the behaviors of microscopic particles - or, at least, of the measuring instruments we use to explore those behaviors - and in that capacity, it is spectacularly successful: in terms of power and precision, head and shoulders above any theory we have ever had. Mathematically, the theory is well understood; we know what its parts are, how they are put together, and why, in the mechanical sense (i.e., in a sense that can be answered by describing the internal grinding of gear against gear), the whole thing performs the way it does, how the information that gets fed in at one end is converted into what comes out the other. The question of what kind of a world it describes, however, is controversial; there is very little agreement, among physicists and among philosophers, about what the world is like according to quantum mechanics. Minimally interpreted, the theory describes a set of facts about the way the microscopic world impinges on the macroscopic one, how it affects our measuring instruments, described in everyday language or the language of classical mechanics. Disagreement centers on the question of what a microscopic world, which affects our apparatuses in the prescribed manner, is, or even could be, like intrinsically; or how those apparatuses could themselves be built out of microscopic parts of the sort the theory describes.