TY - JOUR
T1 - Remarks on naive set theory based on LP
AU - Omori, Hitoshi
N1 - Publisher Copyright:
Copyright © 2015 Association for Symbolic Logic.
PY - 2015/1/26
Y1 - 2015/1/26
N2 - Dialetheism is the metaphysical claim that there are true contradictions. And based on this view, Graham Priest and his collaborators have been suggesting solutions to a number of paradoxes. Those paradoxes include Russell's paradox in naive set theory. For the purpose of dealing with this paradox, Priest is known to have argued against the presence of classical negation in the underlying logic of naive set theory. The aim of the present paper is to challenge this view by showing that there is a way to handle classical negation.
AB - Dialetheism is the metaphysical claim that there are true contradictions. And based on this view, Graham Priest and his collaborators have been suggesting solutions to a number of paradoxes. Those paradoxes include Russell's paradox in naive set theory. For the purpose of dealing with this paradox, Priest is known to have argued against the presence of classical negation in the underlying logic of naive set theory. The aim of the present paper is to challenge this view by showing that there is a way to handle classical negation.
UR - http://www.scopus.com/inward/record.url?scp=84929712387&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84929712387&partnerID=8YFLogxK
U2 - 10.1017/S1755020314000525
DO - 10.1017/S1755020314000525
M3 - Article
AN - SCOPUS:84929712387
SN - 1755-0203
VL - 8
SP - 279
EP - 295
JO - Review of Symbolic Logic
JF - Review of Symbolic Logic
IS - 2
ER -