Four subject-based types: singular (one specified individual), natural (a nature itself), quantified (an explicit range of instances), and indefinite (instances with no explicit range).
Four quantified forms: universal affirmative, particular affirmative, universal negative and particular negative. Their classification combines quantity and quality.
Quantifiers: expressions specifying the range of instances, including “every,” “some,” “none” and “not a single one.” Their exact scope must be determined from the whole statement.
The next section develops the meaning and kinds of predication: conceptual difference and unity in existence between subject and predicate.