There is a lot in abstract/academic logic that I don’t cover in this text. I don’t even show that Aristotelian and propositional logic can be combined in a single system using what are called quantifiers . I also don’t say anything about modal logic, which deals with issues of possibility and necessity. Perhaps that is what deals with your “unknown” value. I’m studying modal logic now, but I’m still very much a beginner at it.