It is not the case that Any effective translation between modal and first-order logic requires *some* domain specification; calling this 'smuggling in' conflates necessary with problematic presuppositions.
?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.