Lecture 4: Knowledge, Signification, and the Building Blocks of Logical Proof
- Human knowledge is ilm hadith, originated knowledge, unlike Allah’s ilm qadim, eternal knowledge.
- Logic divides human cognition into tasawwur, conceptual grasp, and tasdiq, assent or judgment.
- Tasawwur is not true or false by itself; tasdiq involves affirming or denying a relation.
- Definitions, called qawl sharih or ta'rif, help produce clear tasawwur.
- Proofs, called hujjah, help produce tasdiq, especially in formal logic.
- Tasdiq can be daruri, immediately known, or nazari, reached through reflection and evidence.
- Qiyas in logic means syllogism, not legal analogy as in usul al-fiqh.
- Dalalah studies how signs, especially words, indicate meanings through convention.
This lecture moves from the earlier debate over the permissibility of studying logic into the first technical foundations of mantiq (منطق), classical logic. The instructor explains that the discipline analyzes how human knowledge is structured, especially through two central categories: tasawwur (تصور), a bare conceptual grasp of something, and tasdiq (تصديق), an assent or judgment that something is the case. This distinction becomes the backbone of the whole course: definitions serve tasawwur, while proofs and arguments serve tasdiq.
The first major distinction is between ilm qadim (علم قديم), eternal knowledge, which belongs to Allah alone, and ilm hadith (علم حادث), originated or contingent knowledge, which belongs to created beings. Human knowledge, then, is ilm hadith. Within this human knowledge, every cognition is either tasawwur or tasdiq, and each of those can be either daruri (ضروري), immediately known without reflection, or nazari (نظري), requiring reflection, inquiry, or proof. Thus the logicians identify four broad types: tasawwur daruri, tasawwur nazari, tasdiq daruri, and tasdiq nazari.
A key example is the proposition “Zaid is standing.” To assent to this proposition, one must first have several conceptual grasps: the subject, Zaid; the predicate, standing; and the relation between them, namely what it means for standing to be attributed to Zaid. Only after grasping these can one affirm the occurrence of that relation, which is the tasdiq. The instructor emphasizes that tasawwur is not yet true or false in the way a proposition is. A word like “phone” or “horse” is not itself true or false; rather, one either has a correct or mistaken concept of it.
The lecture also clarifies that tasdiq does not only come through formal syllogisms. Many judgments are daruri: one may know “I am hungry” by introspection, know sensory facts through perception, or know widely transmitted facts through tawatur (mass transmission). Logic focuses especially on the structured, nazari route to tasdiq through hujjah (حجة), proof or demonstration, and especially through qiyas (قياس), syllogistic reasoning. This does not mean syllogism is the only way to know truth; rather, it is a precise way to organize knowledge and show what follows from what.
The example “The world exhibits change; everything that exhibits change is hadith; therefore the world is hadith” illustrates how a syllogism works. The important point is not only the theological content, but the form of implication: if the premises are true and properly arranged, the conclusion necessarily follows. This is why the instructor describes logic as the study of implicative relationships: what follows from what, and why. Even if the content is replaced with symbols such as A, B, and C, the formal structure can still be valid.
The second half of the lecture introduces dalalah (دلالة), signification: how words and signs indicate meanings. Every signification involves a dall (دال), the signifier; a madlul (مدلول), the thing signified; and the dalalah itself, the relationship between them. The adhan, for example, signifies that the prayer time has entered. The instructor then explains conventional signification, dalalah wad'iyyah (دلالة وضعية), meaning signification based on convention. This leads into a larger discussion of language, including the Sunni view that language ultimately comes from Allah, the role of Arabic in revelation, and the principle that meanings precede forms: al-ma'ani qabla al-mabani (المعاني قبل المباني).
- al-Akhdari, al-Sullam al-Munawraq: lines beginning “Idraku mufradin tasawwuran 'ulim / wa darku nisbatin bi-tasdiqin wusim.”
- al-Akhdari, al-Sullam al-Munawraq: lines on tasawwur preceding tasdiq, “wa quddima al-awwalu 'inda al-wad'i / li-annahu muqaddamun bi-al-tab'i.”
- al-Akhdari, al-Sullam al-Munawraq: lines on nazari and daruri knowledge, “wa al-nazari muhtajun li-al-ta'ammul / wa 'aksuhu huwa al-daruri al-jali.”
- al-Akhdari, al-Sullam al-Munawraq: lines on qawl sharih and hujjah, “wa ma ila tasawwur bihi wusil yud'a bi-qawlin sharih…” and “wa ma li-tasdiqin bihi tuwwusila bi-hujjatin…”
- al-Akhdari, al-Sullam al-Munawraq: section “Anwa' al-dalalah al-wad'iyyah,” including mutabaqah, tadammun, and iltizam.
- Imam al-Sanusi, al-Muqaddimat: prior discussion of daruri and nazari knowledge was referenced.
- Qur'an 2:31, “And He taught Adam all the names,” cited in relation to language and divine teaching.
- Qur'an 12:2, the Arabic Qur'an being sent down so that people may understand, cited in relation to the special status of Arabic.
- Why must tasawwur come before tasdiq? Can you think of a case where a debate failed because the participants lacked a shared concept?
- How does the distinction between tasawwur and tasdiq help clarify the difference between defining a term and proving a claim?
- What are some examples from daily life of tasdiq daruri, knowledge you affirm immediately without argument?
- Why is it important to distinguish qiyas in logic from qiyas in usul al-fiqh?
- How does the syllogism about change and the world show the usefulness of formal structure in argument?
- What does it mean to say that logic studies implicative relationships? How is this similar to or different from modern symbolic logic?
- How do the three parts of signification, dal, madlul, and dalalah, help analyze ordinary communication?
- What are the strengths and possible limits of saying that meanings precede forms?
- How might the principle la mushahhah fi al-istilah help reduce unnecessary disputes in Islamic studies?
- Why does the instructor connect weakness in Arabic with misunderstanding the Islamic tradition?