因明學，可以先很簡單地理解成：印度佛教發展出來的一套「如何正確知道、如何正確推論、如何證成一個命題」的知識論與邏輯學。
「因明」兩字裡，因是理由、根據、推理依據；明是知識、明辨。所以它不只是形式邏輯，更接近：
epistemology + logic + theory of inference
佛教因明特別關心兩件事：第一，我們憑什麼說某個認識是可靠的？第二，一個論證怎樣才算成立？
最重要的人物通常是陳那（Dignāga，約 480–540）與法稱（Dharmakīrti，約 600–660）。他們把佛教知識論整理得非常精密，後來影響印度佛教、藏傳佛教，也經玄奘、窺基傳到漢地。
因明最核心的概念，是量（pramāṇa），也就是「可靠知識的來源」。陳那、法稱基本上承認兩種量：現量與比量。
現量（pratyakṣa），就是直接知覺，不經概念加工的當下顯現。例如眼前直接見到紅色。嚴格的因明會說，一旦你說「這是一朵紅花」，其實已經加入概念分類；純粹的現量甚至比語言還早。
比量（anumāna），就是推論。例如：
山上有煙；
有煙處通常有火；
所以山上有火。
這就是典型的比量。
因明還有著名的「三支作法」：
宗：聲是無常。
因：因為聲是所作的。
喻：凡所作者皆無常，如瓶。
大致相當於：
thesis → reason → example/general rule
但因明比一般三段論法更在意一個問題：這個「因」到底有沒有資格證成宗？
所以又發展出著名的「因三相」：一個合格的理由，必須同時符合三個條件——它要存在於所討論的對象中；在同類案例中也要成立；在相反案例中不能成立。也就是在檢查理由是否真正具有辨別力，而不是隨便找一個相關性。
有趣的是，因明和我們剛才談的唯識、非二元，其實有一個很漂亮的張力。因明在操作層面極其二元、極其分析性：真／假、能知／所知、宗／因、同品／異品，都分得非常細；但它服務的佛教目標，卻可能是最後鬆動執取與能所。
所以可以把它理解成：
以高度分別的工具，處理分別本身。
甚至更精確地說，陳那—法稱系統已經區分兩個層次：
- 現量：非概念、非分別的直接呈現。
- 比量：概念、語言、分類、推論的世界。
這其實跟我們前面談的問題非常接近。因明已經意識到：概念性知識不是世界本身，而是認知對經驗進行切割、歸類之後的結果。
因此，如果沿著您剛才的思路，我會這樣定位：
因明學不是非二元論，但它是一套對「二元、概念、分別如何成立」具有高度自覺的知識論技術。
而它最有意思的一點，可能正是：現量在分別之前，比量在分別之後。 這條線若再接唯識，就會碰到一個非常漂亮的問題：究竟「第一剎那的經驗」是不是還沒有 subject/object differentiation？
