-
Expand entry
-
Added by: Berta Grimau, Contributed by: Matt Clemens
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.Magidor, Ofra, Stephen Kearns. Epistemicism about vagueness and meta-linguistic safety2008, Philosophical Perspectives 22 (1): 277-304.-
Expand entry
-
Added by: Berta Grimau
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.Comment: This paper would work well as a secondary reading in a course on vagueness with a section on epistemicism. For instance, the course could present Williamson's as the main proposal within that tradition and then turn to this paper for criticism and an alternative proposal within the same tradition.
Mangraviti, Franci. The Liberation Argument for Inconsistent Mathematics2023, The Australasian Journal of Logic, 20 (2): 278-317-
Expand entry
-
Added by: Franci Mangraviti and Viviane FairbankAbstract:
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.Comment:
available in this Blueprint
Marin, Sonia, et al.. A Pure View of Ecumenical Modalities2021, In Logic, Language, Information, and Computation. [Online]. Switzerland: Springer International Publishing AG. pp. 388–407-
Expand entry
-
Added by: Sophie NaglerAbstract:
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.
Comment: Suitable for a specialist class on logical pluralism (if focussed on ecumenical systems) or alethic modalities
Martin, Ursula, Pease, Alison. Mathematical Practice, Crowdsourcing, and Social Machines2013, in Intelligent Computer Mathematics. CICM 2013. Lecture Notes in Computer Sciences, Carette, J. et al. (eds.). Springer.-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
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.Comment (from this Blueprint): In this paper, Martin and Pease look at how mathematics happens online, emphasising how this embodies the picture of mathematics given by Polya and Lakatos, two central figures in philosophy of mathematical practice. They look at multiple venues of online mathematics, including the polymath projects of collaborative problem-solving, and mathoverflow, which is a question-and-answer forum. By looking at the discussions that take place when people are doing maths online, they argue that you can get rich new kinds of data about the processes of mathematical discovery and understanding. They discuss how online mathematics can become a “social machine”, and how this can open up new ways of doing mathematics.
Massimi, Michela. Working in a new world: Kuhn, constructivism, and mind-dependence2015, Studies in History and Philosophy of Science 50: 83-89.-
Expand entry
-
Added by: Jamie Collin
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.Comment: Useful for undergraduate and postgraduate philosophy of science courses. Helps to clarify key concepts in Kuhn's work.
Massimi, Michela. Pauli’s Exclusion Principle: The origin and validation of a scientific principle2005, Cambridge University Press.-
Expand entry
-
Added by: Laura Jimenez
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'Comment: In principle, I would recommend the book for postgraduates specialized on the topic; although in terms of difficulty, an undergraduate wouldn't have any problem to understand it. The book is also useful for anyone interested in the development of quantum physics during the 20th century.
Massimi, Michela. Philosophy and the sciences after Kant2009, Royal Institute of Philosophy Supplement 84(65): 275.-
Expand entry
-
Added by: Laura Jimenez
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.Comment: Really useful as an historical overview of the relation between history and philosophy of science and mainstream philosophy. It is also useful for introducing students to Kant's philosophy of science. It is an easy reading recommended for undergraduates.
McCallum, Kate. Untangling Knots: Embodied Diagramming Practices in Knot Theory2019, Journal of Humanistic Mathematics, 9(1): 178-199.-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
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.Comment (from this Blueprint): McCallum is an ethnographer and artist, who in this piece explores the way in which mathematicians use diagrams in conference presentations, especially in knot theory. She emphasises that there are a large number of ways that diagrams can facilitate communication and understanding. The diagrams are dynamic in many way, and she shows how the way in which a speaker interacts with the diagram (through drawing, erasing, labelling, positioning, emphasising etc.) is part of explaining the mathematics it represents.
McConaughey, Zoe. Judgments vs Propositions in Alexander of Aphrodisias’ Conception of Logic2024, History and Philosophy of Logic: 1–15-
Expand entry
-
Added by: Viviane FairbankAbstract:
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.
Comment: This text uses the case of Alexander of Aphrodisias’s commentaries to Aristotle’s logical treatises as a basis for making a philosophical argument about the distinction between conceptions of logic that focus on propositions, and those that focus on judgments. It is appropriate for students who already have some background in Ancient logic as well as contemporary philosophy of logic. Although the text requires some prior understanding of relevant concepts, it is clear and accessible, and would be appropriate for a course on the history of logic.
Can’t find it?Contribute the texts you think should be here and we’ll add them soon!
-
-
-
This site is registered on Toolset.com as a development site. -
-
-
-
-
-
Maddy, Penelope. The Philosophy of Logic
2012, Bulletin of Symbolic Logic 18(4): 481-504.
Comment: This is a survey article which considers positions within philosophy of logic analogous to the views held by the various schools of the philosophy of mathematics. The article touches briefly on many positions and authors and is thus an excellent introduction to the philosophy of logic, specially for students already familiar with the philosophy of mathematics. The text is informal and it does not involve any proofs.