Bits and pieces: understanding information decomposition from part-whole relationships and formal logic