汉传因明是以汉语为载体的佛家论辩逻辑。汉传因明的研究中有很多争议的问题,例如同品、异品的概念、除宗有法说、因明的逻辑性质等。对于这些问题的探讨有一定的学术意义和学术价值。在对汉传因明与逻辑的关系、汉传因明形式逻辑的研究简单概括和以形式逻辑进行研究、解释因明的方法提出批评的基础上,对当代因明研究中同异品定义的分歧进行全面剖析,诠释了历史上同异品的几种不同定义。本文以同品、异品的概念分析入手,引入因明量论中关于自相和共相的理论,试图探究解决同品异品概念上的论争及除宗有法问题上的争议之路径。在因明量论关于自相、共相理论基础上,本文认为关于上述问题的争论根源在于混淆了同异品在自相与共相层面的不同指谓。因明论式中自相指涉喻依与宗前陈,共相指涉宗法、因法及因三相、九句因中的同异品。本文主张以佛教“法”的概念来重新定义共相层面的同异品。在上述讨论基础上进一步研究除宗有法问题,本文认为同异品在自相层面的喻依须除宗有法,共相层面的同异品不须除宗有法,即宗法、因法、因三相、九句因不须除宗有法,我们认为有些学者所主张的全面除宗有法说是值得商榷的。国内学者割裂了因明与量论的关系,无论是全面除宗有法,还是部分除宗有法,似乎都没有关注到同异品概念的不同层面,他们仅仅在一个层面上讨论同异品的概念问题,不可避免地导致了关于因三相、九句因等相关问题的论争。由于喻体显示宗法、因法不相离性,所以喻体亦不必除宗有法。喻体是作为公共知识的全称命题,而不是所谓的“除外命题”。喻依与宗前陈是类比性质的要素而不是归纳概括要素。即使从单纯的形式逻辑角度看,所谓因明逻辑性质的演绎说、演绎兼归纳说、最大限度类比说都存在理论上的漏洞。演绎说舍弃了喻依的类比因素,演绎兼归纳说把喻体视为由喻依归纳而来的命题,最大限度类比说则否定了由喻依到喻体的归纳性,认为喻体是“除外命题”。如果从单纯的形式逻辑来看,因明是具有演绎兼类比性质的推理,但这种演绎与类比推理都是与因明支分颠倒的形式。因明本质上是论辩的工具,属于非形式逻辑的范畴,因明与非形式逻辑的论证理论正相适应。利用图尔敏论证模式对因明论式的分析,本文认为图尔敏论证形式的或然性与因明三支的实际相符合,因明论证的合理性在非形式逻辑框架下正是通过因三相得以实现的。利用图尔敏模式分析因明论式不必舍弃其中的任何成分,是形式逻辑与非形式逻辑有机联系的理想模式。学界在发现因明的非形式逻辑性之后主张拒斥形式逻辑分析的做法是可以商榷的。利用图尔敏的非形式谬误理论对因明过论进行分析,可以把因明过类划入相应的类型,但似宗中的部分过类在图尔敏非形式谬误中没有相应的类型,即图尔敏非形式谬误中缺乏与“主张”（Claim）相对应的谬误类型,在因明分析中须另外设立相应的非形式谬误类型。