Ilm al-Kalām · Computational Theology · Al-Vid Scriptorium
107+ validated theological propositions extracted from primary Islamic sources — Imami, Muʿtazilī, Ashʿarī, Māturīdī. Every proposition: premises, sources, conclusion, certainty grade.
The Kalām Archive is a structured database of Islamic theological arguments. Every proposition is extracted from primary sources — Al-Kāfī, Biḥār al-Anwār, Tafsīr al-Mīzān, Nihāyat al-Ḥikma, Fuṣūṣ al-Ḥikam, the works of Muṭahharī, Iqbal, Shariati — and formatted as a logical chain: premises → conclusion. The database covers 15 core theological areas, 4 jurisprudential schools, and 107+ validated propositions.
How The System Works
Extracts raw theological knowledge from primary sources. Runs in two modes: Knowledge (trained knowledge from classical texts) and Crawl (live source verification). Returns structured JSON: proposition_id, source, premises array, conclusion, school, certainty grade.
Structures extracted propositions into the 7-layer argument chain. Maps cross-school positions. Identifies logical dependencies between propositions. Validates internal consistency. Generates comparative analysis across Imami, Muʿtazilī, Ashʿarī, and Māturīdī positions.
Islamic theological arguments exist in dense classical texts — often untranslated, rarely indexed for the specific propositions they contain. People searching "what is the Islamic position on intercession" or "how does Imami theology differ from Ashʿarī on divine justice" cannot find structured, sourced answers. This archive changes that. Every claim here is a formal logical proposition with premises and a conclusion, not an editorial opinion. The methodology is documented. The sources are cited. The arguments stand on their own evidence.
All Topic Areas
Mahabbat + iṭāʿa + wilāya tripartite, fifth pillar status, tawḥīd expression, salvific condition, civilizational principle, nawāṣib distinction.
Tawassul as tawhidic, Quranic proof chain Q2:255/20:109/21:28, Prophet's permanent shafāʿa, Imam intercession tied to walāya, barzakh life refutes Wahhabi objection.
Imami, Muʿtazilī, Ashʿarī, Māturīdī on divine justice, free will, reason vs. revelation, imamate. Structural differences mapped across 14 comparison nodes.
Theological necessity, ghayba purpose, major signs, Raj'a, walāya completion, black banners from Khorasan, intizār as active duty not passive waiting.
Constitutional refusal, amr bil maʿrūf, Saqīfa→Karbala chain, shahāda as witness, Zaynab's role in preservation, Yazid as III-A Ba'alist prototype.
Minor and Major Occultation, theological necessity, Wilayat al-Faqih as general deputyship, scope debate, wukalāʾ model, active resistance obligation during ghayba.
Primacy of existence, graded intensity of being, substantial motion, presential knowledge, Four Journeys, Perfect Man = Imam, Wilayat al-Faqih grounded in journeys.
Waḥdat al-wujūd, Perfect Man, three tajallī levels, Seal of Saints = Twelfth Imam, barzakh as ontological bridge, walāya as structure of being itself.
Umma as tawḥīd community, Imam as rahbar, Black vs. Red Shi'ism, shahāda as civilizational force, haqq/bāṭil dialectic as the axis of history.
Khudi as divine gift, faqr as highest station, Millat vs. qawm, ijtihad as intellectual walāya, Khorasan as renewal geography, ishq as ontological force.
Fard kifāya vs. fard ayn, offensive requires Imam's authorization, defensive is unconditional, status during ghayba, mujahid conditions, Greater Jihad primacy.
Q2:62 broad definition, honored subset Q3:199/5:82, structural Ahl al-Kitāb vs. Ṭāghūt, taqṣīr/quṣūr distinction, Ba'alist actors ≠ Torah-faithful Jews.
Prophetic condemnation, zahir/bāṭin diagnostic, fighting more meritorious than polytheists, Nahrawan, Ibn Hazm wājib ruling, Imam Ṣādiq on most dangerous internal threat.
Black banners hadith, Khorasan as theological geography, Iqbal's Khorasan-Pakistan equation, Pothohar-Khorasan axis, two-zone walāya human geography, Khorasani Army thesis.
The Seven-Layer Argument Chain
All 107 propositions are mapped to a single seven-layer argument chain running from Quranic ontological foundations through metaphysical proof to present civilizational application.