It is not the case that If free logic governs quantified modal logic, then (a=a) fails in worlds where Adams does not exist, breaking the derivation at P5 without any contradiction in the remaining premises.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.