2nd law can be proved just fine via statistical physics, both in classical and quantum mechanics. For the latter you use thermal ensemble density matrices as states and the Liouville equation as their time evolution equation. In both cases (classical and qm) the entropy is a property of the macroscopic ensemble description of a physical system and behaves at it should.