TY  - JOUR
AU  - Weber, Z
Y2  - 2014/05/22
Y1  - 2011/03/01
SN  - 1755-0203
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  - English
PB  - CAMBRIDGE UNIV PRESS
T1  - THE INADEQUACY OF A PROPOSED PARACONSISTENT SET THEORY REPLY
DO  - 10.1017/S1755020310000304
IS  - 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  -