Nicely argued! Honest question:<p>&gt; <i>and having a non-binary system of logic makes it nearly impossible to develop any formal system of reasoning</i><p>Surely there have been efforts (probabilistic inference - I wonder if there&#x27;s a rigorous calculus - maybe something of the kind of a Bayesian network)? I mean, you won&#x27;t have nice rules of deduction, sure, but I wonder... Is one of the worries for a theory of truth based on some form of fuzzy logic (&quot;truth&quot; not being boolean) that it wouldn&#x27;t be properly epistemically closed? i.e. even with some rules for inference, one would no longer be able to satisfy classical inference scenarios of the kind of &quot;S knows P; S knows P entails Q; hence S knows Q&quot;.<p>Sorry if I&#x27;m just throwing pretty words around, wondered maybe you&#x27;d know something more here &#x2F; pointers.