What logic examines the varieties of plurality (groups, sets,
collections, etc), and the conditions that need to be in place for any
plurality?