A deductive approach to reduced dynamics and entropy in finite quantum systems