22 Jan
2004
22 Jan
'04
6:36 p.m.
Check out various theories of "modal logic". Some of them deal with problems of this sort. Modal logic has now found a _useful_ place in computer science dealing with pre and post conditions. You might try Vaughan Pratt's home page (do a Google search). At 05:19 PM 1/22/2004, Mike Stay wrote:
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