Skip to content

Typology

"For Christ, our Passover lamb (to pascha hemon, our Passover), has been sacrificed" (1 Corinthians 5:7). The apostolic reading of the Old Testament is pervasively typological: persons, events, and institutions of the old covenant are seen as divinely designed patterns (types, tupoi, τύποι, from tupos, a stamp or impression) that find their fulfillment (antitype, antitupos) in Christ and the new covenant. Typology is not allegory; it is the God who controls history using earlier events to pre-interpret later ones.

What Is a Type?

A biblical type (tupos, τύπος, mark, impression, pattern, model; from tuptein, to strike, to stamp) is a person, event, or institution in the Old Testament that God designed to foreshadow a person, event, or institution in the New Testament, the antitype (antitupos, the thing corresponding to the stamp). The type is a real historical reality in its own right; it is not invented to make the theological point. What makes it a type is that the same God who orchestrated the historical event also designed it to pre-image the later reality.

Three criteria for a genuine biblical type (vs. a fanciful allegorical reading): (1) Historical reality: the type must be a real historical event/person/institution, not a constructed parable. (2) Divinely intended correspondence: the New Testament must identify the typological connection (this protects against over-reading; we do not invent types that the New Testament does not endorse). (3) Escalation: the antitype is always greater than the type, the Passover lamb is real, but Christ the Passover is greater; Aaron is a real high priest, but Christ is the better high priest. The type is the shadow (skia, Colossians 2:17, Hebrews 10:1); the antitype is the substance (soma, the body, the reality that casts the shadow).

Colossians 2:17: "These are a shadow (skia) of the things to come, but the substance belongs to Christ." Hebrews 10:1: "For since the law has but a shadow (skia) of the good things to come instead of the true form of these realities, it can never, by the same sacrifices that are continually offered every year, make perfect those who draw near."

Adam and Christ, The Primary Typology

Romans 5:12-21 is the New Testament's most explicit type-antitype statement: "Therefore, just as sin came into the world through one man, and death through sin... yet death reigned from Adam to Moses... Adam, who was a type (tupos) of the one who was to come" (5:12, 14). Paul explicitly calls Adam a tupos of Christ.

The typological correspondence: both are federal heads, Adam represents all who are in him (all human beings by natural birth); Christ represents all who are in him (all believers by spiritual union). Adam's sin is imputed to all in Adam; Christ's righteousness is imputed to all in Christ. Adam's transgression brought death; Christ's obedience brings life.

The escalation: "But the free gift is not like the trespass. For if many died through one man's trespass, much more have the grace of God and the free gift by the grace of that one man Jesus Christ abounded for many" (5:15). The word "much more" (pollo mallon, all the more, much more, certainly) marks the escalation. The last Adam (1 Corinthians 15:45, "the last Adam became a life-giving spirit") surpasses the first Adam in every respect that matters: one brought death, the other brings life; one brought condemnation, the other brings justification; one brought the many into sin, the other brings the many into righteousness.

The Passover Lamb, Exodus 12 and Christ

"Your lamb shall be without blemish (tamim, תָּמִים, perfect, without defect), a male a year old" (Exodus 12:5). The Passover lamb was to be perfect, male, without defect, its blood spread on the doorposts protected the household from the death-angel. The event is one of the most heavily typologized in the New Testament:

1 Corinthians 5:7: "For Christ, our Passover lamb, has been sacrificed." The sacrifice has happened; the lamb is identified. John 1:29, John the Baptist: "Behold, the Lamb of God, who takes away the sin of the world!" The lamb imagery applied to the person of Christ. Revelation 5:6, "a Lamb standing, as though it had been slain", the Lamb in the throne room of heaven retains the marks of slaughter even in resurrection-glory.

The correspondences: the Passover lamb is selected on the 10th of Nisan and slaughtered on the 14th, Jesus enters Jerusalem on Palm Sunday (the 10th) and is crucified on Passover (the 14th, in the Synoptic and Johannine calculations). Exodus 12:46, "you shall not break any of its bones", fulfilled at the cross in John 19:36 ("These things took place that the Scripture might be fulfilled: 'Not one of his bones will be broken'"). The blood protects from death, Christ's blood is the definitive protection from eternal death.

Melchizedek, The Mysterious Type of Hebrews

Melchizedek appears in two Old Testament texts, Genesis 14:18-20 (the mysterious priest-king of Salem who blesses Abraham and receives a tithe) and Psalm 110:4 ("The LORD has sworn and will not change his mind, 'You are a priest forever after the order of Melchizedek'"), and is given extended typological treatment in Hebrews 7.

The typological significance of Melchizedek (Hebrews 7:1-10): (1) His name means "king of righteousness" (melek-tsedeq, מַלְכִּי-צֶדֶק) and he was "king of Salem" (Jerusalem), meaning "king of peace." Christ is both the righteous king and the king of peace. (2) He is "without father or mother or genealogy, having neither beginning of days nor end of life" (7:3), not because he was supernatural but because these details are absent from the Genesis text (a silence that the author of Hebrews reads as typologically significant): he resembles the Son of God, who is eternal.

(3) He received a tithe from Abraham, the greatest patriarch paid tithes to Melchizedek, meaning Melchizedek is greater than Abraham (7:4), and through Abraham the Levitical priesthood (which descended from him) also paid tithes (7:9-10). The Levitical priests are lesser than Melchizedek, and Christ's priesthood is "after the order of Melchizedek" (Psalm 110:4, quoted in Hebrews 5:6, 6:20, 7:17, 21), making Christ's priesthood superior to the entire Levitical system.

The escalation: the Aaronic priests served by heredity and died in office; Christ serves by the power of "an indestructible life" (Hebrews 7:16) and lives forever to make intercession (7:25).

The Exodus as Type

1 Corinthians 10:1-11 is Paul's explicit typological reading of the Exodus: "For I do not want you to be unaware, brothers, that our fathers were all under the cloud, and all passed through the sea, and all were baptized into Moses in the cloud and in the sea, and all ate the same spiritual food, and all drank the same spiritual drink. For they drank from the spiritual Rock that followed them, and the Rock was Christ... Now these things took place as examples (tupoi) for us" (10:1-4, 6).

The typological correspondences: the cloud and the sea = baptism (immersed into Moses/the deliverance); the manna = the bread of life; the water from the rock = Christ who is the spiritual Rock. Paul's move: the wilderness generation had the types; the church has the antitypes. The manna was real food but temporary; the bread of life is eternal. The water from the rock sustained the wilderness generation; the living water Christ gives "will become... a spring of water welling up to eternal life" (John 4:14).

The Exodus typology runs through Matthew's Gospel structure: Jesus goes down to Egypt and comes back (2:15, "Out of Egypt I called my son" = Hosea 11:1, originally about Israel, applied typologically to Christ); Jesus passes through water (baptism) and spends forty days in the wilderness tempted; Jesus goes up a mountain and delivers the new Torah (Sermon on the Mount). Matthew presents Jesus as the new and greater Moses who re-enacts and fulfills the Exodus.

Typology in the Sanctum

The Sanctum reads the Old Testament typologically because the New Testament authors do. The types are not destroyed by their fulfillment; they are honored by it. Knowing the Exodus type makes the Passover of Christ more, not less, glorious. Knowing the Melchizedek type makes Christ's high priesthood more, not less, compelling. The Sanctum's deep engagement with the Old Testament text is the ground for seeing the New Testament's fulfillments at full depth.

Ask Dave About Typology

Dave holds the full biblical theology of typology, what a type is (three criteria: historical reality / divinely intended / escalation), the shadow-substance language of Col 2:17 and Heb 10:1, Adam-Christ typology (Romans 5:14 explicit tupos / federal headship / much-more escalation / 1 Cor 15:45 last Adam), Passover typology (1 Cor 5:7 / John 1:29 / Rev 5:6 / Exodus 12:46 no-broken-bones John 19:36), Melchizedek typology (Hebrews 7 greater-than-Abraham / priest-forever / indestructible-life / Psalm 110:4), and the Exodus-as-type (1 Cor 10:1-11 baptism-manna-rock-Christ / Matthew's new-Moses structure).

Ask Dave About Typology

Support the Research

The Sanctum wiki is free and supported by partners.

Partner With the Ministry