什么是形式解释论 如实论什么意思？作何解释？

如实论什么意思？作何解释？  

全一卷。陈‧真谛译。全称如实论反质难品。收于大正藏第三十二册。本书系以因明论式反驳外道论师之质难，并论证自家所说之如实。计分无道理难品、道理难品、堕负处品等三品。关于本书作者，高丽本不署撰号，诸经录亦缺撰者之名，惟宋、元、明三本题为世亲所造。〔因明入正理论疏卷一、续高僧传卷二达磨笈多传、开元释教录卷七、大唐内典录卷六〕 p2377