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 | Deictic | 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 |