[math-fun] fixed points for paradoxes

There are lots of paradoxes that boil down to "if p then not p", which is rightly taken as a contradiction in Boolean logic. I've also seen people take fuzzy logic and say "(if p then 1-p) has a solution at p=0.5" Has anyone looked at set theory or the halting problem or algorithmic information theory with truth values on the interval [0,1]? -- Mike Stay staym@clear.net.nz http://www.cs.auckland.ac.nz/~msta039