
Expand entry

Added by: Berta GrimauPublisher's note: This volume is an accessible introduction to the subject of manyvalued and fuzzy logic suitable for use in relevant advanced undergraduate and graduate courses. The text opens with a discussion of the philosophical issues that give rise to fuzzy logic  problems arising from vague language  and returns to those issues as logical systems are presented. For historical and pedagogical reasons, three valued logical systems are presented as useful intermediate systems for studying the principles and theory behind fuzzy logic. The major fuzzy logical systems  Lukasiewicz, Godel, and product logics  are then presented as generalizations of threevalued systems that successfully address the problems of vagueness. Semantic and axiomatic systems for threevalued and fuzzy logics are examined along with an introduction to the algebras characteristic of those systems. A clear presentation of technical concepts, this book includes exercises throughout the text that pose straightforward problems, ask students to continue proofs begun in the text, and engage them in the comparison of logical systems.

Expand entry

Added by: Berta GrimauPublisher's Note: Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various nonclassical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic. In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and intuitionistic logics. She then presents other nonclassical logics and metalogical results, including decidability results obtained specifically using sequent calculus formalizations of logics.
Comment: This book can be used in a variety of advanced undergraduate and postgraduate courses. Chapters 1, 2, 3 and 8 may be useful in an advanced undergraduate or beginning graduate course, where an emphasis is placed on classical logic and on a range of different proof calculi (mainly for classical logic). Chapters 4, 5 and 6 deal almost exclusively with nonclassical logics. Chapters 7 and 9 are rich in metalogical results, including results that have been obtained specifically using sequent calculus formalizations of various logics. These last five chapters might be used in a graduate course that embraces classical and nonclassical logics together with their metatheory. To facilitate the use of the book as a text in a course, the text is peppered with exercises. In general, the starring indicates an increase in difficulty, however, sometimes an exercise is starred simply because it goes beyond the scope of the book or it is very lengthy. Solutions to selected exercises may be found on the web at the URL www.ualberta.ca/˜bimbo/ProofTheoryBook.

Expand entry

Added by: Berta Grimau, Contributed by: Giada FratantonioAbstract: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental rules which establish the formal validity of nonindemonstrable arguments by analysing them in one or more steps into one or more indemonstrable arguments (cut type rules and antilogism). The function of these rules is to reduce given nonindemonstrable arguments to indemonstrable syllogisms. Moreover, the Stoic method of deduction differs from standard modern ones in that the direction is reversed (similar to tableau methods). The Stoic system may hence be called an argumental reductive system of deduction. In this paper, a reconstruction of this system of logic is presented, and similarities to relevance logic are pointed out.
Comment: This paper can be used as specialised/further reading for an advanced undergrad or postgraduate course on ancient logic or as a primary reading in an advanced undergrad or postgraduate course on Stoic logic. Alternatively, given that the text argues that there are important parallels between Stoic logic and Relevance logic, it could be used in a course on Relevance logic as well. It requires prior knowledge of logic (in particular, proof theory).

Expand entry

Added by: Sara PeppeIntroduction: 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.

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 antilogic 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 antilogic 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: A natural acompanying reading for any course discussing Plumwood's paper (or Chapter 2 of her book). Good source of discussion, since different criticisms of Plumwood's work are exposed and addressed here.

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: The text is accessible without a background in either feminist or Native American philosophy; in a course focusing mainly on one of the two, it is suitable as a way to introduce the students to possible connections with the other topic. Alternatively, the text can be used in a course on nonclassical conceptions of logic, in which case it might work best as a further reading after classes dedicated exclusively to feminist logic and Native American logic respectively.

Expand entry

Added by: Jie GaoPublisher's Note: The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack's book has established an international reputation (translated into five languages) for its accessibility, clarity, conciseness, orderliness, and range as well as for its thorough scholarship and careful analyses. Haack discusses the scope and purpose of logic, validity, truthfunctions, quantification and ontology, names, descriptions, truth, truthbearers, the settheoretical and semantic paradoxes, and modality. She also explores the motivations for a whole range of nonclassical systems of logic, including manyvalued logics, fuzzy logic, modal and tense logics, and relevance logics.
Comment: This textbook is intended particularly for philosophy students who have completed a first course in elementary logic. But, though the book is clearly written, such students still may find the content difficult, as it addresses difficult topics in the foundations of logic the primary literature for which is very technical. That said, it has been a widely used textbook for courses on philosophy of logic. Chapters of it can be used individually in accordance with the arrangements of the course.

Expand entry

Added by: Franci MangravitiAbstract:
The author argues that there is a strong connection between the dualisms that have strengthened and naturalized systematic oppression across history (man/woman, reason/emotion, etc.), and "classical" logic. It is suggested that feminism's response should not be to abandon logic altogether, but rather to focus on the development of alternative, less oppressive forms of rationality, of which relevant logics provide an example.
Comment: The text is a classic of feminist logic, and would thus be an essential reading for any course on the topic. It can also be an appropriate (if advanced) reading for a course on relevant logic, showcasing its potential applications and social relevance. Familiarity with classical logic is a prerequisite. The text can be supplemented with Maureen Eckert & Charlie Donahue's "Towards a Feminist Logic: Val Plumwood's Legacy and Beyond", which provides a sympathetic discussion; and with Gillian Russell's "Logic: A Feminist Approach" for a typical critique. NB: the paper strongly overlaps with Chapter 2 of Plumwood's "Feminism and the Mastery of Nature". The paper is a bit more selfcontained, but omits Plumwood's extended critique to postmodernist approaches.

Expand entry

Added by: Franci MangravitiAbstract:
Being a pragmatic and not a referential approach to semantics, the dialogical formulation of paraconsistency allows the following semantic idea to be expressed within a semiformal system: In an argumentation it sometimes makes sense to distinguish between the contradiction of one of the argumentation partners with himself (internal contradiction) and the contradiction between the partners (external contradiction). The idea is that external contradiction may involve different semantic contexts in which, say A and not A have been asserted. The dialogical approach suggests a way of studying the dynamic process of contradictions through which the two contexts evolve for the sake of argumentation into one system containing both contexts. More technically, we show a new, dialogical, way to build paraconsistent systems for propositional and ﬁrstorder logic with classical and intuitionistic features (i.e. paraconsistency both with and without tertium nondatur) and present their corresponding tableaux.
Comment: This paper would fit well in a course on dialogical formulations of logic (as either main or further reading, depending on the time dedicated to Lorenzstyle approaches), or in a course on paraconsistent logic (as an alternative way of thinking about paraconsistency); both topics are introduced in an accessible enough way. If students have no familiarity with tableaux systems, sections 4 and 5.2 can be skipped.

Expand entry

Added by: Franci MangravitiAbstract:
The problems of the meaning and function of negation are disentangled from ontological issues with which they have been long entangled. The question of the function of negation is the crucial issue separating relevant and paraconsistent logics from classical theories. The function is illuminated by considering the inferential role of contradictions, contradiction being parasitic on negation. Three basic modelings emerge: a cancellation model, which leads towards connexivism, an explosion model, appropriate to classical and intuitionistic theories, and a constraint model, which includes relevant theories. These three modelings have been seriously confused in the modern literature: untangling them helps motivate the main themes advanced concerning traditional negation and natural negation. Firstly, the dominant traditional view, except around scholastic times when the explosion view was in ascendency, has been the cancellation view, so that the mainstream negation of much of traditional logic is distinctively nonclassical. Secondly, the primary negation determinable of natural negation is relevant negation. In order to picture relevant negation the traditional idea of negation as otherthanness is progressive) refined, to nonexclusive restricted otherthanness. Several pictures result, a reversal picture, a debate model, a record cabinet (or files of the universe) model which help explain relevant negation. Two appendices are attached, one on negation in Hegel and the Marxist tradition, the other on Wittgenstein's treatment of negation and contradiction.
Comment: Can be used in a course on relevant logic or on negation. The emphasis on comparing different models makes it ideal for discussion. No familiarity with relevant logic is required.

Expand entry

Abstract:
From the introduction: "we argue that the semantics of the first degree paradoxfree implication system FD supports the claim it is superior to strict implication as an analysis of entailment at the first degree level. The semantics also reveals that Disjunctive Syllogism, [...] far from being a paradigmatic entailment, is invalid, and allows the illegitimate suppression of tautologies"
Comment: The paper introduces some of the central ideas in the relevance logic literature, e..g the connection between suppression and sufficiency, and the modeling of negation via the Routley star. It is a natural pick for a specialized course on relevance logic, but it can also be used as an introduction to (or further reading about) relevance logic in a general course on nonclassical logics. Some familiarity with classical and modal logic (in particular, the notion of strict implication) is required.

Expand entry

Added by: Franci MangravitiAbstract:
Some writers object to logical pluralism on the grounds that logic is normative. The rough idea is that the relation of logical consequence has consequences for what we ought to think and how we ought to reason, so that pluralism about the consequence relation would result in an incoherent or unattractive pluralism about those things. In this paper I argue that logic isn’t normative. I distinguish three diﬀerent ways in which a theory – such as a logical theory – can be entangled with the normative and argue that logic is only entangled in the weakest of these ways, one which requires it to have no normativity of its own. I use this view to show what is wrong with three diﬀerent arguments for the conclusion that logic is normative.
Comment: Appropriate for any course touching on the normativity of logic question. Familiarity with the question and with logical pluralism is helpful, but not required. Could be paired with a defense of normativity for discussion.

Expand entry

Added by: Franci MangravitiAbstract:
This chapter asks whether there is any such thing as feminist logic. It defines feminism and logic, and then goes on to present and evaluate four possible views, introducing and critiquing the work of Andrea Nye, Val Plumwood, and Susan Stebbing. It argues that Stebbing’s approach—on which feminism is one among many political applications of logic—is correct, but that feminist logic could do more, by providing a formal framework for the study of social hierarchies, much as it presently provides a formal framework for the study of numbers and similarity rankings among possible worlds.
Comment: Ideal for an intro course to either feminist philosophy or logic, to introduce possible interactions between the fields. More advanced courses (in either direction) might want to adopt G. Russell's "From AntiExceptionalism to Feminist Logic" instead, which covers the same topic in a lot more detail.

Expand entry

Added by: Franci MangravitiAbstract:
Despite emerging attention to Indigenous philosophies both within and outside of feminism, Indigenous logics remain relatively underexplored and underappreciated. By amplifying the voices of recent Indigenous philosophies and literatures, I seek to demonstrate that Indigenous logic is a crucial aspect of Indigenous resurgence as well as political and ethical resistance. Indigenous philosophies provide alternatives to the colonial, masculinist tendencies of classical logic in the form of paraconsistent—manyvalued—logics. Specifically, when Indigenous logics embrace the possibility of true contradictions, they highlight aspects of the world rejected and ignored by classical logic and inspire a relational, decolonial imaginary. To demonstrate this, I look to biology, from which Indigenous logics are often explicitly excluded, and consider one problem that would benefit from an Indigenous, paraconsistent analysis: that of the biological individual. This article is an effort to expand the arenas in which allied feminists can responsibly take up and deploy these decolonial logics.
Comment: Gentle introduction to American Indigenous logics, appropriate for a general intro to logic course, or for a course on decolonizing logic. Could also be used as a light starter for a course on Indigenous logics, or as a specialized reading for a course on paraconsistent logics.
Comment: This book is ideal for an intermediatelevel course on manyvalued and/or fuzzy logic. Although it includes a presentation of propositional and firstorder logic, it is intended for students who are familiar with classical logic. However, no previous knowledge of manyvalued or fuzzy logic is required. It can also be used as a secondary reading for a general course on nonclassical logics. In the words of the author: 'The truthvalued semantic chapters are independent of the algebraic and axiomatic ones, so that either of the latter may be skipped. Except for Section 13.3 of Chapter 13, the axiomatic chapters are also independent of the algebraic ones, and an instructor who chooses to skip the algebraic material can simply ignore the latter part of 13.3. Finally, Lukasiewicz fuzzy logic is presented independently of Gödel and product fuzzy logics, thus allowing an instructor to focus solely on the former. There are exercises throughout the text. Some pose straightforward problems for the student to solve, but many exercises also ask students to continue proofs begun in the text, to prove results analogous to those in the text, and to compare the various logical systems that are presented.'