Diversity Reading List

This paper starts out from two feminist criticisms of classical logic, namely Andrea Nye’s general rejection of logic and Val Plumwood’s criticism of the standard notion of negation in classical logic. I then look at some of Gottlob Frege’s reflections on negation in one of his later Logical Investigations. It will appear clear that Frege’s notion of negation is not easily pegged in the general category of ‘Otherness’ that Plumwood uses to characterize negation in classical logic. In the second half of the paper, I discuss the claim that the adversarial method of argumentation in philosophy is hostile to feminist goals and perhaps responsible for the low numbers of women engaged in academic philosophy. Against this hypothesis, I claim that a more naturalistic perspective on logic can avoid essentialism and provide a feminist friendly and pluralist view of logic, human reasoning, and philosophical argumentation.

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.