Diversity Reading List

Abstract:

This paper stresses the importance of identifying the nature of an author’s conception of logic when using terms from modern logic in order to avoid, as far as possible, injecting our own conception of logic in the author’s texts. Sundholm (2012) points out that inferences are staged at the epistemic level and are made out of judgments, not propositions. Since it is now standard to read Aristotelian sullogismoi as inferences, I have taken Alexander of Aphrodisias’s commentaries to Aristotle’s logical treatises as a basis for arguing that the premises and conclusions should be read as judgments rather than as propositions. Under this reading, when Alexander speaks of protaseis, we should not read the modern notion of proposition, but rather what we now call judgments. The point is not just a matter of terminology, it is about the conception of logic this terminology conveys. In this regard, insisting on judgments rather than on propositions helps bring to light Alexander’s epistemic conception of logic.

Abstract:

Recent works about ecumenical systems, where connectives from classical and intuitionistic logics can co-exist in peace, warmed the discussion on proof systems for combining logics. This discussion has been extended to alethic modalities using Simpson’s meta-logical characterization: necessity is independent of the viewer, while possibility can be either intuitionistic or classical. In this work, we propose a pure, label free calculus for ecumenical modalities, nEK, where exactly one logical operator figures in introduction rules and every basic object of the calculus can be read as a formula in the language of the ecumenical modal logic EK. We prove that nEK is sound and complete w.r.t. the ecumenical birelational semantics and discuss fragments and extensions.

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.

Publisher’s Note:

This book describes how logical reasoning works and puts it to the test in applications. It is self-contained and presupposes no more than elementary competence in mathematics.

Abstract:
Val Plumwood charged classical logic not only with the invalidity of some of its laws, but also with the support of systemic oppression through naturalization of the logical structure of dualisms. In this paper I show that the latter charge - unlike the former - can be carried over to classical mathematics, and I propose a new conception of inconsistent mathematics - queer incomaths - as a liberatory activity meant to undermine said naturalization.

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.

Abstract:
Hass examines chapters devoted to Aristotle in a recent, prominent, and controversial feminist critique of logic, Andrea Nye's Words of Power: A Feminist Reading of the History of Logic. Hass shows that Nye's criticisms of logic in general and of Aristotle in particular are misplaced. What is crucial in Nye's attack are alleged problems caused by overzealous "abstraction." But Hass argues that abstraction is not problematic; instead, it is crucial (and empowering) for feminist political theory. Although she rejects Nye's form of feminist logic critique, Hass finds more that is worthwhile in the criticisms of logic advanced by Luce lrigaray and Val Plumwood. These thinkers call for feminist alternatives to what has come to be standard deductive logic - and interestingly enough, their call is echoed in other contemporary criticisms from within the field of logic itself, for example, from intuitionist or entailment logics. The logical schemes envisaged by lrigaray and Plumwood would encompass more situated and fluid ways of using formal systems to describe and analyse reality and diverse experiences. Hass argues that, in Aristotle's case, we can glimpse something of such an alternative by looking to his account of negation, which is richer and more complex than that allowed by most contemporary formal systems.

Abstract:

Hass examines chapters devoted to Aristotle in a recent, prominent, and controversial feminist critique of logic, Andrea Nye's Words of Power: A Feminist Reading of the History of Logic. Hass shows that Nye's criticisms of logic in general and of Aristotle in particular are misplaced. What is crucial in Nye's attack are alleged problems caused by overzealous "abstraction." But Hass argues that abstraction is not problematic; instead, it is crucial (and empowering) for feminist political theory. Although she rejects Nye's form of feminist logic critique, Hass finds more that is worthwhile in the criticisms of logic advanced by Luce lrigaray and Val Plumwood. These thinkers call for feminist alternatives to what has come to be standard deductive logic - and interestingly enough, their call is echoed in other contemporary criticisms from within the field of logic itself, for example, from intuitionist or entailment logics. The logical schemes envisaged by lrigaray and Plumwood would encompass more situated and fluid ways of using formal systems to describe and analyse reality and diverse experiences. Hass argues that, in Aristotle's case, we can glimpse something of such an alternative by looking to his account of negation, which is richer and more complex than that allowed by most contemporary formal systems.

Abstract:

This paper uses logic - a formal language with models and a consequence relation - to think about the social and political topics of subordination and subordinative speech. I take subordination to be a matter of three things: i) ranking one person or a group of people below others, ii) depriving the lower-ranked of rights, and iii) permitting others to discriminate against them. Subordinative speech is speech - utterances in contexts - which subordinates. Section 1 introduces the topic of subordination using examples from the 1979 novel Kindred by Octavia Butler. Section 2 uses these examples to clarify and illustrate the definitions of subordination and subordinative speech. Sections 3 and 4 then develop a way of modeling subordination using a system of social spheres, an adaptation of (Lewis, 1973)'s approach to modeling the relation of comparative similarity on worlds for counterfactuals. Section 4 looks at three possible applications for this work: giving truth-conditions for social quantifiers, identifying fallacies involving such expressions, and explaining the pragmatics of subordinative speech. The last section anticipates objections and raises further questions.

From the Introduction: "Modern mathematics is based on the axiomatic method. We choose axioms and a deductive system---rules for deducing theorems from the axioms. This methodology is designed to guarantee that we can proceed from "obviously" true premises to true conclusions, via inferences which are "obviously" truth-preserving. [...] New and interesting questions arise if we give up as myth the claim that our theorizing can ever be separated out from the complex dynamic of interwoven social/political/historical/cultural forces that shape our experiences and views. Considering mathematics as a set of stories produced according to strict rules one can read these stories for what they tell us about the very real human desires, ambitions, and values of the authors (who understands) and listen to the authors as spokespersons for their cultures (where and when). This paper is the self-respective and self-conscious attempt of a mathematician to retell a story of mathematics that attends to the relationships between who we are and what we know."