理推之总论一卷
总引
论题列与限界及理推也者第一篇
论题列与限界其理正否辩
解题列为当一支
就几何与何似以析题列之属端一支
释限界三支
解理推也者当否
释推论之本理何属一支
解理推当否二支
凡理推为就规模之推辩者否三支
理推之总论二卷
直题相转
前设之四论当否辩
公且非以直相转一支
公且是者相转二支
特之题列之相转三支
孑一之题相转四支
直之题列可就反置受转否
固然之题反置之相转
论凡属可不然之题与凡有合成之限界者亦可就
反置受转否二支
理推之总论三卷
何若题相转笔篇
论属何若题之相转辩
固能可三何若属是者其题之转当否一支
论不可有等何若属非者其题之相转何如二支
第二义可然者之题何以相转
亚利论此颠取合义乎取分义乎又此题之阐解何如一支
第二义之可然属是者相转二支
第二义可然属非者相转三支
第二义可然者之题摅其属合义而言可相转与否辩三
其题有可相当可解之之他题否一支
凡可然且属合义之题可相转否二支
何若之题可就反置转否三支
理推之总论四卷
形与式云何
可凡可无一之限界
……
理推之总论五卷
形性之理推六卷
形性之理推七卷
形性之理推八卷
形性之理推九卷
理辩之五公称一卷
理辩之五公称二卷上
理辩之五公称二卷下
理辩之五公穑三卷
理辩之五公称四卷
理辩之五公称五卷
坤舆图说卷上
坤舆图说卷下
附录