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 -