Lesson 9.2 — Necessary

The Word

When someone says "MUST," they're closing off alternatives:

"The killer MUST have come in through the window."
"2 + 2 MUST equal 4."
"You MUST wear a helmet."

A necessity claim says: there's no other way. Given the rules, the evidence, or the math, the claim has to hold. It can't fail.

The Truth Test

Imagine all the ways things could be — every possible situation that fits what we know. A necessity claim is TRUE only when the claim holds in every one of those situations. Even one possible situation where it fails breaks the necessity.

Click each situation to flip whether it has rain. Watch how "It must be raining" tracks.

The Quantifier Parallel

This should feel familiar. From Lesson 8.2:

• ALL needs the property to hold in every member of a group.
• NECESSARY (□) needs the property to hold in every possible situation.

Same logic, different domain. ALL ranges over things; NECESSARY ranges over situations. One counterexample (a member without the property) kills ALL; one counter-situation (a way things could be where the claim fails) kills NECESSARY.

If you want to disprove a necessity claim, find ONE possible situation where it fails. That's all it takes.

Real Uses

Detective reasoning. "The window is broken from the outside. The only way in was through the window. So the intruder MUST have come in that way." The detective is saying: given the evidence, every possible situation has the intruder coming in through the window. No alternative survives.

Math truths. "2 + 2 MUST equal 4." Not just in our world — in every possible world. You can't imagine a coherent universe where 2 + 2 equals 5. Math is full of necessity claims.

Definitions. "A triangle MUST have three sides." It's part of what triangle MEANS. A shape with four sides isn't a triangle with one extra — it's something else.

Rules. "You MUST wash your hands before eating." This is necessity-by-rule — within the situations where you follow this rule, you wash. Slightly different from logical necessity, but the structure is the same.

How Logic Writes It

The box: □. Read it as "necessarily" or "must."

□Raining — it must be raining; in every possible situation, it's raining.

□(2 + 2 = 4) — in every possible situation, 2 + 2 equals 4. The big math truths are necessary.

□(P → Q) — necessarily, if P then Q. The IF-relationship holds in every situation, not just by accident.

Necessity Has Many Flavors

"Must" doesn't always mean the same kind of necessity. Different uses lean on different bases:

• Logical necessity — "A triangle must have three sides." True in every conceivable situation.
• Physical necessity — "Objects must fall down on Earth." True in every situation that follows our physics.
• Evidential necessity — "The killer must have come in the window." True in every situation that fits what we know.
• Moral or rule-based necessity — "You must tell the truth." True in every situation where you're following the rule.

Logic mostly treats them with the same machinery. The differences matter for philosophy and law, but the basic shape — "true in every relevant situation" — is shared.

Tricky Bits

1. Necessity isn't certainty about what IS — it's about what MUST be. "It must be raining" doesn't mean "I'm 100% sure it's raining right now." It means: given what I know, every possible situation involves rain. The strength is in the structure, not the speaker's confidence.

2. One counter-situation is enough. Just like ALL claims, you don't have to survey every situation — you just have to find ONE where the claim fails. The killer-window example collapses if you find one possible way in through the back door.

3. Empty case: vacuous necessity. If there are no possible situations at all (a contradictory premise), every necessity claim is technically TRUE — there's nothing to check. Same weird empty-case rule as ALL.

Recap

• NECESSARY (□) means TRUE IN EVERY POSSIBLE SITUATION.
• One counter-situation breaks a necessity claim.
• Logic symbol: □.
• Necessity is like ALL, but over situations instead of group members.
• Different flavors (logical, physical, evidential, moral) but same shape.