Ever since antiquity, philosophers have recognized that truth comes in many "modes", so that a proposition may not only be true or false, but also e.g. "necessary" or "possible". These ideas led to ...