Jaina seven-valued logic

Sometimes the answer to &ldquo;is X true or false?&rdquo; can only be a shrug. The answer might be unknowable, or perhaps unknowable without an impractical amount of work. Jaina seven-valued logic offers an interesting perspective on (or alternative to) the problem. Consider the halting problem in computer science. The question is: &ldquo;Can you write a program Oracle that takes any other program…