Is Sylvan's Box a Threat to Classical Logic Norms?
Abstract
Advocates of certain paraconsistent logics claim that classical logic provides incorrect norms for reasoning about impossible situations. Some have taken this claim as a sufficient reason to modify classical accounts of consequence. In this paper, I explain and evaluate such an argument based on Graham Priest's fictional story, "Sylvan's Box." I will explain and evaluate an objection to this argument based on a consistent reading of Priest's story offered by Daniel Nolan. However, I will argue that the argument fails for different reasons. It is not the case that classical logic provides incorrect norms for reasoning about impossible situations. I will discuss logical tools, offered by Daniel Nolan, compatible with classical accounts of consequence that allow for non-vacuous reasoning about impossibilities. Finally, I will offer an explanation for seeming tensions between certain classical logic principles and reasoning about impossibilities.