Diversity Reading List

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.

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.

Summary: How did our universe form and evolve? Was there really a Big Bang, and what came before it? This chapter takes the reader through the history of contemporary cosmology and looks at how scientists arrived at the current understanding of our universe. It explores the history of astronomy, with the nebular hypothesis back in the eighteenth century, and in more recent times, Einstein's general relativity and the ensuing cosmological models. Finally, it explains the current Standard Model and early universe cosmology as well as the experimental evidence behind it.

Summary: According to the currently accepted model in cosmology, our universe is made up of 5% of ordinary matter, 25% cold dark matter, and 70% dark energy. But what kind of entities are dark matter and dark energy? This chapter asks what the evidence for these entities is and which rival theories are currently available. This provides with an opportunity to explore a well-known philosophical problem known as under-determination of theory by evidence.

Summary: This chapter offers a general introduction to philosophy of science. The first part of the chapter takes the reader through the famous relativist debate about Galileo and Cardinal Bellarmine. Several important questions on the topic are explored, such as what makes scientific knowledge special compared with other kinds of knowledge or the importance of demarcating science from non-science. Finally, the chapters gives an overview on how philosophers such as Popper, Duhem, Quine and Kuhn came to answer these questions.

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.

Abstract:

This paper stresses the importance of identifying the nature of an author’s conception of logic when using terms from modern logic in order to avoid, as far as possible, injecting our own conception of logic in the author’s texts. Sundholm (2012) points out that inferences are staged at the epistemic level and are made out of judgments, not propositions. Since it is now standard to read Aristotelian sullogismoi as inferences, I have taken Alexander of Aphrodisias’s commentaries to Aristotle’s logical treatises as a basis for arguing that the premises and conclusions should be read as judgments rather than as propositions. Under this reading, when Alexander speaks of protaseis, we should not read the modern notion of proposition, but rather what we now call judgments. The point is not just a matter of terminology, it is about the conception of logic this terminology conveys. In this regard, insisting on judgments rather than on propositions helps bring to light Alexander’s epistemic conception of logic.

Abstract:

‘Logical Realism’ is taken to mean many different things. I argue that if reality has a privileged structure, then a view I call metaphysical logical realism is true. The view says that, first, there is ‘ One True Logic ’ ; second, that the One True Logic is made true by the mind ‐ and ‐ language ‐ independent world; and third, that the mind ‐ and ‐ language ‐ independent world makes it the case that the One True Logic is better than any other logic at capturing the structure of reality. Along the way, I discuss a few alternatives, and clarify two distinct kinds of metaphysical logical realism.