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


Operations of ... and the objects operations

Nouns, adjectives adjectives, verbs

Predicate symbols (or propositional function)


Genitive constructions, proposals with regard

Conjunction or disjunction of propositions formed by saturation propositional functions


Articles, adjectives and indefinite pronouns

Symbols quantifying