Tipologi Alkitabiah
Pelajarilah ayat-ayat Alkitab berikut yang mengacu pada berbagai tipe dan cobalah untuk mendefinisikan apa yang dimaksud dengan tipologi Alkitab: Rm. 5: 14, 1 Kor 10: 1-13, Ibr. 8: 5, dan Ibr. 9: 23.
Ayat-ayat Alkitab ini menggunakan istilah "tipe" (bahasa Yunani typos) atau "antitipe" (bahasa Yunani antitpos) untuk merujuk pada cara penulis Perjanjian Baru mendefinisikan hubungan antara teks atau peristiwa Perjanjian Lama, dan maknanya di zamannya sendiri, atau di masa depan.
Tipologi adalah penafsiran spesifik tentang orang, peristiwa, atau lembaga yang menunjuk kepada Yesus atau realitas-realitas lain yang terkandung di dalam Injil. Tipe berhubungan dengan antitipenya sebagai suatu bentuk penuh atau hampa yang mencerminkan bentuk aslinya, bahkan jika bentuk yang terakhir, yaitu antitipenya, lebih memenuhi tujuan dari tipe tersebut. Jadi, tipe alkitabiah dibentuk menurut rancangan Ilahi yang telah ada secara konkret, atau secara konseptual, di dalam pikiran Allah, dan berfungsi untuk membentuk kegenapan di masa depan (antitipe).
Sangatlah penting untuk memahami bahwa para penulis Perjanjian Baru tidak secara sembarangan mengaitkan makna tipologis kepada beberapa teks Perjanjian Lama untuk menyampaikan suatu maksud. Suatu tipe Perjanjian Lama selalu divalidasi dalam tulisan-tulisan nubuat sebelum memperoleh penggenapan antitipikal dalam Perjanjian Baru.
Lihatlah bagaimana Daud muncul di dalam Perjanjian Lama, dan kemudian bagaimana dia digambarkan di dalam Perjanjian Baru. Pelajaran apakah yang dapat kita pelajari tentang bagaimana tipologi berfungsi dari contoh ini?
Dengan melihat teks-teks ini, kita menemukan bahwa Perjanjian Lama sendiri menyediakan kunci untuk mengidentifikasi dan menerapkan tipe-tipe di dalam Alkitab. Artinya, para penulis Perjanjian Baru, yang Kitab Sucinya adalah Perjanjian Lama, diilhami oleh Roh Kudus untuk menggunakan tipe-tipe Perjanjian Lama untuk menyatakan "kebenaran yang sekarang" ( 2 Ptr. 1: 12), khususnya tentang Yesus dan pelayanan-Nya.