TY - JOUR AU - WEBER, ZACH Y2 - 2014/05/22 Y1 - 2011 UR - http://hdl.handle.net/11343/33009 AB - In Bjørdal (2010), Bjørdal presents a paraconsistent set theory in which ∀x(x _= x) is a theorem. The author rightly claims that, while not trivializing (in the sense of proving everything), results like this are to be avoided. The set theory presented in Bjørdal (2010) is based on that of Weber (2010b), but with an introduced definition of identity—which is used, in effect, as a new axiom. With this added notion of identity, the non-self-identity of every object does in fact obtain; and so the set theory presented by Bjørdal is inadequate....... LA - eng PB - Cambridge University Press T1 - Reply to Bjordal DO - 10.1017/S1755020310000304 IS - The Review of Symbolic Logic VL - 4 IS - 1 SP - 109-113 L1 - /bitstream/handle/11343/33009/297151_REPLY%20TO%20BJORDAL.pdf?sequence=1&isAllowed=y ER -