Diversity Reading List

Abstract:

A source of tension between Philosophers of Mathematics and Mathematicians is the fact that each group feels ignored by the other; daily mathematical practice seems barely affected by the questions the Philosophers are considering. In this talk I will describe an issue that does have an impact on mathematical practice, and a philosophical stance on mathematics that is detectable in the work of practising mathematicians. No doubt controversially, I will call this issue ‘morality’, but the term is not of my coining: there are mathematicians across the world who use the word ‘morally’ to great effect in private, and I propose that there should be a public theory of what they mean by this. The issue arises because proofs, despite being revered as the backbone of mathematical truth, often contribute very little to a mathematician’s understanding. ‘Moral’ considerations, however, contribute a great deal. I will first describe what these ‘moral’ considerations might be, and why mathematicians have appropriated the word ‘morality’ for this notion. However, not all mathematicians are concerned with such notions, and I will give a characterisation of ‘moralist’ mathematics and ‘moralist’ mathematicians, and discuss the development of ‘morality’ in individuals and in mathematics as a whole. Finally, I will propose a theory for standardising or universalising a system of mathematical morality, and discuss how this might help in the development of good mathematics.

Publisher's Note: Charles Chihara's new book develops and defends a structural view of the nature of mathematics, and uses it to explain a number of striking features of mathematics that have puzzled philosophers for centuries. The view is used to show that, in order to understand how mathematical systems are applied in science and everyday life, it is not necessary to assume that its theorems either presuppose mathematical objects or are even true. Chihara builds upon his previous work, in which he presented a new system of mathematics, the constructibility theory, which did not make reference to, or presuppose, mathematical objects. Now he develops the project further by analysing mathematical systems currently used by scientists to show how such systems are compatible with this nominalistic outlook. He advances several new ways of undermining the heavily discussed indispensability argument for the existence of mathematical objects made famous by Willard Quine and Hilary Putnam. And Chihara presents a rationale for the nominalistic outlook that is quite different from those generally put forward, which he maintains have led to serious misunderstandings. A Structural Account of Mathematics will be required reading for anyone working in this field. generally put forward, which he maintains have led to serious misunderstandings.

Summary: Introduction to mathematical nominalism, with special attention to Chihara's own development of the position and the objections of John Burgess and Gideon Rosen. Chihara provides an outline of his constructibility theory, which avoids quantification over abstract objects by making use of contructibility quantifiers which instead of making assertions about what exists, make assertions about what sentences can be constructed.

Publisher’s Note:

The issue of a logic foundation for African thought connects well with the question of method. Do we need new methods for African philosophy and studies? Or, are the methods of Western thought adequate for African intellectual space? These questions are not some of the easiest to answer because they lead straight to the question of whether or not a logic tradition from African intellectual space is possible. Thus in charting the course of future direction in African philosophy and studies, one must be confronted with this question of logic. The author boldly takes up this challenge and becomes the first to do so in a book by introducing new concepts and formulating a new African culture-inspired system of logic called Ezumezu which he believes would ground new methods in African philosophy and studies. He develops this system to rescue African philosophy and, by extension, sundry fields in African Indigenous Knowledge Systems from the spell of Plato and the hegemony of Aristotle. African philosophers can now ground their discourses in Ezumezu logic which will distinguish their philosophy as a tradition in its own right. On the whole, the book engages with some of the lingering controversies in the idea of (an) African logic before unveiling Ezumezu as a philosophy of logic, methodology and formal system. The book also provides fresh arguments and insights on the themes of decolonisation and Africanisation for the intellectual transformation of scholarship in Africa. It will appeal to philosophers and logicians—undergraduates and post graduate researchers—as well as those in various areas of African studies.

Abstract:

This entry presents the framework of « dialogical logic » in the initial Lorenzen and Lorenz tradition. The rules for the game and for building strategies are provided with step by step examples, helping the reader understand how the dialogue tables reflect a dynamic process of interaction between the players. Various logics are presented within this pluralistic framework: intuitionist logic, classical logic, and modal logics, with references to various other logics. In a second part of the entry, objections against the framework are considered, together with answers provided by the « Immanent Reasoning » variant, which stays within the Lorenzen and Lorenz tradition, and by the « Built-In Opponent » variant first developed by Catarina Dutilh Novaes, which develops a different dialogical tradition.

Introduction: From a logical point of view the measurement problem of quantum mechanics, can be described as a characteristic question of 'semantical closure' of a theory: to what extent can a consistent theory (in this case 2R) be closed with respect to the objects and the concepfs which are described and expressed in its metatheory?

Abstract:
According to the received view, genuine mathematical justification derives from proofs. In this article, I challenge this view. First, I sketch a notion of proof that cannot be reduced to deduction from the axioms but rather is tailored to human agents. Secondly, I identify a tension between the received view and mathematical practice. In some cases, cognitively diligent, well-functioning mathematicians go wrong. In these cases, it is plausible to think that proof sets the bar for justification too high. I then propose a fallibilist account of mathematical justification. I show that the main function of mathematical justification is to guarantee that the mathematical community can correct the errors that inevitably arise from our fallible practices.

Abstract:
The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology.

Abstract:
During the 1970s and 1980s, a team of Automated Theorem Proving researchers at the Argonne National Laboratory near Chicago developed the Automated Reasoning Assistant, or AURA, to assist human users in the search for mathematical proofs. The resulting hybrid humans+AURA system developed the capacity to make novel contributions to pure mathematics by very untraditional means. This essay traces how these unconventional contributions were made and made possible through negotiations between the humans and the AURA at Argonne and the transformation in mathematical intuition they produced. At play in these negotiations were experimental practices, nonhumans, and nonmathematical modes of knowing. This story invites an earnest engagement between historians of mathematics and scholars in the history of science and science studies interested in experimental practice, material culture, and the roles of nonhumans in knowledge making.

Publisher's Note: The role of science in policymaking has gained unprecedented stature in the United States, raising questions about the place of science and scientific expertise in the democratic process. Some scientists have been given considerable epistemic authority in shaping policy on issues of great moral and cultural significance, and the politicizing of these issues has become highly contentious.

Since World War II, most philosophers of science have purported the concept that science should be “value-free.” In Science, Policy and the Value-Free Ideal, Heather E. Douglas argues that such an ideal is neither adequate nor desirable for science. She contends that the moral responsibilities of scientists require the consideration of values even at the heart of science. She lobbies for a new ideal in which values serve an essential function throughout scientific inquiry, but where the role values play is constrained at key points, thus protecting the integrity and objectivity of science. In this vein, Douglas outlines a system for the application of values to guide scientists through points of uncertainty fraught with moral valence.

Following a philosophical analysis of the historical background of science advising and the value-free ideal, Douglas defines how values should-and should not-function in science. She discusses the distinctive direct and indirect roles for values in reasoning, and outlines seven senses of objectivity, showing how each can be employed to determine the reliability of scientific claims. Douglas then uses these philosophical insights to clarify the distinction between junk science and sound science to be used in policymaking. In conclusion, she calls for greater openness on the values utilized in policymaking, and more public participation in the policymaking process, by suggesting various models for effective use of both the public and experts in key risk assessments.