Diversity Reading List

Publisher’s Note:

Is logic masculine? Is women's lack of interest in the "hard core" philosophical disciplines of formal logic and semantics symptomatic of an inadequacy linked to sex? Is the failure of women to excel in pure mathematics and mathematical science a function of their inability to think rationally? Andrea Nye undermines the assumptions that inform these questions, assumptions such as: logic is unitary, logic is independenet of concrete human relations, and logic transcends historical circumstances as well as gender. In a series of studies of the logics of historical figures--Parmenides, Plato, Aristotle, Zeno, Abelard, Ockham, and Frege--she traces the changing interrelationships between logical innovation and oppressive speech strategies, showing that logic is not transcendent truth but abstract forms of language spoken by men, whether Greek ruling citizens, or scientists.

From the Introduction: "Andrea Nye is also concerned with the role of logic in science, linking the adequacy of logic with its applicability in a domain of scientific knowledge. Nye argues that the dominant predicate logic cannot adequately represent the issues surrounding attempts to divide organisms into species. Feminist critiques of the extensional theory of meaning lay the ground for alternative theories of categorization. Without renewed models of categorization, Nye submits, science is in danger of becoming a self-enclosed “logical” system, rather than an instrumental model of reality."

From the Introduction: "Dorothea Olkowski’s chapter offers an analysis of the need to develop a logic of sense. Drawing on the work of Gilles Deleuze, Olkowski defends formal logic against feminist theorists who have urged that we organize thinking around the principles of embodiment. She warns us against the complete merging of bodily functions and sense-making activities. In Olkowski’s view, feminists need to acknowledge the usefulness of logical analyses at the same time that they must insist on formal systems that reflect and are tempered by human and humane values."

Abstract:

¿Seguimos reglas de inferencia al razonar? Por más intuitiva que resulte la respuesta positiva a esta pregunta, hay una serie de dificultades para vincular reglas lógicas y prácticas inferenciales. El Problema de la Adopción de Reglas de Inferencia constituye un desafío para todo aquel que proponga que podemos seguir nuevos patrones inferenciales a partir del reconocimiento de reglas. En esta sección temática se exploran diversos asuntos conectados a si podemos seguir un nuevo patrón inferencial en virtud de una regla.

Abstract:

Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system. We call Prawitz’ proposal the Ecumenical System, following the terminology introduced by Pereira and Rodriguez. In this work we present an Ecumenical sequent calculus, as opposed to the original natural deduction version, and state some proof theoretical properties of the system. We reason that sequent calculi are more amenable to extensive investigation using the tools of proof theory, such as cut-elimination and rule invertibility, hence allowing a full analysis of the notion of Ecumenical entailment. We then present some extensions of the Ecumenical sequent system and show that interesting systems arise when restricting such calculi to specific fragments. This approach of a unified system enabling both classical and intuitionistic features sheds some light not only on the logics themselves, but also on their semantical interpretations as well as on the proof theoretical properties that can arise from combining logical systems.

Abstract:

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.

Introduction: Plumwood’s second essay uses logical distinctions to map the difficult terrain of feminist theories of difference. By carefully distinguishing among forms of difference, Plumwood refutes attempts by some feminist theorists to identify dichotomous thinking with oppressive thinking.

Abstract:

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 semi-formal 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 first-order logic with classical and intuitionistic features (i.e. paraconsistency both with and without tertium non-datur) and present their corresponding tableaux.

Abstract:
Aristotle is generally credited with the invention of logic. More than two thousand years ago, he noticed that good, persuasive arguments have certain kinds of shapes, or structures. Logic was born when he began to study those structures, which he called syllogisms, identifying underlying patterns of ordinary human reasoning and then devising simple methods which can be used to determine whether someone is reasoning correctly. Aristotle was aware that this was a momentous discovery, and he himself thought that all scientific reasoning could be reduced to syllogistic arguments. There are hints that Aristotle saw his syllogistic logic as providing useful practice for participants in ancient debating contests, contests which he himself would have encountered as a student in Plato’s Academy. There are also hints that Aristotle might have envisioned his syllogistic logic as providing a way to catalogue facts about science. But Aristotle never fleshes out any such details. His Prior Analytics, the text in which he presents his syllogistic, focuses on the mechanics of the syllogistic far more than on its interpretation, and in fact the comparative lack of interpretive detail has sometimes led scholars to suppose that what we have today of Aristotle’s logic is his own sometimes scrappy lecture notes or his students’ notes, and not a polished, finished work. But in the end these are of course only guesses. In modern times, the main scholarly interest in Aristotle’s ancient logic has focused increasingly on the proper interpretation of the mechanical methods which Aristotle invented and on their relation to his wider philosophy.

Abstract: The present article provides an introduction to classical Chinese logic, a term which refers to ancient discourses that were developed before the arrival of significant external influences and which flourished in China until the first unification of China, during the Qin Dynasty. Taking as its premise that logic implies both universal and culturally conditioned elements, the author describes the historical background of Chinese logic, the main schools of Chinese logical thought, the current state of research in this area and the crucial concepts and methods applied in classical Chinese logic. The close link between Chinese logic and the Chinese language is also stressed