You have to have logic to have truth/falsity and unknown states. Is logic just a computation? The next statement is a question, what is a question? (duh) Is there a logic which is true for all forms of logic - a universally true logic, or, is there only a set of groups and classes restricted to be only universally true in their respective domains (for example, electronics)? What the hell is a respective domain? Anyone?