Nicely argued! Honest question: > and having a non-binary system of logic makes it nearly impossible to develop any formal system of reasoning Surely there ha

Nicely argued! Honest question: > and having a non-binary system of logic makes it nearly impossible to develop any formal system of reasoning Surely there have been efforts (probabilistic inference - I wonder if there's a rigorous calculus - maybe something of the kind of a Bayesian network)? I mean, you won'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 ("truth" not being boolean) that it wouldn'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 "S knows P; S knows P entails Q; hence S knows Q". Sorry if I'm just throwing pretty words around, wondered maybe you'd know something more here / pointers.