Diversity Reading List

Summary: Defends an account of mathematical knowledge in which mathematical knowledge is a kind of modal knowledge. Leng argues that nominalists should take mathematical knowledge to consist in knowledge of the consistency of mathematical axiomatic systems, and knowledge of what necessarily follows from those axioms. She defends this view against objections that modal knowledge requires knowledge of abstract objects, and argues that we should understand possibility and necessity in a primative way.

Abstract: This paper argues that it is scientific realists who should be most concerned about the issue of Platonism and anti-Platonism in mathematics. If one is merely interested in accounting for the practice of pure mathematics, it is unlikely that a story about the ontology of mathematical theories will be essential to such an account. The question of mathematical ontology comes to the fore, however, once one considers our scientific theories. Given that those theories include amongst their laws assertions that imply the existence of mathematical objects, scientific realism, when construed as a claim about the truth or approximate truth of our scientific theories, implies mathematical Platonism. However, a standard argument for scientific realism, the 'no miracles' argument, falls short of establishing mathematical Platonism. As a result, this argument cannot establish scientific realism as it is usually defined, but only some weaker position. Scientific 'realists' should therefore either redefine their position as a claim about the existence of unobservable physical objects, or alternatively look for an argument for their position that does establish mathematical Platonism.

Abstract: I propose a framework that explicates and distinguishes the epistemic roles of data and models within empirical inquiry through consideration of their use in scientific practice. After arguing that Suppes' characterization of data models falls short in this respect, I discuss a case of data processing within exploratory research in plant phenotyping and use it to highlight the difference between practices aimed to make data usable as evidence and practices aimed to use data to represent a specific phenomenon. I then argue that whether a set of objects functions as data or models does not depend on intrinsic differences in their physical properties, level of abstraction or the degree of human intervention involved in generating them, but rather on their distinctive roles towards identifying and characterizing the targets of investigation. The paper thus proposes a characterization of data models that builds on Suppes' attention to data practices, without however needing to posit a fixed hierarchy of data and models or a highly exclusionary definition of data models as statistical constructs.

Publisher's Note: Conventional wisdom has it that the sciences, properly pursued, constitute a pure, value-free method of obtaining knowledge about the natural world. In light of the social and normative dimensions of many scientific debates, Helen Longino finds that general accounts of scientific methodology cannot support this common belief. Focusing on the notion of evidence, the author argues that a methodology powerful enough to account for theories of any scope and depth is incapable of ruling out the influence of social and cultural values in the very structuring of knowledge. The objectivity of scientific inquiry can nevertheless be maintained, she proposes, by understanding scientific inquiry as a social rather than an individual process. Seeking to open a dialogue between methodologists and social critics of the sciences, Longino develops this concept of "contextual empiricism" in an analysis of research programs that have drawn criticism from feminists. Examining theories of human evolution and of prenatal hormonal determination of "gender-role" behavior, of sex differences in cognition, and of sexual orientation, the author shows how assumptions laden with social values affect the description, presentation, and interpretation of data. In particular, Longino argues that research on the hormonal basis of "sex-differentiated behavior" involves assumptions not only about gender relations but also about human action and agency. She concludes with a discussion of the relation between science, values, and ideology, based on the work of Habermas, Foucault, Keller, and Haraway.

Publisher's Note: Our much-valued mathematical knowledge rests on two supports: the logic of proof and the axioms from which those proofs begin. Naturalism in Mathematics investigates the status of the latter, the fundamental assumptions of mathematics. These were once held to be self-evident, but progress in work on the foundations of mathematics, especially in set theory, has rendered that comforting notion obsolete. Given that candidates for axiomatic status cannot be proved, what sorts of considerations can be offered for or against them? That is the central question addressed in this book. One answer is that mathematics aims to describe an objective world of mathematical objects, and that axiom candidates should be judged by their truth or falsity in that world. This promising view - realism - is assessed and finally rejected in favour of another - naturalism - which attends less to metaphysical considerations of objective truth and falsity, and more to practical considerations drawn from within mathematics itself. Penelope Maddy defines this naturalism, explains the motivation for it, and shows how it can be helpfully applied in the assessment of candidates for axiomatic status in set theory. Maddy's clear, original treatment of this fundamental issue is informed by current work in both philosophy and mathematics, and will be accessible and enlightening to readers from both disciplines.

Summary: A clear introduction to mathematical naturalism and its Quinean roots; developing and defending Maddy's own naturalist philosophy of mathematics. Maddy claims that the Quinian ignores some nuances of scientific practice that have a bearing on what the naturalist should take to be the real scientific standards of evidence. Historical studies show that scientists sometimes do not take themselves to be committed to entities that are indispensably quantified over in their best scientific theories, hence the Quinian position that naturalism dictates that we are committed to entities that are indispensably quantified over in our best scientific theories is incorrect.

Abstract: This talk surveys a range of positions on the fundamental metaphysical and epistemological questions about elementary logic, for example, as a starting point: what is the subject matter of logic - what makes its truths true? how do we come to know the truths of logic? A taxonomy is approached by beginning from well-known schools of thought in the philosophy of mathematics - Logicism, Intuitionism, Formalism, Realism - and sketching roughly corresponding views in the philosophy of logic. Kant, Mill, Frege, Wittgenstein, Carnap, Ayer, Quine, and Putnam are among the philosophers considered along the way.

Abstract: The paper challenges Williamson's safety based explanation for why we cannot know the cut-off point of vague expressions. We assume throughout (most of) the paper that Williamson is correct in saying that vague expressions have sharp cut-off points, but we argue that Williamson's explanation for why we do not and cannot know these cut-off points is unsatisfactory. In sect 2 we present Williamson's position in some detail. In particular, we note that Williamson's explanation relies on taking a particular safety principle ('Meta-linguistic belief safety' or 'MBS') as a necessary condition on knowledge. In section 3, we show that even if MBS were a necessary condition on knowledge, that would not be sufficient to show that we cannot know the cut-off points of vague expressions. In section 4, we present our main case against Williamson's explanation: we argue that MBS is not a necessary condition on knowledge, by presenting a series of cases where one's belief violates MBS but nevertheless constitutes knowledge. In section 5, we present and respond to an objection to our view. And in section 6, we briefly discuss the possible directions a theory of vagueness can take, if our objection to Williamson's theory is taken on board.

Abstract:
Val Plumwood charged classical logic not only with the invalidity of some of its laws, but also with the support of systemic oppression through naturalization of the logical structure of dualisms. In this paper I show that the latter charge - unlike the former - can be carried over to classical mathematics, and I propose a new conception of inconsistent mathematics - queer incomaths - as a liberatory activity meant to undermine said naturalization.

Abstract:
I argue that the continued focus on the possibility question - whether feminist logic can exist as a respectable practice - has several harmful consequences. First, it in-vites the association of feminist logic with substantial positions in the philosophy of logic, which unnecessarily leaves room for dismissing the field a priori. Second, it invites a systematic reading of feminist logicians as arguing in isolation from their logical practice, which can hide some genuine possibilities for the field. To avoid these issues, I propose a very broad characterization of feminist logic as a kind of practice which addresses some harmful aspect of dominant practices by focusing on their interaction with logical practices. This characterization trivializes the possibil-ity question, enforces no particular conception of logic to the exclusion of others, yet leaves room for both conservative and radical approaches.