“5·1”放不放假？这是个历史问题

对于中国人来说，虽然“5·1”劳动节已经从“大长假”改为短假，但在这个春暖花开的日子享受公共假期，已经是人们心目中理所当然的事情。在国际上，有80多个国家将每年5月1日设立为法定假期。然而，并非每个在5月1日放假的国家都将其作为“劳动节”来庆祝。与此同时，也有很多国家的劳动者在5月1日仍需上班。“5·1”是否设为劳动节？是否应该放假？这个问题曾在许多国家的历史上掀起波澜。