-
Expand entry
-
Added by: Simon Fokt, Contributed by: Patricia Rich
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.
Comment: Chapter 5, 'The structure of values in science', is a good introduction to the topic of the role of values in science, while defending a particular perspective. Basic familiarity with philosophy of science or science itself should be enough to understand and engage with it.
-
Expand entry
-
Added by: Jie GaoPublisher’s Note:
Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more generally elsewhere) actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science.Comment: This book addresses important questions about formal languages: why formalization works and the limitations of formalization. The questions are answered from cognitive, historical and logical points of view. It is a good introductory material for teaching on formal language and psychology of reasoning.
-
Expand entry
-
Added by: Fenner Stanley TanswellPublisher’s Note:
This comprehensive account of the concept and practices of deduction is the first to bring together perspectives from philosophy, history, psychology and cognitive science, and mathematical practice. Catarina Dutilh Novaes draws on all of these perspectives to argue for an overarching conceptualization of deduction as a dialogical practice: deduction has dialogical roots, and these dialogical roots are still largely present both in theories and in practices of deduction. Dutilh Novaes' account also highlights the deeply human and in fact social nature of deduction, as embedded in actual human practices; as such, it presents a highly innovative account of deduction. The book will be of interest to a wide range of readers, from advanced students to senior scholars, and from philosophers to mathematicians and cognitive scientists.Comment (from this Blueprint): This book by Dutilh Novaes recently won the coveted Lakatos Award. In it, she develops a dialogical account of deduction, where she argues that deduction is implicitly dialogical. Proofs represent dialogues between Prover, who is aiming to establish the theorem, and Skeptic, who is trying to block the theorem. However, the dialogue is both partially adversarial (the two characters have opposite goals) and partially cooperative: the Skeptic’s objections make sure that the Prover must make their proof clear, convincing, and correct. In this chapter, Dutilh Novaes applies her model to mathematical practice, and looks at the way social features of maths embody the Prover-Skeptic dialogical model.
-
Expand entry
-
Added by: Franci MangravitiAbstract:
Val Plumwood’s 1993 paper, “The politics of reason: towards a feminist logic” (hence- forth POR) attempted to set the stage for what she hoped would begin serious feminist exploration into formal logic – not merely its historical abuses, but, more importantly, its potential uses. This work offers us: (1) a case for there being feminist logic; and (2) a sketch of what it should resemble. The former goal of Plumwood’s paper encourages feminist theorists to reject anti-logic feminist views. The paper’s latter aim is even more challenging. Plumwood’s critique of classical negation (and classical logic) as a logic of domination asks us to recognize that particular logical systems are weapons of oppression. Against anti-logic feminist theorists, Plumwood argues that there are other logics besides classical logic, such as relevant logics, which are suited for feminist theorizing. Some logics may oppress while others may liberate. We provide details about the sources and context for her rejection of classical logic and motivation for promoting relevant logics as feminist.
Comment (from this Blueprint): This is an ideal companion piece to Plumwood's paper: it provides an accessible summary, and discusses both objections to the paper and possible responses.
-
Expand entry
-
Added by: Franci Mangraviti and Viviane FairbankAbstract:
The strongest and, until recently, least-explored approach to feminist logic holds that some formal logics have structural features that perpetuate sexism and oppression, whereas other logics are helpful for resisting and opposing these social phenomena. Our choice of logics may not be purely formal on this view: for example, some logics are preferrable to others on the grounds of feminist commitments. This strong account of feminist logic was first articulated by Val Plumwood. We will critically engage salient features of her view, especially her critique of classical logic and the centering and dominating functions she believes classical negation has. We will see that her understanding of classical negation captures neither the development of Intersectional Feminism, nor the position the concept of centering holds in transformative justice. However, Plumwood's critique of classical negation does lead us to a deeper insight regarding which logics to apply in social justice contexts. Robin Dembroff's analysis of genderqueer as a critical gender kind helps us delineate a non-classical context in which a four-valued logic, such as FDE, can structurally account for the critical feature of this gender kind in a way classical logic cannot. We will also observe how four-valued logics precisely capture the destabilization of, and resistance to, the exclusive and exhaustive gender binary categories Dembroff describes.Comment: available in this Blueprint
-
Expand entry
-
Added by: Emily Paul, Contributed by: Helen De CruzSummary: Examines the theory of conditionals and whether it's possible to have a unified theory of them.Comment: Great core text as there are many important discussion points here, and Edginton uses lots of helpful examples. Could set students the task of coming up with their own conditionals, and analysing these in the would/will sense. This definitely requires a background in beginner's logic.
-
Expand entry
-
Added by: Franci MangravitiAbstract:
The chapter is an introduction to logical treatments of indicative conditionals, comparing truth-functional, non-truth-functional, and suppositional approaches. Some of the topics discussed are truth conditions, conditional belief, assertability, and issues with compounds of conditionals.
Comment: This page can be used in a course focused on the philosophy of conditionals, as an introduction/overview of the basic logical issues; or in any logic course wishing to spend more time on this particular notion.
-
Expand entry
-
Added by: Franci MangravitiAbstract:
From the newsletter's introduction: "Lauren Eichler [...] examines the resonances between feminist and Native American analyses of classical logic. After considering the range of responses, from overly monolithic rejection to more nuanced appreciation, Eichler argues for a careful, pluralist understanding of logic as she articulates her suggestion that feminists and Native American philosophers could build fruitful alliances around this topic."
Comment: available in this Blueprint
-
Expand entry
-
Added by: Viviane FairbankAbstract:
Logical abductivism is the method which purports to use Inference to the Best Explantion (IBE) to determine the best logical theory. The present essay argues that this is not the case, since the method fails to meet the criteria requisite for the fruitful application of IBE. This occurs due to an intrinsic difficulty in choosing the appropriate evidence and theoretical virtues which guide theory revision in logic: one’s previous conception of logic influences both these choices. Logical abductivism fails, moreover, to select the best logical theory, exactly because a lack of agreement on theory and virtues for Logic. Rather than direct comparison between two options, a more suitable approach to theory revision in logic is piecemeal, because this method neither assumes nor needs a neutral ground from which to start revising theories.Comment: This is an accessible introduction to the contemporary debate regarding "abductivism about logic" (not to be confused with "abductive logic"). It might be included in any course on the epistemology of logic, particularly for anyone interested in so-called anti-exceptionalism about logic.
-
Expand entry
-
Added by: Franci MangravitiPublisher’s Note:
This book is a consideration of Hegel’s view on logic and basic logical concepts such as truth, form, validity, and contradiction, and aims to assess this view’s relevance for contemporary philosophical logic. The literature on Hegel’s logic is fairly rich. The attention to contemporary philosophical logic places the present research closer to those works interested in the link between Hegel’s thought and analytical philosophy, Koch 2014, Brandom 2014, 1-15, Pippin 2016, Moyar 2017, Quante & Mooren 2018 among others). In this context, one particularity of this book consists in focusing on something that has been generally underrated in the literature: the idea that, for Hegel as well as for Aristotle and many other authors, logic is the study of the forms of truth, i.e. the forms that our thought can assume in searching for truth. In this light, Hegel’s thinking about logic is a fundamental reference point for anyone interested in a philosophical foundation of logic.
Comment: The book could be used in any course on Hegel's logic, either as a main textbook (if focusing on the author's overall interpretation) or as further reading. The latter approach is facilitated by the structure of the book, since each part is focused on a distinct logical notion (logic, logical form, truth, validity, contradiction). Given the author's thesis that Hegel can be considered as a genuine interlocutor of philosophical logic as it is understood today, one might even try discussing some chapters in a course focusing on a particular logical notion.