[whatshisface]

Attempts at building in smoothness to logic never seem very useful to me, because true/false based logic already supports real numbers and probabilities as well as you could hope it to. If anything the real discovery of symbolic logic was that you don't need smooth primitives to build arguments about smooth things - it was obvious from the beginning that you could assign something that was one of two things to one of two symbols, but the realization that you could also do math and physics that way came much later.