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:

In response to widespread use of automated decision-making technology, some have considered a right to explanation. In this paper I draw on insights from philosophical work on explanation to present a series of challenges to this idea, showing that the normative motivations for access to such explanations ask for something difficult, if not impossible, to extract from automated systems. I consider an alternative, outcomes-focused approach to the normative evaluation of automated decision-making, and recommend it as a way to pursue the goods originally associated with explainability.

Abstract: Recent criticism of feminist philosophy poses a dilemma. Feminism is taken to be a substantive set of empirical claims and political commitments, whereas philosophy is taken to be a discipline of thought organized by the pursuit of truth, but uncommitted to any particular truth. This paper responds to this dilemma, and defends the project of feminist philosophy.The first task toward understanding the feminist critique of reason, Alcoff argues, is to historically situate it within the rather long tradition of critiquing reason that has existed within the mainstream of philosophy itself.

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: This chapter reviews the book A Mind of One's Own: Feminist Essays on Reason and Objectivity (1993), by Louise B. Antony and Charlotte Witt. The appeal to reason and objectivity amounts to a request that the observer refuses to be intimidated by habit, and look for cogent arguments based on evidence that has been carefully sifted for bias. In our own society the arguments of feminists make such appeals to reason and objectivity all the time, and in a manner that closely resembles Platonic arguments. And yet today reason and objectivity are on the defensive in some feminist circles. We are frequently told that reason and objectivity are norms created by "patriarchy," and that to appeal to them is to succumb to the blandishments of the oppressor. We are told that systems of reasoning are systems of domination, and that to adopt the traditional one is thus to be co-opted. A Mind of One's Own is a collection of essays by women who are prominent in philosophy today and who wish to confront recent feminist criticisms of philosophy. Most of the contributors are under fifty and widely respected; most grew up with strong political ties to feminism.

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:

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.