Abstract

We argue that formal logical systems are four-valued, these four values being determined by the four deductive outcomes: A without ~A, ~A without A, neither A nor ~A, and both A and ~A. We further argue that such systems ought to be three-valued, as any contradiction, A and ~A, should be removed by reconceptualisation of the concepts captured by the system. We follow by considering suitable conditions for the removal of the third value, neither A nor ~A, yielding a classically valued system. We then consider what values are appropriate for the meta-theory, arguing that it should be three-valued, but reducible to the two classical values upon the decidability of the object system.