I this paper, I discuss Plumwood’s feminist logic program. I argue both in favor of her general stance in feminist philosophy of logic and her more specific feminist critique of classical logic. Plumwood’s general position is in opposition with (I think it’s safe to say) the prevailing view in analytic philosophy about the relation between formal logic and feminist theory, according to which feminist theory cannot say anything about or against logic proper, since the issues of oppression are external to (...) logic as a (formal) discipline. Connected to this externalism is a non-Plumwoodian view that “feminist logic” either doesn’t mean anything, or that it has some figurative meaning. Concerning Plumwood’s (I think it’s safe to say) not widely accepted feminist critique of classical logic, I propose an interpretation according to which classical logic is oppressive only when it’s used to describe a particular, “dualized” or “dualizable”, kind of notions. In accordance with this understanding, I consider five features of oppressive differentiations as proposed by Plumwood, arguing that two of them don’t concern negation, the feminist critique of which operator Plumwood is mostly (in)famous for. (shrink)

According to Brouwer’s ‘theory of the exodus of consciousness’, our experience includes ‘egoicity’, a distinct kind of feeling. In this paper, we describe his phenomenology in order to explore and elaborate on the notion of egoic sensations. In the world of perception formed from sensations, some of them are, Brouwer claims, not completely separated or ‘estranged’ from the subject, which is to say they have a certain degree of egoicity. We claim this phenomenon can be explained in terms of the (...) primordial state of consciousness from where the ‘exodus’ starts. Having undertaken the analysis and interpretation of Brouwer’s descriptions and examples of egoic sensations, we provide a formal account of egoicity based on Brouwer’s definition of its relation to estrangement, desire and fear. We show that the four terms can be modeled by a classical and a graded logical hexagon, giving the corresponding axiomatizations. (shrink)