-
Expand entry
-
Added by: Franci MangravitiAbstract:
Being a pragmatic and not a referential approach to semantics, the dialogical formulation of paraconsistency allows the following semantic idea to be expressed within a semi-formal system: In an argumentation it sometimes makes sense to distinguish between the contradiction of one of the argumentation partners with himself (internal contradiction) and the contradiction between the partners (external contradiction). The idea is that external contradiction may involve different semantic contexts in which, say A and not A have been asserted. The dialogical approach suggests a way of studying the dynamic process of contradictions through which the two contexts evolve for the sake of argumentation into one system containing both contexts. More technically, we show a new, dialogical, way to build paraconsistent systems for propositional and first-order logic with classical and intuitionistic features (i.e. paraconsistency both with and without tertium non-datur) and present their corresponding tableaux.
-
Expand entry
-
Added by: Franci MangravitiAbstract:
Despite emerging attention to Indigenous philosophies both within and outside of feminism, Indigenous logics remain relatively underexplored and underappreciated. By amplifying the voices of recent Indigenous philosophies and literatures, I seek to demonstrate that Indigenous logic is a crucial aspect of Indigenous resurgence as well as political and ethical resistance. Indigenous philosophies provide alternatives to the colonial, masculinist tendencies of classical logic in the form of paraconsistent—many-valued—logics. Specifically, when Indigenous logics embrace the possibility of true contradictions, they highlight aspects of the world rejected and ignored by classical logic and inspire a relational, decolonial imaginary. To demonstrate this, I look to biology, from which Indigenous logics are often explicitly excluded, and consider one problem that would benefit from an Indigenous, paraconsistent analysis: that of the biological individual. This article is an effort to expand the arenas in which allied feminists can responsibly take up and deploy these decolonial logics.
Comment: Gentle introduction to American Indigenous logics, appropriate for a general intro to logic course, or for a course on decolonizing logic. Could also be used as a light starter for a course on Indigenous logics, or as a specialized reading for a course on paraconsistent logics.
Comment: This paper would fit well in a course on dialogical formulations of logic (as either main or further reading, depending on the time dedicated to Lorenz-style approaches), or in a course on paraconsistent logic (as an alternative way of thinking about paraconsistency); both topics are introduced in an accessible enough way. If students have no familiarity with tableaux systems, sections 4 and 5.2 can be skipped.