In this article, we present a definition of hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including $${\sf HYPE}$$ and some substructural logics. We further prove some positive and negative results concerning extensionality and hyperintensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results in the area of epistemic logic.

Guest Editors: Gloria Andrada and Carolina Flores This special issue focuses on feminist philosophy of mind and cognitive science. It will offer novel perspectives on long-standing questions such as t...

Work in the field of feminist logic is still rather scarce and the field itself remains a contested area of study, but still, it is developing. One approach concentrates on analyzing logical systems with respect to structural features that may perpetuate sexism and oppression or, on the other hand, features that may be helpful for resisting and opposing these social phenomena. Upon this assumption, I want to investigate possible applications of queer feminist views on (philosophy of) logic with respect to a very specific group, namely contradictory logics, i.e., logical systems containing contradictions in their set of theorems. I want to show that, on the one hand, the formal set-up of contradictory logics makes them well-suited from the perspectives of feminist logic and, on the other hand, that queer feminist theories provide a relevant, and so far undeveloped, conceptual motivation for contradictory logics. Thus, bringing together contradictory logics and queer feminist theories may prove fruitful both as a ‘real-life’ motivation for these peripheral logical systems and as a formal basis for a philosophical field that is still characterized by a distrust of formalism.