@Night Ripper,
Night Ripper;151927 wrote:From what I've read, there are three values; true, false and unknown. Why wouldn't not true be unknown just as well as false? Also, not unknown would be either true or false. Right?
I found some tables searching the web that were much more fleshed out last night but I can't seem to be able to find any right now....but I am not expert on the logic system, I simply started with the basic understanding that statements about my future choices cannot be determinate prior to my actually turning the choice into reality.
It was then I discovered others also felt the same way and then eventually I stumbled upon fuzzy logic, multi-valued logic, truth gaps and stuff like that....so in answer to your question I don't know, I'd have to look up what has been fleshed out by others as they've been working on these issues since the time of aristotle.
craig bourne for example has not unknown as true
http://cpb.blueorange.net/images/images/anal_middlemuddle.pdf
here is bourne table(I think):
Note: for "unknown" he uses the value 1/2
~ |
--------
1 | 0
1/2 | 1
0 | 1
& | 1 | 1/2 | 0
------------------
1 | 1 | 0 | 0
1/2 | 0 | 0 | 0
0 | 0 | 0 | 0
v | 1 | 1/2 | 0
------------------
1 | 1 | 1 | 1
1/2 | 1 | 0 | 0
0 | 1 | 0 | 0
these aren't actually bourne's tables but instead are someone else's that he brings up....He then brings up an interesting point about them and about why is it necessary for us to lose indeterminate outcomes