Diversity Reading List

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.

Abstract:

Recent works about ecumenical systems, where connectives from classical and intuitionistic logics can co-exist in peace, warmed the discussion on proof systems for combining logics. This discussion has been extended to alethic modalities using Simpson’s meta-logical characterization: necessity is independent of the viewer, while possibility can be either intuitionistic or classical. In this work, we propose a pure, label free calculus for ecumenical modalities, nEK, where exactly one logical operator figures in introduction rules and every basic object of the calculus can be read as a formula in the language of the ecumenical modal logic EK. We prove that nEK is sound and complete w.r.t. the ecumenical birelational semantics and discuss fragments and extensions.

Abstract:
The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. Crowdsourcing pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs too long and complicated for humans to comprehend. The Study of Mathematical Practice is an emerging interdisciplinary field which draws on philosophy and social science to understand how mathematics is produced. Online mathematical activity provides a novel and rich source of data for empirical investigation of mathematical practice - for example the community question-answering system mathoverflow contains around 40,000 mathematical conversations, and polymath collaborations provide transcripts of the process of discovering proofs. Our preliminary investigations have demonstrated the importance of “soft” aspects such as analogy and creativity, alongside deduction and proof, in the production of mathematics, and have given us new ways to think about the roles of people and machines in creating new mathematical knowledge. We discuss further investigation of these resources and what it might reveal. Crowdsourced mathematical activity is an example of a “social machine”, a new paradigm, identified by Berners-Lee, for viewing a combination of people and computers as a single problem-solving entity, and the subject of major international research endeavours. We outline a future research agenda for mathematics social machines, a combination of people, computers, and mathematical archives to create and apply mathematics, with the potential to change the way people do mathematics, and to transform the reach, pace, and impact of mathematics research.

Abstract: In The Structure of Scientific Revolutions, Kuhn famously advanced the claim that scientists work in a different world after a scientific revolution. Kuhn's view has been at the center of a philosophical literature that has tried to make sense of his bold claim, by listing Kuhn's view in good company with other seemingly constructivist proposals. The purpose of this paper is to take some steps towards clarifying what sort of constructivism (if any) is in fact at stake in Kuhn's view. To this end, I distinguish between two main (albeit not exclusive) notions of mind-dependence: a semantic notion and an ontological one. I point out that Kuhn's view should be understood as subscribing to a form of semantic mind-dependence, and conclude that semantic mind-dependence does not land us into any worrisome ontological mind-dependence, pace any constructivist reading of Kuhn.

Publisher's Note: There is hardly another principle in physics with wider scope of applicability and more far-reaching consequences than Pauli's exclusion principle. This book explores the principle's origin in the atomic spectroscopy of the early 1920s, its subsequent embedding into quantum mechanics, and later experimental validation with the development of quantum chromodynamics. The reconstruction of this crucial historic episode provides an excellent foil to reconsider Kuhn's view on incommensurability. The author defends the prospective rationality of the revolutionary transition from the old to the new quantum theory around 1925 by focusing on the way Pauli's principle emerged as a phenomenological rule 'deduced' from some anomalous phenomena and theoretical assumptions of the old quantum theory. The subsequent process of validation is historically reconstructed and analysed within the framework of 'dynamic Kantianism'

Summary: In this article Massimi discusses the important role that history and philosophy of science plays or ought to play within philosophy. The aim of the paper is to offer a historical reconstruction and a possible diagnosis of why the long marriage between philosophy and the sciences was eventually wrong after Kant. Massimi examines Kant's view on philosophy and the sciences, from his early scientific writings to the development of critical philosophy and the pressing epistemological he felt the need to address in response to the sciences of his time.

Publisher’s Note:
Figures from Eastern Philosophy in general and Nāgārjuna in particular are often labeled as engaging in mysticism. In this lecture, Matilal argues that if we want to use this label, we must at least admit that this mysticism is illuminated by rigorous logical argument.

Abstract:
The low visibility and specialised languages of mathematical work pose challenges for the ethnographic study of communication in mathematics, but observation-based study can offer a real-world grounding to questions about the nature of its methods. This paper uses theoretical ideas from linguistic pragmatics to examine how mutual understandings of diagrams are achieved in the course of conference presentations. Presenters use shared knowledge to train others to interpret diagrams in the ways favoured by the community of experts, directing an audience’s attention so as to develop a shared understanding of a diagram’s features and possible manipulations. In this way, expectations about the intentions of others and appeals to knowledge about the manipulation of objects play a part in the development and communication of concepts in mathematical discourse.