道教的四大真人是南华真人、冲虚真人、通玄真人和洞灵真人四位吗？

道教的四大真人是南华真人、冲虚真人、通玄真人和洞灵真人。

其中，南华真人是指庄子。庄子是先秦道家学派的代表人物，是老子思想的继承者和发扬者。他道论的基本内容是逍遥。他认为只有泯灭人与人之间、物与物之间以及主体与客体之间的差别、界限，做到物我两忘，才能进入逍遥的思想境界。

冲虚真人指的是列子。列子论道思想是“贵虚”，他把宇宙的形成分为太易、太初、太始、太素四个发展阶段。传说，他先后得到关尹子、丘壶子、老商氏和支伯高子的真传，并在道术上得以超越，九年后就可御风而行。

通玄真人指的是文子。他是老子的弟子，约与孔子同一个时代。他发扬老子的道论，并认为世界的本源“道”就是气，而阴阳对立的双方是可相互转化的，进而将自然之道引申为人事，形成“无为而治”的理论，达到无为而无不为的目的。楚平王采用他的观点，天下大治。文子游历吴国、越国，曾是范蠡的老师，封官而不就，后隐居吴兴馀英禺山修炼道术，据传再后来登云升天成为神仙。

洞灵真人指的是庚桑子。他认为要保全生命，就应像婴儿一样天真无邪，放下利害得失，才能成为至人。传说，他得到太上老君之道，可以耳视目听，他在畏垒山居住六年，后游历吴国，最后隐居于毗陵孟峰，并修道成仙。