-
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: Erich Hatala MatthesSummary: Eaton and Gaskell argue that museums are "instruments of power," and then ask whether it is permissible for them to display the cultural heritage of peoples who have been subordinated. Ultimately, they argue that despite a series of arguments to the contrary, the display of "subaltern" artifacts is not just permissible, "but advantageous to all interested parties." They make the argument by posing and responding to four central objections to this position.Comment: This is a careful and comprehensive look at ethical questions surrounding the display of "subaltern" cultural heritage in museums. If you plan to assign a single reading on this topic, use this one.
-
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: Giada FratantonioAbstract: Truth is standardly considered a requirement on epistemic acceptability. But science and philosophy deploy models, idealizations and thought experiments that prescind from truth to achieve other cognitive ends. I argue that such felicitous falsehoods function as cognitively useful fictions. They are cognitively useful because they exemplify and afford epistemic access to features they share with the relevant facts. They are falsehoods in that they diverge from the facts. Nonetheless, they are true enough to serve their epistemic purposes. Theories that contain them have testable consequences, hence are factually defeasible.Comment: In a context in which epistemology takes truth to be a necessary condition for knowledge and falsehood as an immediate knowledge defeater, this paper offers a new perspective on the epistemic value of falsehood as playing an important role both in science and in philosophy. In a nutshell, the author argues that although falsehoods diverge from the facts, they are "true enough" to serve their epistemic purpose. Some of the falsehoods employed both in science and philosophy result in models, idealisations and thought experiments: by sharing and exemplifying relevant features of the facts, they end up being cognitively useful. This could work as secondary literature for a postgraduate course in epistemology and philsoophy of science, insofar as it gives a new perspective on epistemic value falshood can play. In a context in which epistemology takes truth to be a necessary condition for knowledge and falsehood as an immediate knowledge defeater, this paper offers a new perspective on the epistemic value of falsehood as playing an important role both in science and in philosophy. In a nutshell, the author argues that although falsehoods diverge from the facts, they are "true enough" to serve their epistemic purpose. Some of the falsehoods employed both in science and philosophy result in models, idealisations and thought experiments: by sharing and exemplifying relevant features of the facts, they end up being cognitively useful. This could work as secondary literature for a postgraduate course in epistemology and philsoophy of science, insofar as it gives a new perspective on epistemic value falshood can play.
-
Expand entry
-
Added by: Laura JimenezAbstract: In an attempt to avert Laudan's pessimistic induction, Worrall and Psillos introduce a narrower version of scientific realism. According to this version, which can be referred to as "localized realism", realists need not accept every component in a successful theory. They are supposed only to accept those components that led to the theory's empirical success. Consequently, realists can avoid believing in dubious entities like the caloric and ether. This paper examines and critiques localized realism. It also scrutinizes Psillos's historical study of the caloric theory of heat, which is intended to support localized realism.Comment: Recommended as further reading for studying scientific realism and anti-realism. Preferable for postgraduate students since previous knowledge of theories in science helps to a better understanding of this article.