It's good that you pointed out Kripke's fixed point theory of truth as a solution to the Liar's paradox. It seems to be an acceptable solution.

On the other hand, I also agree that "fuzziness as a matter of degree" can be added on top of a binary logic. That would be very useful for dealing with commonsense reasoning -- perhaps even indispensable.

What is particularly controversial is whether turth should be regarded as a matter of degree, ie, the development of a fuzzy-valued logic. At this point, I am kinda 50-50 about it. The advantage of doing this is that we can translate commonsense notions easily, and it may be more intuitive to design and implement the AGI. The disadvantage is that we need to deal with a relatively new form of logic (ie, many-valued logic) and its formal semantics, proof theory, model theory, deduction algorithms, etc. With binary logic we may be on firmer ground.