Virtual Logic — The Flagg Resolution

摘要: Consider the statement: J= ‘This statement is false.’ If J true then states that false. false true. Thus we can write = Not J. One might shun such a statement, but perhaps there way to deal with it. solution has been proposed say new kind of truth value, neither nor false, and devise logic more than two values in which live. In this 3 (or more) — valued some rules standard set theory have be sacrificed. To see how sacrifice comes about, consider following S =J or were ordinary logic, would true, since (P P) for any P logic. True No