Logical reformulation of quantum mechanics. III. Classical limit and irreversibility