Blog – alanza.xyz

ROBBIE LYMAN

English Implications

Previous:
Intentions: 2024 into 2025
Up

I wanted to share a little a-ha moment that I ran into while teaching today.

This semester I'm teaching two classes, both of which begin by discussing set theory, proceed onto the foundations of mathematical logic, and then start discussing proofs. I assume that at some point they will diverge more dramatically (it's my first time teaching either of them), but so far the biggest difference is that most of the students in one class are majoring in Computer Science and in the other, most of them are majoring in Math.

I've noticed that one of the worst parts about this first couple weeks is that the "table setting" of it all is really pretty hefty. In the first five classes, we've defined sets, membership, the subset relation, the power set, unions, intersections, complementation (within a "universe"), logical "and", "or", "not" and more. Each of these concepts is accompanied by one or more mathematical symbols. If every one of them is new for a student, it really adds up to a lot.

Anyway, perhaps the most important logical construction in math is implication. If PP and QQ are mathematical statements (assertions with a possibility of being either true or false), the construction P    QP \implies Q is pronounced "PP implies QQ" or "if PP then QQ". Most of mathematical deductions involve assembling and manipulating implications.

If you think of the construction P    QP \implies Q as a function whose truth value depends on its two "arguments" PP and QQ, in mathematics we agree that the statement P    QP \implies Q is false when PP is true and QQ is not, but is true otherwise. When I first encountered this as an undergraduate taking a logic course online in an attempt to try to catch up with the level my classes expected me to be at, I thought this was arbitrary and a little silly. After all, shouldn't the statement be false when PP is false?

Think about it this way: ask yourself, "when is the statement a lie?" For example, let's say PP is the statement "I pass the test" and QQ is the statement "I pass the class". It seems pretty clear that if you pass the test but fail the class, that I lied to you when I said P    QP \implies Q. But if you don't pass the test, then whether or not you pass the class, I would say that I didn't lie to you when I said P    QP \implies Q.

Often you want a stronger guarantee: you want that if PP is true, then QQ is true, sure, but also that if PP is false, then QQ is false. In math we write this as P    QP \iff Q and say "PP if and only if QQ".

We also sometimes describe this state of affairs in terms of "necessary" and "sufficient conditions". When P    QP \implies Q, one way of thinking is that if PP is true, then we conclude that QQ is true. In other words, observing the truth of PP is sufficient evidence to conclude that QQ is true. On the other hand, if the truth of PP is necessary for QQ to be true, what we can say is that if we find QQ to be true, then since PP was necessary for this state of affairs, it must be the case that PP is true. So PP being necessary for QQ can be represented symbolically as Q    PQ \implies P.

I found this really confusing to talk about alongside the phrasing "PP if and only if QQ", and I just realized why today. In the construction "PP is necessary/sufficient for QQ", we are treating PP as the condition and QQ as the result. But when we say "PP if QQ" or "PP only if QQ", suddenly it is QQ and not PP which is the condition! (Right? the construction "PP if QQ" could be restated as "if QQ then PP".)

So my confusion was not mathematical, really, but actually more linguistic, or involving the kind of teleological logic used in English but not present in mathematics in this way: I was being tripped up not because I was in any way confused about what P    QP \implies Q means (although there are reasons to be iffy about it!), but because the same use of symbols supports thinking of either PP or QQ as the "condition" when put into English, and the two most common dichotomies represented for this usage in mathematical English make the opposite choice about which is the condition.