  Frege’s functional analysis of predication coupled with his understanding of generality freed him from the limitations of the ‘subject-predicate’ analysis of ordinary language sentences that formed the basis of Aristotelian logic and it made it possible for him to develop a more general treatment of inferences involving ‘every’ and ‘some’. In traditional Aristotelian logic, the subject of a sentence and the direct object of a verb are not on a logical par. The rules governing the inferences between statements with different but related subject terms are different from the rules governing the inferences between statements with different but related verb complements. For example, in Aristotelian logic, the rule which permits the valid inference from ‘John loves Mary’ to ‘Something loves Mary’ is different from the rule which permits the valid inference from ‘John loves Mary’ to ‘John loves something’. The rule governing the first inference is a rule which applies only to subject terms whereas the rule governing the second inference governs reasoning within the predicate, and thus applies only to the transitive verb complements (i.e., direct objects). In Aristotelian logic, these inferences have nothing in common.