Premise 1: Root k-f-r: Rāghib al-Iṣfahānī (Mufradāt fī Gharīb al-Qurān, entry k-f-r): original meaning is "satara" — to cover. Agricultural usage: the farmer covers seeds with soil (kāfir in pre-Islamic poetry = a farmer who covers the earth). The kāfir is the one who covers — specifically, who covers the fitra (Q 30:30: fiṭrata Allāhi allatī faṭara al-nāsa ʿalayhā — "the fitra of Allah upon which He created humankind").
Premise 2: The fitra is not destroyed by kufr — it is covered. Q 2:7's "khatm" (seal) on the hearts of those who repeatedly chose kufr is the eschatological consequence of accumulated covering: the capacity for truth-recognition becomes structurally inaccessible through repeated choice. Al-Kāfī (Imam al-Ṣādiq): the fitra of every child is primordial islām; parents or environment effect the covering.
Premise 3: The logical consequence: the kāfir is not one who lacked the fitra but one in whom the fitra has been covered. This makes kufr a dynamic process (progressive covering, reversible by tawba before the seal) rather than a binary state — and locates the criterion of accountability in the mechanism of covering (quṣūr: incapacity vs. taqṣīr: deliberate choice) rather than in formal religious category.
Premise 1: Grade 1 — Kāfir jāhil (ignorant): Q 17:15 — wa-mā kunnā muʿadhdhibīna ḥattā nabʿatha rasūlan — "We never punish until We have sent a messenger." No accountability without prior ḥujja. Those who never received adequate divine proof are in the quṣūr category (incapacity, not culpability). Al-Kāfī: murjaʿ li-amr Allāh — their judgment is deferred to Allah. Q 2:286: "Allah does not burden a soul beyond what it can bear."
Premise 2: Grade 2 — Kāfir jāḥid (denying despite recognition): Q 27:14 — Pharaoh's court "denied them though their souls were convinced of them (wa-staʾyaqanat-hā anfusuhum) — out of injustice and arrogance (ẓulman wa-ʿuluwwan)." The ḥujja was present; the conviction was present; the denial was volitional. The mechanism is explicit: ẓulm (injustice — choosing against one's own fitra-recognition) and kibr (arrogance — ego-investment in existing position). This is taqṣīr — culpable choice.
Premise 3: Grade 3 — Kāfir muʿānid (actively hostile): Q 2:89 — "they disbelieved in what they recognized." Q 2:146 — the kātimūn al-ḥaqq who "know him as they know their own sons — but a group of them conceal the truth while they know." Maximum taqṣīr: possessing full recognition + actively suppressing it from reaching others. The crime is not merely personal rejection but blocking the ḥujja from the community.
Premise 1: Al-Kāfī (Kitāb al-Īmān wa-l-Kufr): Imam al-Ṣādiq enumerates five types of kufr, not one: (1) Kufr al-juḥūd (juḥūd = denial of known truth) — the worst category; one who recognizes the truth and denies it from ego-investment. (2) Kufr al-inkār (rejection without full ḥujja access) — less culpable; the person genuinely lacks access to adequate proof.
Premise 2: (3) Kufr al-nisyān (negligent forgetting) — the fitra is covered not by deliberate choice but by habitual neglect; the person never actively oriented toward the divine and the covering accumulated by default. (4) Kufr al-nifāq (the munāfiq's hidden kufr) — covered under the ẓāhir of islām; the munāfiq's concealed kufr as its own category within the kufr taxonomy. (5) Kufr al-ḥujja (blocking others from receiving proof) — the kātimūn al-ḥaqq who prevent the ḥujja from reaching others.
Premise 3: The graduated moral framework: only kufr al-juḥūd (Grade 1, maximum taqṣīr) and kufr al-ḥujja (blocking the ḥujja from others — Grade 5, both personal and communal taqṣīr) produce the maximum eschatological accountability of Q 2:7's seal. Kufr al-nisyān and kufr al-inkār fall in the quṣūr range with deferred judgment. The five-category taxonomy is not an Imami innovation — it is Imam al-Ṣādiq's reading of distinctions the Quran itself draws.
Premise 1: Q 2:6–7: "Indeed, those who disbelieved — it is the same whether you warn them or do not warn them — they will not believe. Allah has set a seal (khatama) on their hearts and on their hearing, and over their vision is a veil." The khatm (seal) is not imposed arbitrarily — it follows from the prior verse's description: "those who kafarū" — those who chose kufr repeatedly. The seal is a consequence, not a precondition.
Premise 2: Ṭabāṭabāʾī (al-Mīzān, Vol. 1, Q 2:6–7): the divine sealing is the natural result of accumulated, volitional kufr — not arbitrary divine punishment. Each deliberate choice against the fitra's orientation covers it slightly more; the accumulated covering eventually becomes a structural closure. The divine action (khatama = He sealed) is the Quranic description of this accumulated consequence reaching its endpoint.
Premise 3: The theological safeguard: Q 2:7's seal applies to the kāfir muʿānid who has repeatedly chosen against full ḥujja access. It is not applicable to the kāfir jāhil (quṣūr) or the kāfir jāḥid still capable of recognition. Q 63:3's mechanism (belief → disbelief → seal) confirms that the oscillation without resolution — not a single act of kufr — is what produces the seal. Tawba remains available until the seal is complete.
Premise 1: Q 20:124: "Whoever turns away from My remembrance — indeed, he will have a constricted existence (maʿīshatan ḍankan) and We will gather him on the Day of Resurrection blind (aʿmā)." The word ḍank (constriction, difficulty, narrowness) describes not merely external circumstances but the phenomenological reality of the kāfir's existence from inside. Kufr produces a constricted life — reduced in range, depth, and possibility.
Premise 2: Mullā Ṣadrā (al-Asfār, on ḥaraka jawhariyya): the nafs undergoes substantial motion — its very being changes, not merely its qualities. The nafs oriented toward divine reality expands its existence (wujūd); the nafs turned away from it contracts. Q 20:124's ḍank is Ṣadrā's ontological contraction described in Quranic phenomenological terms: the kāfir's nafs is in an ontologically narrowing motion.
Premise 3: Q 17:72: "Whoever is blind in this life will be blind in the hereafter and further astray in path." The eschatological blindness is the continuation of this-worldly ontological contraction to its endpoint: a nafs that contracted around what it chose instead of God, reaching the minimum of ontological density compatible with its existence. This is not punishment imposed from outside but the inner logic of the nafs's own chosen motion.
Premise 1: Muṭahharī (ʿAdl-e Ilāhī / Divine Justice): the taqṣīr/quṣūr distinction is the jurisprudential axis of all eschatological accountability. Quṣūr = incapacity — the person genuinely lacked access to adequate ḥujja (divine proof) through no fault of their own. Taqṣīr = culpable failure — the person had access to adequate ḥujja and chose, from volitional causes (ego, arrogance, material interest), to reject it.
Premise 2: Q 4:165: Allah sent messengers "so that people would have no argument (ḥujja) against Allah after the messengers." The divine obligation (from divine justice — ʿadl ilāhī) is to provide adequate ḥujja before accountability is assigned. Q 17:15 states the baseline rule; Q 4:165 states the divine intention behind it. Divine justice requires that accountability be proportional to access to proof.
Premise 3: Applied to the kāfir taxonomy: the vast majority of non-Muslims throughout history fall in the quṣūr category — they lacked adequate access to the full Islamic ḥujja in forms appropriate to their context. Only those who received full ḥujja and chose to reject it from taqṣīr (volitional causes: arrogance, ego-investment, material interest) are in the maximum accountability category. This makes the binary kāfir/non-kāfir jurisprudential distinction misleading as an eschatological tool.