期刊名称:Principia : an International Journal of Epistemology
印刷版ISSN:1414-4247
电子版ISSN:1808-1711
出版年度:2018
卷号:22
期号:1
页码:189-202
DOI:10.5007/1808-1711.2018v22n1p189
语种:English
出版社:Universidade Federal de Santa Catarina, Brasil
摘要:In this article, we defend that incorporating a rejection operator into a paraconsistent language involves fully specifying its inferential characteristics within the logic . To do this, we examine a recent proposal by Berto (2014) for a paraconsistent rejection, which — according to him — avoids paradox, even when introduced into a language that contains self-reference and a transparent truth predicate. We will show that this proposal is inadequate because it is too incomplete. We argue that the reason it avoids trouble is that the inferential characteristics of the new operator are left (mostly) unspecified, exporting the task of specifying them to metaphysicians. Additionally, we show that when completing this proposal with some plausible rules for the rejection operator, paradoxes do arise. Finally, we draw some more general implications from the study of this example.