有实法
又作有实
中观《中观根本慧论》
定义
因缘聚合而产生的法是有实法，无实法也是依靠有实法而成立的。
《中观根本慧论释》二十五 观涅槃品麦彭《中论释》释「有无是有为」颂
有实法是名言中起功用、有本体的法，比如柱子、瓶子等；无实法是名言中不存在、不起任何功用的法，比如无柱、无瓶、石女的儿子、龟毛、兔角等。
中论广释22讲记第五品释俱舍、因明常用的有实、无实法
辨析
所谓“有实”的名称，有两种内涵：一种是指中观所指的总所知；另一者，是指与有实无实相对的“有实”，如同“法”的名称等等一样。
《中观根本慧论释》二十五 观涅槃品麦彭《中论释》分「有实」的两种用法
鸠摩罗什大师经常用“有”代替有实法，用“无”代替无实法，有时还会把它们与动词有、无放在一起。
中论广释22讲记释罗什颂中「有」「无」的译法
中观所说的有实法范围非常广，是指一种总所知，虚空等无实法也可包括在内。而因明和《俱舍论》里所讲的有实法是相对无实法而安立的。
中论广释102讲记解释麦彭释「有实」两种内涵
中观《中观庄严论》
定义
有功用被称作有实法的法相，在这样的有实法上，可以正确无误地展示出人无我与法无我等二量的能立，并能破除与之相反增益的有实法。
中观庄严论释麦彭《中观庄严论释》答破常法之难
因明和俱舍中，都是将起功用的法称为有实法，不具足功用的法称为无实法。
中观庄严论释讲解046讲记述因明、俱舍对有实无实的安立
辨析
倘若是有实法，必须是能起功用的法。如果是有功用之法，就可成立是刹那性，一切实法的无常性也可轻而易举得以证实。
中观庄严论释麦彭《中观庄严论释》述本论第一不共观点
中观《定解宝灯论》
定义
“有实”指具有功能作用的一种实体，这样一种有实法若不存在，则其无实法也无法成立，比如欲寻找瓶子的空性，首要条件是瓶子应该存在，若瓶子无有，瓶子的空性于何处寻找呢？
定解宝灯论释 第31课讲记释颂「不依所察之有实」
凡夫分别念前所抉择的法均为心所假立，这样一种法在究竟智慧面前完全不合理，比如柱子、瓶子等能起作用的法称为有实法，兔角、龟毛等不能起作用的法即为无实法，不论有实法还是无实法，实际来讲，它们都需要作为空基而空。
定解宝灯论释 第33课讲记释颂「有实无实此二者」
辨析
换言之，有实与无实二者在缘起性方面是相同的，一切有实法均是以缘而生，所有无实皆是假立而成。
《定解宝灯论浅释》五 二谛何者为主要堪布根华《浅释》释颂：有实无实缘起性同
因明《量理宝藏论》
定义
能起作用是有实法的法相，因此遮破起作用决定（遍）是无实法，如同虚空。
《量理宝藏论释》第六品 观相属本论自宗：破常作者时说有实法的法相
大家应该清楚，能起作用是有实法的法相，不能起作用且是假立，这是无实法的法相。
量理宝藏论讲解36讲记解释本论自宗：有实、无实的法相
辨析
缘取对境自相的识是无分别的，缘取对境共相的识是有分别的。其中自相实体成立为有实法，而共相并不成立有实法。
《量理宝藏论释》第三品 观总别本论自宗：自相是有实法，共相不是
有实法是由自因所成，所以不需要观待无实法而在无分别识前依靠自然呈现而成立，在分别念前则通过遣余而得以证实。而作为无实法，由于非由因所生，或者不可能由因产生的缘故，必须要观待否定所破的有实法才能在心里以遣余来证明。因此，它们之间有着观待不观待的差别，完全是不同的。
《量理宝藏论释》第四品 观建立遣余本论自宗：有实、无实有观待与否之别
在经论导读量理宝藏论 › 有实无实二法 › 有实法
名相的定义、分类与诸家说法，逐句摘自本站的原典、释论与讲记，原文照录，每句链回原段。