空空道人入山"访道求仙"，似乎是个道士，而不是随便取的别号。道士改名情僧，非常奇怪。但是我们一旦知道情僧本来是茫茫大士，就恍然了。最初楔子较简短，石上刻的文字是茫茫大士录了去的，因此书名一度改为"情僧录"。此后添写空空道人这人物，与石头问答，借石头口中发挥此书与一般才子佳人的小说不同处。但是改由空空道人抄录"石头记"，不得不牺牲"情僧录"书名，因此使空空道人改名情僧，"情僧录"就仍旧保留在那一系列书名内。
先后两次"情僧录"都是指情僧作的记录。如果双关兼指情僧的故事，即宝玉为情削发为僧的故事，也是书名改为"情僧录"之后的事了。初名"石头记"的第一个早本内，宝玉没有出家。
楔子末尾那一系列书名，按照时序重排，是初名"石头记"，改名"情僧录"，十年五次增删后又改名"金陵十二钗";增删时将"风月宝鉴"收入此书，棠村就主张叫"风月宝鉴";最后畸笏建议总名"红楼梦"，但是到了一七五四年，脂砚又恢复"石头记"原名(见"二详")。十年改写期间，大概前期仍旧书名"石头记"，后期已改"情僧录"。
楔子里后加的空空道人一节，内有:
本
空空道人听了此话，思忖半晌，将这"石头记"名再细阅一遍。
加空空道人时，书名仍是"石头记"，但是作此批时，书名已改"情僧录"或"金陵十二钗"或"红楼梦"，因此在"石头记"下注明"本名"。但是此回回首还提起过"石头记"，并没有批注"本名":
此开卷第一回也。作者自云因曾历过一番梦幻之后，故将真事隐去，而借通灵之说，撰此"石头记"一书也。故曰甄士隐云云。
本文来源：http://www.010zaixian.com/wenxue/zhangailing/253382.htm