【论】卷31〈序品 1〉： “无法空”者，有人言：“无法，名法已灭，是灭无故，名无法空。” “有法空”者，“诸法因缘和合生，故无有法，有法无故，名有法空。” “无法有法空”者，“取无法有法相不可得，是为无法有法空。” 复次，观无法有法空，故名无法有法空。 复次，行者观诸法生、灭，若有门、若无门，生门生喜，灭门生忧。行者观生法空则灭喜心，观灭法空则灭忧心。所以者何？生无所得，灭无所失，除世间贪忧故，是名无法有法空。 复次，十八空中，初三空破一切法，后三空亦破一切法。有法空，破一切法生时、住时；无法空，破一切法灭时；无法有法空，生、灭一时俱破。 复次，有人言：“过去、未来法空，是名无法空；现在及无为法空，是名有法空。何以故？过去法灭失、变异归无；未来法因缘未和合，未生、未有，未出、未起，以是故名无法。观知现在法及无为法现有，是名有法。是二俱空，故名为无法有法空。” 复次，有人言：“无为法无生住灭，是名无法；有为法生住灭，是名有法。如是等空，名为无法有法空。”
【论】卷65〈无作实相品 43〉： 问曰： 须菩提何以作是问——“有法无法空故，般若波罗蜜不为转、不为还故出”？而佛还以空答？ 答曰： 有人说：诸法有四种相：一者说有，二者说无，三者说亦有亦无，四者说非有非无。是中邪忆念故四种邪行，著此四法故，名为邪道。是中正忆念故四种正行，中不著故，名为正道。是中破非有非无故名“无法有法空”。佛说乃至破非有非无，故说“无有转，无有还”。 \{\{63328974.jpg\}\} 破“非有非无”有二种：一者、用上三句破，二者、用涅槃实相破。须菩提虽知佛以涅槃破有无，是中有新发意菩萨或错谬故用三句破非有非无，于无法有法空中还生邪见；是故佛说“有法无法亦自相空”，是故说“般若波罗蜜无转、无还”。般若波罗蜜中无般若波罗蜜相，一切法无相故；乃至檀波罗蜜亦如是。内空乃至一切种智相空，亦如是。 \{\{8FCF1863.jpg\}\}