Yeah, that one's always bothered me too. I think the difference in meaning from colloquial "implication" and logical "material implication" are also involved in the raven paradox.

So the statement that "all ravens are black" can be taken as "if RAVEN then BLACK". Is this statement true? If you see a black raven then trivially yes, if you see a white raven then trivially false (via counter example).

However if you see a non-raven, it is evidence for the truth of the statement because it doesn't go against it: not-ravens being black-or-not-black both reduce the universe of possible objects without proving not-black-ravens exist.

Or something like that, I think it's stupid too. Trinary logic can adopt a more sensible (IMHO) definition of implication that makes A being false always lead to the third value (usually defined as indeterminate or neither-true-nor-false).

[–] squaresinger@lemmy.world 1 points 1 week ago

The AND and OR also have slightly different meanings than in "real life". That's what always happens if you use natural language terms in the context of formal languages.

In English (and many other natural languages), "or" means either XOR or OR, and "and" can also mean OR in some contexts.

So it just follows that IMPLIES doesn't mean the exact same as "implies".

To take your example with the ravens: IMPLIES is just about whether the inputs contradict the statement. The statement "raven IMPLIES black" should be translated to "raven is black", not "all ravens are black", since you only ever test the statement against specific inputs.

So if you now give it "raven" and "black" as inputs, the statement is true. If you give it "dove" and "white" as inputs, it doesn't contradict the statement, so the result is still true. Only if you give it "raven" and "white" as inputs does it contradict the statement.

Remember: Boolean logic isn't about statements of truth, but instead as a mathematical operation. Same as you use mathematical functions and operators to "calculate x", you also use boolean operations to calculate a result.