I would call it a gedanken experiment. Yes, you need fantasy to do it but the logic is correct. With default conditions you reach to a conclusion. Like I said, it's fantasy.
A conclusion based on principles of logic is useless if the premises are false.