The theory the part relation, called mereology by Lesniewski and the calculm of individuals by Goodman and Leonard, is thus more amenable to radical semantic criteria than is the logic of the syllogism.