If thought experiments relied on distinct logical operations, their conclusions would survive formalization into explicit premises without loss of persuasive force.