Classical logic of paradox
摘要
We begin with the claim that a paradoxical sentence is a sentence that cannot consistently be true and cannot consistently be false either. We provide two approaches to interpret that claim: a gappy approach that takes paradoxical sentences to be neither true nor false, and a glutty approach that takes paradoxical sentences to be both true and false. We present two systems capable of expressing this semantic understanding. The models that we use ensure that paradoxicality is understood as a bivalent notion—saying of a sentence that it is paradoxical will result in either a true sentence or a false one (not both, not neither). Starting with a reflexive-free gappy logic of paradox,