Logic
Validity is not truth.
the shape of this subject
Formal logic rewards students who can separate structure from content. Brainback trains this reflex until it sticks.
Because logic rewards the students who do the reps — and punishes the ones who outsource them.
- discipline
- Humanities
- typical weekly load
- 1-2 essays or readings · 4-6 hours
- covered on plan
- all plans (free forever)
Every logic concept Brainback covers.
Add Logic as a Learn subject and every problem in these areas routes to the Socratic tutor — attempt-first, hint-laddered, output-guarded.
What one turn in logic actually looks like.
Attempt → correction → guiding question. No answer. Ever. Verbatim from a beta session.
Modus tollens: (P→Q, ¬Q ⊢ ¬P)…
Is this valid? Would it stay valid if all Ps and Qs were replaced with new symbols?
no answer · one guiding question · your next move
How real attempts start. How Brainback nudges.
- Modus tollens: (P→Q, ¬Q ⊢ ¬P)…
- Is this valid? Would it stay valid if all Ps and Qs were replaced with new symbols?
the anti-pattern
What logic looks like when the AI does the thinking.
Answer machines make logic look like a solved problem. It isn't. The exam room reveals whose reasoning was built and whose was rented.
- M1Confusing summary with analysis.
- M2Reaching for the thesis you wish were true, not the one your evidence supports.
- M3Quoting without close-reading.
- M4Substituting jargon for argument.
the recall card
What a spaced-repetition card looks like in logic.
Every wrong attempt and low-scored explain-back becomes a card. SM-2 schedules them — the tricky ones come back tomorrow, the solid ones drift out to next week, then next month.
Recall the core concept in your own words. Then apply it to a fresh example under 2 minutes.
Related subjects.
The subject where the shortcut has always been most expensive.
The subject where wrong feels right — until Brainback slows you down.
Proofs and combinatorics for people who like clean edges.
Draw the free-body diagram. Actually draw it.
Balance the equation. In the right order.
Systems, not slogans.
logic — ready when you are
Start your first logic session.
Attempt-first. Never the answer. Add it as a Learn subject in 30 seconds.