ism ▁Hard ▁in compat ibil ism ▁is ▁the ▁idea ▁that ▁free ▁will ▁cannot ▁exist , ▁whether ▁the ▁world ▁is ▁determin istic ▁or ▁not . ▁Der k ▁Pere bo om ▁has ▁def ended ▁hard ▁in compat ibil ism , ▁ident ifying ▁a ▁variety ▁of ▁positions ▁where ▁free ▁will ▁is ▁irrelevant ▁to ▁ind et erm in ism / det erm in ism , ▁among ▁them ▁the ▁following : ▁Det erm in ism ▁( D ) ▁is ▁true , ▁D ▁does ▁not ▁imply ▁we ▁lack ▁free ▁will ▁( F ), ▁but ▁in ▁fact ▁we ▁do ▁lack ▁F . ▁D ▁is ▁true , ▁D ▁does ▁not ▁imply ▁we ▁lack ▁F , ▁but ▁in ▁fact ▁we ▁don ' t ▁know ▁if ▁we ▁have ▁F . ▁D ▁is ▁true , ▁and ▁we ▁do ▁have ▁F . ▁D ▁is ▁true , ▁we ▁have ▁F , ▁and ▁F ▁implies ▁D . ▁D ▁is ▁un pro ven , ▁but ▁we ▁have ▁F . ▁D ▁isn ' t ▁true , ▁we ▁do ▁have ▁F , ▁and ▁would ▁have ▁F ▁even ▁if ▁D ▁were ▁true . ▁D ▁isn ' t ▁true , ▁we ▁don ' t ▁have ▁F , ▁but ▁F ▁is ▁compatible ▁with ▁D . ▁Der k ▁Pere bo om , ▁Living ▁without ▁Free ▁Will , ▁p . ▁x vi . ▁Pere bo om ▁calls ▁positions ▁ 3 ▁and ▁ 4 ▁soft ▁determin ism , ▁position ▁ 1 ▁a ▁form ▁of ▁hard ▁determin ism , ▁position ▁ 6 ▁a ▁form ▁of ▁classical ▁libert arian ism , ▁and ▁any ▁position ▁that ▁includes ▁having ▁F