The Logic of Partitions