Catechesis and Dialectic

The form of The Reasoned Schemer

"The Reasoned Schemer" teaches by what its authors call dialectic — Socratic question-and-answer where the student reasons toward relational programming through guided inquiry. The form is borrowed from "The Little Schemer" lineage: present a question, let the reader work, reveal the answer, deepen. This is the Meno all over again — Socrates showing that the slave boy already "knows" the geometry, the questions merely clearing the fog.

Why Friedman is right to call it dialectic

Before we collapse the distinction, we need to honor why Friedman has a real claim.

The reader genuinely struggles. You are supposed to try before you look at the right column. The scaffolding is designed so that by question 47, you can derive the answer yourself from everything prior. The sequence is constructed so that understanding emerges through the friction of attempting. That is genuinely maieutic — the reader is giving birth to the insight, the questions are the midwife.

So it is not pure deposit. The answers are known, but the path to the answer in the reader's mind is not predetermined. The reader has to work. That work is dialectical.

Why it also looks like catechesis

And yet the form resists being purely dialectical. In a real Socratic dialectic, the interlocutor can push back, go sideways, propose an alternative. The Schemer books do not allow that. The sequence is fixed. The destination is known. There is no room for "but what if we tried it this other way." You are free to struggle, but not free to wander.

The structure of authority is catechetical — the book knows where you are going and will not let you go elsewhere. But the engine of understanding is dialectical — you are working, not just receiving. It occupies a genuinely strange middle position.

The collapse

One might try to resolve this tension by calling it guided discovery within a closed system. The reader discovers, but within constraints set by an authority who already possesses the truth.

But that is just catechesis.

The Westminster Shorter Catechism is not rote. "What is the chief end of man?" is a real question that requires real understanding. The system is closed — Scripture, the creeds — the guide knows the destination, and genuine discovery happens through the process. The catechumen comes to understand through the rhythm of question and answer, not merely to parrot. If "guided discovery within a closed system" is the description that resolves the tension, then we have not found a third category. We have described catechesis all along.

What distinguishes the payload

There is one more attempt at a distinction worth considering. In Friedman, the answer on the right column is almost disposable. The point is not that you can recite "(grape raisin pear)." The point is that you have internalized the operation that produces it. The answer is evidence of understanding, not the content of understanding.

In catechesis, "to glorify God and enjoy Him forever" is the payload. The words themselves carry the truth.

But even this is shaky. A good catechist would say the Westminster answer is not the payload either — knowing God is. The words are the trellis; the vine is the thing. And so the last distinction, too, gives way.

The same motion, different anthropologies

The distinction does not collapse because Friedman is secretly doing catechesis. It collapses because catechesis was always already dialectical — or rather, both are the same pedagogical motion with different accounts of why the truth is prior.

Same shape. The truth is prior. The pedagogy is recovery, not construction.

Notice what happens as the reader of The Reasoned Schemer progresses: the dialectic converges on truths that were never in doubt. The laws of unification, the behavior of conde, the relational nature of appendo — these are not discovered through open-ended philosophical exploration. They are recovered. The relational logic was always inherent in the structure of computation. The questions clear away procedural habits — recursion-as-iteration, function-as-one-way-mapping — that were obscuring what was already there.

The failure modes

Each form has a characteristic failure. The failure mode of catechesis is dead orthodoxy — right words, no understanding. The catechumen recites without the recitation having formed anything in them. The failure mode of dialectic is sophistry — clever moves, no truth. The interlocutor wins arguments without arriving anywhere.

Both failures share a root: the form has been separated from its purpose. The trellis without the vine. The midwife with no child.

Form and substance: Athens and Jerusalem

Paul does something remarkable in Acts 17 at the Areopagus. He is doing dialectic — reasoning with philosophers on their own terms, citing their own poets, meeting them at the altar to the unknown God. But the substance is catechetical. He is not engaged in open-ended philosophical inquiry. He knows where he is going: the resurrection of Christ. The form is Athenian. The substance is Jerusalem.

This is the model for what it looks like when the two modes are not in tension but in service. The dialectical form earns the hearing. The catechetical content delivers the truth.

The real question

The real question — why is the truth already there, and what clouded it — is theological, not pedagogical.

For what may be known about God is plain to them, because God has made it plain to them. For since the creation of the world God's invisible qualities — his eternal power and divine nature — have been clearly seen, being understood from what has been made, so that people are without excuse.

Romans 1:19–20

Catechesis does what Socratic inquiry does, but names the source. The truth that creation testifies to — the orderliness of mathematics, the elegance of logical structure, the reliability of cause and effect — is not an accident. It is there because God put it there. And what clouds it is not merely ignorance or forgetfulness, but sin: the willful turning away from what has been made plain. Catechesis draws out the truth by pointing back to the One who spoke it into being.

Drawing out what is within

The Socratic method works because there is something to draw out. Socrates does not pour geometry into the slave boy — he asks questions that clear away confusion until the boy sees what was already implicit in the structure of space itself. The dialectic trusts that the truth is accessible to reason because it is already latent in the person, waiting to be uncovered.

If the material in this curriculum feels like remembering something you already half-knew, that is not a pedagogical trick. It is the subject matter being honest about its own nature.

A word about this word

The words of the Lord are pure words: as silver tried in a furnace of earth, purified seven times.

Psalm 12:6

We should be clear about what this curriculum is and is not. The study of formal methods, constraint solving, relational logic, and computational structure is not Scripture. It is not the seven-times-refined Word. These are truths we apprehend only imperfectly, through the limited understanding we have, and which we can see most clearly in His Word. This curriculum studies creation, not revelation. The heavens declare; the Word defines.

But creation is still worth studying carefully, precisely because it was made by Him. When we discover that constraint propagation reaches a fixpoint, that relational logic runs both directions, that lattices have joins — we are not inventing truths. We are tracing, imperfectly, what He placed there. And we hope that in tracing them honestly, with care and with gratitude, we come to appreciate the Creator through what He has created — and that wherever our understanding falls short, His Word remains the place where these truths can be seen most purely.

Knowledge and love

Now about food sacrificed to idols: We know that "We all possess knowledge." But knowledge puffs up while love builds up.

1 Corinthians 8:1

The observation that catechesis and dialectic collapse into the same motion is the kind of insight that tempts toward self-congratulation. It is worth asking: who is built up by saying it?

If it helps a teacher of relational logic see the dignity of what they are doing — that is love. If it helps a young believer see that the Reformed catechetical tradition has intellectual depth they had not expected — that is love. If it helps a friend steeped in Platonic anamnesis see that the catechetical tradition he might dismiss as dogmatic rote is doing exactly what he already values — that is pre-evangelism, and that is love too. That is 1 Corinthians 9:22, not 8:1.

The test is not whether you know it. The test is whether you would be just as glad if someone else said it and it landed.