| Referential function of operations | Elementary operations of “natural logic” according Grize | Corresponding expression Forms of operations in natural languages | Corresponding expression Forms of operations on formal languages |
| Pure designation | Deictic3, proper nouns | Constant symbols | |
| Categorization | Operations of ... and the objects operations | Nouns, adjectives adjectives, verbs | Predicate symbols (or propositional function) |
| Description | Genitive constructions, proposals with regard | Conjunction or disjunction of propositions formed by saturation propositional functions | |
| Determination | Articles, adjectives and indefinite pronouns | Symbols quantifying |