Full text
Capozzi, Mirella, Roncaglia, Gino. Logic and Philosophy of Logic from Humanism to Kant
2009, In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press
Expand entry
Added by: Franci Mangraviti
Abstract:

This chapter begins with a discussion of humanist criticisms of scholastic logic. It then discusses the evolution of the scholastic tradition and the influence of Renaissance Aristotelianism, Descartes and his influence, the Port-Royal Logic, the emergence of a logic of cognitive faculties, logic and mathematics in the late 17th century, Gottfried Wilhelm Leibniz's role in the history of formal logic, and Kant's influence on logic.

Comment: Useful for a history of logic course. Familiarity with Aristotelian syllogistic is assumed.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Full text
Cauman, Leigh S.. First Order Logic: An Introduction
1998, Walter de Gruyter & Co.
Expand entry
Added by: Berta Grimau, Contributed by: Matt Clemens
Publisher's Note: This teaching book is designed to help its readers to reason systematically, reliably, and to some extent self-consciously, in the course of their ordinary pursuits-primarily in inquiry and in decision making. The principles and techniques recommended are explained and justified - not just stated; the aim is to teach orderly thinking, not the manipulation of symbols. The structure of material follows that of Quine's Methods of Logic, and may be used as an introduction to that work, with sections on truth-functional logic, predicate logic, relational logic, and identity and description. Exercises are based on problems designed by authors including Quine, John Cooley, Richard Jeffrey, and Lewis Carroll.

Comment: This book is adequate for a first course on formal logic. Moreover, its table of contents follows that of Quine's "Methods of Logic", thus it can serve as an introduction or as a reference text for the study of the latter.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Full text
Chatti, Saloua. Avicenna on Possibility and Necessity
2014, History and Philosophy of Logic 35(4): 332-353.
Expand entry
Added by: Sara Peppe
Abstract: In this paper, I raise the following problem: How does Avicenna define modalities? What oppositional relations are there between modal propositions, whether quantified or not? After giving Avicenna's definitions of possibility, necessity and impossibility, I analyze the modal oppositions as they are stated by him. This leads to the following results: 1. The relations between the singular modal propositions may be represented by means of a hexagon. Those between the quantified propositions may be represented by means of two hexagons that one could relate to each other. 2. This is so because the exact negation of the bilateral possible, i.e. 'necessary or impossible' is given and applied to the quantified possible propositions. 3. Avicenna distinguishes between the scopes of modality which can be either external (de dicto) or internal (de re). His formulations are external unlike al-F̄ar̄ab̄;’s ones. However his treatment of modal oppositions remains incomplete because not all the relations between the modal propositions are stated explicitly. A complete analysis is provided in this paper that fills the gaps of the theory and represents the relations by means of a complex figure containing 12 vertices and several squares and hexagons.

Comment: This article is useful for eastern philosophy courses and logic courses. Even if in the first part it provides an introductory section on Avicenna's perspective, it would be better to have some pre-esxisting background on this latter one.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Full text Read free
Chimakonam, Jonathan O,. Ezumezu: A System of Logic for African Philosophy and Studies
2019, Cham, Switzerland: Springer Verlag
Expand entry
Added by: Franci Mangraviti
Publisher’s Note:

The issue of a logic foundation for African thought connects well with the question of method. Do we need new methods for African philosophy and studies? Or, are the methods of Western thought adequate for African intellectual space? These questions are not some of the easiest to answer because they lead straight to the question of whether or not a logic tradition from African intellectual space is possible. Thus in charting the course of future direction in African philosophy and studies, one must be confronted with this question of logic. The author boldly takes up this challenge and becomes the first to do so in a book by introducing new concepts and formulating a new African culture-inspired system of logic called Ezumezu which he believes would ground new methods in African philosophy and studies. He develops this system to rescue African philosophy and, by extension, sundry fields in African Indigenous Knowledge Systems from the spell of Plato and the hegemony of Aristotle. African philosophers can now ground their discourses in Ezumezu logic which will distinguish their philosophy as a tradition in its own right. On the whole, the book engages with some of the lingering controversies in the idea of (an) African logic before unveiling Ezumezu as a philosophy of logic, methodology and formal system. The book also provides fresh arguments and insights on the themes of decolonisation and Africanisation for the intellectual transformation of scholarship in Africa. It will appeal to philosophers and logicians—undergraduates and post graduate researchers—as well as those in various areas of African studies.

Comment: Can be used as a main reference textbook for a course on African logic, insofar as Part I provides an (opinionated) survey of the field, and Part II develops a particular proposal in extensive detail. The chapters in Part I can be accompanied by many of the primary sources in "Logic and African Philosophy: Seminal Essays on African Systems of Thought", edited by the same author. Chapters 6-8, which introduce Ezumezu, can be used in a general course on logic or African philosophy wanting to discuss this particular system and philosophy thereof. While familiarity with Part I is helpful, it is not strictly required.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Read free
Clerbout, Nicolas, McConaughey, Zoe. Dialogical Logic
2022, "Dialogical Logic", The Stanford Encyclopedia of Philosophy (Fall 2022 Edition), Edward N. Zalta & Uri Nodelman (eds.)
Expand entry
Added by: Franci Mangraviti
Abstract:

This entry presents the framework of « dialogical logic » in the initial Lorenzen and Lorenz tradition. The rules for the game and for building strategies are provided with step by step examples, helping the reader understand how the dialogue tables reflect a dynamic process of interaction between the players. Various logics are presented within this pluralistic framework: intuitionist logic, classical logic, and modal logics, with references to various other logics. In a second part of the entry, objections against the framework are considered, together with answers provided by the « Immanent Reasoning » variant, which stays within the Lorenzen and Lorenz tradition, and by the « Built-In Opponent » variant first developed by Catarina Dutilh Novaes, which develops a different dialogical tradition.

Comment: Obvious overview choice for any course involving dialogical logic. Familiarity with first-order languages is a prerequisite.

Share on Facebook Share on LinkedIn Share by Email
Full text
Dalla Chiara, Maria Luisa. Logical Self Reference, Set Theoretical Paradoxes and the Measurement Problem in Quantum Mechanics
1977, International Journal of Philosophical Logic 6 (1):331-347.
Expand entry
Added by: Sara Peppe
Introduction: From a logical point of view the measurement problem of quantum mechanics, can be described as a characteristic question of 'semantical closure' of a theory: to what extent can a consistent theory (in this case 2R) be closed with respect to the objects and the concepfs which are described and expressed in its metatheory?

Comment: This paper considers the measurement problem in Quantum Mechanics from a logical perspective. Previous and deep knowledge of logics and Quantum Mechanics' theories is vital.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Full text See 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.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Full text Blue 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.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Read free Blue 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

Share on Facebook Share on LinkedIn Share by Email
Read free Blue 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.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
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.

Share on Facebook Share on LinkedIn Share by Email
Read free Blue 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

Share on Facebook Share on LinkedIn Share by Email
Full text
Eriksson, Lina, Alan Hájek. What are Degrees of Belief?
2007, Studia Logica 86(2): 185-215.
Expand entry
Added by: Berta Grimau, Contributed by: Antony Eagle
Abstract: Probabilism is committed to two theses: 1) Opinion comes in degrees - call them degrees of belief, or credences. 2) The degrees of belief of a rational agent obey the probability calculus. Correspondingly, a natural way to argue for probabilism is: i) to give an account of what degrees of belief are, and then ii) to show that those things should be probabilities, on pain of irrationality. Most of the action in the literature concerns stage ii). Assuming that stage i) has been adequately discharged, various authors move on to stage ii) with varied and ingenious arguments. But an unsatisfactory response at stage i) clearly undermines any gains that might be accrued at stage ii) as far as probabilism is concerned: if those things are not degrees of belief, then it is irrelevant to probabilism whether they should be probabilities or not. In this paper, the authors scrutinize the state of play regarding stage i). We critically examine several of the leading accounts of degrees of belief: reducing them to corresponding betting behavior (de Finetti); measuring them by that behavior (Jeffrey); and analyzing them in terms of preferences and their role in decision-making more generally (Ramsey, Lewis, Maher). We argue that the accounts fail, and so they are unfit to subserve arguments for probabilism. We conclude more positively: "degree of belief" should be taken as a primitive concept that forms the basis of our best theory of rational belief and decision: probabilism.

Comment: This paper is accessible to an advanced undergraduate audience in a formal philosophy course, since it provides an overview of the different accounts of the notion of degrees of belief. However, it's most adequate for graduate level, where it could be used in a formal epistemology course or in a course on the philosophy of probability.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
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.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
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.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!