Topic: Philosophy of the Formal, Social, and Natural Sciences -> Logic and Mathematics
FiltersNEW

Hold ctrl / ⌘ to select more or unselect / Info

Topics

Languages

Traditions

Times (use negative numbers for BCE)

-

Medium:

Recommended use:

Difficulty:


Full textSee used
Dutilh Novaes, Catarina. Formal Languages in Logic: A Philosophical and Cognitive Analysis
2012, Cambridge: Cambridge University Press

Expand entry

Added by: Jie Gao
Publisher’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.
Full textBlue print
Dutilh Novaes, Catarina. The Dialogical Roots of Deduction: Historical, Cognitive, and Philosophical Perspectives on Reasoning
2020, Cambridge University Press.

Expand entry

Added by: Fenner Stanley Tanswell
Publisher’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.
Read freeBlue print
Eckert, Maureen, Donahue, Charlie. Towards a Feminist Logic: Val Plumwood’s Legacy and Beyond
2020, In Dominic Hyde (ed.), Noneist Explorations II: The Sylvan Jungle - Volume 3 (Synthese Library, 432). Dordrecht: pp. 424-448
Expand entry
Added by: Franci Mangraviti
Abstract:

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.
Read freeBlue print
Eckert, Maureen. De-centering and Genderqueering Val Plumwood’s Feminist Logic
2024, In R. Cook and A. Yap (eds.), Feminist Philosophy and Formal Logic. University of Minnesota Press

Expand entry

Added by: Franci Mangraviti and Viviane Fairbank
Abstract:
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
Full text
Edgington, Dorothy. On Conditionals
1995, Mind 104(414): 235-329.

Expand entry

Added by: Emily Paul, Contributed by: Helen De Cruz
Summary: 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.
Read free
Edgington, Dorothy. Indicative Conditionals
2001, In The Stanford Encyclopedia of Philosophy (Fall 2020 Edition), Edward N. Zalta (ed.)
Expand entry
Added by: Franci Mangraviti
Abstract:

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.
Read freeBlue print
Eichler, Lauren. Sacred Truths, Fables, and Falsehoods: Intersections between Feminist and Native American Logics
2018, APA Newsletter on Native American and Indigenous Philosophy, 18(1).
Expand entry
Added by: Franci Mangraviti
Abstract:

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
Full text
Ficara, Elena. The Form of Truth: Hegel’s Philosophical Logic
2020, De Gruyter
Expand entry
Added by: Franci Mangraviti
Publisher’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.
Full textRead free
Finn, Suki. Limiting Logical Pluralism
2019, Synthese (198): 4905–4923

Expand entry

Added by: Viviane Fairbank
Abstract:
In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens and Universal Instantiation. I show this through a detailed analysis of the ‘adoption problem’, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and required in the meta-logic for the adequacy of any logical system.
Comment: This is an accessible discussion to logical pluralism and its relation to foundational issues in the epistemology of logic—notably the Adoption Problem. As such it can be included in any syllabus focused on special topics in the philosophy of logic. It does not require much background knowledge of logic or formal systems.
Full text
Fisher, Jennifer. On the Philosophy of Logic
2007, Cengage Learning.

Expand entry

Added by: Berta Grimau, Contributed by: Matt Clemens
Publisher's Note: Jennifer Fisher's On the Philosophy of Logic explores questions about logic often overlooked by philosophers. Which of the many different logics available to us is right? How would we know? What makes a logic right in the first place? Is logic really a good guide to human reasoning? An ideal companion text for any course in symbolic logic, this lively and accessible book explains important logical concepts, introduces classical logic and its problems and alternatives, and reveals the rich and interesting philosophical issues that arise in exploring the fundamentals of logic.
Comment: This book provides an introduction to some traditional questions within philosophy of logic. Moreover, it presents some non-classical logics. It includes an introduction to formal classical logic, so no previous technical knowledge is required. Adequate for a first course on philosophy of logic, either as main or further reading.
Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!