Blog – alanza.xyz
ROBBIE LYMAN
English Implications
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 and are mathematical statements (assertions with a possibility of being either true or false), the construction is pronounced " implies " or "if then ". Most of mathematical deductions involve assembling and manipulating implications.
If you think of the construction as a function whose truth value depends on its two "arguments" and , in mathematics we agree that the statement is false when is true and 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 is false?
Think about it this way: ask yourself, "when is the statement a lie?" For example, let's say is the statement "I pass the test" and 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 . 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 .
Often you want a stronger guarantee: you want that if is true, then is true, sure, but also that if is false, then is false. In math we write this as and say " if and only if ".
We also sometimes describe this state of affairs in terms of "necessary" and "sufficient conditions". When , one way of thinking is that if is true, then we conclude that is true. In other words, observing the truth of is sufficient evidence to conclude that is true. On the other hand, if the truth of is necessary for to be true, what we can say is that if we find to be true, then since was necessary for this state of affairs, it must be the case that is true. So being necessary for can be represented symbolically as .
I found this really confusing to talk about alongside the phrasing " if and only if ", and I just realized why today. In the construction " is necessary/sufficient for ", we are treating as the condition and as the result. But when we say " if " or " only if ", suddenly it is and not which is the condition! (Right? the construction " if " could be restated as "if then ".)
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 means (although there are reasons to be iffy about it!), but because the same use of symbols supports thinking of either or 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.