#### Speakpigeon

**Valued Senior Member**

I think I already replied to that.I can't understand why people here are trying to shoehorn a logic with 3 defined values into a logic with 2. Yes, the argument as presented has 3 logical values: true, false, and indeterminate (but one of true or false). The truth tables for arguments in 3-valued logic are a bit larger than for ordinary old 2-valued logic, but they exist. What the hell is going on here? I demand to know and will not be deterred until I do . . . (yes you're allowed to take that seriously)

"

*May be p*" just means it is possible that p, or, we don't know that not p.

So, if we don't know that not p, it is possible that p, and so it is true that may be p, and therefore "

*may be p*" is true.

Or else, if we do know that not p, it is not possible that p, and therefore it is false that may be p, and thus "

*may be p*" is false.

Thus, "

*may be p*" is either true or false.

As we should all know.

EB