インド論理学
インド論理学は、インドにおける論理学である。インド哲学における次の系譜から言及される。すなわち、メーダティティ・ガウタマ(紀元前6世紀頃)のアンヴィクシキ学派やパーニニ(紀元前5世紀頃)のサンスクリット文法規則にまで遡り、続いてヴァイシェーシカ学派による原子論の分析(紀元前2世紀頃)、ニヤーヤ学派の創始者ガウタマによる推論の分析(2世紀頃)、そしてナーガールジュナの四句分別(2世紀頃)が挙げられる。
因明入正理論
因明入正理論（いんみょうにっしょうりろん、）は、インドの仏教論理学者である商羯羅主()が著わした仏教論理学(因明)の入門書である。
この論書は、玄奘によって中国にもたらされ、唐の貞観21年(647年)8月6日、弘福寺で漢訳された。