Title: Studies in the formal logic of quantification