范缜在《神灭论》里提出形神相即：形存则神存，形谢则神灭。精神和肉体不可分离，形是第一性，神是第二性。佛教徒用梦蝶、赵简子梦游来证明神能离形，范缜直接反驳，梦里神游也得靠形体，离了身体连梦幻享受都不可能。他坚持唯物主义形神一元论，击退了神不灭论。因果报应、涅槃佛性这些神学说法，根基被连根拔起。