"The Reasoned Schemer" teaches by dialectic — Socratic question-and-answer
where the student reasons toward relational programming through guided inquiry.
But as the reader progresses, the dialectic converges on truths that were never in doubt.
This is structurally identical to catechesis — the transmission of established truth
through question and answer. Both assume the truth is prior.
The only difference is the account of why.
Paul God made it plain to them. Sin suppresses it.
Friedman Relational logic is inherent in computation. Procedural habits obscure it.
Plato The soul knew before embodiment. Recollection recovers it.
Same shape. The pedagogy is recovery. If the material feels like remembering something
you already half-knew, that is the subject matter being honest about its own nature.
