如八种无为中说。
二解　　集论二卷五页云：云何无为？几是无为？为何义故，观无为耶？谓有为相违，是无为义。法界法处一分是无为。为舍执着常住我故；观察无为。
三解　　成唯识论二卷三页云：诸无为法，离色心等决定实有，理不可得。且定有法，略有三种。一、现所所知法。如色心等。二、现受用法。如瓶衣等。如是二法，世共知有，不待因成。三、有作用法。如眼耳等。由彼彼用，证知是有。无为非世共知定有；又无作用如眼耳等。设许有用；应是无常。故不可执无为定有。然诸无为，所知性故；或色心等所显性故；如色心等，不应执为离色心等实无为性。又虚空等，为一为多？若体是一，遍一切处；虚空容受色等法故；随能合法，体应成多。一所合处，余不合故。不尔；诸法应互相遍。若谓虚空不与法合；应非容受，如余无为。又色等中有虚空不？有应相杂。无应不遍。一部一品结法断时，应得余部余品择灭。一法缘阙得不生时，应于一切得非择灭。执彼体一，理应尔故。若体是多；便有品类；应如色等，非实无为。虚空又应非遍容受。余部所执离心心所，实有无为，准前应破。又诸无为，许无因果故；应如兔角，非异心等有。然契经说有虚空等诸无为法，略有二种。一、依识变假施设有。谓曾闻说虚空等名，随分别有虚空等相。数习力故；心等生时，似虚空等，无为相现。此所现相，前后相似，无有变易，假说为常。二、依法性假施设有。谓空无我所显真如，有无俱非，心言路绝，与一切法非一异等。是法真理，故名法性。离诸障碍，故名虚空。由简择力，灭诸杂染，究立证会；故名择灭。不由择力，本性清净；或缘阙所显；故名非择灭。苦乐受灭，故名不动。想受不行，名想受灭。此五皆依真如假立。真如亦是假施设名。遮拨为无，故说为有。遮执为有，故说为空。勿谓虚幻，故说为实。理非妄倒，故名真如。不同余宗离色心等有实常法名曰真如。故诸无为，非定实有。
四解　　杂集论八卷十五页云：何故此灭，复名无为？离三相故。生灭住异三有为相，究竟相违，故名无为。
五解　　五蕴论七页云：云何无为？谓虚空无为，非择灭无为，及真如等。云何虚空？谓若容受诸色。云何非择灭？谓若灭，非离系。此复云何？谓离烦恼对治，而诸蕴毕竟不生。云何择灭？谓若灭，是离系。此复云何？谓由烦恼对治故；诸蕴毕竟不生。云何真如？谓诸法法性，法无我性。
六解　　广五蕴论十五页云：云何无为？谓虚空无为，非择灭无为，择灭无为，及真如等。虚空者：谓容受诸色。非择灭者：谓若灭，非离系。云何非离系？谓离烦恼对治，诸蕴毕竟不生。云何择灭？谓若灭，是离系。云何离系？谓烦恼对治，诸蕴毕竟不生。云何真如？谓诸法法性，法无我性。 - 朱芾煌

品类足论一卷一页云：无为云何？谓三无为。一、虚空。二、非择灭。三、择灭。 - 朱芾煌

品类足论六卷四页云：无为法云何？谓一处少分。 - 朱芾煌

法蕴足论九卷二十四页云：云何无为界？谓虚空及二灭，是名无为界。 - 朱芾煌

如心清净相中说。 - 朱芾煌

显扬一卷十五页云：无为者：此有八种。谓虚空、非择灭、择灭、不动、想受灭、善法真如、不善法真如、无记法真如。虚空者：谓诸心心法所缘外色对治境界性。非择灭者：谓因缘不会，于其中间，诸行不起灭，而非离系性。择灭者：谓由慧方便，有漏诸行，毕竟不起灭，而是离系性。不动者：谓离遍净欲，得第四静虑；于其中间，苦乐离系性。想受灭者：谓离无所有处欲，入灭尽定；于其中间，不恒现行心心法，及恒行一分心心法灭，而离系性。善不善无记法真如者：谓于善不善无记法中，清净境界性。
二解　　集论一卷十二页云：此无为法，复有八种。谓善法真如、不善法真如、无记法真如、虚空、非择灭、择灭、不动、及想受灭。何等善法真如？谓无我性。亦名空性，无相、实际、胜义、法界。何故真如说名真如？谓彼自性，无变异故。何故真如名无我性？离二我故。何故真如名为空性？一切杂染所不行故。何故真如名为无相？以一切相，皆寂静故。何故真如名为实际？以无颠倒所缘性故。何故真如名为胜义？最胜圣智所行处故。何故真如名为法界？一切声闻独觉诸佛妙法所依相故。如善法真如，当知不善法真如，无记法真如，亦尔。何等虚空？谓无色性。容受一切所作业故。何等非择灭？谓是灭，非离系。何等择灭？谓是灭，是离系。何等不动？谓已离遍净欲，未离上欲，苦乐灭。何等想受灭？谓已离无所有处欲，超过有顶，暂息想作意为先故；诸不恒行心心所灭，及恒行一分心心所灭。 - 朱芾煌

成唯识论二卷四页云：苦乐受灭，故名不动。
二解　　显扬一卷十五页云：不动者：谓离遍净欲，得第四静虑；于其中间，苦乐离系性。 - 朱芾煌

瑜伽九十二卷十四页云：云何名为无为法见？谓卽于彼谛所依处，已得二种谛善巧者，由此善巧增上力故；于一切依等尽涅盘，深见寂静；其心趣入。如前广说，乃至解脱。如是名为无为法见。 - 朱芾煌

俱舍论六卷十四页云：经部师说：无为非因。无经说因是无为故。有经说因唯有为故。何处经说？如有经说：诸因诸缘，能生色者皆是无常。无常因缘所生诸色，如何是常。广说乃至识亦如是。若尔；无为亦应不与能缘识等作所缘缘。唯说能生故得作所缘缘。谓经唯说诸因诸缘能生识者，皆是无常。不说一切为识缘者，皆是无常。故不成难。岂不亦说唯能生因？是无常故，不拨无为。唯不障故，为能作因。有契经中，说无为法，为所缘缘。无契经中，说无为法，为能作因。故不应立。如彼广辩。 - 朱芾煌

集异门论三卷四页云：无为解脱者：谓择灭。是名无为解脱。 - 朱芾煌

显扬十八卷十六页云：复次无为决择今当说。颂曰：心所缘等故，清净所缘故，四种离系故，建立八无为。论曰：八种无为，如摄事品，已说。虚空无为者：由心所缘，境相相似，故立为常。非缘彼心缘彼境界，有时变异故。由清净所缘故；建立真如。由此真如，如清净时所缘体相，常如是住故。由四种离系故；建立余四无为。谓非择灭等。四种离系者：谓缘差脱，毕竟离系；简择烦恼，究竟离系；苦乐暂时离系；心心法暂时离系。 - 朱芾煌

显扬十八卷十六页云：虚空无为者：由心所缘、境相相似，故立为常。非缘彼心、缘彼境界、有时变异故。 - 朱芾煌

　　瑜伽六十五卷十五页云：复次由五相故；建立有为诸法差别。何等为五？一、后际未生故，二、前际已灭故，三、中际自相安住故，四、因缘相续故，五、果相续故。又由五相，建立无为诸法差别。何等为五？谓与上相违，应知卽是此中五相。 - 朱芾煌

　　显扬十八卷十六页云：由清净所缘故；建立真如。由此真如、如清净时所缘体相，常如是住故。 - 朱芾煌

大毗婆沙论七十四卷十六页云：问：无为何故不立蕴耶？答：无蕴相故，不立为蕴。谓蕴是聚积相。无为无此相故，不立为蕴。复次无为是蕴究竟灭处，故不立蕴。如瓶衣等究竟灭处，非瓶衣等。复次诸有为法，生灭相应，有因有缘。得有为相，可立为蕴。诸无为法，生灭不相应，无因无缘。不得有为相，故不立蕴。复次诸有为法，属因属缘。因缘和合，可立为蕴。诸无为法，与此相违，故不立蕴。复次诸有为法，为生所起，为老所衰，为无常所灭；可立为蕴。诸无为法，与此相违，故不立蕴。复次诸有为法，流行于世，取果与果，有诸作用，能了所缘；可立为蕴。诸无为法，与此相违，故不立蕴。复次诸有为法，堕在三世，与苦相应，有前后际，有下中上；可立为蕴。诸无为法，与此相违，故不立蕴。复次诸无为法，无五蕴相，不可立在此五蕴中；亦不可立为第六蕴。无聚积等诸蕴相故。复次蕴，是作相。诸无为法，无有作相，故不立蕴。复次蕴从他生。诸无为法，不从他生，故不立蕴。由如是等种种因缘，无为非蕴。 - 朱芾煌

显扬一卷十五页云：想受灭者：谓离无所有处欲，入灭尽定；于其中间，不恒现行心心法、及恒行一分心心法灭，而离系性。
二解　　成唯识论二卷四页云：想受不行，名想受灭。 - 朱芾煌

　　瑜伽一百卷十六页云：言有为者：谓有生灭系属因缘。与此相违，应知无为。
　　二解　　辩中边论中卷十页云：已说乘义；云何有为无为法义？颂曰：有为无为义，谓若假，若因，若相，若寂静，若彼所观义。论曰：应知此中，假、谓名等。因、谓种子所摄藏识。相、谓器，身、幷受用具，及转识摄意取思惟。意、谓恒时思量性识。取、谓五识。取现境故。思惟卽是第六意识。以能分别一切境故。如是若假，若因，若相，及相应法，总名有为。若寂静者：谓所证灭及能证道。能寂静故。彼所观义，谓卽真如。是寂静道所缘境故。如是所说若诸寂静，若所观义，总名无为。
　　三解　　大毗婆沙论七十六卷七页云：问：有为法，云何？答：十一处，一处少分。谓法处少分。问：无为法，云何？答：一处少分。谓法处少分。问：有为，无为，是何等义？答：若法，有生有灭，有因有果，得有为相；是有为义。若法，无生无灭，无因无果，得无为相；是无为义。复次若法，依属因缘，和合作用；是有为义。若法，不依属因缘和合作用；是无为义。复次若法，为生所起，为老所衰，为无常所灭；是有为义。与此相违，是无为义。复次若法，流转于世，能取果，有作用，分别所缘；是有为义。与此相违，是无为义。复次若法，堕世，堕蕴，与苦相续，前后变易，有下中上；是有为义。与此相违，是无为义。尊者世友，作如是说：何等有为相？谓堕世相，堕蕴相，是有为相。何等无为相？谓不堕世相，不堕蕴相，是无为相。大德说曰：若法，由有情加行而有聚散；是有为相。若法，由有情加行而无聚散；是无为相。尊者觉天，作如是说：若法，由因缘作；是有为相。若法，不由因缘作；是无为相。尊者妙音，作如是说：若法，与有为相合；是有为相。若法，不与有为相合；是无为相。 - 朱芾煌

集论一卷十二页云：何等法界，蕴不摄耶？谓法界中诸无为法。
二解　　俱舍论一卷十七页云：何故无为说在处界；非蕴摄耶？颂曰：蕴不摄无为。义不相应故。论曰：三无为法、不可说在色等蕴中。与色等义、不相应故。谓体非色、乃至非识。亦不可说为第六蕴。彼与蕴义不相应故。聚义是蕴，如前具说。谓无为法、非如色等、有过去等品类差别、可略一聚，名无为蕴。又言取蕴，为显染依。染净二依，蕴言所显。无为于此，二义都无。义不相应，故不立蕴。有说：如瓶破非瓶；如是蕴息应非蕴。彼于处界倒应成失。 - 朱芾煌

成唯识论二卷四页云：然契经说有虚空等诸无为法、略有二种。一、依识变假施设有。谓曾闻说虚空等名，随分别有虚空等相，数习力故；心等生时，似虚空等无为相现。此所现相、前后相似，无有变易，假说为常。二、依法性假施设有。谓空无我所显真如、有无俱非，心言路绝，与一切法非一异等。 - 朱芾煌

俱舍论九卷十七页云：有说缘起是无为法。以契经言：如来出世，若不出世，如是缘起，法性常住。由如是意；理则可然。若由别意；理则不然。云何如是意？云何为别意？而说可然，及不可然。谓若意说，如来出世，若不出世，行等常缘无明等起，非缘余法。或复无缘。故言常住。如是意说，理则可然。若谓意说，有别法体，名为缘起；湛然常住。此别意说，理则不然。所以者何？生起俱是有为相故。非别常法，为无常相，可应正理。又起必应依起者立。此常住法，彼无明等，何相关预；而说此法，依彼而立，为彼缘起。又名缘起，而谓相常，如是句义，无相应理。 - 朱芾煌

　　辩中边论上卷八页云：菩萨修行，为得二净。卽诸有为无为善法。此二空故；名有为空，及无为空。 - 朱芾煌

显扬十八卷十六页云：由四种离系故，建立余四无为。谓非择灭等。四种离系者：谓缘差脱，毕竟离系；简择烦恼，究竟离系；苦乐暂时离系；心心法暂时离系。 - 朱芾煌

瑜伽八十卷十页云：此由九种相，当观无为相。一者、不行世故。二者、非如在灭尽定；言说自性、不可得故，真如相、可得故；是无二相。三者、非生身相故。四者、超过生身因自性相故。五者、超过当来生故。六者、超过死没故。七者、超过剎那展转不远离故。八者、超过趣转易故。九者、超过业烦恼行故。 - 朱芾煌

瑜伽七十二卷十二页云：问：如是五事，几有为？几无为？答：相、通二种。三、唯有为。真如、唯无为。诸行寂静所缘义故；非诸行寂静相义故。 - 朱芾煌

　　俱舍论六卷十五页云：经部师说：一切无为，皆非实有。如色受等，别有实物；此所无故。若尔；何故名虚空等？唯无所触，说名虚空。谓于暗中，无所触对；便作是说：此是虚空。已起随眠生种灭位，由拣择力，余不更生；说名择灭。离拣择力，由阙缘故；余不更生。名非择灭。如残众同分中夭者余蕴。余部师说：由慧功能，随眠不生；名为择灭。随眠缘阙，后苦不生；不由慧能。名非择灭。离拣择力，此灭不成；故此不生，卽择灭摄。有说：诸法生已后无，自然灭故；名非择灭。如是所执非择灭体，应是无常。未灭无故。岂不择灭，择为先故，先无后有，应亦无常。非择为先，方有择灭，如何择灭，亦是无常。所以者何？非先有择，后未生法，方有不生。何者不生，本来自有。若无拣择；诸法应生。拣择生时，法永不起。于此不起，择有功能。谓于先时，未有生障；今为生障，非造不生。若唯不生是涅盘者；此经文句，当云何通？经言：五根若修若习若多修习，能令过去未来现在众苦永断。此永断体，卽是涅盘。唯于未来，有不生义；非于过现。岂不相违。虽有此文；而不违义。此经意说：缘过现苦烦恼断故；名众苦断。如世尊言：汝等于色，应断贪欲。贪欲断时，便名色断及色遍智。广说乃至识亦如是。过现苦断，义亦应然。设有余经言断过去未来现在诸烦恼者，准前理释；义亦无违。或此经中别有意趣。过去烦恼，谓过去生所起烦恼。现在烦恼，谓现在生所起烦恼。如爱行中十八爱行，过去世起者，依过去生说。未来，现在，应知亦尔。如是二世所起烦恼，为生未来诸烦恼故；于现相续，引起种子。此种断故；彼亦名断。如异熟尽时，亦说名业尽。未来众苦，及诸烦恼，由无种故，毕竟不生；说名为断。若异此者；过去现在，何缘须断。非于已灭及正灭时，须设劳劬，为令其灭。若无为法，其体都无；何故经说所有诸法，若诸有为，若诸无为，于中离染，最为第一。如何无法，可于无中立为第一。我亦不说诸无为法，其体都无。但应如我所说而有。如说此声，有先非有，有后非有。不可非有说为有故；有义得成。说有无为，应知亦尔。有虽非有，而可称叹。故诸灾横毕竟非有，名为离染。此于一切有非有中，最为殊胜。为令所化，深生欣乐，故应称叹此为第一。 - 朱芾煌

　　大毗婆沙论四十四卷十三页云：问：有为法多耶？无为法多耶？答：有为法多，非无为法。所以者何？有为法摄十一处，一处少分；无为法，唯摄一处少分故。评曰：应作是说：无为法多，非有为法。所以者何？随有漏法有尔所体，择灭无为数量亦尔。随无漏道有尔所体，非择灭无为数量亦尔。复有此余随有漏法体量多少诸非择灭及虚空无为。故无为法多，非有为法。然准前门，且依处说，故说无为其数是少。 - 朱芾煌

　　世亲释九卷十六页云：有为无为无二为相者：是非有为自性，非无为自性义。非业烦恼之所生故；非有为相。于有为中，得大自在，数数示现；名有为相。由此意趣，非无为相。 - 朱芾煌

大毗婆沙论三十九卷十三页云：问：如有为法，有有为相；无为、亦有无为相耶？设尔；何失。若有者：云何无为，名非聚法？若无者；品类足说，当云何通？如说：云何不生、不住、不灭法？谓一切无为法。答：应作是说：诸无为法，无无为相。问：若尔；品类足说，当云何通？答：翻对有为，故作是说。谓有为法，有生住灭；无为异彼，说不生等。非谓别别有不生等相。 - 朱芾煌

集论二卷五页云：无取五蕴，当言有为？当言无为？彼不应言有为无为。何以故？诸业烦恼所不为故；不应言有为。随欲现前不现前故；不应言无为。如世尊说：法有二种。谓有为无为。云何今说此法非有为非无为？若由此义说名有为；不以此义说名无为。若由此义说名无为；不以此义说名有为。依此道理，唯说二种。 - 朱芾煌