Furthermore, in classical logic there is a principle called the excluded third which declares that a sentence that cannot be false must be taken as true since there is no third possibility